惠普实验室首席研究科学家Vinay Deolalikar发布了他所宣称的解决方案,即众所周知的P与NP问题的解决方案。
难以解决的问题是克莱数学研究所誓言授予解决问题的人的这个问题。 100万美元。它是仅有的七个问题之一,统称为千年奖问题,该研究所为此提供了这笔奖金。其中一个庞加莱猜想于2006年正式解决。
目前尚不清楚Deolalikar是否能够获得现金,因为Clay并未表示认为问题已经解决。
这个问题“计算机科学中的突出问题“涉及”确定问题是否存在,其答案可以快速检查,但是需要通过任何直接程序解决的时间不可能长得多,“研究机构网页解释说。在这个问题中,P代表多项式时间,NP代表非确定性多项式时间。
“我很高兴地宣布一个证明P不等于NP,”Deolalikar在给一群数学教授的电子邮件中宣布,然后在周日由不列颠哥伦比亚省西蒙弗雷泽大学的高级讲师Greg Baker发表。
简而言之,这可能意味着某些问题只能通过强力搜索来解决,如果解决方案可以在所有
“这个证明要求将数学中多个领域的原理拼凑在一起,这个证明的主要努力是揭示不同领域之间的概念联系链,并通过一个共同的镜头观察它们,”Deolalikar写道。
当然,那些对这个问题的熟悉的人毫不犹豫地宣布Deolalikar已经解决了这个问题,因为需要进行大量的检查。虽然他们称赞Deolalikar采取了彻底的方法,但与通常提出的更随意的猜测不同,没有人明确声称他已经解决了这个问题。“
这似乎引入了一些发人深思的新想法,特别是这是统计物理学与NP的一阶逻辑表征之间的联系,“麻省理工学院电气工程与计算机科学助理教授Scott Aaronson在一篇不置可否的博客文章中写道,”我不知道是什么现在思考,但我当然希望,“乔治亚理工学院计算机科学教授Dick Lipton写道。
Joab Jackson报道了
的企业软件和通用技术突发新闻。IDG新闻服务
。在@Joab_Jackson的Twitter上关注Joab。 Joab的电子邮件地址是[email protected]