优质中文网

手机浏览器扫描二维码访问

第237章（第3页）

“如果以S为输入运行程序数PN，IF程序输出一个不同的整数的列表，AND所有整数都在S中，AND整数的和为0……”

苏一的声音忽然戛然而止。

正在讨论的教授们都看着她，眼里浮现一抹疑惑之色。

“抱歉，我好像……似乎有思路了。”

思路？

什么思路？

所有人都一头雾水。

苏一说着，忽然间就不顾形象地跑到了讲台上，然后开始在自己的电脑上操作起来。

她的电脑还是连接着投影设备的，所以她所编写的程序直接就展现在所有人眼里。

IF程序输出一个完整的数学证明

AND证明的每一步合法

AND结论是S确实有（或者没有）一个和为0的子集

THEN

OUTPUT"是"（或者"不是"如果那被证明了）并停机

……

很快，他们也明白讲台上这位华国女孩讲的思路是什么了。

她居然在证明“P与NP的问题”！

在所有教授们都瞪大了眼睛，目不转睛地盯着眼前的一幕，不少教授也赶紧让助手将电脑拿出来，想要跟上苏一的解题速度。

台下的学生们更加懵逼了。

有种他们似乎并不在一个世界上的错觉。

整个学术交流会也因为苏一这一突如其来的变故而被迫中止了。

在张渊和主办方的交流下，他们都十分地有默契，没人打断正在证明的苏一，就这么任由她不断地在电脑上编写证明步骤。

而苏一那一瞬间是想到了华国十大国粹之一的围棋，西方国家称之“GO”，是一种策略性的两人棋类游戏，最佳走法（在n乘n棋盘上）是指数时间完全的……

苏一似乎忘记了时间。

直到……

最后一步。

由此可证明：P≠NP，且成立！

第494章事情的严重性

张渊此时此刻也忍不住呼吸一滞！

他的这个弟子，似乎、大概、可能又解决了出来一个千禧年大奖难题了！

而且这也是被克雷数学研究所收录在其中的千禧年数学猜想难题。

纠缠[先婚后爱]  给满朝文武转播苏轼的贬谪生活[历史直播]  今日上上签  如何向Gin提出离职  八零年代漂亮女配  重生之大佬的小可爱  聘娇娇  古板老男人怀孕后  公子不承欢  与你沉沦[娱乐圈]  重生之国民男神  重生之不再做妾  替身文里的白月光来自疯人院  婀娜如她  叶尘苏傲雪神道丹帝  咬一口春色  撒娇精怎么可能是替身  搭伙过日子[七零]  穿书反派：修为尽失，女主逆推  绝品策命仙医