EXPTIME klasse

EXPTIME kompleksitetsklassen (nogle gange blot kaldet EXP) er et sæt af problemer, i beregningskompleksitetsteori, der kan løses af en deterministisk Turing-maskine i O (2 p ( n ) ) tid, hvor p(n) er en polynomisk funktion af n.

Egenskaber

Det er kendt, at

P NP PSPACE EXPTIME NEXPTIME EXPSPACE

Også ved en:time hierarkisætning og en:space hierarkisætning

P EXPTIME ; NP NEXPTIME ; PSPACE EXPSPACE

Se også

Litteratur