手机浏览器扫描二维码访问
第237节（第3页）
“如果以s为输入运行程序数pn，if程序输出一个不同的整数的列表，and所有整数都在s中，and整数的和为0……”
苏一的声音忽然戛然而止。
正在讨论的教授们都看着她，眼里浮现一抹疑惑之色。
“抱歉，我好像……似乎有思路了。”
思路？
什么思路？
所有人都一头雾水。
苏一说着，忽然间就不顾形象地跑到了讲台上，然后开始在自己的电脑上操作起来。
她的电脑还是连接着投影设备的，所以她所编写的程序直接就展现在所有人眼里。
if程序输出一个完整的数学证明
and证明的每一步合法
and结论是s确实有（或者没有）一个和为0的子集
then
output是（或者不是如果那被证明了）并停机
……
很快，他们也明白讲台上这位华国女孩讲的思路是什么了。
她居然在证明“p与np的问题”！
在所有教授们都瞪大了眼睛，目不转睛地盯着眼前的一幕，不少教授也赶紧让助手将电脑拿出来，想要跟上苏一的解题速度。
台下的学生们更加懵逼了。
有种他们似乎并不在一个世界上的错觉。
整个学术交流会也因为苏一这一突如其来的变故而被迫中止了。
在张渊和主办方的交流下，他们都十分地有默契，没人打断正在证明的苏一，就这么任由她不断地在电脑上编写证明步骤。
而苏一那一瞬间是想到了华国十大国粹之一的围棋，西方国家称之“go”，是一种策略性的两人棋类游戏，最佳走法（在n乘n棋盘上）是指数时间完全的……
苏一似乎忘记了时间。
直到……
最后一步。
由此可证明：p≠np，且成立！
第494章事情的严重性
张渊此时此刻也忍不住呼吸一滞！
他的这个弟子，似乎、大概、可能又解决了出来一个千禧年大奖难题了！
而且这也是被克雷数学研究所收录在其中的千禧年数学猜想难题。
错时空的儿子们回来了 配角 他儿子有个亿万首富爹 【他】是我老婆 重回十三岁 艳杀（1v1，女强年下） 雨之城 恶魔外甥倒霉舅舅 月如玉卷二之泰北归途 偽装快乐 梦回以返 玉乱宫帷，凤斗六宫 分明偏爱（伪骨科H） 近在咫尺的幸福 明争暗秀 逃离异世界（无限流） 丁薇记事 矜持 追寻ONLINE之曇花一现 婚徒
我曾为你着迷
我曾为你着迷简介emspemsp关于我曾为你着迷如愿嫁入豪门，婚礼现场却被一张我几年前的裸借照片搅得鸡飞狗跳。追更danmeiwenclubwoo18vip...
重生替嫁：大佬甜妻美炸了
重生替嫁大佬甜妻美炸了简介emspemsp关于重生替嫁大佬甜妻美炸了一朝重生，贝瑶成为人人嫌弃，又丑又废，被全网攻击的恶毒妹妹，还被逼代替白莲花姐姐嫁给性格暴戾，双腿残废却不得宠的大魔王易瑾爵。众人幸灾乐祸，等着她被大魔王折磨死。可...
万人迷她又被强取豪夺了
花琉璃只想完成所有任务后重生回自己原本的世界，兢兢业业勤勤恳恳扮演原主，结果每次都把剧情给崩了。男主不喜欢女主了，女主对男主没感觉了，男配不为女主付出一切了，全都围着她转了，还动不动就黑化，花琉璃表示，这任务没法做了，全都毁灭吧。第一个世界甜宠文里的替身女配第二个世界魔法世界的小炮灰第三个世界万人迷世界的废物小师妹第四个世界末世文里的全能奶妈第五个世界娱乐圈漂亮小作精第六个世界星际的白月光第七个世界在现代开动物园的小富婆其他世界敬请期待！如果您喜欢万人迷她又被强取豪夺了，别忘记分享给朋友...
神都惊龙
神都惊龙简介emspemsp关于神都惊龙十年前，京都夏家一位少年被逐出家族，在那风雨交加的夜晚，一个小女孩告诉他要对生活充满希望。十年后，那个让国际战场颤抖的战神归来。这一生，除了我没人可以再欺你。...
勾心娇妻：总裁索爱成瘾
勾心娇妻总裁索爱成瘾简介emspemsp关于勾心娇妻总裁索爱成瘾如果在Ｖ省做个问卷调查，谁是最坏的女人，答案一定非许一一莫属。她的脸有多美，心就有多毒。不但勾引妹夫，睡了姐夫，还把继母的三个孩子都收拾的死的死残的残，就连亲生父亲都...
快穿之大佬的心尖
茯笙是一个许愿即刻成真的人。某个位面，小姑娘出门忘了带伞。她蹲下，看着外面的瓢泼大雨，叹了口气，嘟囔，要是雨能停下来，就好了。话音刚落，阴沉沉的天空瞬间艳阳高照，万里无云。系统！？你做了啥？？小姑娘一脸茫然，我只是想雨停系统一定是哪里出了问题。卑微的系统颤抖着开始查原因。又某个位面，小姑娘被绑架。五花大绑地绑在板凳上上，动弹不得。皮肤被勒得红红的，格外地疼。她低头撇了撇嘴，有点委屈，这帮坏人，哼，欺负我，出门是要遭雷劈的。下一秒，刚走出去想买饭的坏人，被天空中一道惊雷劈中，瞬间倒地。众坏人！！！小姑娘立刻被毕恭毕敬地清了出去。最后，某个位面。小姑娘抬头仰望星空，盯着天上的星星，抿了抿唇，小声道，要是他能陪着我，就好了。系统这不可能实现的，我不相信。话音刚落。系统被踹到了一边。小姑娘瞬间被抱住，身后，男人的嗓音轻柔，又带着几分无奈的笑意，笨蛋。我明明，一直在陪着你。小姑娘愣住。一一直都在？男人微微勾唇，不然，谁来满足你的愿望？小姑娘脸一红，有些紧张地抱住了他，唇角微弯，谢谢谢你。不客气，我的夫人。...