Certificate 复杂度类中证书的长度

试图决定一种语言的成员资格的不确定机器 提供提示（称为“证人”或“证书”），其中 证明成员资格（没有为外部元素提供此类见证 语言；定义是不对称的）

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

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

IMHO:

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

否

• 输入大小是n

是

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

---

这里没有暗示。声明是，如果一个非确定性算法可以在O（f（n））中解决一个问题，并且该解决方案（证书或白色，如果您愿意）可以在O（g（n））中验证，并且f和g是多项式，那么该问题就不是NP难问题。（不一定是NP完全）

StackOverflow可能不是这个问题的合适位置。似乎更合适。我被认为它直接暗示了后者。如果A是确定性算法，您的答案会改变吗？另外，这是否意味着证书大小是f（n），因为非确定性（最幸运的猜测者）算法能够通过正确猜测每一位，以最小的解长度来求解它？我知道证书的长度将是O（f（n））：）