跳至內容

二-EXPTIME

出自Taiwan Tongues 台語維基
這是此頁批准,以及是最近的修訂。

佇咧算複雜度理論內,二-EXPTIME這个複雜度類 ( 有時陣寫作二-EXP) 是佇咧 O ( 二十二 p ( _ n _ ) ) 時間內,會使使用決定型圖靈機解決掉決定型問題的集合,遮 _ p _ ( _ n _ ) 是 _ n _ 的一項外用 DTIME 的方式說明,


$ { \ mbox { 二-EXPTIME } }=\ bigcup _ { k \ in \ mathbb { N } } { \ mbox { DTIME } } \ left ( 二 ^ { 二 ^ { n ^ { k } } } \ right ) . $

咱已經知影


P $ \ subseteq $ NP $ \ subseteq $ PSPACE $ \ subseteq $ EXPTIME $ \ subseteq $ NEXPTIME $ \ subseteq $ EXPSPACE $ \ subseteq $ 二-EXPTIME $ \ subseteq $ ELEMENTARY .

二-EXPTIME 嘛會當予重構成 AEXPSPACE 這个空間複雜度類 ( 使用交替式圖靈機會當佇指數空間內解決的問題 )。因為交替式圖靈機至少有佮決定型圖靈機仝款的計算力,所以這嘛是一个看出講 EXPSPACE $ \ subseteq $ 二-EXPTIME 的方式。

二-EXPTIME 這个複雜度類,是佇一種會當不斷提昇時間上限的複雜度類層級內底的其中一類。像三-EXPTIME 這類別,類似二-EXPTIME 的定義方式,會當用三倍指數時間的限制 $ 二 ^ { 二 ^ { 二 ^ { n ^ { k } } } } $ 來定義。用仝款的方法會當定義出閣較懸的時間上限 ( 四-EXP,五-EXP…啥物貨 )。

二-EXPTIME-完全問題

真濟一般化了後全部資訊會當觀察的遊戲 ( fully observable games ) 是 EXPTIME-完全問題。

一般化的部份資訊會當觀察遊戲 ( partially observable problems ) 和全部的資訊會當觀察的遊戲和,其困難度著對 EXPTIME-完全的問題變做二-EXPTIME-完全問題。

相關頁面

  • 雙重指數

參考資料