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