亲,欢迎光临88小说网!
错缺断章、加书:站内短信
后台有人,会尽快回复!
  • 主题模式:

  • 字体大小:

    -

    18

    +
  • 恢复默认

第155章 p=Np

林墨为何会突然开始研究起了算法?

这就要从系统任务说起。

随着N-S方程研究的突破和论文发表,林墨的挑战任务1也得到了系统的确认,完成的任务提升。

“叮,挑战任务1(1\/7):宿主完成纳卫尔-斯托可方程的存在性与光滑性证明,并发表论文获得认可。任务奖励:数学学科积分点。”

在任务完成的同时,一条新的消息弹了出来。

“叮,挑战任务1(2\/7):p\/Np问题,请宿主完成两个复杂度类p和Np是恒等(p=Np?)问题研究,并发表论文或进行报告,证明成果获得认可。任务奖励:数学学科积分点。”

果然……

林墨摇了摇头,和他猜测的一样,这系统这个挑战任务1果然是让他完成千禧年七大难题的。

之前接到N-S方程任务时,林墨就有过猜测,这个挑战任务1很可能就是关于千禧年其他难题的,所以,当时他特意找来资料,对千禧年其他难题的每个问题都进行了了解。

所以当看到新的挑战任务,p\/Np问题,林墨的脑海中,迅速浮现出相关的信息。

什么是p\/Np问题?

对于高速处理数据的计算机来说,处理某一个特定数据的效率不能衡量一个程序的好坏,而应该看当这个数据的规模变大到数百倍后,程序运行时间是否还是一样,或者也跟着慢了数百倍,或者变慢了数万倍。

而在同等的计算资源下,人们自然希望程序或算法,随着问题复杂度的增加,所用时间增加在可接受的范围内,计算用的时间越短越好。

而符合这种要求的,叫做多项式级复杂度。

反之,随着负责度增加,计算时间呈几何级数增加,叫非多项式级的复杂度。

于是,人们想到一个问题,那就是会不会所有的问题都可以找到复杂度为多项式级的算法呢?

于是如果一个问题可以找到一个能在多项式的时间里解决它的算法,我们叫它p问题。

Np问题是指可以在多项式的时间里验证一个解的问题,或者是可以在多项式的时间里猜出一个解的问题。

所有的p类问题都是Np问题。也就是说,能多项式地解决一个问题,必然能多项式地验证一个问题的解。

那么是不是Np问题都是p问题呢?

而p=Np问题,就是要验证或推翻这个结论。

如果能够证明p=Np,也就意味着,所有的Np问题都能找到在多项式时间里解决它的算法,这将给对计算机算法带来巨大的变革,拥有划时代的意义。

这个问题是计算数学的巅峰,吸引了无数人的注目和研究,却始终难以解决。是一个耗费了很多时间和精力也没有解决的终极问题,能与其相提并论的大概只有物理学中的大统一。

而不断的研究,让不少科学家认为,p=Np是不成立的,也就是说,存在至少一个不可能有多项式级复杂度的算法的Np问题。

不少人以此为方向进行研究,想要证明p≠Np,可是这么多年过去,依旧没有进展。

证明证不出来,想要证伪也做不到。

这个问题,还真是不好解决呢。

林墨看着任务说明,摇了摇头。

而且这任务奖励,嚯,两万点?

N-S方程完成了也只有一万点,这p\/Np问题居然有两万点?

是系统认为p\/Np问题的难度是N-S方程的两倍?还是这说连环任务,每完成一环,任务奖励翻倍?

林墨摇了摇头,暂时得不到答案,也许等到他完成p=Np问题的研究,开启新的挑战任务,才能知道究竟是怎么回事。

而这,便是林墨为什么突然找上姜凡军,想要开展算法研究的原因。

而与挑战任务1同时完成的还有挑战任务2。

“叮,宿主完成博克纳--里斯乘子问题研究,任务奖励:数学之心。”

“数学之心:你在数学方面具有过人的天赋,你在数学方面学习、研究、教学、思考、创造等,凡一切跟数学有关的行动上,效果翻倍。”

“当前数学之心效果解锁3%。”

林墨愣了一下,这才想起关于博克纳--里斯乘子问题是交给玛丽娜完成的,期间他提供了一些思路,真正的参与并不多,但是系统依旧算他完成了研究。

这让林墨眼冒精光,如果这样可以的话,那是不是只要多找些人来帮忙一起研究,他在研究遇到困难的时候,利用自己的敏锐天赋,提供灵感,解决思路问题,能够更快更高效的完成挑战任务2,早日完成数学之心的解锁?

林墨越想越觉得这个事情可行,他恨不得立刻操作起来,去让田方一和张启华招人,大量的招人,我们数学研究中心要扩编!

当然,林墨收获的不仅仅是完成挑战任务的任务奖励,还有因为N-S方程研究完成,得到的各种提升。

因为研究的进展林墨各项学科值都增长了一大截,基本上每门学科都获得了不同程度的学科值增加。

林墨此时的面板:

数学(大师级)——基础数学大师级级(6000\/)、应用数学精通级(500\/)计算数学精通级(1500\/)、运筹学与控制论精通级(50\/)、概率论与数理统计精通级(2000\/)

林墨看了一下,基础数学涨的最多,足足增加了5000点,其次是概率论和数理统计,增加了2000点,计算数学增加了1500,应用数学增加500点,而运筹学可控制论则只增加了50点。

这算是一个意外之喜。

之前系统说学科值只能通过完成研究增长,林墨还不知道该怎么做,他的学科值没有动已经很久了,现在终于获得了增长。

虽然相对于其后面的上限值还差的很远,但是这也让林墨看到了希望,自己基础数学登顶殿堂级的希望。

不过,随着奖励的发放,随之而来的是一阵眩晕,林墨只觉得眼前一黑。

不过,经历过了之前一次性点学科值信息洪流的冲击洗礼,这几千点的学科值增加,林墨倒是没有被一下子就冲晕了过去。

但是庞大的信息还是让林墨的脑子仿佛被高速的火车撞击,脑瓜子嗡嗡作响。

然后,就没有然后了。

林墨坚持了不过数秒,便毫无意外的,再次晕了过去。