手机浏览器扫描二维码访问
第237节（第3页）
“如果以s为输入运行程序数pn，if程序输出一个不同的整数的列表，and所有整数都在s中，and整数的和为0……”
苏一的声音忽然戛然而止。
正在讨论的教授们都看着她，眼里浮现一抹疑惑之色。
“抱歉，我好像……似乎有思路了。”
思路？
什么思路？
所有人都一头雾水。
苏一说着，忽然间就不顾形象地跑到了讲台上，然后开始在自己的电脑上操作起来。
她的电脑还是连接着投影设备的，所以她所编写的程序直接就展现在所有人眼里。
if程序输出一个完整的数学证明
and证明的每一步合法
and结论是s确实有（或者没有）一个和为0的子集
then
output是（或者不是如果那被证明了）并停机
……
很快，他们也明白讲台上这位华国女孩讲的思路是什么了。
她居然在证明“p与np的问题”！
在所有教授们都瞪大了眼睛，目不转睛地盯着眼前的一幕，不少教授也赶紧让助手将电脑拿出来，想要跟上苏一的解题速度。
台下的学生们更加懵逼了。
有种他们似乎并不在一个世界上的错觉。
整个学术交流会也因为苏一这一突如其来的变故而被迫中止了。
在张渊和主办方的交流下，他们都十分地有默契，没人打断正在证明的苏一，就这么任由她不断地在电脑上编写证明步骤。
而苏一那一瞬间是想到了华国十大国粹之一的围棋，西方国家称之“go”，是一种策略性的两人棋类游戏，最佳走法（在n乘n棋盘上）是指数时间完全的……
苏一似乎忘记了时间。
直到……
最后一步。
由此可证明：p≠np，且成立！
第494章事情的严重性
张渊此时此刻也忍不住呼吸一滞！
他的这个弟子，似乎、大概、可能又解决了出来一个千禧年大奖难题了！
而且这也是被克雷数学研究所收录在其中的千禧年数学猜想难题。
近在咫尺的幸福 恶魔外甥倒霉舅舅 明争暗秀 分明偏爱（伪骨科H） 玉乱宫帷，凤斗六宫 重回十三岁 梦回以返 追寻ONLINE之曇花一现 错时空的儿子们回来了 逃离异世界（无限流） 他儿子有个亿万首富爹 偽装快乐 丁薇记事 艳杀（1v1，女强年下） 婚徒 月如玉卷二之泰北归途 雨之城 配角 【他】是我老婆 矜持
木叶新豪杰物语
当那个指引了忍者世界巨大变革的男人重归忍界之后，又会在忍界掀起怎样的波澜？一切，从极乐净土重新开始。游龙当归海，海不迎我自来也！如果您喜欢木叶新豪杰物语，别忘记分享给朋友...
以婚之名：霍先生，请深爱
以婚之名霍先生，请深爱简介emspemsp关于以婚之名霍先生，请深爱以婚之名霍先生，请深爱夏心妍嫁了一个躺在床上昏迷三年的男人，她的人生终极目标就是成为一个超级有钱的寡妇，然后陪着她的小不点慢慢长大成人。霍总，你已经醒了，可以放我走了么？谁说的，你没听大师说么，你就是我这辈子的命定爱人。一旁蹿出一个小身影，妈咪，你是不是生爸比气了？放心，他所有的家当都在我的背包里，妈咪快带上我去浪迹天涯吧。男人深吸一口气，天赐，你的背包有多大，还能装下爸比么...
夫人，夜深了
夫人，夜深了简介emspemsp新婚前夜被告知未婚夫要妻妾同娶，她活活气死。再睁眼，华国神医穿越成顾府懦弱的二小姐，妙手回春，枯骨生花，惊才绝艳，冠盖满京华！继母欺压，姐妹陷害，未婚夫变心，她大手一挥，统统教他们重新做人！欠债...
替婚暖爱：技术流她翻车啦
替婚暖爱技术流她翻车啦简介emspemsp关于替婚暖爱技术流她翻车啦佣金在手，天下我有！于是乎黎筱筱一不留神代驾变代嫁，偏偏还嫁给了死对头！人生艰难，她却迎难而上。不仅要提防身份被识破，还得提防明枪暗箭。终于任务结束，她想全身而退却...
修仙强少在校园
修仙强少在校园简介emspemsp修仙强少在校园是唐箫的经典都市言情类作品，修仙强少在校园主要讲述了九世情债，今世偿还。校花御姐萝莉统统都是我的前世情人唐箫最新鼎力大作，年度必看都市言情。新御宅屋（xyuzhaiwu8com）提...
心死离家后，全家疯狂挽回！
前世，凌轩是江城世家凌家丢失的少爷。凌轩有四个姐姐，大姐清冷女总裁凌梦掌管，二姐泼辣性感女总裁凌涵掌管，三姐娱乐圈当红清纯女神小花凌曦，四姐魔都大学生娃娃音cos女王凌琪。高一凌轩被找回后，却被养子弟弟的假少爷凌昊栽赃陷害。父母对他动辄打骂，横眉冷对。四个姐姐也因为被假少爷诱导，对凌轩没个好脸色，有时还把他拎过...