P/NP问题是在理论资讯学中计算复杂度理论领域里至今没有解决的问题，它也是克雷数学
研究所七个千禧年大奖难题之一。P/NP问题中包含了复杂度类P与NP的关系。1971年史提
芬极j克（Stephen A. Cook）和Leonid Levin（英语：Leonid Levin）相对独立地提出了
下面的问题，即是否两个复杂度类P和NP是恒等的（P=NP?）。
复杂度类P即为所有可以由一个确定型图灵机在多项式表达的时间内解决的问题；类NP由
所有可以在多项式时间内验证解是否正确的决定问题组成，或者等效的说，那些解可以在
非确定型图灵机上在多项式时间内找出的问题的集合。很可能，计算理论最大的未解决问
题就是关于这两类的关系的：
P和NP相等
在2002年对于100研究者的调查，61人相信答案是否定的，9个相信答案是肯定的，22个不
确定，而8个相信该问题可能和现在所接受的公理独立，所以不可能证明或证否。[1]Ö于正确的解答，有一个1,000,000美元的奖励。
NP-完全问题（或者叫NPC）的集合在这个讨论中有重大作用，它们可以大致的被描述为那
些在NP中最不像在P中的（确切定义细节请参看NP-完全理论）。电脑科学家现在相信P,嘅
P，和NPC类之间的关系如图中所示，其中P和NPC类不交。
假设PNP的复杂度类的图解。如Pꀽ嘅P则三个类相同。
简单来说，Pꀽ嘅P问题问道：如果是／不是问题的正面答案可以很快验证，其答案是否也
可以很快计算？这里有一个给你找点这个问题的感觉的例子。给定一个大数Y，我们可以
问Y是否是复合数。例如，我们可能问53308290611是否有非平凡的因子。答案是肯定的，
虽然手工找出一个因子很麻烦。从另一个方面讲，如果有人声称答案是"对，因为224737
可以整除53308290611"，则我们可以很快用一个除法来验证。验证一个数是除数比找出一
个明显除数来简单得多。用于验证一个正面答案所需的资讯也称为证明。所以我们的结论
是，给定正确的证明，问题的正面答案可以很快地（也就是，在多项式时间内）验证，而
这就是这个问题属于NP的原因。虽然这个特定的问题，最近被证明为也在P类中（参看下
面的关于"质数在P中"的参考），这一点也不明显，而且有很多类似的问题相信不属于类P
。
像上面这样，把问题限制到“是／不是”问题并没有改变原问题（即没有降低难度）；即
使我们允许更复杂的答案，最后的问题（是否FP=啫NP）是等价的。
https://zh.m.wikipedia.org/zh-tw/P/NP问题
明明是中文却看不懂 看来我没有天分
能编辑这个中文页面也是强者
有八卦吗？