有一个定理说明如果A是多项式可简化为B而B是P，则A将在P中。
现在，这会解决NP问题吗？
简单地说，如果实际上有更简单的方法来证明某些东西在NP中，那么随着验证者的出现可能会是一个更长/更棘手的任务。
有没有办法在没有验证者的情况下证明某些东西在NP中？
当然，有很多方法。例如，您可以采用我们所知道的最有效的算法并测量其复杂性。如果复杂度> = O（n ^ k），其中k是输入大小，则问题出在NP中。另一种方法是减少：如果你可以将你的问题减少到一个NPC问题，例如3-SAT的一个实例，这表明它最多像3-SAT一样复杂，因此它在NP中。