第六百七十六章 讨论计算复杂性(计算机)
怀特说:“将计算能力提升是很了不起的事情,需要了解计算复杂性问题,你有把握做好这些?”
丘奇说:“世界上最难的问题就是世界上最简单的问题,多,到难以想象。能有简单的方法吗?如果有就会重新变得没有简单的方法。如果有了方法,那么在更远处就会也变得难数,就是借助复杂的机器,也会到崩溃的一天,就是让很多机器分开去读。”
怀特说:“假如有简单方法可以解决,计算时间变短,效率变高。一段范围在短时间之内解决吗,几分钟甚至几秒。那么在这之后位长的,计算也变得容易。那么更长的呢?那种很长很长,是任意长,能够吗?但是,不同的长应该是不同算法吧。如果是不同的长是相同算法的话,肯定是越长,算得越慢,是一个简单的比例,所以长到一定程度,一定会变慢。所以这也算是没有简单方法,必须是一直有不同方法,或者是同种算法的不同情况,那也是一种难。”
丘奇说:“随着提升计算器能力,以及计算简化的改进,会慢慢解决。”
怀特说:“如果就是有,那就是有超长数解决,超长数后的也解决了,之后的无穷远的也解决了。那么解决的方式不是完全相等的,不同的数段所用的方法分别不同,而且能够达到人类难以承受的程度,所以后面的方法虽不能在前面用,但在应该在后面的的方法应该如在前面时那样简单,所以后面的,以及在往后一些的等等之时,应该是相对越来越简单才可以。”
图灵说:“如果要说是有简便方法的话,那么还需要在我们的意料之中才行,在意料之中这种称之为是从前面到后面有一个我们所知的规律,那才能叫简便方法的存在,那么这个规律就是简便方法规律,但是当达到一定多的程度时也会算不过来,所以这个方法规律也要分段,那也要有规律才行。所以以此类推,一直有这种规律,一直往上层推,才能为简便方法的解决。一开始的多是第零层,那么第一层,第二层,一直到更高层推导。所以层的问题就很重要了,一看到问题需要先确定层才行。”
怀特说:“分层也会遇到难题。而且数太多,计算太多,一开始需要做工作,很繁琐。”
图灵说:“看到问题了,确定层,就会先数层的数目,确定位数就能确定用哪一层。如果输位数很慢,就分段数,使用分布式,就会快速解决问题。所以解决层的问题,就是使用多台机器计算。多台机器运行能够解决一台机器的时间问题,当很多时,能计算出来多少台机器去计算最为合理吗?这里的合理指时间最短,机器尽可能不要太多,计算性也相对最简单的情况。”
说着图灵在黑板上开始画着自己说的模型和公式。
怀特说:“一时望不到边呢,那是近似无穷大问题,你的方案会解决这个吗?能从开头开始?如果是不同的方法解决,那就只是一个半解决状态,这种东西会存在吗?换个思路,可以被解决,但不是一次性解决,因为以上的可能没有规律,需要人不断的去发现。也就是复杂计算一出现因为太大太强以至于在简单时用不到,称之为“以后用方法”。那么人类能够预测“以后用方法”吗?那么人类是不是已经有了一些人类意识不到的以后用方程了呢?”
图灵说:“一道一个数字,长的望不到边,怎样才会这样的,一张纸写不满,一本书写不满,那也能从纸和书上能够确定。如果从一个地方不停的往这里发送,才会有一种不确定何时结局的感觉,那么在此刻,能够被解决吗?如果不能是因为下一位数的不确定性所导致。那么在可以分段解决吗?多可以被分段解决了吗?假如不知道整体的,每个部分都相应解决一些东西,就可以解决吗?”
哥德尔说:“轻易用不到层层的问题,太偏。”
图灵说:“层的问题的意料之中的方式,以及层层之间的意料之中最终有一最高层,那一个层就是一个方法了,这个意料之中的整体称之为“意料中方法大三角”。如果够大,意料大三角也会比较复杂,因为层数太多,所以推敲不同层的上下关系的式子也需要有规律,称之为“大三角层高规律”。而这个大三角层高规律也必须用起来简单,但是当太大时会出现极度复杂情况,所以“大三角层高规律也会出现对于的大三角层高规律”,称之为“三角层层规律。”以此类推需要有三角层层规律的人类难以承受的运算的三角层层层规律。达到多少个三角层层层称之为,方法层层三角规律,那要画成一个形状就是,一个高维三角形的形状的单形。”