开局小说

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

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

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

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

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

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

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

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

最简单的描述就是某类NP=P?。

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

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

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

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

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

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

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

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

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

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

其定义为“给出一个含有

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

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

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

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

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

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

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

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

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

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

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

标准的综合性难题。

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

……

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

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

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

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

云瓷谣  足球:村体育老师,学员全是金靴  穿成恶毒女配的亲妈  幼雁南归  老师有枪  穿越时空:这个男人太高冷  窃命人  宿主今天对男主下手了吗  直播圈粉百万,影帝求我做饭  黑日高悬  我的人间都是你  凡人飞仙传  无敌圣医:我老婆是绝美总裁  小狗子永不言弃  似水流年随心随性  蛊真人  龙临之九域无疆  折断之翼  爷爷的旧手杖  重生七零:娇娇女撩爆男知青  

热门小说推荐
三年陌路婚姻,离婚后他后悔了

三年陌路婚姻,离婚后他后悔了

关于三年陌路婚姻,离婚后他后悔了她暗恋了他整整大学四年,而他也追了他的白月光四年。毕业那天,白月光与男友结婚,他竟也拉着她去民政局扯了证。三年后,在他生日那天,他丢下一纸离婚协议书,说白月光离婚了,他要与她一起出国创业。别人都说她是拜金女,他便给了她很多资产和现金。结果离婚那天,她丢下她净身出户的离婚协议书潇洒离开。三年后,他回国接手集团,成了她的头号客户。他在办公室里一把搂过她,她威胁道你再这样,我告你职场骚扰了我跟你说!他却意味深长的告诉她那你可不一定能告倒我。...

婚心叵测

婚心叵测

简介鹿笙冲喜给温霁沉后,结婚一年从未相见,他只从别人口中得知那是一个温婉知性的女人。直到第一次见面,温霁沉对她的评价是,死装。第二次见,温霁沉再次评价,脸上戴着一层厚厚的面具。一年后的某宴会上,记者罕见的看着温霁沉拉着一个漂亮女人的小手。正要去采访,男人大大方方的拿过话筒示爱,这是我夫人。记者?那个死装女,面具女去哪了?看到温霁沉越来越深邃的眸子,一侧的女人笑得开心,原来你之前都是这么黑我的?温霁沉旁若无人的哄着,下面的记者好好好,小夫妻play的一环罢了!...

高武:吾既修罗,杀戮成神

高武:吾既修罗,杀戮成神

关于高武吾既修罗,杀戮成神灵气复苏,妖兽肆虐,更有天外来人在觊觎着这个美丽的蓝色星球。青年孟夏在成年之时意外觉醒了战斗类最低级的F级职业作为能力最差,战斗起来还敌我不分的废物职业,孟夏在学校里受尽了白眼。直到高考的三个月前,他相依为命的母亲被那个人渣父亲后杀死后,心中暴虐的杀意与废物职业形成了共鸣,潜力从最高B级,提升到了无限!!!!!为了得到更强的力量,不惜一切代价,哪怕是付出生命!哈哈哈哈彻底疯狂吧!...

太太对不起,我真不是幕后大佬

太太对不起,我真不是幕后大佬

关于太太对不起,我真不是幕后大佬影帝王洛的灵魂,穿越进了一个年轻人的身体中。这个叫陈亦鹏的年轻人,不仅拥有一位身份神秘的美艳太太,还有一堆数不清的麻烦。最可怕的是,一位妄图长生的大佬也将自己的意识,转入了这具身体中,并给予了更复杂的身份背景。面对大佬那群可怕的属下们,他必须小心谨慎,被发现的后果只有死路一条。从此,他这只羔羊必须披上狼皮,伪装成狼王,混迹在狼群之中。可怕的秘术,恐怖的秘武,超脱身体极限之后的见神不坏。他所能做的就是在异界闯出属于自己的道路,探索这个诡异的世界。陈先生!一位位掌控着帝国权力的人跪在面前,额头不断撞击着地面。他们仰头看着高坐在台上的年轻人,眼神中充满了敬畏,就犹如看到伟大的神只。...

重生七零:甜妻的田园军婚

重生七零:甜妻的田园军婚

关于重生七零甜妻的田园军婚梁梅重生回到七零年代,决心改变自己和家人的命运。前世的她因任性和无知,错失诸多机遇,导致生活凄惨。重生后,她努力让家人过上幸福生活。梁梅的家庭温馨,有梁父梁建梁母敖琴梁大哥梁子智和梁爷爷梁卓等亲人。她提出多种地养鸡猪来增加收入的想法,得到了家人支持。面对缺少种子肥料和养殖技术等困难,她向梁五叔梁德梁大姑梁贞晶等人求助。凭借前世记忆尝试新种植方法后,生活迎来转机。在镇上卖鸡蛋时,梁梅与男主许浪相遇,他身穿军装英姿飒爽。许浪觉得梁梅朴实可爱,梁梅也发现他心地善良有担当,两人逐渐产生感情。然而,他们的交往遭到梁二堂叔梁进梁二婶梁霞的反对,梁五叔的儿子们也跟着起哄,暗恋许浪的梁二堂叔大女儿梁莹莹更是心怀怨恨,但小表弟陈洋熙和大表哥梁军一直支持梁梅。许浪的父母许父许良许母叶兰起初有些担心,但被梁梅的真诚打动,许大姐许珠姚和许二姐许珠银也认可她。最终,两人在大家祝福下走进婚姻殿堂。婚后他们共同努力,日子越过越好,不仅梁梅家盖了新房购置新家具,他们的爱情故事也成为小乡村的美丽传说。在这个过程中,他们还经历了怀孕生子孩子成长教育创业发展应对各种家庭和事业的挑战...

穿越半兽人

穿越半兽人

顾君兮,你这毒妇!顾君兮呵呵!(舔舔爪子,有我这么漂亮可爱的毒妇?)夕颜你是毒妇我也喜欢!这是一个妹子穿越到修仙界变成半神兽的故事,坚持一下,你可以看完的!...

每日热搜小说推荐