115文学 科幻传奇 赛博英雄传

第十一章 击穿幻影之剑

赛博英雄传 吾道长不孤 1191 02-24 10:31

决p问题。而比p问题更为困难的, 则是非确定性多项式时间。ie——即np问题。”

一大部分几何问题, 都位于np之内。图灵机可以快速的验证答案是否正确,却不能快速地给出答案。而有的是几何问题甚至还要比np还要难。

“曾经有数学家想要证明‘p=np’,来证明所有np问题都可以被转化成p问题,踏出让计算机迈向神境的第一步。我仍旧不记得成功了没有……”

图灵机诞生的时候,就被划定了极限——因为它证否了“数学具有绝对的图灵可计算性”。

大卫·希尔伯特先生的伟大理想,失败了。

——如果不是因为战争的话,或许阿纳托利有可能做到……什么……

——阿纳托利又是谁?我怎么认识这么多莫名其妙的厉害角色?

片刻之后,男人才落寞的补充了一句:“大概是没有吧。计算机有‘注定不能做到’的事情。np问题,就注定是电子计算机无力解算的东西了。而np问题,甚至还不是复杂的极致。”

“np问题之外,还有多项式层级结构问题【ph】,多项式层级结构问题之外,还有多项式空间问题【pspace问题】,多项式空间之外,还存在指数时间问题【exptime问题】。”

“在这方面,量子计算机比电子计算机强上一个维度。但是量子计算机理论上的能力界限,被称作有限错误量子多项式时间问题【bqp】。而bqp范畴,也只包括了部分的pspace问题——即使是量子计算机,也无法触及exptime。这是近乎道的领域……”

尤基一脸敬畏的点了点头:“虽然听不懂,不过好像很厉害的样子。那么向山……什么是exptime啊?可以举个例子吗?”

“最简单的例子好了。”向山点了点头:“你在使用一个电子程序,觉得这个程序运行有点卡。这个时候,你要做出一个抉择,是判断‘让它就这样卡卡卡的运行,一会就好了’,还是‘我再忍耐多久,我就重启一下’?这个‘判断’,就是exptime判断。”

尤基沉默了一下:“哈?”

“这个‘判断’,就是exptime判断。”

“什么?”

“这个‘判断’,真的就是exptime判断。”

“不对吧……”尤基很怀疑自己的生物脑是不是坏掉了:“这个不是……小孩子就能够理解的事情吗?”

“从数学的层面来看,这个问题的难度层级就是exptime。生物脑可以简单的做出这种判断,但计算机就连‘理解’都做不到。在已知的计算模型之中,就只有一种,能够触及这个领域……”向山指了指自己的头颅:“人类的生物脑。”

“或许这是一种限制,人类的大脑,无法构建比自己在数学层面上更加先进的计算模型?或许可以,只是人类还没有触及这个领域?但我可以肯定,现在的人类依旧没有解决这个问题——因为我今天遇到的武者,

目录
设置
手机
书架
书页