思路?
什么思路?
所有人都一头雾水。
苏一说着,忽然间就不顾形象地跑到了讲台上,然后开始在自己的电脑上操作起来。
她的电脑还是连接着投影设备的,所以她所编写的程序直接就展现在所有人眼里。
IF程序输出一个完整的数学证明
AND证明的每一步合法
AND结论是S确实有(或者没有)一个和为0的子集
THEN
OUTPUTquot;是quot;(或者quot;不是quot;如果那被证明了)并停机
很快,他们也明白讲台上这位华国女孩讲的思路是什么了。
她居然在证明P与NP的问题!
在所有教授们都瞪大了眼睛,目不转睛地盯着眼前的一幕,不少教授也赶紧让助手将电脑拿出来,想要跟上苏一的解题速度。
台下的学生们更加懵逼了。
有种他们似乎并不在一个世界上的错觉。
整个学术交流会也因为苏一这一突如其来的变故而被迫中止了。
在张渊和主办方的交流下,他们都十分地有默契,没人打断正在证明的苏一,就这么任由她不断地在电脑上编写证明步骤。
而苏一那一瞬间是想到了华国十大国粹之一的围棋,西方国家称之GO,是一种策略性的两人棋类游戏,最佳走法(在n乘n棋盘上)是指数时间完全的
苏一似乎忘记了时间。
直到
最后一步。
由此可证明:Pne;NP,且成立!
第494章 事情的严重性
张渊此时此刻也忍不住呼吸一滞!
他的这个弟子,似乎、大概、可能又解决了出来一个千禧年大奖难题了!
而且这也是被克雷数学研究所收录在其中的千禧年数学猜想难题。
--