证明如果


10

我非常希望您的帮助来证明以下内容。

如果然后P = Ñ P。NTime(n100)⊆DTime(n1000)P=NP

这里,是所有语言的类别,可以由不确定性图灵机在O (n 100)的多项式时间内确定,而D T i m e(n 1000) 是所有语言的类别可以由确定性图灵机确定多项式时间为O (n 1000)。NTime(n100)O(n100)DTime(n1000)O(n1000)

任何帮助/建议吗?


7
提示:padding。
— sdcvvc 2012年

这个问题从何而来?
— vzn 2012年

Answers:


3

这是使用填充的解决方案。假设。定义新的语言L ' = { x 0 | x | 10 − | x | :X ∈ 大号}。每个X ∈ 大号对应于一些ý ∈ 大号'长度| y | = | x | + (| x大号∈ñŤ一世米Ë(ñ1000)大号′={X0|X|10-|X|:X∈大号}X∈大号ÿ∈大号′。因此,我们可以决定是否Ÿ∈大号'非确定性时间 | x | 1000 = | y | 100,即,大号' ∈ Ñ Ť 我中号È( Ñ 100)⊆ d Ť 我中号È( Ñ 1000)。为了决定是否X∈|y|=|x|+(|x|10−|x|)=|x|10y∈L′|x|1000=|y|100L′∈NTime(n100)⊆DTime(n1000),形式 y = x 0 x 10 − | x | 并运行 | y | 1000 = | x | L '的10000次确定性算法。我们的结论是大号∈ d Ť 我中号È(Ñ 10000)。x∈Ly=x0x10−|x||y|1000=|x|10000L′L∈DTime(n10000)


2

将问题分为两部分:

  1. N T i m e(n 1000)中存在 complete语言。NPNTime(n1000)
  2. 如果 -complete语言是在d Ť 我中号È(Ñ 1000)⊂ P然后P = Ñ P。NPDTime(n1000)⊂PP=ñP

-2

这几乎是NP完整性定义的结果。如果NP中的任何一种语言都可以在多项式时间内求解(由前提确定),那么它们都是。对此的另一种解释方法是查看库克关于NP完全性的定理,该定理将所有NP完全性语言简化为对涉及SAT的语言的识别,并将不确定的图灵机转换为SAT。


3
您所说的是正确的,但使用NP完整语言(不是NP语言)。我们还需要证明,存在一种可以在 -NP中解决的NP完整语言,我认为,但从定义上看并不明显。ñŤ一世米Ë(ñ100)
— SamM 2012年

同意,很好 认为这是从库克证明中得出的。所有NP机器都可以在NTime(由SAT转换/求解,c < 100 ...?nc)c<100
— vzn

3
@vzn:我认为我们不能证明。我相信您可能会与一个层次定理矛盾……C<100
— Aryabhata 2012年

在仔细考虑之后,同意。(乍一看,以为这是一个基本问题……)厨师证明创建了一个新的SAT,该SAT相对于原始机器在多项式上有界,但初始机器在多项式指数中不受限制(证明该证明)。如果我得出一个矛盾,那么 =)...反正也许我们是说这实际上是一个悬而未决的问题?即不知道存在的理论是对还是错?P≠NP
— vzn

4
@vzn:可以使用sdcvvc提到的padding技术解决该问题。
— Yuval Filmus 2012年
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.