Answers:
这是使用填充的解决方案。假设。定义新的语言L ' = { x 0 | x | 10 − | x | :X ∈ 大号}。每个X ∈ 大号对应于一些ý ∈ 大号'长度| y | = | x | + (| x。因此,我们可以决定是否Ÿ∈大号'非确定性时间 | x | 1000 = | y | 100,即,大号' ∈ Ñ Ť 我中号È( Ñ 100)⊆ d Ť 我中号È( Ñ 1000)。为了决定是否X∈,形式 y = x 0 x 10 − | x | 并运行 | y | 1000 = | x | L '的10000次确定性算法。我们的结论是大号∈ d Ť 我中号È(Ñ 10000)。
这几乎是NP完整性定义的结果。如果NP中的任何一种语言都可以在多项式时间内求解(由前提确定),那么它们都是。对此的另一种解释方法是查看库克关于NP完全性的定理,该定理将所有NP完全性语言简化为对涉及SAT的语言的识别,并将不确定的图灵机转换为SAT。