这是我在堆栈溢出
上找到的答案NP是一个复杂性类，表示所有决策问题的集合，答案为“是”的实例具有可在多项式时间内验证的证据。
这意味着如果有人向我们提供问题的实例和证书（有时称为证人），答案是肯定的，我们可以检查它在多项式时间内是否正确。
我的问题是谁是“我们”，检查解决方案在多项式时间内是否正确？它是一个程序还是字面意思是一个人坐下来在纸上工作？
答案 0 :(得分：0)
在经典定义中，它是图灵机。我相信已经证明，我们今天使用的计算机在复杂性理论意义上与图灵机大致相同（一个多项式时间是另一个多项式时间），参见：https://en.wikipedia.org/wiki/Turing_machine#Comparison_with_real_machines