Algorithm NP类：为什么多项式长度输出？

对于符合NP类资格的问题：

问题的解决方案必须具有多项式输出长度，并且

该解必须在多项式时间内可验证 多项式输出长度的意义是什么

---

PS：我认为多项式输出长度是输出在多项式时间内可验证的必要先决条件。（但是仅仅说解决方案可以在多项式时间内得到验证就足够了。）

多项式长度的强加是因为您将机器建模为通用图灵机

在这种情况下，输出“磁带”必须是多项式长度

---

这并不是因为您使用的是现代语言，希望得到多项式长度的结果。

这不是NP的标准定义。事实上，NP用于决策问题（是/否），您可以轻松获得长度为1位的输出。我知道NP有两个等价的定义，没有一个定义对输入大小有限制，因为它实际上是常数。如果输出长度不是多项式，你怎么能在多项式时间内输出它呢？斯坦福大学的拉夫加登教授在MOOC中教授了NP完备性的定义。但是，维基百科上没有这样的提及。“我认为拉夫加登教授教错了什么东西。”于汉柳，这也是我指的。要求解的长度为多项式是不必要的，也是多余的，而在RAM模型中就不是了？我不明白你的答案（这个问题使用了一个我以前从未见过的定义），问题是这个问题有点陈述不当。例如，您可以有一个NP完全算法，它可以吐出一个字符。在UTM和输入输出磁带的上下文中，“多项式长度结果”才有意义。这应该在问题中说明。抽象地说，没有区别，但我试图澄清和回答这个问题。