“……”
当即有人拿出手机,点开浏览器,开始查资料。
江扶月不疾不徐:“1971年stephen cook和leonid levin相对独立地提出两个复杂度类p和np是否恒等的问题,即p是否等于np?”
“简单来说,p指的是用计算机能很快求解的问题,np指的是我们想找到最优解的问题。如果p=np,那么我们将很容易找到任意给定问题的解。[1]”
“这意味着我们所了解的社会将发生巨变,医学、科学、娱乐和人类社会一切任务的自动化程度都将立即发生质的飞跃。”
“我举个例子,在如何治疗肺癌这个问题上,我们有p种治疗方案,通过计算机处理,一旦p=np,那么np就是我们要找的最优方案。”
江扶月:“以上,就是从题干信息剥离出的本质问题。你们觉得它错,是因为直到现在这个难题还没有被攻破。换句话说,p是否等于np,这是‘未解之题’,却不是‘无解之题’,两者有本质上的区别!”
m国克雷数学研究所于千禧年5月24日公布了七个难题。p/np问题排在了霍奇猜想、庞加莱猜想、黎曼猜想、杨-米尔斯存在性与质量间隙等难题之前。
而这些难题则呼应1900年d国数学家大卫·希尔伯特在巴黎提出的23个历史性数学难题。
“……当然,经过一百年,这23个难题许多已获得解答。而千禧年大奖难题的破解,是承前,也是启后,极有可能为现代密码学以及航天、通讯等领域带来突破性进展。”
听完解释,大家好像更懵了。
他们不就是做了道ioi竞赛题吗?怎、怎么就和密码学、航空航天,还有什么人类社会自动化程度搭上关系了?
咕咚——
高兆明咽了咽口水,“突然觉得自己不配。”
黄晖呆呆转头,看了他一眼:“谁不是呢?”
“搞什么鬼?居然拿这种未解之谜给我们当竞赛题来做?是出题人疯了,还是组委会飘了?他们凭什么认为大家能做出来?”
“别断章取义。题目又不是让你证明p=np,只是有这个复杂度最优解的思维在里面,题目本身设定了具体情景,并且给足了参数条件。”
“难怪试运行这么久,从p里挑选出最优解np,计算量和复杂程度可想而知。”
“大家怎么了?别被她几句话就误导啊!这道题就算没错,那也超纲了,不应该出现在ioi赛场上。”
但也有人查完资料,慢慢冷静下来,理智占据主导——
“不算超纲。”
“什么?”
“这是理论信息学中计算复杂度理论领域的知识,考纲上有,不信去翻。”
“你是不是傻?!”带头挑事的金发男咬牙切齿,“不超纲咱们通通得零分!什么金牌,想都别想!”
“可事实摆在眼前。”
众人哑口无言。
突然,有人大喊:“出了!出了!试运行结果出来了……”
二更,两千字。
有三更。
参考文献:[1]《可能与不可能的边界:p/np问题趣史》
(本章完)