复杂性类中证书的长度

Question

  

尝试决定某种语言成员资格的非确定性机器   提供了一个提示（称为“证人”或“证书”）   证明会员资格（没有为外面的元素提供此类证人   语言;定义是不对称的。）

因此，如果非确定性算法可以解决O（f（n））时间内的问题，这是否意味着证书的长度为f（n）？输入大小是n？

此外，如果存在可以在O（f（n））时间内验证证书的算法A，这又如何意味着存在可以解决O（f（n））中的问题的非确定性算法时间？

Answer 1

IMHO：

• 因此，如果非确定性算法可以解决O（f（n））时间内的问题，这是否意味着证书的长度为f（n）？

否

• 输入大小为n？

是

• 此外，如果存在可以在O（f（n））时间内验证证书的算法A，这又如何意味着存在可以解决O（f的问题的非确定性算法？ n））时间？

这里没有任何含义。声明是，如果非确定性算法可以解决O（f（n））中的问题，并且可以在O（g（n））中验证解（证书或白度，如果你想），并且f和g是多项式，问题是NP难。 （不一定是NP完整的）