多項式譜系

多項式時間問題和多項式空間問題之間的複雜度等級層次

計算複雜度理論中,多項式譜系是一個複雜度系列。它從PNP反NP複雜度類逐級產生至預言機。它類似於數理邏輯算數階層分析階層,只不過是由逐級放寬資源限制而產生的。

定義

編輯

多項式譜系有數個等價的定義。

  1. 用預言機定義多項式譜系。首先定義
     

    其中P是能在多項式時間內解決的決定性問題。然後對所有 定義

     
     
     
    其中 是在有 類中某些完備問題預言機輔助的情況下,能在多項式時間內由圖靈機解決的決定性問題的集合。類別  也有類似的定義。比如,   是一些能在某些NP完全問題預言機的輔助下,在多項式時間內解決的問題的複雜度類。[1]
  2. 用存在狀態或者全稱狀態定義多項式譜系。令 為一個語言(或稱為決定性問題,即 的某個子集), 為某多項式,定義
     
    其中 為某種將二進制字符串對  編碼為一個二進制字符串的標準編碼。 代表一個有序的字符串對的集合,其中第一個字符串x 的元素,而第二個字符串 是一個足夠短的(長度不大於 )見證  內的字符串。換句話說, 若且唯若存在足夠短的見證字符串 使得 。類似地,定義
     
    注意到由德摩根定律得出  and  ,其中  的補集。令 為一個語言集。延伸這些運算使得它們能夠應用於語言集上:
     
     
    其中 為所有多項式的集合。同樣德摩根定律成立 以及 ,其中 。 複雜度類NP和反NP可被定義為  , 其中P是所有可行的(多項式時間內的)遞歸語言。則多項式譜系可被遞歸定義為
     
     
     
    注意 , and  。這個定義反映出多項式譜系和算數階層之間的緊密關係。其中RRE分別扮演了類似PNP的角色。算數階層同樣是用一系列的實數子集來定義的。
  3. 交替式圖靈機的等價定義。定義 (或 )為從存在狀態(或全稱狀態)開始的 次交替式圖靈機能夠解決的問題的集合。

多項式譜系類別之間的關係

編輯
 
與多項式譜系等價的交換圖表。箭頭表示包含於。

由定義可推論出如下關係:

 
 
 

算術階層和分析階層中各層次包含關係都已確定為真包含,而多項式譜系中的這些包含關係是否為真包含仍未有定論,但人們普遍相信它們是真包含。如果任一 ,或者 ,那麼整個多項式層級將坍縮至 層:對任一 ,都有 。特別的,如果 ,那麼多項式譜系將完全坍縮。

所有多項式層級的類別的併集為複雜度類PH

性質

編輯

多項式譜系與指數譜系算術階層類似,但複雜度更小。

已經確定PH包含於PSPACE,但不確定兩者是否相等。這個問題有一個很有用的變體:PH = PSPACE若且唯若二階邏輯複雜度類不能通過傳遞閉包運算擴展計算能力。

如果多項式譜系中有任何完備問題,那麼它僅有有限個不同的層次。我們知道存在PSPACE完備問題,所以如果PH = PSPACE,PH必然坍縮,因為對任一PSPACE完備問題必然存在整數 使得這個問題是 完備的。

每個多項式譜系中的複雜度類都包含 完備問題(指多項式次多對一規約的完備問題)。而且每個多項式譜系中的複雜度類都對 規約封閉,也就是說對於一個多項式譜系中的複雜度類 和一個語言 ,如果 ,那麼 。這兩個事實表明如果  的完備問題,那麼 ,並且 。比如說 。換句話說,如果一個語言是由某個 預言機定義的,那麼我們就可以假設它是基於 中的某個完備問題定義的。完備問題這裏就相當於對應複雜度類的一個「代表」。

Sipser–Lautemann定理英語Sipser–Lautemann_theorem說明BPP包含於多項式譜系中的第二層。

Kannan定理英語Karp–Lipton_theorem#Application_to_circuit_lower_bounds_–_Kannan's_theorem說明對於任意  都不包含於 

戶田定理說明PH包含於 

多項式譜系中的問題

編輯
  • 電路最小化是 中的一個自然問題。給定數字 和計算布爾函數 的電路 ,判定是否存在能夠計算 並且至多 個門的電路。令 為所有布爾電路的集合。令 為計算 門數的函數。則語言
 

可在多項式時間內確定。語言

 

為最小化電路語言。 因為 在多項式時間內可判定,並且給定  若且唯若存在電路 使得對於所有輸入  

  • 一個 完備問題是有 量詞交替的布爾公式的可滿足性(縮寫為QBFk或者QSATk)。這是 版本的布爾可滿足性問題。在這個問題中布爾公式 的變量被分成了 個集合 。我們需要確定
 

是否為真。也就是說存在對 的賦值,使得對所有的 , 存在對 的賦值,……,使得 為真。從全稱量詞開始交替到存在量詞再到全稱量詞的變體則是 完備的。

另見

編輯

參考文獻

編輯
  1. A. R. Meyer and L. J. Stockmeyer. The Equivalence Problem for Regular Expressions with Squaring Requires Exponential Space. In Proceedings of the 13th IEEE Symposium on Switching and Automata Theory, pp. 125–129, 1972. The paper that introduced the polynomial hierarchy.
  2. L. J. Stockmeyer. The polynomial-time hierarchy. Theoretical Computer Science, vol.3, pp. 1–22, 1976.
  3. C. Papadimitriou. Computational Complexity. Addison-Wesley, 1994. Chapter 17. Polynomial hierarchy, pp. 409–438.
  4. Michael R. Garey and David S. Johnson. Computers and Intractability: A Guide to the Theory of NP-Completeness. W.H. Freeman. 1979. ISBN 0-7167-1045-5.  Section 7.2: The Polynomial Hierarchy, pp. 161–167.

引用

編輯
  1. ^ Completeness in the Polynomial-Time Hierarchy A Compendium, M. Schaefer, C. Umans