突破上下文約束的泛型遷移計算模型

2021-06-25 10:32:35 字數 804 閱讀 8303

突破上下文約束的泛型遷移計算模型

本文設想的是一種未來的可能情形,作者不能保證它一定能被實現,至少這是乙個不錯的想法。

tcs(理論電腦科學)還在為是否p=np糾結,對npc類問題而言,有個奇妙的說法叫「多項式歸約」,或者簡單地說,「歸約」(reduce)

通過多項式歸約,所有的npc問題可以看作計算機複雜度等價的,只是這種歸約方法仍然需要人來想出來。

這裡的乙個問題是:有沒有可能存在一種新的計算泛型,可以實現任意演算法之間的相互歸約?

打個比方,我正在編寫乙個自動排序演算法,而乙個「智慧型的」超級計算機能否把我寫的排序**「自動歸約」為另外乙個優化演算法。

並進而:把人的身體語言作為計算機系統的輸入,從而可以使得人的一套動作可以對映為乙個演算法,從而人只要隨便作個手勢,或者跳個舞什麼的,就自動完成了一套智慧型的商業資料分析報表過程。

???這樣的設想可行嗎?

要點在於:如果計算的上下文環境是受限的,則不可能實現上述的通用的「任意演算法之間進行歸約」的演算法。除非,這個超級演算法是不受上下文限制的。

或者說,這個計算機系統有乙個能夠根據上下文變化不斷演進改變自己的「智慧型適應能力」。

基於傳統的馮諾依曼儲存式結構恐怕不行,基於lambda演算的形式符號運算恐怕也不行。量子計算只是解決了特定問題的計算效率。我們需要乙個真正突破性的計算范型。

也許有一種混合方案可以實現:通過特殊的生物晶元,將人腦與計算機連線起來,可以做到人腦與人腦之間的直接通訊。不過這種human brain involved computing也許只是一般生物計算的變體?不過後者需要解決乙個何種計算結果對於人是有用的這一「解釋」問題。

程序上下文和中斷上下文 原子上下文的區別

核心空間和使用者空間是現代作業系統的兩種工作模式,核心模組執行在核心空間,而 使用者態應用程式執行在使用者空間。它們代表不同的級別,而對系統資源具有不同的訪問許可權。核心模組執行在最高端別 核心態 這個級下所有的操作都受系統信 任,而應用程式執行在較低級別 使用者態 在這個級別,處理器控制著對硬體的...

程序上下文和中斷上下文的區別

核心空間和使用者空間是現代作業系統的兩種工作模式,核心模組執行在核心空間,而使用者態應用程式執行在使用者空間。它們代表不同的級別,而對系統資源具有不同的訪問許可權。核心模組執行在最高端別 核心態 這個級下所有的操作都受系統信任,而應用程式執行在較低級別 使用者態 在這個級別,處理器控制著對硬體的直接...

中斷上下文和程序上下文的區別

程序上下文和中斷上下文是作業系統中很重要的兩個概念,這兩個概念在作業系統課程中不斷被提及,是最經常接觸 看上去很懂但又說不清楚到底怎麼回事。造成這種局面的原因,可能是原來接觸到的作業系統課程的教學總停留在一種淺層次的理論層面上,沒有深入去研究。處理器總處於以下狀態中的一種 核心態,執行於程序上下文,...