Опишите иерархию классов сложности, включая P, NP, NP-полные, NP-трудные и PSPACE. Объясните теоретические различия между ними, используя понятия сводимости и верификатора. Приведите теоретическое определение класса EXPTIME.