Questions tagged «complexity-theory»

与解决问题的(计算)复杂性有关的问题

2
一个将NP与coNP分开的神谕
如何证明?我只是在寻找这样的Oracle TM和适用的递归语言。NPA≠coNPANPA≠coNPA\mathsf{NP}^A \neq \mathsf{coNP}^AMMML(M)=LL(M)=LL(M) = L 我所知道的证据,你表明,有一个Oracle这样和Oracle这样。我暗示我应该通过扩展的证明来找到这样的甲骨文,但是无论我在哪里搜索和阅读,它在任何地方都是“显而易见的”或“直截了当的”我只是根本看不出如何证明这一点。AAAPA≠NPAPA≠NPA\mathsf{P}^A \neq \mathsf{NP}^AAAAPA=NPAPA=NPA\mathsf{P}^A = \mathsf{NP}^AAAAPA≠NPAPA≠NPA\mathsf{P}^A \neq \mathsf{NP}^A

2
2路DFA的空度问题的复杂性是什么?
我想知道,确定2路DFA的空度的时间复杂度是多少?也就是说,可以在其只读输入磁带上向后移动的有限自动机。 根据Wikipedia的说法,它们等效于DFA,尽管等效DFA可能成倍增大。我发现它们的补码和交集的状态复杂性,但是对于它们的空性测试却没有。 有人知道我可以在哪找到论文吗?


1
如何在某些条件下将集合划分为给定数量的不相交子集?
给我一个集合,一个整数,和一个非负整数a_ {ij}。我的问题是要找到小号不相交的子集S_j的\ {1,\ ldots,K \}这样的:甲≜ { 1 ,... ,ķ } A≜{1,…,k}A\triangleq\{1,\ldots,k\}小号⩽ ķ s⩽ks\leqslant k一个我Ĵaija_{ij}小号ss小号ĴSjS_j { 1 ,... ,ķ }{1,…,k}\{1,\ldots,k\} ⋃ 小号Ĵ = 1个小号Ĵ = 甲⋃sj=1Sj=A\bigcup_{j=1}^s S_j=A ; 和 | 小号Ĵ | ⩽ 一个我Ĵ| 小号Ĵ| ⩽一我Ĵ|S_j|\leqslant a_{ij}对于S_j中的所有i \,我∈ 小号Ĵ我∈ 小号Ĵi\in S_j并且j = 1 ,… ,sj = 1 ,… ,sj=1,\ldots,s。 如何解决这个问题呢?找到可行的解决方案难吗? 我认为解决这个问题并不容易,因为我尝试了一些以j …


1
用矩形块覆盖的NP硬度(Google哈希代码2015年测试回合)
Google Hash Code 2015测试回合(问题说明)询问了以下问题: 输入:具有一些标记正方形的网格,阈值,最大面积Ť ∈ Ñ甲∈ Ñ中号MMŤ∈ ñT∈NT \in \mathbb{N}甲∈ ÑA∈NA \in \mathbb{N} 输出:一组整数(以为单位)的不相交矩形的最大可能总面积,以使每个矩形至少包含标记的正方形,每个矩形最多具有面积。Ť 一中号MMŤTT一种AA 用Google的术语来说,网格是比萨饼,标记的正方形是火腿,不相交的矩形是切片。 通过添加一个额外的输入我们可以清楚地将这个问题改写为决策问题,并将答案设为“是否存在满足总面积至少为正方形的条件的一组不相交的矩形”。 ÑÑ ∈ Ñn∈Nn \in \mathbb{N}ñnn 我的问题是:虽然Google问题要求应聘者为特定情况下的计算问题找到“尽可能好的”解决方案,但我认为一般问题(在其决策措词中)很可能是NP完全的。但是,我找不到显示NP硬度的减少量。(NP成员身份是即时的。)如何证明此问题对NP不利? 下面是一些示例,以帮助可视化问题。考虑 x网格,带有标记的正方形,和,以图形方式表示以指示标记的正方形:4 { 0 ,1 ,2 ,3 } × { 0 ,1 ,2 ,3 } (1 ,1 )(0 ,2 )(2 ,2 )444444{ 0 ,1 ,2 ,3 …

1
为什么这个论点是错误的?
我知道它很傻,但是我设法使自己困惑,我需要帮助解决这个问题 假设,那么对于每个预言显然我们都有,这与以下事实相对应:存在一些预言的,因此P=NPP=NPP=NPAAAPA=NPAPA=NPAP^A=NP^AAAAPA≠NPAPA≠NPAP^A\neq NP^AP≠NPP≠NPP\neq NP 怎么了?谢谢!

1
NP难题是否可以平均为多项式?
我想知道在一般情况下是否存在难题,即“多项式”,我认为有两种解释方法?ñPNPNP 如果,是否有一种算法可以解决N P难问题,其摊销(平均情况)运行时间为O (n k),且常数k为?P≠ NPP≠NPP \neq NPñPNPNPØ (ñķ)O(nk)O(n^k)ķkk 是否存在 -hard 或B P P甚至P P中的问题?ñPNPNP乙PPBPPBPPPPPPPP 任何人都可以回答或提供参考答案中的任何一个吗?


2
特殊类二部图的硬计算问题
我对一类二部图的性质感兴趣,其中中的所有节点都是3正则,中的所有节点都是2正则,并且。首先,这是一类众所周知的图吗?其次,X ÿ | X | = | 2 ÿ / 3 |ģ (X∪ ÿ,E)G(X∪Y,E)G(X \cup Y, E)XXXÿYY| X| = | 2ÿ/ 3 ||X|=|2Y/3||X|=|2Y/3| 是否存在仅限于此类二部图的棘手的计算问题的示例?


1
为什么FPTAS中的所有问题也都在FPT中?
根据Wikipedia关于多项式时间近似方案的文章: FPTAS中的所有问题都是固定参数可处理的。 这个结果令我惊讶-这些类似乎彼此完全不同。FPTAS通过问题的容易程度来表征问题,而FPT通过问题相对于某些参数的困难来表征问题。不幸的是,维基百科(在我问这个问题时)并未对此进行引用。 是否有此结果的标准证明?还是有我可以查阅的资料来了解有关此连接的更多信息?


2
存在瓶颈问题的作业调度
给定个作业,每个作业需要次才能完成。nnnJ1,J2,...,JnJ1,J2,...,JnJ_1,J_2,...,J_nTi>0,Ti∈NTi>0,Ti∈NT_i > 0, T_i \in N 每个作业必须由一台机器M进行预处理和后处理,该机器一次只能处理1个作业,并且两个阶段都需要1个单位时间。在经过预处理之后,作业被发送到具有无限功率的机器(该机器可以并行处理无限数量的作业),并且它将在时间准备就绪,然后必须再次将其立即(立即)发送到机器M后期处理。JiJiJ_iTiTiT_i 相关的决策问题是: 输入:处理时间的作业,整数问题:我们可以处理在时间的所有作业使用上述的“瓶颈”模式?Ti>0,Ti∈NTi>0,Ti∈NT_i >0, T_i \in \mathbb{N}NNNK≥2NK≥2NK\geq 2N ≤K≤K\leq K 这个问题有名字吗? 它的复杂性是什么?(是还是 -complete?) PP\sf{P}NPNP\sf{NP} 3月29日更新: 正如M.Cafaro在他的回答中正确指出的那样,该问题类似于无 约束最小完成时间问题(UMFT)(请参阅《调度算法手册》的第17章 ),是 -hard(已证明) W. Kern和W. Nawijn撰写的“在单个机器上有时间滞后地安排多操作作业”,特温特大学,1993年。如我所见,存在一些差异,因为在我的模型中:NPNP\sf{NP} 前/后处理时间是恒定的(1个时间单位) 作业完成后,必须立即进行后处理(UMFT模型允许延迟) 我没有在网上找到Kern&Nawijn证明,所以我仍然不知道上述限制是否改变了问题的难度。 最后,您可以将整个过程想像成一个带大烤箱的烹饪机器人。机器人可以一次准备一种不同类型的食物(所有食物都需要相同的准备时间),将它们放入烤箱,一旦煮熟就必须将其从烤箱中取出并加入一些冷食... “ 烹饪机器人问题 ” :-)

1
在立方无三角形图中独立设置
我知道立方无三角形图中的最大独立集是NP完全的。 如果我们要求独立集合的大小恰好是,它是否仍是NP完全?| V| / 2|V|/2|V|/2 基本上,立方无三角形图问题上的独立集合问题的YES实例必须完全具有节点。没有实例的独立大小小于| | V | / 2。| V| / 2|V|/2|V|/2| V| / 2|V|/2|V|/2

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.