惠普实验室的研究员Vinay Deolalikar,一位在理论计算机、随机过程、代数和逻辑方面都有过贡献的研究人员,声称证明了P不等于NP。他的证明目前只有初稿在网络上流传,他在自己的网站上宣称将在近期贴出正式的论文。
P vs NP是克莱研究所的千禧年难题大奖中宣布的7道数学世纪难题中的一道。这7道难题分布在数学的不同分支,任一道难题的解决都被认为会对相应的分支有重大的影响。P vs NP问题属于理论计算机这个数学分支。 目前为止,这七道难题中唯一被确认证明的是庞加莱猜想,2006年由俄罗斯数学家格里戈里·佩雷尔曼证明。如果Vinay D...
.