EXPTIME(EXPとも)は、計算量理論において、チューリング機械で O(2p(n)) の時間で解ける全ての決定問題の集合である。なお、p(n) は n の多項式関数である。
DTIMEでは次のように表される。 EXPTIME = ⋃ k ∈ N DTIME ( 2 n k ) . {\displaystyle {\mbox{EXPTIME}}=\bigcup _{k\in \mathbb {N} }{\mbox{ DTIME }}\left(2^{n^{k}}\right).}
以下の関係が知られている。P ⊆ {\displaystyle \subseteq } NP ⊆ {\displaystyle \subseteq } PSPACE ⊆ {\displaystyle \subseteq } EXPTIME ⊆ {\displaystyle \subseteq } NEXPTIME ⊆ {\displaystyle \subseteq } EXPSPACE
また、時間階層定理
と領域階層定理により、次のようになる。P ⊊ {\displaystyle \subsetneq } EXPTIME かつ NP ⊊ {\displaystyle \subsetneq } NEXPTIME かつ PSPACE ⊊ {\displaystyle \subsetneq } EXPSPACE従って、包含関係の最初の3つのうち少なくとも1つが真部分集合の関係であり、後半3つのうち少なくとも1つが真部分集合の関係にある。ただし、どれがそうなのかは分かっていない。多くの研究者は上記の全てが真部分集合の関係であると考えている。また、P = NP であれば EXPTIME = NEXPTIME となることが分かっている。NEXPTIME は非決定性チューリング機械で指数関数時間で解ける問題のクラスである[1]。
EXPTIME は空間(領域)のクラス APSPACE にも等しい。APSPACE は交替性チューリング機械で多項式領域で解ける問題のクラスである。交替性チューリング機械は決定性チューリング機械と少なくとも同程度に強力であるので、これによっても PSPACE ⊆ {\displaystyle \subseteq } EXPTIME が示される[2]。
EXPTIME は時間計算量に関する階層の一部となっている。2-EXPTIME クラスは EXPTIME と似ているが、二重指数時間 2 2 n {\displaystyle 2^{2^{n}}} かかる問題のクラスである。これを一般化していけば様々な時間計算量のクラスが定義される。 ある EXPTIME の決定問題が EXPTIME完全であるとき、EXPTIME のあらゆる問題をその問題に多項式時間多対一還元できる。言い換えれば、ある問題の具体例を別の問題の具体例に多項式時間で変換するアルゴリズムがあり、その解が変わらない。EXPTIME完全の問題は EXPTIME の問題の中で最も難しいと考えられる。NP と P が包含関係にあるかどうかは分からないが、EXPTIME完全な問題が P に属さないことは分かっている。これは、EXPTIME完全な問題が多項式時間で解けないことを示すことで証明された。 計算可能性理論において、基本的な判定不能問題は決定性チューリング機械(DTM)がある入力を受理するかどうかの決定問題である。最も基本的なEXPTIME完全問題はこれを単純化したもので、あるDTMがある入力を最大 k ステップ以内に受理するかどうかの判定問題である。この問題は自明なシミュレーションが O(k) 時間かかり、入力 k が O(log k) ビットで符号化されることから EXPTIME となる[3]。また、なぜ EXPTIME完全であると言えるかだが、大まかに言って、これを使ってある機械がEXPTIME問題を指数ステップで受理するかどうかを判定できるためであり、EXPTIME以上の時間は要しない。 他のEXPTIME完全問題としては、一般化されたチェス[4]、チェッカー[5]、囲碁(日本ルール)[6]での形勢を判断する問題がある(一般化されたゲームとは、盤のサイズと駒数をパラメータ化したもの)。これらのゲームは盤の大きさに対して指数回数の手数で終わることからEXPTIME完全となる。囲碁の場合、日本ルールは扱いにくいためEXPTIME完全となるが、アメリカルールや中国ルールはそれよりも扱いやすいため、EXPTIME完全となるかどうかは不明である。 一方、一般化されたゲームでも、盤の大きさに対して多項式回数の手数で終わるゲームはPSPACE完全であることが多い。指数回数の手数がかかっても、自動的に非反復となるゲームは同様である。 その他の重要なEXPTIME完全問題として、succinct circuit(簡潔回路)に関する問題がある。succinct circuit とは、指数関数的に少ない空間でグラフ問題を解くのに使われる単純な機械である。入力ノード数と出力ノード数を入力とし、それらの間にエッジを張る。隣接行列のような普通のグラフ表現で同じ問題を解こうとする場合は P完全となるが、succinct circuit では入力に要するビット数が指数関数的に少ないため、時間はEXPTIME完全となるのである[7]。
EXPTIME-完全
参考文献^ Christos Papadimitriou (1994年). Computational Complexity. Addison-Wesley. ISBN 0-201-53082-1. Section 20.1, page 491.
^ Papadimitriou (1994), section 20.1, corollary 3, page 495.
^ Chris Umans. “ ⇒CS 21: Lecture 13 notes”. 2008年5月4日閲覧。 Slide 24.
^ Aviezri Fraenkel and D. Lichtenstein (1981年). “Computing a perfect strategy for n×n chess requires time exponential in n”. J. Comb. Th. A (31): 199?214.
^ J. M. Robson (1984年). “N by N checkers is Exptime complete”. SIAM Journal on Computing, 13 (2): 252?267.
^ J. M. Robson (1983年). “The complexity of Go”. Information Processing; Proceedings of IFIP Congress. pp. 413?417.
^ Papadimitriou (1994), section 20.1, page 492.
表
話
編
歴
主な複雑性クラス(一覧)
実用的な時間で解けるクラス
DLOGTIME
AC0
ACC0
TC0
L
SL
RL
NL
NC
SC
CC
P
P完全
ZPP
RP
BPP
BQP
APX
実用的な時間で解けないと疑われているクラス
UP
NP
NP完全
NP困難
co-NP
co-NP完全
AM
QMA
PH
?P
PP
#P
#P完全
IP
PSPACE
実用的な時間では解けないクラス
EXPTIME
NEXPTIME
EXPSPACE
ELEMENTARY
PR
R
RE
ALL
クラス階層
多項式階層
指数階層
グジェゴルチク階層
算術的階層
ブーリアン階層
クラスの族
DTIME
NTIME
DSPACE
NSPACE
PCP
対話型証明系
更新日時:2019年2月4日(月)19:48
取得日時:2019/08/02 23:57