Pitanje da li NP klasa može biti jednaka klasi EXPTIME zadire u temeljne aspekte teorije računske složenosti. Da bismo sveobuhvatno odgovorili na ovaj upit, neophodno je razumjeti definicije i svojstva ovih klasa složenosti, odnose između njih i implikacije takve jednakosti. Definicije i svojstva