EXPTIME-luokka

Monimutkaisuusluokka EXPTIME (jota joskus kutsutaan yksinkertaisesti EXP) on laskennallisen monimutkaisuuden teoriassa joukko ongelmia, jotka voidaan ratkaista deterministisellä Turingin koneella O (2 p ( n ) ) -ajassa , missä p(n) on polynomifunktio. n.

Ominaisuudet

On tiedossa, että

P NP PSPACE EXPTIME SEURAAVA EXPTIME

Myös en:aikahierarkialauseella ja en:avaruushierarkialauseella

P EXPTIME ; NP NEXPTIME ; PSPACE EXPACE

Katso myös

Kirjallisuus