Pytanie, czy klasa NP może być równa klasie EXPTIME, zagłębia się w podstawowe aspekty teorii złożoności obliczeniowej. Aby kompleksowo odpowiedzieć na to pytanie, konieczne jest zrozumienie definicji i właściwości tych klas złożoności, relacji między nimi oraz konsekwencji takiej równości. Definicje i właściwości