证明如果


10

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

如果然后P = Ñ PNTime(n100)DTime(n1000)P=NP

这里,是所有语言的类别,可以由不确定性图灵机在O n 100)的多项式时间内确定,而D T i m en 1000 是所有语言的类别可以由确定性图灵机确定多项式时间为O n 1000NTime(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|10yL|x|1000=|y|100LNTime(n100)DTime(n1000),形式 y = x 0 x 10| x | 并运行 | y | 1000 = | x | L '的10000次确定性算法。我们的结论是大号d Ť 中号ÈÑ 10000xLy=x0x10|x||y|1000=|x|10000LLDTime(n10000)


2

将问题分为两部分:

  1. N T i m en 1000)中存在 complete语言。NPNTime(n1000)
  2. 如果 -complete语言是在d Ť 中号ÈÑ 1000P然后P = Ñ PNPDTime(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相对于原始机器在多项式上有界,但初始机器在多项式指数中不受限制(证明该证明)。如果我得出一个矛盾,那么 =)...反正也许我们是说这实际上是一个悬而未决的问题?即不知道存在的理论是对还是错?PNP
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.