手机浏览器扫描二维码访问
“如果以s为输入运行程序数pn,if程序输出一个不同的整数的列表,and所有整数都在s中,and整数的和为0……”
苏一的声音忽然戛然而止。
正在讨论的教授们都看着她,眼里浮现一抹疑惑之色。
“抱歉,我好像……似乎有思路了。”
思路?
什么思路?
所有人都一头雾水。
苏一说着,忽然间就不顾形象地跑到了讲台上,然后开始在自己的电脑上操作起来。
她的电脑还是连接着投影设备的,所以她所编写的程序直接就展现在所有人眼里。
if程序输出一个完整的数学证明
and证明的每一步合法
and结论是s确实有(或者没有)一个和为0的子集
then
output是(或者不是如果那被证明了)并停机
……
很快,他们也明白讲台上这位华国女孩讲的思路是什么了。
她居然在证明“p与np的问题”!
在所有教授们都瞪大了眼睛,目不转睛地盯着眼前的一幕,不少教授也赶紧让助手将电脑拿出来,想要跟上苏一的解题速度。
台下的学生们更加懵逼了。
有种他们似乎并不在一个世界上的错觉。
整个学术交流会也因为苏一这一突如其来的变故而被迫中止了。
在张渊和主办方的交流下,他们都十分地有默契,没人打断正在证明的苏一,就这么任由她不断地在电脑上编写证明步骤。
而苏一那一瞬间是想到了华国十大国粹之一的围棋,西方国家称之“go”,是一种策略性的两人棋类游戏,最佳走法(在n乘n棋盘上)是指数时间完全的……
苏一似乎忘记了时间。
直到……
最后一步。
由此可证明:p≠np,且成立!
第494章事情的严重性
张渊此时此刻也忍不住呼吸一滞!
他的这个弟子,似乎、大概、可能又解决了出来一个千禧年大奖难题了!
而且这也是被克雷数学研究所收录在其中的千禧年数学猜想难题。
矜持 逃离异世界(无限流) 婚徒 追寻ONLINE之曇花一现 梦回以返 明争暗秀 玉乱宫帷,凤斗六宫 月如玉卷二之泰北归途 重回十三岁 配角 分明偏爱(伪骨科H) 【他】是我老婆 恶魔外甥倒霉舅舅 偽装快乐 错时空的儿子们回来了 雨之城 他儿子有个亿万首富爹 艳杀(1v1,女强年下) 近在咫尺的幸福 丁薇记事
嗯?我叫萧炎?这是斗气大陆?此萧炎非彼萧炎的萧炎低下头,注视着脖子上戴着的黑色戒指,陷入沉思。如果您喜欢人在斗破,成为萧炎,别忘记分享给朋友...
撩妻100式霍少的专属妖精简介emspemsp关于撩妻100式霍少的专属妖精她是一个失去记忆的女人,为了生存,委身在他西装裤下。世人都知道,权霸一方的霍少专宠她一人,却不肯娶她。待记忆回来,她猛然惊醒。不顾一切的逃离他。逃?白纸黑字画押的结婚证,你能逃哪儿去?男人将她壁咚在墙上,咬牙切齿。离婚吧!除非我死!...
吃神简介emspemsp某日,因为无意中捡到一块貔貅玉坠,林阳变了,变成一个狂吃不饱的超级饭桶,然后顺理成章地把自己吃穷当然,这仅仅只是开始。PO18小说网(mpo18xswcom)提供吃神最新章节全文免费阅读!。...
战神我真的只是个弟弟简介emspemsp关于战神我真的只是个弟弟大姐白子柒,荣登福布斯富豪榜,霸道总裁。二姐夏娉婷,顶级杀手。三姐李羽真,中医圣手。四姐楚灵儿,超级大明星。五姐苏清荷,国际黑暗世界女皇,号称罗刹。六姐方涵,是个智商高达两百的天才,在各种艺术方面有超高造诣。七姐秦楚楚,身份神秘叶萧自己,全球黑暗世界的王者修罗!...
大国制造简介emspemsp关于大国制造工业天才钟白意外来到1981年这一年,法国TGV列车以3804kmh,打破世界记录,成为当时世界上速度最快轮轨客运的列车这一年,IBM推出首部个人电脑,开辟了计算机的新时代这一年,F117首次实验升空,从此进入隐形飞机的编年史这一年,钟白踌躇满志,走入了落魄的县化肥厂,誓要在工业上有所作为,带领祖国进入大国制造时代!...
前世,袁清菡被朱耀焯和尹雪怡所骗,为了替家人报仇,委身于权势滔天的北堂赫亦,直到死的那刻,才知灭她满门的竟是朱耀焯,而北堂赫亦为了救她,乱箭穿心而死。重活一世,她必定要护家人周全,有仇报仇,有怨报怨,此生再也不辜负北堂赫亦,还他一片真情,可是他还会爱她吗?小剧场前世北堂赫亦万箭穿心躺在血泊之中,弥留之际若有来生,我再也不要爱你!今生传闻,冷酷无情杀人如麻的内阁首辅北堂赫亦身边有一个小迷妹。像一个跟屁虫,甩也甩不掉。炎彬道大人,跟屁虫又对您图谋不轨。大人无妨,莫要干预。炎彬大人,皇帝在背后诋毁您,跟屁虫给了他一巴掌。大人不知把手打疼了没有。炎彬腹诽大人,您何时这般在乎跟屁虫了。某天,跟屁虫得知命不久矣,见到北堂赫亦就躲,北堂赫亦忍无可忍,将她抵在墙角为什么躲我?跟屁虫我以为你不喜欢我难道我表现得还不够明显?某日,某首辅夫人张罗给某首辅纳妾。首辅怒怎么?你要始乱终弃?夫人喜新厌旧不是人的共性吗?首辅带着杀意这么说,你看上了白洛霆?!如果您喜欢重生之权臣的掌中娇,别忘记分享给朋友...