在计算机科学中, P 和 NP 是两类最重要的问题。如果我们能有效解决它,那么这个问题就属于 P :如果我们能有效找到其解决方案,那么这个问题属于 NP 。

著名的 P = NP 的问题就是,能有效找到的问题是否可以得到有效解决。因为 NP 完全问题,回答这个问题需要的只是证明某个 NP 完全问题可被有效解决(或者无法被有效解决)。