穿书后，系统偏要逼我当学霸 第237节（3 / 4）
有了第一个人提前退场离开，后面陆陆续续地也有不少学生离开了学术报告厅，而这一幕他们并没有放在心上。
也还有一些出于素质和礼貌的学生并没有提前退场。
“如果以s为输入运行程序数pn，if程序输出一个不同的整数的列表，and所有整数都在s中，and整数的和为0……”
苏一的声音忽然戛然而止。
正在讨论的教授们都看着她，眼里浮现一抹疑惑之色。
“抱歉，我好像……似乎有思路了。”
思路？
什么思路？
所有人都一头雾水。
苏一说着，忽然间就不顾形象地跑到了讲台上，然后开始在自己的电脑上操作起来。
她的电脑还是连接着投影设备的，所以她所编写的程序直接就展现在所有人眼里。
if程序输出一个完整的数学证明
and证明的每一步合法
and结论是s确实有（或者没有）一个和为0的子集
then
output是（或者不是如果那被证明了）并停机
……
很快，他们也明白讲台上这位华国女孩讲的思路是什么了。
她居然在证明“p与np的问题”！
在所有教授们都瞪大了眼睛，目不转睛地盯着眼前的一幕，不少教授也赶紧让助手将电脑拿出来，想要跟上苏一的解题速度。
台下的学生们更加懵逼了。
有种他们似乎并不在一个世界上的错觉。
整个学术交流会也因为苏一这一突如其来的变故而被迫中止了。
在张渊和主办方的交流下，他们都十分地有默契，没人打断正在证明的苏一，就这么任由她不断地在电脑上编写证明步骤。
而苏一那一瞬间是想到了华国十大国粹之一的围棋，西方国家称之“go”，是一种策略性的两人棋类游戏，最佳走法（在n乘n棋盘上）是指数时间完全的……
苏一似乎忘记了时间。
直到……
最后一步。
由此可证明：p≠np,且成立！
第494章 事情的严重性 ↑返回顶部↑
也还有一些出于素质和礼貌的学生并没有提前退场。
“如果以s为输入运行程序数pn，if程序输出一个不同的整数的列表，and所有整数都在s中，and整数的和为0……”
苏一的声音忽然戛然而止。
正在讨论的教授们都看着她，眼里浮现一抹疑惑之色。
“抱歉，我好像……似乎有思路了。”
思路？
什么思路？
所有人都一头雾水。
苏一说着，忽然间就不顾形象地跑到了讲台上，然后开始在自己的电脑上操作起来。
她的电脑还是连接着投影设备的，所以她所编写的程序直接就展现在所有人眼里。
if程序输出一个完整的数学证明
and证明的每一步合法
and结论是s确实有（或者没有）一个和为0的子集
then
output是（或者不是如果那被证明了）并停机
……
很快，他们也明白讲台上这位华国女孩讲的思路是什么了。
她居然在证明“p与np的问题”！
在所有教授们都瞪大了眼睛，目不转睛地盯着眼前的一幕，不少教授也赶紧让助手将电脑拿出来，想要跟上苏一的解题速度。
台下的学生们更加懵逼了。
有种他们似乎并不在一个世界上的错觉。
整个学术交流会也因为苏一这一突如其来的变故而被迫中止了。
在张渊和主办方的交流下，他们都十分地有默契，没人打断正在证明的苏一，就这么任由她不断地在电脑上编写证明步骤。
而苏一那一瞬间是想到了华国十大国粹之一的围棋，西方国家称之“go”，是一种策略性的两人棋类游戏，最佳走法（在n乘n棋盘上）是指数时间完全的……
苏一似乎忘记了时间。
直到……
最后一步。
由此可证明：p≠np,且成立！
第494章 事情的严重性 ↑返回顶部↑