小说620

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

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

<h1>第092章雷声滚滚,一扫浊世<h1>

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

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

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

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

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

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

最简单的描述就是某类NP=P?<p>

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

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

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

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

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

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

当然关于NP=P?也有很长一段历史。<p>

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

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

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

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

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

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

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

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

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

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

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

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

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

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

标准的综合性难题。<p>

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

……<p>

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

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

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

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

北派天师  丘丘人的原神之旅  NBA大恶人  末世:万倍返还系统  前夫跪求我复合  茅山升棺人  我不是救世主  叶辰夏倾月  驱尸道人  极品狂医  苏御允仙儿的全文免费阅读  光明  活人禁忌2  天命守村人  重生八零旺夫小辣妻  海岛求生:我有一座桃源岛  重生过去当老师  苏御神话复苏  老祖宗她又凶又甜  神秘复苏之诡学人  

热门小说推荐
哄他,宠他,大小姐又在野蛮甜撩

哄他,宠他,大小姐又在野蛮甜撩

简介她野蛮嚣张,是人人宠爱的大小姐。他阴郁隐忍,是人人远离的私生子。前世,司野在堕入深渊的那一刻,将沈星蛮当做唯一的光,企图牢牢抓住。他将她扯进楼梯,虚虚将人圈在角落,你的棒棒糖是什么味的,我好奇了太久。声音淡漠,眼神卑微,他不喜欢你的,沈星蛮,给个机会,做我女朋友。沈星蛮作天作地没有怕的,却唯独怕司野怕的...

剑魁

剑魁

这是炼气士的世界。朝廷覆灭,百家当道,十六州中煌煌盛世,机关城下百鬼夜行。飞船傀儡妖鬼山海兽神通符法魇镇炼气术!风雨如晦,乱世倾轧之下,谁能勘破迷雾?少年走入众圣棋局,终成执子之人。如果您喜欢剑魁,别忘记分享给朋友...

穷女婿继承千亿遗产

穷女婿继承千亿遗产

穷女婿继承千亿遗产简介emspemsp穷女婿继承千亿遗产是声名狼藉大先生的经典都市言情类作品,穷女婿继承千亿遗产主要讲述了穷小子入赘为夫,受尽了白眼和嘲笑,如今发现自己竟是富豪私生子声名狼藉大先生最新鼎力大作,年度必看都市言情...

绝世狂妃:帝君,太能撩

绝世狂妃:帝君,太能撩

绝世狂妃帝君,太能撩简介emspemsp她,凤氏弃女,本是上古神女传人,成为一代帝女,翘指阴阳,执掌天下。却被孪生妹妹未婚夫合伙谋杀被恶女搞死被渣男调戏被老不死的利用?还被某个不要脸的男人看光光?行,她凤叶係大人不记小人过,这些人...

绿茶女配真不想抢男主

绿茶女配真不想抢男主

在咖啡馆打个工能被人怨恨捅死的阮素,突然被系统告知她需要在各个位面完成任务才能消除身上的怨念值。为了消除身上怨念值,阮素不得不苦兮兮地过上打工人的生活。穿越各个小世界消除男主们快爆棚的黑化值,还要小心其他主角团的人盯上她。只是一穿进来,阮素就要暴走了。这些原主都是怎么回事,没事惹了男主就跑,让她一个人来当背锅侠!真是人在家中坐,锅从天上来!面对黑化的男主们,阮素只能硬着头皮消除黑化值。她本只是兢兢业业地在系统的安排下做任务,结果本该对女主死心塌地的男主们,个个都移情别恋了!阮素我只想快点搞完任务回家恰饭,大佬别那么认真啊!1v1如果您喜欢绿茶女配真不想抢男主,别忘记分享给朋友...

通天大圣

通天大圣

通天大圣简介emspemsp铁拳无敌,双锤横天!穿越之后的小豹子,只拿该拿的,只做该做的。绝不去担那太重的责任,也不会去应那不该尽的义务。所谓热血,早在前一世已经消磨干净。然而,当禁忌的血脉在他的体内苏醒,当永恒的眼眸,再...

每日热搜小说推荐