NEXPTIME

在計算複雜度理論內，複雜度類NEXPTIME（有時叫做NEXP）是一個決定性問題的集合，包含可以使用非確定型圖靈機，使用O(2p(n))（這裡的p(n)是某個多項式）的時間可以解決的問題。另外這裡不限制空間的使用。

以NTIME作定義

一個很重要的NEXPTIME-完全問題集合與簡潔電路（succinct circuit）有關。簡潔電路是能以指數速率縮減的空間形容圖的一個機器。這個機器接收兩個頂點的號碼為輸入，輸出這兩個頂點是否有邊相連。如果有個問題，使用一般的圖表示法，像是連接矩陣，去解決時是個NP-完全問題，那麼使用簡潔電路的表示來解決這個問題是NEXPTIME-完全，因為輸入的大小跟前者相比是成指數速率縮小。舉個簡單的例子，使用簡潔電路的表示法找一張圖的哈密頓圖是NEXPTIME-完全。

如果P = NP，那麼NEXPTIME = EXPTIME；更精確的說，E ≠ NE，若且唯若存在一個稀疏語言，在NP並且不在P裡面。

相關條目
遊戲複雜度

參考資料

 , 

複雜度類