P NP和NP完全澄清？答案

【问题标题】：P NP and NP complete clarfication?P NP和NP完全澄清？
【发布时间】：2015-12-01 23:30:48
【问题描述】：

这是我在堆栈溢出时找到的答案

NP 是一个复杂性类，表示所有决策问题的集合，其中答案为“是”的实例具有可以在多项式时间内得到验证的证明。

这意味着如果有人给我们一个问题实例和一个证明（有时称为见证人）的答案是肯定的，我们可以在多项式时间内检查它是否正确。

我的问题是，在多项式时间内检查解决方案是否正确的“我们”是谁？它是一个程序还是它的字面意思是一个人坐下来在纸上解决它？

【问题讨论】：

What are the differences between NP, NP-Complete and NP-Hard?的可能重复
不，这不是我要问的。我在上面写的问题中提到了该问题的答案之一......
在算法的上下文中，人和计算机程序没有区别（当然，除非是量子计算机！！）。唯一重要的是动作的数量；无论是由人还是程序执行。事实上，这两者的区别在于它们执行动作的速度，而复杂性理论只讨论动作的数量而不是动作的数量。速度。

【解决方案1】：

在经典定义中，它是一个图灵机。我相信已经证明，我们今天使用的计算机在复杂性理论意义上与图灵机或多或少相同（一个是多项式时间，另一个是多项式时间），请参阅：https://en.wikipedia.org/wiki/Turing_machine#Comparison_with_real_machines

【讨论】：

所以当我们说我们可以在多项式时间内“检查”问题时，这是否意味着我们需要编写一个“检查”算法的程序？
这意味着存在一个在多项式有界时间内检查解的程序。