基本介紹
- 中文名:複雜性類
- 外文名:complexity class
- 所屬學科:計算機科學技術
- 公布時間:2018年
在計算複雜性理論中,通常將計算問題按照難度分成不同的類,這就是複雜性類。也就是說,複雜性類是一些具有類似複雜度的問題的集合。定義常見的複雜性類定義形式為:可以被某一種計算模型 M 使用 O(f(n)) 的某種資源(如時間...
函式複雜性類(complexity class of functions )一種複雜性類,具體來說是指由一些具有“相似”複雜性的遞歸。詳解 在計算複雜度理論中,一個複雜度類指的是一群複雜度類似的問題的集合。一個典型的複雜度類的定義有以下形式:可以被同...
這是複雜性理論的一個主線之一:對算法問題進行抽象和分類。例如透過大O表達式,我們可以對忽略因計算模型不同而引入的常數因子。而第二個重要的理論假設,就是將多項式時間作為有效算法的標誌(與之對應的是指數時間)。這樣,複雜性類...
複雜性類的遞歸可枚舉性 複雜性類的遞歸可枚舉性是一個數學術語。 複雜性類的遞歸可枚舉性(recursive enumer-ability of complexity class)反映複雜性類的能行性的一個性質.設中(f)為一個複雜性類,若存在一個遞歸函式g,使} ...
交替多項式時間複雜性類(alternating polynomial time complexity class)是2018年公布的計算機科學技術名詞。定義 在多項式時間內一切交替圖靈機所接受的語言做成的類,記為AP。已經證明AP = PSPACE,即交替多項式時間複雜性類與多項式空間複雜...
相對化複雜性類(relativized complexity class)一種複雜性類,指由帶外部信息源的圖靈機所接受(計算)的複雜性類。設MA為帶外部信息源A的圖靈機.}M為其複雜性測度,f為遞歸函式,則複雜性類}`'(f>-}L}若存在帶A為外部信息源的...
NP是計算複雜性理論中最重要的複雜性類之一。它包含複雜性類P,即在多項式時間內可以驗證一個算法問題的實例是否有解的算法問題的集合;同時,它也包含NP完全問題,即在NP中“最難”的問題。計算複雜性理論的中心問題,P/NP問題即是...
量子複雜性理論(Quantum complexity theory)是理論計算機科學中計算複雜性理論的一部分。該理論使用量子計算機和量子信息來研究分析複雜性類定義,量子信息是基於量子力學的計算模型。量子複雜性理論用來研究這些複雜性類的問題的困難度,和...
複雜性類的完全語言 複雜性類的完全語言(complete language for complexity classes)是2018年發布的計算機科學技術名詞。定義 對某複雜性類在多項式時間多一歸約,或對數空間多一歸約下的完全語言。出處 《計算機科學技術名詞 》第三版。
非確定性指數時間複雜性類(non-deterministic exponential time complexity class)是2018年全國科學技術名詞審定委員會公布的計算機科學技術名詞。定義 非確定型圖靈機在時間所接受的一切語言構成的集合。出處 《計算機科學技術名詞 》第三版 ...
《複雜性項目的管理工具》是2011年南開大學出版社出版的圖書,作者是雷明頓、波拉克。內容簡介 《複雜性項目的管理工具》首先探討了那些能幫我們更好地對複雜性項目進行思考的方法,然後對那些能夠在項目管理實踐中更好地開展管理工作的方法...
利用參數複雜性和經典複雜性間的同構關係來處理參數複雜性結構理論中的一些未解問題,特別是各種複雜性類的包含關係。2。考察許多組合問題是否存在參數或亞指數近似算法,同時發展相應的PCP理論。3。研究一種常見的設計參數可解算法的方法,...
本書是一本全面闡述計算機複雜性理論及其近年來進展的教科書,主要包含算法圖靈機、可計算性等有關計算複雜理論的基本概念;布爾邏輯、一階邏輯、邏輯中的不可判定性等複雜性理論的基礎知識;P與NP、NP完全等各複雜性類的概念及其之間的...
技術複雜性,反映技術創新過程的複雜程度的概念。1999年由英國學者雷克魯夫特(Robert W. Rycroft)和卡什(Don E. Kash)提出。可從三個方面來認識和把握:其一,技術的難易程度和組成部件的數量;其二,技術系統中技術組件和子系統...
1.1.5 標準符號及習慣性用法 1.2 計算任務及模型 1.2.1 表達方式 1.2.2 計算任務 1.2.3 一致性模型(算法) 1.2.4 非一致性計算模型(電路及建議) 1.2.5 複雜性類 本章注釋 第2章 ...
相應地,在現有資源條件下的限制正是區分計算複雜性理論和可計算性理論的一個重要指標:後者關心的是何種問題原則上可以用算法解決。複雜性類 在計算複雜度理論中,一個複雜度類指的是一群複雜度類似的問題的集合。一個典型的複雜度類...
在計算複雜性理論中,複雜性類NEXPTIME(有時稱為NEXP)是一組決策問題,可以通過使用時間2ⁿ的非確定性圖靈機來解決。介紹 在計算複雜理論內,複雜度類NEXPTIME(有時叫做NEXP)是一個決定性問題的集合,包含可以使用非確定型圖靈機...
這意味著PP機器不能立即解決 問題,這表明這些相似類別之間可能存在差異。由於 的問題還沒有解決, 和上述類別之間不平等的證明應該是困難的。 和 之間的關係尚不清楚。將後期選擇添加到 會導致複雜性類Post 於 。