手机浏览器扫描二维码访问
第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） 偽装快乐 近在咫尺的幸福 错时空的儿子们回来了 婚徒 矜持 重回十三岁 逃离异世界（无限流） 梦回以返 明争暗秀 雨之城 艳杀（1v1，女强年下） 追寻ONLINE之曇花一现 恶魔外甥倒霉舅舅 【他】是我老婆
拉马克游戏
拉马克游戏简介emspemsp关于拉马克游戏一间密室十一个人，有天真少年，有社会混子有道德洁癖，有不择手段的狠人甚至还有利益共同的小团体和刀枪不入的超人。却因无法违抗的规则，彼此厮杀十不存一。当他们把矛头指向手无缚鸡之...
赫先生，医见钟情
赫先生，医见钟情简介emspemsp关于赫先生，医见钟情重生前，温汐活在阴谋算计中，最后被丈夫背叛，下场凄惨。重生后，她把对爱情的向往全部埋葬，取消婚约，踢开渣夫，铁了心往娱乐圈顶峰爬。赫医生你这是病，得治。温汐怎么治？...
人家吃糠我吃肉，随军过上好日子
沈七七刚拿下百花影后奖就突遭意外穿到了一本年代文里。她家作为女主对照组，全家都是极品，满门都是炮灰。沈七七作为全家团宠，不知道该哭还是该笑。书里原主一路倒贴，男女主照单全收，却对她家赶尽杀绝。沈七七一个绝版陈世美加一朵盛世白莲花，渣男贱女赶紧滚！沈七七果断拦住义愤填膺杀去男主家里逼婚的哥哥们。这个狗男人我不要...
最美不过说爱你
排雷！绝壁甜文初见时，那抹笑容，印入脑海，久久不能遗忘多年后，记者采访沐九深第一次见迟浅的时候是在哪里？说的第一句话是什么？沐九深当着广大人民群众面前沉思了片刻缓缓开口。男厕所同学，买纸不，十块钱一包！（‘呆萌’小学霸＆奶系伪学渣）如果您喜欢最美不过说爱你，别忘记分享给朋友...
云芸间
云芸。她不是主角。她的一切皆被幕后操纵却浑然不知。她的命运皆由他人书写却无法改变。她会坐上他人早先打造好的王座，戴上他人许久许久前就已编织成的王冠，铸就不属于她的万世神话。如果您喜欢云芸间，别忘记分享给朋友...
盛总，夫人又去败家了
苏若汐不小心惹上一个强势霸道总裁，一心想逃。结婚刚刚半天，大剌剌地跟前未婚夫订婚，给大总裁送上一顶新鲜的绿帽子。结果被大总裁抓了一个现行，并列下罪！第一个敢给我送绿帽的女人！第一个嫁给我还想逃如果您喜欢盛总，夫人又去败家了，别忘记分享给朋友...