尤基鼓掌。掌声之中有三分应付,也有三分真诚:“可是向山,这和我们说的‘内功’……有什么关系……”
“尤基,”向山没有正面回答,而是反问了一个问题:“你觉得,计算机这个东西,强大吗?”
尤基点了点头。控制义体。其实大半都是计算机在出力。只要有计算机在,再复杂的工程机械也可以运转。
尤基还知道,计算机可以以不可思议的度计算东西,有钱人还能用它做更多的事情,比如……比如……
反正就是很厉害了。
“确实。人类生物脑的性能,如果符号运算为基准的话,计算资源可以和级计算机相比——好吧,在这个时代,我记忆里的那点参数多半也算不上‘算’了。但是,与这个硬件相匹配的软件,优化实在是太差了。如果单纯比拼计算,追求性能,生物脑是比不过计算机的。”
这是很正常的事情。生物演化,从来就遵循“够用就行”的原则。演化这种事,是不会追求“性能上的极致”的。一个不利性状,只要不影响“活到生育年龄生孩子”,它就不会被自然选择所淘汰。
自然人身上,有一大堆会引各种伤病的智障设计。
但惟独有一样事情,计算机是无法与人脑相比的。
“至少在我所知道的时代里,计算机仍旧无法跳出‘计算性问题’的限制。”
尤基有些懵:“‘计算性问题’……”
“计算性问题,就是在探索,是否所有数学题,都可以依靠同一个计算方法破解。在这个基础上,一个叫做阿兰·图灵的天才,设计出了‘图灵机’,然后……他否定了人类关于‘可计算性’的理想。不是所有数学问题,都能被机器所破解。”
图灵机一开始就无法理解许多问题。不是“计算资源不足,无法计算”而是“连开始计算的可能性都不存在”。
最简单的,就比如说部分几何——注意,“部分几何”,不是“所有”。数学中,“数字”、“几何”、“方程”之类的概念,在一定程度上是可以相互转化的。
但在一开始,就有很多问题,计算机无法计算,甚至无法识别。
在计算机诞生的初期,有一位教授,派遣他手下的一个研究生,去解决“计算机图像识别”的问题——他当时乐观的认为,只需要两个月,他手下的研究生就能彻底攻克这个问题。
但事实是,这是不可能的。
一直到二十一世纪,“肉眼识别验证码”,也是某些网络程序判断“登6者是否是人类”的标准。
“计算机图形识别”是一个恐怖的学科。全世界有无数学者在为之奋斗,但程序员们仍旧将“肉眼识别验证码”作为阻拦机器恶意登6的手段。
计算机图形识别如此困难,究其原因,很大程度上是因为……
“计算机能够理解的问题,被称作‘多项式时间问题’,po1ynoia1ti——也就是缩写的p问题。计算机可以快解决p问题。而比p问题更为困难的,则是非确定性多项式时间。nondeteristetp问题。”
一大部分几何问题,都位于np之内。图灵机可以快的验证答案是否正确,却不能快地给出答案。而有的是几何问题甚至还要比np还要难。
“曾经有数学家想要证明‘p=np’,来证明所有np问题都可以被转化成p问题,踏出让计算机迈向神境的第一步。我仍旧不记得成功了没有……”
图灵机诞生的时候,就被划定了极限——因为它证否了“数学具有绝对的图灵可计算性”。
大卫·希尔伯特先生的伟大理想,失败了。
——如果不是因为战争的话,或许阿纳托利有可能做到……什么……
——阿纳托利又是谁?我怎么认识这么多莫名其妙的厉害角色?
片刻之后,男人才落寞的补充了一句:“大概是没有吧。计算机有‘注定不能做到’的事情。np问题,就注定是电子计算机无力解算的东西了。而np问题,甚至还不是复杂的极致。”
“np问题之外,还有多项式层级结构问题【ph】,多项式层级结构问题之外,还有多项式空间问题【pspace问题】,多项式空间之外,还存在指数时间问题【expti问题】。”
“在这方面,量子计算机比电子计算机强上一个维度。但是量子计算机理论上的能力界限,被称作有限错误量子多项式时间问题【bqp】。而bqp范畴,也只包括了部分的pspace问题——即使是量子计算机,也无法触及expti。这是近乎道的领域……”
尤基一脸敬畏的点了点头:“虽然听不懂,不过好像很厉害的样子。那么向山……什么是expti啊?可以举个例子吗?”
“最简单的例子好了。”向山点了点头:“你在使用一个电子程序,觉得这个程序运行有点卡。这个时候,你要做出一个抉择,是判断‘让它就这样卡卡卡的运行,一会就好了’,还是‘我再忍耐多久,我就重启一下’?这个‘判断’,就是expti判断。”
尤基沉默了一下:“哈?”
“这个‘判断’,就是expti判断。”
“什么?”
“这个‘判断’,真的就是expti判断。”
请勿开启浏览器阅读模式,否则将导致章节内容缺失及无法阅读下一章。
诡案追踪 我喜欢那个据说是反派的男人(穿书) 诱你标记 喜欢是芥末草莓味 制卡三幻神,从无限推演开始 明末巡检天下 重生八零:天才小媳妇 快穿之考场妖精 我靠抽卡,穿成小动物给疯批生崽 我看心电图,你说我上班炒股? 重生商纣,开局怒怼圣人女娲 要死,开局穿越宇智波灭族之夜 穿在1977 穿成校草O后被学霸标记了 超时空男团 给暴龙族族长养包子 女修凶猛 美食:承包食堂,清北抢我抢疯了 我在剑宗以情入道 三岁女配带不动
都星际时代了,还开黑店白苏不止开店,我还种田哦,美食我也会做一点点的...
...
全网第一本全职法师同人精品,欢迎来指点。陆君旅游巴蜀,随手买到的白虎吊坠竟然源于白虎图腾,被迫穿越到全职法师世界中,这里是蓝星的平行时空,魔法璀璨,妖魔纵横。(不看原著也能看得懂,逐步铺开设定)他双重本源融合,觉醒天生双系的天赋,执掌从未出现过的金系。面对妖魔入侵大势,人族岌岌可危却又不断内斗的局面,陆君立于圣城之上,凛然道我是世界之王,谁赞成,谁反对?哪怕背负煞渊,需一手托圣城,我陆君依旧无敌于世间!剑来!下方七大天使被一剑钉死在城墙上,触目惊心,七位红衣主教尸骨成路。ps在主角安全优先情况下,尽量挽救原著悲剧角色,何雨许昭霆姜凤等。有女主,不拆原著莫穆莫叶cp魔法系除了两个,其他与莫凡都不一样,每个发展路线独具特色。...