Pitanje može li klasa NP biti jednaka klasi EXPTIME zadire u temeljne aspekte teorije računalne složenosti. Kako bismo sveobuhvatno odgovorili na ovaj upit, bitno je razumjeti definicije i svojstva ovih klasa složenosti, odnose među njima i implikacije takve jednakosti. Definicije i svojstva