与this问题有点相关。
NP复杂性类的基于验证者的定义说：
NP 是多项式时间内由确定性图灵机验证程序接受的语言类。
P 中的所有问题都被视为 NP 。作为解释，通常陈述如下：
鉴于 P 中的问题证书，我们可以忽略证书，并在多项式时间内解决问题。
验证者需要使用证书并显示可以在多项式时间内验证问题。为什么每个人都在说忽略证书并解决问题？解决问题相当于提供证书吗？
答案 0 :(得分：1)
在担心验证者是否“使用”证书时，你的字面意思是“验证者”一词。验证者是一种算法，它采用原始问题和一些附加信息（“证书”），并在多项式时间内提供正确答案（“是”或“否”）。我们称之为验证者，但这并不意味着新的“工作”。
对于像subset sum这样的问题，证书充当了有用的快捷方式 - 我们给了一个我们只需要检查的子集a）加起来为0，b）是一个子集。但是如果我们已经知道问题可以在多项式时间内解决，那么这条捷径就变得不必要了。