第五百八十九章 討論計(jì)算復(fù)雜性(計(jì)算機(jī))
懷特說:“將計(jì)算能力提升是很了不起的事情,需要了解計(jì)算復(fù)雜性問題,你有把握做好這些?”
丘奇說:“世界上最難的問題就是世界上最簡單的問題,多,到難以想象。能有簡單的方法嗎?如果有就會(huì)重新變得沒有簡單的方法。如果有了方法,那么在更遠(yuǎn)處就會(huì)也變得難數(shù),就是借助復(fù)雜的機(jī)器,也會(huì)到崩潰的一天,就是讓很多機(jī)器分開去讀?!?p> 懷特說:“假如有簡單方法可以解決,計(jì)算時(shí)間變短,效率變高。一段范圍在短時(shí)間之內(nèi)解決嗎,幾分鐘甚至幾秒。那么在這之后位長的,計(jì)算也變得容易。那么更長的呢?那種很長很長,是任意長,能夠嗎?但是,不同的長應(yīng)該是不同算法吧。如果是不同的長是相同算法的話,肯定是越長,算得越慢,是一個(gè)簡單的比例,所以長到一定程度,一定會(huì)變慢。所以這也算是沒有簡單方法,必須是一直有不同方法,或者是同種算法的不同情況,那也是一種難?!?p> 丘奇說:“隨著提升計(jì)算器能力,以及計(jì)算簡化的改進(jìn),會(huì)慢慢解決?!?p> 懷特說:“如果就是有,那就是有超長數(shù)解決,超長數(shù)后的也解決了,之后的無窮遠(yuǎn)的也解決了。那么解決的方式不是完全相等的,不同的數(shù)段所用的方法分別不同,而且能夠達(dá)到人類難以承受的程度,所以后面的方法雖不能在前面用,但在應(yīng)該在后面的的方法應(yīng)該如在前面時(shí)那樣簡單,所以后面的,以及在往后一些的等等之時(shí),應(yīng)該是相對越來越簡單才可以?!?p> 圖靈說:“如果要說是有簡便方法的話,那么還需要在我們的意料之中才行,在意料之中這種稱之為是從前面到后面有一個(gè)我們所知的規(guī)律,那才能叫簡便方法的存在,那么這個(gè)規(guī)律就是簡便方法規(guī)律,但是當(dāng)達(dá)到一定多的程度時(shí)也會(huì)算不過來,所以這個(gè)方法規(guī)律也要分段,那也要有規(guī)律才行。所以以此類推,一直有這種規(guī)律,一直往上層推,才能為簡便方法的解決。一開始的多是第零層,那么第一層,第二層,一直到更高層推導(dǎo)。所以層的問題就很重要了,一看到問題需要先確定層才行?!?p> 懷特說:“分層也會(huì)遇到難題。而且數(shù)太多,計(jì)算太多,一開始需要做工作,很繁瑣?!?p> 圖靈說:“看到問題了,確定層,就會(huì)先數(shù)層的數(shù)目,確定位數(shù)就能確定用哪一層。如果輸位數(shù)很慢,就分段數(shù),使用分布式,就會(huì)快速解決問題。所以解決層的問題,就是使用多臺機(jī)器計(jì)算。多臺機(jī)器運(yùn)行能夠解決一臺機(jī)器的時(shí)間問題,當(dāng)很多時(shí),能計(jì)算出來多少臺機(jī)器去計(jì)算最為合理嗎?這里的合理指時(shí)間最短,機(jī)器盡可能不要太多,計(jì)算性也相對最簡單的情況。”
說著圖靈在黑板上開始畫著自己說的模型和公式。
懷特說:“一時(shí)望不到邊呢,那是近似無窮大問題,你的方案會(huì)解決這個(gè)嗎?能從開頭開始?如果是不同的方法解決,那就只是一個(gè)半解決狀態(tài),這種東西會(huì)存在嗎?換個(gè)思路,可以被解決,但不是一次性解決,因?yàn)橐陨系目赡軟]有規(guī)律,需要人不斷的去發(fā)現(xiàn)。也就是復(fù)雜計(jì)算一出現(xiàn)因?yàn)樘筇珡?qiáng)以至于在簡單時(shí)用不到,稱之為“以后用方法”。那么人類能夠預(yù)測“以后用方法”嗎?那么人類是不是已經(jīng)有了一些人類意識不到的以后用方程了呢?”
圖靈說:“一道一個(gè)數(shù)字,長的望不到邊,怎樣才會(huì)這樣的,一張紙寫不滿,一本書寫不滿,那也能從紙和書上能夠確定。如果從一個(gè)地方不停的往這里發(fā)送,才會(huì)有一種不確定何時(shí)結(jié)局的感覺,那么在此刻,能夠被解決嗎?如果不能是因?yàn)橄乱晃粩?shù)的不確定性所導(dǎo)致。那么在可以分段解決嗎?多可以被分段解決了嗎?假如不知道整體的,每個(gè)部分都相應(yīng)解決一些東西,就可以解決嗎?”
哥德爾說:“輕易用不到層層的問題,太偏?!?p> 圖靈說:“層的問題的意料之中的方式,以及層層之間的意料之中最終有一最高層,那一個(gè)層就是一個(gè)方法了,這個(gè)意料之中的整體稱之為“意料中方法大三角”。如果夠大,意料大三角也會(huì)比較復(fù)雜,因?yàn)閷訑?shù)太多,所以推敲不同層的上下關(guān)系的式子也需要有規(guī)律,稱之為“大三角層高規(guī)律”。而這個(gè)大三角層高規(guī)律也必須用起來簡單,但是當(dāng)太大時(shí)會(huì)出現(xiàn)極度復(fù)雜情況,所以“大三角層高規(guī)律也會(huì)出現(xiàn)對于的大三角層高規(guī)律”,稱之為“三角層層規(guī)律?!币源祟愅菩枰腥菍訉右?guī)律的人類難以承受的運(yùn)算的三角層層層規(guī)律。達(dá)到多少個(gè)三角層層層稱之為,方法層層三角規(guī)律,那要畫成一個(gè)形狀就是,一個(gè)高維三角形的形狀的單形。”