看看小说网

手机浏览器扫描二维码访问

092 雷声滚滚一扫浊世(第1页)

可惜的是,不过评论有多热闹,宁孑都不会去关注直播的,他对自己在视频上是什么形象其实并不太关心。或者说宁孑从小到大,其实都没怎么关注过自己的形象问题。

否则也不会来京城前,宁晓都看不下去他那身打扮,一定要带着他去改变形象了。

一个小时虽然不长,却能让他思考一些问题。

三月虽然不在身边,但留给他的题目却一直长伴着他。

尤其是在宣布宁孑数学基础课程已经毕业之后,给出的目标跟具体题目难度再次上了一个台阶。

比如宁孑现在的目标是尝试证明某类np问题=或者≠p类问题。

最简单的描述就是某类np=p?。

说到这类数学问题,包括宁孑之前解决的ns方程问题,就得从上个世纪元年传说中的德国大数学家大卫·希尔伯特说起。

这位传说级全能向的大数学家决定相信后人的智慧,于是在1900年巴黎的数学会议上,一口气提出了23个问题。而这23个问题直接成了整整一个世纪全球数学界的主流研究方向。

甚至针对这些问题的研究,对计算机科学的发展帮助同样是极大的。

就这样很快一个百年过去了,虽然23个问题并没有完全解决,但新世纪的数学家们坐在一起商量了下,觉得既需要呼应历史,又不能埋没了新世纪成长起来的新一代数学家们的智慧,所以应该在前人的基础上再推出几个问题。只是随着数学在这一个世纪的飞速发展,各种分类越来越细,新时代已经没有一个像当年希尔伯特这样近乎全能数学家有那个资格来向全球数学界提问了。

但不要紧,在世界超级大国的号召下,克雷数学研究院邀请了曾证明费马大定理的安德鲁·怀尔斯,荣获过菲尔兹、阿贝尔双数学奖的阿蒂亚,美国数学家约翰·泰特,甚至还包括了弦理论创始人物理学家威腾等等一众科学家坐在一起讨论新世纪难题。

就这样传说中的千禧年七大难题诞生了。np=p?成为了千禧年难题之首,而已经被宁孑证明的ns方程问题,则同样属于一个困扰了数学家许多年的超级难题。

当然关于np=p?也有很长一段历史。

早在1971年计算复杂理论的科学家斯蒂芬·库克就在其《定理证明过程的复杂性》论文中提到了一类极为特殊的问题——np-c问题。这类问题有两个特点,首先它必须是一个np问题,其次任何其它np类问题都可以归约到这个问题。

显然这种问题是非常复杂的,事实上当时的学术界一直怀疑是否真的有这种问题存在。

但牛人终究是牛人,在提出了这类问题后,斯蒂芬·库克还真找到了一个问题,并通过图灵机的方式,证明了他提出的这个问题就属于npp完全问题。

其定义为“给出一个含有n个逻辑变量的逻辑表达式,判断这个表达式是否可能取值为真,也就是判断这个逻辑表达式是否是可被满足的。”因为这个定义,所以该类问题又被称作为“可满足性问题”。

这里不需要管斯蒂芬·库克开了多大的脑洞,反正他通过这种方式证明了他提出的问题属于npc问题之后,数学界着名的库克定理就此诞生“可满足性问题是一个npc”问题。

当斯蒂芬·库克完成了这个开创性的工作之后,次年得到启发的数学家便一连找出了21个npc类问题。比如大名鼎鼎的“哈密顿循环”、“背包问题”、“三位匹配问题”等等。

当然最重要的并不是这些问题被发现,而是根据学术界对npc问题的定义二:任何其它np类问题都可以归约到这个问题,那么只需要找到任意一个npc问题中多项式时间复杂度的算法,也意味着能够证明np=p。

然而几十年过去,没有一个npc类问题得到证明,所以主流学术界大都是认为np≠p的。

但如果说到证明这个理论,其实偶尔也会有数学家跳出来声称完全解决了这个问题,但不管是关于np=p又或者np≠p的证明,从来没得到过数学界跟计算机理论学界的承认。

当然以三月负责任的教导态度,自然不会将这个问题直接抛给宁为就不管了。

即便是更高深的数学内容,依然是循循善诱的解决模式。

这次三月给宁孑出的问题是一个许多玩家都耳熟能详的华容道游戏。

当然,并不是让宁孑玩这个游戏,而是让宁孑通过之前所学习到知识体系,尝试证明或者设计一种算法,让华容道游戏能快速得到结果的最优解,又或者证明根本不存在有一种通用解或者算法能让这个游戏存在最优解决办法。

这显然是个非常让人头疼的问题,涉及到群论等诸多数学领域。

标准的综合性难题。

也让宁孑几乎不需要任何酝酿便陷入深度思索之中。

……

作为这次复现试验当之无愧的主角,当宁孑接受了费米实验室的远程连线出现了在镜头前,几乎全球所有直播的画面都给了宁孑一个固定的分镜头,即便正式的试验过程还没开始。

这个做法起码在华夏是绝对正确的。

互联网具备着天然的放大效应,尤其是当一个人被放大到镜头前,被众人检视的时候。不管是优点还是缺点,都特别容易被瞬间放大。其中最直观,最容易判别的便是,外在形象的美丑。

这个时代的和平国度给与国民最大的馈赠大概便是可以在网络上自由的表达喜好。

比如疯狂的颜值党们。帅即正义这种明显不太科学的宣言,市场却是相当庞大的。

云灵仙路  骷髅领主的成长日记古二蛋  极品傻仙  封神之逍遥不二仙  大明次子朱朗  我的世界培育叶昊  我在1980有片原始森林  支教五年,大明成了日不落帝国  都市医神狂婿陈心安  原始人日记徐晨  卒圣宁越  携带系统去修仙  没钱上大学的我只能去屠龙了免费阅读  六月,是我们的离歌  王爷绝宠废柴妃  无上血尊  漂在诸天的日子  一个人的道门张砚  我大明二皇孙,开局挣下一亿两  官雄  

热门小说推荐
混在日本女校的高手

混在日本女校的高手

为了躲避一个美女疯狂的纠缠,叶权宇在好友的帮助下偷偷来到日本,光荣地成为了圣樱花女子高中的第一名男学生,原本只想平静读完高中的他,面对一群萌萌的少女,生活又怎么可能平静得了?交流群号2746792欢迎大家前来交流吐槽!...

我家娘子是女皇

我家娘子是女皇

作为醉月楼唯一一个男人,杨辰觉得压力很大。通过我洗的衣服来判断,李姐姐胖了两斤,王姐姐瘦了点,还有,能不能别让马姐姐穿那么性感的衣服,我洗衣服压力很大的。杨辰需要每天像老鸨这样汇报着工作。除此之外,他还要严守自己的贞操。杨辰,今天晚上来侍寝!让姐姐亲一个!记住,别躲,今晚,你是我的。...

上门狂婿

上门狂婿

被丈母娘为难,被女神老婆嫌弃!都说我是一无是处的上门女婿!突然,家族电话通知我继承亿万家财,其实我是一个级富二代...

1号新妻:老公,宠上瘾!

1号新妻:老公,宠上瘾!

被继母逼迫,她走投无路,和神秘富豪签定协议嫁进豪门。婚后三年,富豪老公把她宠上天。只除了没有生下继承人。豪华别墅里,裴七七气愤地将报纸砸在男人身上这上面说我是不下蛋的母鸡,唐煜,明明就是你的问题。男人放下报纸,一本正经地赞同小妻子的话怎么能乱写呢,你分明属猪!唐!煜!她气得跳脚!男人轻笑有没有孩...

都市超级医仙

都市超级医仙

左手惊天医术右手至强武功,携带百年记忆,重生回归都市,这一世,定要纵横无敌执掌一切,登临苍穹之巅!...

华娱特效大亨

华娱特效大亨

新书我的特效时代上传,求收藏,求推荐!落魄功夫小生陆麟,拥有一台能做出炫酷特效的超级电脑。从此华语影片不在是低成本小制作的代名词。奇幻瑰丽的仙侠世界登上银幕,沉迷华夏网文的外国小哥,不再期待漫威!书友群481993635...

每日热搜小说推荐