NP完全问题,亦是七大数学难题之一。
随着杨学斌证明黎曼猜想,剩下的六大数学难题也成为了数学界最热门的话题,分组讨论就有很多讨论这六大世纪难题的。
六大世纪难题,杨学斌之所以选择NP完全问题,是因为它能指导算法研究的根本方向,对优化、人工智能、物流调度等行业产生深远影响。
他是数学家,又精通计算机,研究这个问题是最合适不过的。
杨氏函数虽然也能构建算法,提升人工智能的智能,但那都是间接的,远没有这个NP完全问题来得直接和深远。
什么是NP完全问题?
想象一下,你现在面对无数个上了锁的房间(难题)。
P问题(简单房):
你手里有对应房间的钥匙,开门进去很快就能找东西(解决问题)。
比如从一堆牌里找出大王。
NP问题(验证房):
你没钥匙,不知道里面有什么。
但如果有人从门缝里塞给你一张纸条,说是答案(比如:红桃K),你可以飞快地对照门上的谜题验证对错。
大部分密码锁就是这类猜密码难,但试密码快。
NP完全问题(核心母锁):
这是所有‘验证房’里最难、最核心、最有代表性的那一批锁。
它们之间有一种‘灵魂链接’:只要你找到了打开其中任何一把‘核心母锁’的万能钥匙(快速算法),那么世界上所有‘验证房’的门,你都能用这把钥匙打开!
旅行商最优路线、完美调度、蛋白质最佳折叠、芯片设计等等,全是这种‘核心母锁’。
第397章 人前显圣
NP问题与黎曼猜想不同,证明任何NP完全问题属于P(即证明P=NP),亦或者是证明其不属于P(即加强证明P≠NP),都将引发一场科学与社会的地震。
如果P=NP,那科技将会迎来爆发式的发展。
我们可以高效地在所有可能的证明中搜索到正确的那个,科学研究将进入一个高度自动化的新时代。
甚至包括音乐、绘画、小说等等的创作,都可以通过算法来完成。
NP完全问题虽然没有被证明,但目前主流是默认P≠NP。
像密码学等都是基于P≠NP。
像这种数学难题,且拥有极大科学应用价值的数学难题,证明的结果往往并不是那么重要,重要的是在证明中创造的方法。
总之。
若 P=NP,这把钥匙将打开一扇通往技术乌托邦/反乌托邦的大门,彻底重塑人类文明。
若 P≠NP,这把钥匙则将锁死一条想象中的捷径,迫使我们更智慧地面对世界的复杂性,并为我们已建立的数字世界提供最坚实的理论基石。
………
随着杨学斌话落,现场先是一片寂静,随后是集体哗然:
“卧槽,不是吧,杨神这是要现场证明NP完全问题?”
“Oh,mygod,我这一定是在做梦,他竟然要现场证明NP完全问题,接下来难道是要见证奇迹的时候?”
“连黎曼猜想都可以证明,理论上他是有能力证明NP完全问题的。乖乖,如果能够证明P=NP,别说是氦闪危机了,就算是即将超新星爆发我们都不怕。”
“P不可能等于NP,否则将意味着所有结构化的探索,本质上都可以被机械地压缩。也意味着,我们这个宇宙将失去深度,变得异常简单和脆弱。”
“NP完全问题,就像是上帝手中能够创世的钥匙。如果能够证明,我们将通往成神之路。但显然,上帝不可能将这枚钥匙交给我们。”
“既然杨敢现场证明,说明他还是有些想法和把握的。即便最后没有成功,也必然会推动这个问题的大发展,给后来人铺路。”
………
现场数学家们集体高潮了。
他们目光灼灼地看着杨学斌,希望这个现代的‘数学王子’能够再次创造奇迹。
或许人类的未来,就在这场学术报告中。
亦或者说,人类文明的未来就在杨学斌的记号笔尖上。
刘建明更是激动不已。
这将是近百年数学史上最高光的时刻。
他心中感叹,谁能想到几个月前还放浪形骸的杨学斌,转眼间就登顶了数学之巅,不仅证明了黎曼猜想,还将证明NP完全问题。
……
杨学斌没有理会在场人的反应,他转身拿着记号笔,就在空白的白板上写了起来。
定理:P≠ NP
证明:
假设与结论相反,即 P = NP,我们将推导出一个矛盾。
若 P = NP,则 EXP P/poly。
……
他使用的是反证法。
如果能够证伪P = NP,那自然就是P≠ NP。
现实世界虽然没有人证明NP问题,但三体世界有人证明了,而且是杨冬证明的,杨学斌还是那篇论文的审稿人。
因为技术类记忆被模糊,杨学斌想不起论文的内容。
但结果他是知道的。
即P≠ NP。
这也是目前绝大多数数学家和计算机学家都相信的直觉,或者说经验。
沙沙!
记号笔在白板上快速写着,留下一行行复杂的数学公式。
在‘数字空间’的加持下,杨学斌思维急速运转,无数灵感纷纷涌上心头,他感觉满脑子都是数学公式瀑布。
灵感来得太快太多,杨学斌只能跳着写才能跟上节奏。
但这可苦了在场的人。
那些顶级数学就还好,他们边看边运算,勉强能够跟得上节奏。
但非顶级数学家,很快就两眼懵逼。
尤其是那些只是来‘凑人头’的博士生,更是感觉自己在看天书,明明所有符号都认识,但连在一起就不知道是什么意思,更不知道上一步是如何推导出下一步的。
既然看不懂,那就放弃吧。
承认自己蠢,其实也不是什么很难的事情。
“麻蛋。在杨神面前,我感觉自己就像是个二傻子。不行,我要直播,我要让全世界的人都意识到他们也都是二傻子。”
“少年们,来感受数学的恐怖吧。”
……
于是,不少人纷纷拿出了手机进行直播,中外博士生都有。
他们其中还有不少知识类大V。
很快,他们直播间中就涌入了大量的人,并且随着时间推移和事件的发酵,进入直播间的人越来越多,甚至登上了各大平台的热搜。
国家数学家大会本来就自带热度,更何况是现场证明七大数学难题之一的NP完全问题。
“牛逼!不愧是我杨神,领个奖都与众不同,当中证明七大数学难题之一,这是要上天的节奏啊。”
“彪悍的人生不需要解释,看样子杨神又要摘下一个数学上的王冠了。”
“果然,学数学的都是非人。这满黑板的字母符号,如果不是知道这是在做数学题,我都以为是在写英文作文。”
“很好奇的问问,杨学斌这么作秀,万一证明不了岂不尴尬了?”
“尴尬?有什么尴尬的,能够站在那里就是无上荣耀。先不说杨神肯定有一定的把握,否则不可能当场证明,就算失败了又能怎样,谁敢笑?这是七大世纪难题,不是小学数学。”
……
联合政府。
刚忙完工作,郝晓终于有时间坐下来休息休息。
她习惯性地打开V信,给杨学斌发了条信息,但很久都没有回,她知道杨学斌肯定在忙,于是就刷起斗音打发时间。
“咦!”
郝晓惊疑。
她刷到一个直播间,直播间正在白板上奋笔疾书的人赫然就是杨学斌。
于是,她连忙点进去看。
通过屏幕上的发言,她很快就知道了事情始末,原来杨学斌现场证明NP完全问题,一个与黎曼猜想并列的世纪难题。
“学长真厉害!”
郝晓欣喜的同时也不免有些担心,万一失败了怎么办?
“不会!”
“肯定不会!”
“如果学长没有绝对的把握,怎么可能当中作证明!”
郝晓暗忖。
学长可是个沉着稳重的人,不可能做没把握的事情。
第398章 动了,杨神他动了!
北京。
中科院量子计算机研究所。
算法与模型组群,有个人忽然发了条信息@了所有人:“所有人,去斗音看热榜第一,杨学斌杨神在国际数学家大会上现在直播证明NP完全问题。”
马兆和图恒宇也被惊动了,都停下来手中的工作,进入了证明直播间。
很快,群里就沸腾了。
“这杨学斌还是不是人了,才证明黎曼猜想几个月,竟然又要证明NP完全问题。”
“天呐,杨神是怎么做的。我每天下班后都是倒头就睡,他竟然还有闲工夫研究世纪数学难题,他难道不睡的么?”
“有没有一种可能,他随便研究研究,相当于我们辛苦好几年?”