理论计算机科学

理论计算机科学家和相关领域的研究人员的问答

1
W型与感应型
Martin-Löf类型理论使用W类型来定义归纳结构,例如整数,列表等。但是,归纳结构的演算并不以相同的方式使用它们,归纳类型似乎更像是公理模式。 这两种方法是否等效(它们似乎是)?为什么有一个哲学之所以比一个更好的原因(对我来说,W型感觉更直观,因为W只是特殊结构的树)?从实现的角度来看,这更容易(归纳类型对我来说似乎更好,因为对于W类型有用,我们至少需要有限的类型和产品才能在系统核心中使用)

1
如果BQPSPACE的运行时间可以成倍增长,为什么会在PSPACE中使用呢?
BQPSPACE在PSPACE中的标准证明依赖于对路径积分的Savitch游戏类型分析。但是,它假设BQPSPACE的时间运行长度最多为指数增长。对于PSPACE来说确实如此,但是对于具有固定数量的自由度的封闭量子系统,由于状态向量的指数性质,通常在Poincare复发之前需要花费双倍的指数时间。那么,证明是否仍然有效?

1
用有界的交集大小设置Cover
因此,如果没有候选集彼此相交,则集覆盖问题就变得微不足道了。 但是,如果任何一对候选集的交集大小最大为1,该怎么办?这个问题对NP很难吗? 我将不胜感激。 谢谢加勒特
11 set-cover 

1
自然变换和参数化
在定理中免费!沃德勒(Wadler)表示,参数的表征可以用松散的自然变换来重新表达,这将是另一篇论文的主题。他指的是哪篇论文? 我知道分类的方法论是使用双自然变换的,如Bainbridge,Freyd,Scedrov和PJ Scott 所著的Functorial Polymorphism中所述。松弛的自然变换与参数的双自然变换公式之间有什么联系?

3
理论计算机科学的研究涉及什么?
我试图了解理论计算机科学研究的内容。理论计算机科学家做什么? 我知道大量时间用于教学,指导研究生,申请资金和部门职责。抛开它们,您如何度过研究时间?您通常从事哪些主要活动?我猜您正在阅读论文,进行思考,召开会议和撰写文件。还有其他吗?

4
禁止诱导循环子图定义的图类中的多项式问题
从MO交叉发布。 令为由有限数量的禁止诱导子图定义的图类,所有这些子图都是循环的(至少包含一个循环)。CCC 除了Clique和Clique Coverage之外,对于,是否存在可以在多项式时间内解决的NP硬图问题CCC? 如果我没记错的话,这对于独立集是不可能的(除非P=NPP=ñPP=NP)。 未在graphclasses.org中搜索。 Clique和Clique Covering是多项式的类是C5,C6,X164,X165,sunlet4,无三角形 编辑 阴性IS和统治在本文中。第2页,图Si,j,k小号一世,Ĵ,ķS_{i,j,k}。

3
是否有非建设性的图灵机/ NFA存在的证明?
在阅读了有关算法的非构造性存在证明的一个相关问题之后,我想知道是否存在不实际构建“小型”(例如,按状态计算)计算机的方法。 正式地: 假设我们给出了一些语言,并修正了一些计算模型(NFA的/图灵机/等)。大号&SubsetEqual; &Sigma;∗大号⊆Σ∗L\subseteq \Sigma^* 是否有示出任何非建设性存在结果为-state机大号存在,但没有发现(在能力p ø 升Ý (Ñ ,|&Sigma; |)时间)吗?ññn大号大号Lp Ò 升ÿ(n ,| Σ |)pØ升ÿ(ñ,|Σ|)poly(n,|\Sigma|) 例如,有没有正规语言为此我们可以显示ñ 小号Ç (大号)≤ ñ,但我们不知道如何建立一个ñ -状态自动机?大号大号LÑ 小号Ç (大号)≤ ÑñsC(大号)≤ñnsc(L)\leq nññn (是的非确定性状态复杂大号,即状态中的最小NFA接受数大号)。Ñ 小号Ç (大号)ñsC(大号)nsc(L)大号大号L大号大号L 编辑:经过与Marzio的讨论(谢谢!),我认为我可以更好地提出如下问题: 是否有语言和以下内容适用的计算模型:大号大号L 我们知道如何构建计算具有m个状态的的机器。大号大号L米米m 我们有证据表明 -各国机器大号 存在(其中ñ &lt; &lt; 米),但无论是我们根本无法找到它或它会带指数的时间来计算它。ññn大号大号LÑ &lt; &lt;米ñ&lt;&lt;米n << m

1
有没有证据表明Linial,Shraibman关于量子通信复杂性的下限并不严格?
据我所知,Linial和Shraibman给出的因式分解范数下界本质上是唯一已知的量子通信复杂性下界(或者至少包含了所有其他下界)。是否有任何证据表明这一界限过紧? 界分解规范(也称为约束)我说的是定理13 Linial,2008 Shraibman。实际上,这个界限是从量子通信的复杂性降低到2人XOR游戏Degorre等人的偏见之后得出的。2008年。出于这个原因,由于XOR游戏甚至与沟通都没有任何关系,因此可能会陷入困境。对于不耐烦的人,Troy Lee在一些幻灯片中给出了简短的概述。γ2γ2\gamma_2 的介绍文字耆那教,克劳克2010说,信息理论的技术可以提供一定的竞争,但我们不知道这些是否击败约束。因此,它似乎是,至少在几年前,γ 2是最好的技术。不过,我想知道是否有甚至被认为具有量子通信复杂性远远大于该功能的具体例子γ 2约束。γ2γ2\gamma_2γ2γ2\gamma_2γ2γ2\gamma_2


1
鉴于
这是一个与学习军人类似的问题: 输入:函数,由隶属度oracle表示,即给定的oracle 返回f (x )。Xf:{0,1}n→{−1,1}F:{0,1个}ñ→{-1个,1个}f: \{0,1\}^n \rightarrow \{-1,1\}xXxf(x)F(X)f(x) 目标:查找子多维数据集S小号S的{ 0 ,1 }ñ{0,1个}ñ\{0,1\}^n与体积|S| = 2n − k|小号|=2ñ-ķ|S|=2^{n-k}使得| ËX ∈ 小号f(x )| ≥ 0.1|ËX∈小号F(X)|≥0.1\left|\mathbb{E}_{x \in S} f(x) \right| \ge 0.1。我们假定存在这样的子多维数据集。 这是很容易得到一个算法,在时间用完ñÔ (ķ )ñØ(ķ)n^{O(k)}和回报的概率一个正确的答案≥ 0.99≥0.99\ge 0.99通过尝试所有(2 n )ķ(2ñ)ķ(2n)^k的方式来选择子多维数据集和采样平均每一个。 我对找到一种可以在时间中运行的算法很感兴趣p Ò 升y(n ,2ķ)pØ升ÿ(ñ,2ķ)poly(n,2^k)。替代地,下界将是巨大的。这个问题类似于学习军政府,但我看不出它们的计算难度之间存在实际联系。 更新:@Thomas下面证明了此问题的样本复杂度为p Ò 升y(2ķ,logn )pØ升ÿ(2ķ,日志⁡ñ)poly(2^k,\log n)。有趣的问题仍然是问题的计算复杂性。 编辑:为简单起见,您可以假设存在一个带有的子多维数据集。Ë X ∈ 小号 ˚F (X …


2
如何计算结数?
有记录的计算结的方法吗?(嵌入在3维欧几里得空间中的圆周)。 我的意思是,代表它们的数据类型,以及确定该数据类型的两个实例是否代表相同结的算法。 如果答案是肯定的,那么这个问题的复杂性如何?

2
有界度图上的W [1]-硬问题
您是否知道即使对有界度图也有W [1]困难的问题? 度量维数在度数最多为3的图中比较困难,但对W [2]则比较困难。Red-Blue Nonblocker过去在有界度数图上是W [1] -hard,但证明有误(Downey Fellows书2013),并且仅当蓝色顶点为有界数时才很难。

1
几乎总是几乎正确
我正在寻找一个与APX有关的复杂性类,而BPP与P有关。我已经在这里提出了同样的问题,但也许TCS将是一个更有成果的答案。 该问题的原因是,在实际问题中,人们经常需要以足够高的置信度(因此BPP)找到近似答案(因此APX),这将使有边界概率逼近算法的问题类别可能成为有用的可计算模型。实践。 此类的一个可能的候选者将是:那些带有有限概率子例程的近似解的问题;但是,我不确定这种类是否适合该类概率可计算的近似值。一个PX乙PP一种PX乙PPAPX^{BPP} BPP和APX都已被广泛研究。是还是这种情况,或者哪个类是捕获上述问题的最佳选择?一个PX乙PP一种PX乙PPAPX^{BPP}

1
SETH中的计算模型
Impagliazzo,大小床和卡拉布罗,Impagliazzo,大小床推出指数,时间设定(ETH)及强指数,时间设定(SETH)。粗略地说,SETH说没有一种算法可以在时间内解决SAT问题。 1.99ñ1.99ñ1.99^n 我想知道打破SETH意味着什么。我们绝对需要找到一种算法,以少于步长来求解SAT ,但我不太了解应该使用哪种计算模型。据我所知,基于SETH的结果(例如,参见Cygan,Dell,Lokshtanov,Marx,Nederlof,Okamoto,Paturi,Saurabh,Wahlstrom)无需对基础计算模型进行假设。2ñ2ñ2^n 例如,假设我们找到了一种使用空间在时间求解SAT的算法。它是否自动暗示我们可以找到一种可以在时间内解决此问题的图灵机?它会破坏SETH吗?1.5ñ1.5ñ1.5^n1.5ñ1.5ñ1.5^n1.99ñ1.99ñ1.99^n

By using our site, you acknowledge that you have read and understand our Cookie Policy and Privacy Policy.
Licensed under cc by-sa 3.0 with attribution required.