P NP和NP是否完全澄清？

Question

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

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

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

我的问题是谁在检查多项式时间内解是否正确？ 它是一个程序，还是从字面上看意味着一个人坐下来在纸上工作？

Answer 1

在经典定义中，它是图灵机。 我相信已经证明，从复杂性理论的角度来看，我们今天使用的计算机与图灵机大致相同（一个多项式时间是另一个的多项式时间），请参见： https：//en.wikipedia .org / wiki / Turing_machine＃Comparison_with_real_machines