空間階層定理

計算複雜性理論中,空間階層定理(英語:Space hierarchy theorem)是一組結論,它們表明在一定條件下,確定型不確定型圖靈機在可用的(漸進)儲存空間越多時,能用於解答的問題也就越多。[1]例如,一個確定型圖靈機在使用儲存空間時可以求解比使用儲存空間時更多的決定性問題。在時間複雜度分析中的類似結論是時間階層定理

階層定理的提出建立在這樣的直覺之上:能允許使用的時間或空間越多,就應該能求解更多函數(或決定更多語言)。階層定理可以用來展現時間或空間複雜度類別可以形成一個金字塔型結構:約束越緊,則能決定的語言就越少。

定義

空間階層定理需要使用空間可構函數。若一個函數 滿足如下條件: ,且存在一圖靈機可以在輸入為 時、使用 儲存空間的條件下計算該函數 ,則稱該函數為空間可建構函式。其中 表示一個內容為n個連續的1的字串。許多常見函數都是空間可構造的,例如多項式函數指數函數對數函數等。

確定型和不確定型的空間階層定理的內容是:對於所有空間可建構函式 

 ,且
 

其中DSPACE英語DSPACENSPACE分別對應確定型和不確定型空間複雜度類別,而 是指小o符號

空間階層定理的另一種表述方式是,對於任意的空間可建構函式 ,都存在一個語言L,它可以在 儲存空間上被決定,但在 儲存空間上則不行。

參見

參考資料

  1. ^ Sipser, Michael. Halting Space-Bounded Computations. Proceedings of the 19th Annual Symposium on Foundations of Computer Science. 1978.