Vprašanje, ali je razred NP lahko enak razredu EXPTIME, se poglobi v temeljne vidike teorije računalniške kompleksnosti. Za celovito obravnavo te poizvedbe je bistveno razumeti definicije in lastnosti teh kompleksnih razredov, odnose med njimi in posledice takšne enakosti. Definicije in lastnosti