EXPTIME osztály

Az EXPTIME komplexitási osztály (néha egyszerűen EXP-nek is nevezik) a számítási komplexitáselméletben olyan problémák halmaza, amelyeket egy determinisztikus Turing-gép O (2 p ( n ) ) idő alatt megoldhat , ahol p(n) egy polinomiális függvény. n.

Tulajdonságok

Ismeretes, hogy

P NP PSPACE EXPTIME NEXPTIME EXPSPACE

Továbbá az en:time hierarchia tétel és az en:space hierarchia tétel alapján

P EXPTIME ; NP NEXPTIME ; PSPACE EXPSPACE

Lásd még

Irodalom