手机浏览器扫描二维码访问
尤基鼓掌。掌声之中有三分应付,也有三分真诚:“可是师父,这和我们说的‘内功’……有什么关系……”
“尤基,”向山没有正面回答,而是反问了一个问题:“你觉得,计算机这个东西,强大吗?”
尤基点了点头。控制义体。其实大半都是计算机在出力。只要有计算机在,再复杂的工程机械也可以运转。
尤基还知道,计算机可以以不可思议的速度计算东西,有钱人还能用它做更多的事情,比如……比如……
反正就是很厉害了。
“确实。人类生物脑的性能,如果符号运算为基准的话,计算资源可以和超级计算机相比——好吧,在这个时代,我记忆里的那点参数多半也算不上‘超算’了。但是,与这个硬件相匹配的软件,优化实在是太差了。如果单纯比拼计算,追求性能,生物脑是比不过计算机的。”
这是很正常的事情。生物演化,从来就遵循“够用就行”的原则。演化这种事,是不会追求“性能上的极致”的。一个不利性状,只要不影响“活到生育年龄生孩子”,它就不会被自然选择所淘汰。
自然人身上,有一大堆会引发各种伤病的智障设计。
但惟独有一样事情,计算机是无法与人脑相比的。
“至少在我所知道的时代里,计算机仍旧无法跳出‘计算性问题’的限制。”
尤基有些懵:“‘计算性问题’……”
“计算性问题,就是在探索,是否所有数学题,都可以依靠同一个计算方法破解。在这个基础上,一个叫做阿兰·图灵的天才,设计出了‘图灵机’,然后……他否定了人类关于‘可计算性’的理想。不是所有数学问题,都能被机器所破解。”
图灵机一开始就无法理解许多问题。不是“计算资源不足,无法计算”而是“连开始计算的可能性都不存在”。
最简单的,就比如说部分几何——注意,“部分几何”,不是“所有”。数学中,“数字”、“几何”、“方程”之类的概念,在一定程度上是可以相互转化的。
但在一开始,就有很多问题,计算机无法计算,甚至无法识别。
在计算机诞生的初期,有一位教授,派遣他手下的一个研究生,去解决“计算机图像识别”的问题——他当时乐观的认为,只需要两个月,他手下的研究生就能彻底攻克这个问题。
但事实是,这是不可能的。
一直到二十一世纪,“肉眼识别验证码”,也是某些网络程序判断“登陆者是否是人类”的标准。
“计算机图形识别”是一个恐怖的学科。全世界有无数学者在为之奋斗,但程序员们仍旧将“肉眼识别验证码”作为阻拦机器恶意登陆的手段。
计算机图形识别如此困难,究其原因,很大程度上是因为……
“计算机能够理解的问题,被称作‘多项式时间问题’,polynoialti——也就是缩写的p问题。计算机可以快速解决p问题。而比p问题更为困难的,则是非确定性多项式时间。nondeteristicpolynoialti——即np问题。”
一大部分几何问题,都位于np之内。图灵机可以快速的验证答案是否正确,却不能快速地给出答案。而有的是几何问题甚至还要比np还要难。
“曾经有数学家想要证明‘p=np’,来证明所有np问题都可以被转化成p问题,找到让计算机成为神的路径。我仍旧不记得成功了没有……”
图灵机诞生的时候,就被划定了极限——因为它证否了“数学具有绝对的图灵可计算性”。
大卫·希尔伯特先生的伟大理想,失败了。
——如果不是因为战争的话,或许阿纳托利有可能做到……什么……
——阿纳托利又是谁?我怎么认识这么多莫名其妙的厉害角色?
片刻之后,男人才落寞的补充了一句:“大概是没有吧。计算机有‘注定不能做到’的事情。np问题,就注定是电子计算机无法理解的东西了。而np问题,甚至还不是复杂的极致。”
“np问题之外,还有多项式层级结构问题ph】,多项式层级结构问题之外,还有多项式空间问题pspace问题】,多项式空间之外,还存在指数时间问题expti问题】。”
“在这方面,量子计算机比电子计算机强上一个维度。但是量子计算机理论上的能力界限,被称作有限错误量子多项式时间问题bqp】。而bqp范畴,也只包括了部分的pspace问题——即使是量子计算机,也无法触及expti。这是近乎道的领域……”
尤基一脸敬畏的点了点头:“虽然听不懂,不过好像很厉害的样子。那么向山……什么是expti啊?可以举个例子吗?”
“最简单的例子好了。”向山点了点头:“你在使用一个电子程序,觉得这个程序运行有点卡。这个时候,你要做出一个抉择,是判断‘让它就这样卡卡卡的运行,一会就好了’,还是‘我再忍耐多久,我就重启一下’?这个‘判断’,就是expti判断。”
尤基沉默了一下:“哈?”
“这个‘判断’,就是expti判断。”
“什么?”
“这个‘判断’,真的就是expti判断。”
抗战:听说你老李想收编我? 我在火影的修仙日常 四合院:开局捅娄子 武修之杀戮吕布 关于女友转生成为蜘蛛子这件事! 全球抽卡:我有无限合成栏 学渣她成了五个大佬的团宠 重生白夜追凶之王者归来 我是末世游戏大反派 一起扛过枪 吾惜君命 城主爱玩角色扮演? 全职法师之超神系统 彪妻重生 手术室扫地三年首台手术举世震惊 大唐:我成了长乐公主的系统 率土游戏主播 穿越后的锦绣人生 拳技与黑手 网游之大盗贼
关于秦总女纨绔要不要昔日第一女纨绔,穿成被养女鸠占鹊巢赶出家门的落魄千金。爸妈不喜,亲哥厌恶,未来还会被男朋友割肾放血。叶雨桐,我的钱一分都不给你。叶雨桐,你脱光了站到我面前我都不看你一眼...
三年前,为了父亲,为了他,她忍痛分手,落魄不堪三年后,她依旧落魄,他却傲立商界顶端受众人瞩目三年前,她甩了他三年后,他回来复仇。一场比赛,一份婚约,让两颗心紧紧相依!...
我就是我。斗破世界的我是我。斗罗世界的我也是我。火影世界同样也是我。同样的记忆,同样的性格,不同的人生,同样的目标。火影的我抱上了大筒木一乐的大腿。斗罗的我,进入了圣魂村,成为了继唐昊走后的新一任铁匠。斗破的我待在了青山镇,坐等小医仙成圣回来。千千万万的世界,千千万万的我,不苟到无敌,绝不出山。如果您喜欢诸天万界之我的分身全是苟王,别忘记分享给朋友...
如果您喜欢权臣的黑莲花,别忘记分享给朋友...
新书穿成反派大佬的心尖宝发书啦。可爱无敌的唐小囡穿成了年代文里的蠢笨女配,爸爸是隔壁小孩吓得不敢哭的煞神,妈妈是骂遍全大队无敌的跋扈泼妇,三个哥哥是方圆百里人见人怕的恶霸。但他们在唐小囡面前,全都变成没脾气的小绵羊,只想宠她宠她再宠她。为了改变书里一家子的悲惨结局,唐小囡努力把养歪的三个哥哥掰正。大哥,老师好凶的,你教我好不好?二哥,我身体这么差,要是有个神医哥哥就好了。唐小囡拍了拍自己的肥肚子,良心一点都不痛。三哥,我想吃好多肉肉,可是要好多钱钱。于是,唐家三个恶霸,突然某一天揍跑了狐朋狗友,开始奋发图强,只为了不让宝贝妹妹失望。只掰正哥哥是不够的,唐小囡决定抱紧未来大佬的大腿,现在还是个可怜的小狼崽,她要投喂未来大佬。霍哥哥,吃糖糖。霍哥哥,吃糕糕。霍哥哥,吃肉肉。可有一天,大佬拒绝了她的投喂,还露出高深莫测的神秘笑容,危险的眼神让唐小囡红了脸。哎呀好羞羞!空间爽文双强强宠一对一重生回到十一年前,叶青青只想有仇报仇,有恩报恩,最大的恩人自然得此生相守,再替他医好废了的双腿,重争荣光!...
黎妙妙做了一个梦,梦里一场大雨给人类带来了灭顶之灾,末日世界降临,而她与家人,下场凄惨梦醒后,她看着自己从梦中得来的空间,陷入深思手握空间系统,她是不是可以和家人躺平了呢?于是,在别人为了一口吃的四处求爷爷告奶奶的时候,黎妙妙带着家人坐在家里看着电视吃着火锅在别人为了一件毛衣大打出手的时候,黎妙妙带着家人穿着厚棉袄在院子里堆雪人在别人手拿好不容易得来的一颗晶核苦哈哈躲在角落提升异能的时候,黎妙妙带着家人坐在空间的草地上也在吸收晶核,只不过她们的晶核是论箱的。全家凭空间系统一路躺赢时,黎妙妙摸了摸下巴是时候该解决人生大事了。她制止了旁边鬼鬼祟祟的男人,大声道顾时寒,不要以为我没看见你偷偷给我送花!如果您喜欢末世后我全家凭空间躺赢,别忘记分享给朋友...