有些時候,一個數學問題證明過程當中產生的副產品,或許就能夠引發出比問題本身還要意義重大的力量。
就以地球的歷史為例。阿蘭·圖靈為了證明不可判定性定理,開發出了一種神奇的機器,圖靈機。在當時的數學家看來,圖靈機的意義並沒有不可判定性定理那樣大。它只不過是不可判定性定理的一個副產品。
但是,這個副產品最終卻衍生出了後來的計算機,開啟了資訊時代。
這樣的例子,還有很多。許多隻是為了證明某個問題而被開發出來的數學工具,最後卻衍生出了多更強大的作用。
元胞自動機與圖靈機等價,這對於算君來說只不過是臨時學一個對手擅長的玩意放個嘲諷,順便讓自己的理論變得更好理解的工具。
但是,圖靈真人的一席話卻啟發了他。
“嘿嘿……這不正好是瞌睡了來枕頭嗎?”王崎翻來覆去的閱讀這一篇論文,表情很是驚喜:“這不就是圖靈機和元胞自動機之間的橋樑嗎?”
元胞自動機這個系統,最具有特色的功能,就是它強大的模擬能力。對於很多複雜的東西,它都可以做出模仿。
行人流、氣流、細胞群、天體……
只要設定的規則得當,元胞自動機就可以模擬一切。
而在加入一些有限的規則之後,它就可以變成以一個可以和圖靈機等價的計算機器。
“我的修法最初的根基來自於馮氏架構,圖靈機是這個架構的數學抽象。按照算君的這一篇論文,我就可以藉助一些特殊的算器,將我的修法轉化為一個元胞自動機形式的表達。”
“而無論是落塵劍宮的太初劍神陣還是聖帝尊的神道過度,都是叢集產物加上功法的結果。我同樣可以使用元胞自動機模擬。”
“這樣子,就是兩個規則不同的元胞自動機系統之間的互動……”
“如果是這樣的話……”
王崎覺得,這個點子似乎可行。
真的可行!
他早在神京的時候,就用類似的方法,演算過人群。
馮落衣也曾經用過這個方法,向他演示過宇宙文明的終極圖景。
元胞自動機是可以演算神道、人道的。
同樣,它也有模擬功法的能力。雖然王崎沒有試過,但是據他對元胞自動機和修法的瞭解,這同樣在元胞自動機的能力範圍之內。
換句話說,他現在面對的,就是一個以元胞自動機為運算環境的系統。
“這玩意,有點陌生啊……”想到這裡,王崎開始思索如何用元胞自動機的角度去解析落塵劍宮的太初劍神陣。他的思維與太初劍神陣之內的網路連線在一處,藉助這個劍宮大陣還有手上的幾件高階算器推演這裡面的奧妙。
但是,他很快就發現,這玩意實在是太過陌生了。
雖說元胞自動機可以和圖靈機等價,但是地球上並沒有多少以元胞自動機為數學構架的計算機。別說元胞自動機,就連其他與圖靈機等價的演算體系,比如說拉姆達演算、遞迴演算法,都不是計算機的數學基礎。
因為在地球,只有圖靈機能夠非常簡單的轉化成機械結構。
或許有一些非常冷門的生物細胞計算機、化學計算機在試圖從元胞自動機上面找突破口,但是電子計算機始終都是馮諾依曼結構的圖靈機。元胞自動機、拉姆達演算、遞迴演算法都很難直接變成機械結構。
既然地球上不存在完全以那元胞自動機為基礎結構的計算機,那麼自然也就缺乏相關的程式設計技術了。
王崎可以在圖靈機上裸機程式設計,可這不代表他能夠用同樣的手段對付元胞自動機。
原本他也不需要這樣奇怪的技能。儘管這種程式設計技巧只需要在他原有的程式設計技巧上做出小小的改動。但是,那個“小小”有可能會花去他大大的時間。
他之所以會遇到這種情況,只是因為,這裡是神州。
這裡是允許巨大科技黑箱的神州宇宙。
這裡,天然就存在一個以元胞自動機為基礎結構的體系。
“必須克服這個陌生的環境……必須克服這個陌生的環境……”
王崎的思維在翻滾。當日,聖帝尊手中的神國幻景,在如今的王崎看來,也就是一些適應這個計算環境的演算法而已。