Richard_lea2007-12-31 03:09:14
反证法。设P = NP。令y为一个P = NP的证明。证明y可以用一个合格的计算机科学家在多项式时间内验证,我们认定这样的科学家的存在性为真。但是,因为P = NP,该证明y可以在多项式时间内由这样的科学家发现。但是这样的发现还没有发生(虽然这样的科学家试图发现这样的一个证明),我们得到矛盾。

请阅读更多我的博客文章>>>
•  P=!NP 的证明
•  P\NP\NPC问题
•  12月28日日本首相福田正在北大演讲