在計算複雜度理論內,複雜度類NEXPTIME(有時叫做NEXP)是一個決定性問題的集合,包含可以使用非確定型圖靈機,使用O(2p(n))(這裏的p(n)是某個多項式)的時間可以解決的問題。另外這裏不限制空間的使用。
以NTIME作定義
一個很重要的NEXPTIME-完全問題集合與簡潔電路(succinct circuit)有關。簡潔電路是能以指數速率縮減的空間形容圖的一個機器。這個機器接收兩個頂點的號碼為輸入,輸出這兩個頂點是否有邊相連。如果有個問題,使用一般的圖表示法,像是連接矩陣,去解決時是個NP-完全問題,那麼使用簡潔電路的表示來解決這個問題是NEXPTIME-完全,因為輸入的大小跟前者相比是成指數速率縮小。[1]舉個簡單的例子,使用簡潔電路的表示法找一張圖的哈密頓圖是NEXPTIME-完全。
如果P = NP,那麼NEXPTIME = EXPTIME;更精確的說,E ≠ NE,若且唯若存在一個稀疏語言,在NP並且不在P裏面。[2]
相關條目
- 遊戲複雜度
參考資料
Wikiwand in your browser!
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.