計算複雜度理論內,EXPSPACE是一個包含可以在O(2p(n))空間內解決的決定性問題集合,這裡的p(n)是某個n的多項式。(有些作者認為p(n)應該限制為線性函數,但是多數的人把這這樣的複雜度類稱作ESPACE。)如果我們使用非決定性圖靈機,我們會得到複雜度類NEXPSPACE。根據薩維奇定理,這個複雜度類等同EXPSPACE

DSPACENSPACE表示:

我們說一個問題是EXPSPACE-完全,如果這問題本身在EXPSPACE內,而且存在多項式多對一歸約,令所有在EXPSPACE內的題目都可以歸約成這個題目。換句話說,存在一個多項式時間的演算法可以將一個狀況換成其他題目的另一個狀況,並且答案一樣。EXPSPACE-完全的題目也可以想做是EXPSPACE裡面最難的題目。

EXPSPACEPSPACENP,和P的嚴格母集(前者包含且不等於後者)。並且也被相信是EXPTIME的嚴格母集。

一個EXPSPACE-完全的例子是分辨兩個正規表式是否是一樣的語言這個問題。這裡的表示限制使用四種操作子:聯集,串街克萊尼星號(可以是零個或多個重複的表示式),和平方(兩份表示式)。[1]

如果我們排除星號,則這個問題變成NEXPTIME-完全,這個複雜度類有點類似EXPTIME-完全,不過使用的機器是非決定性圖靈機而非一般的圖靈機。

L. Berman在1980年證明了,證明或反證任何有關實數並且牽涉加法和比較大小(但不牽涉乘法)的一階陳述,這個問題在EXPSPACE內。

相關頁面

參考資料

  1. ^ Meyer, A.R. and L. Stockmeyer. The equivalence problem for regular expressions with squaring requires exponential space頁面存檔備份,存於網際網路檔案館). 13th IEEE Symposium on Switching and Automata Theory, Oct 1972, pp.125–129.