Clasa EXPTIME

Clasa de complexitate EXPTIME (uneori numită pur și simplu EXP) este un set de probleme, în teoria complexității computaționale, care poate fi rezolvată de o mașină Turing deterministă în timp O (2 p ( n ) ), unde p(n) este o funcție polinomială din n.

Proprietăți

Se știe că

P NP PSPACE EXPTIME NEXPTIME EXPSPACE

De asemenea, prin teorema en:time hierarchy și en:space hierarchy teorema

P EXPTIME ; NP NEXPTIME ; PSPACE EXPSPACE

Vezi și

Literatură