Complexiteitsklassen

Sindsdien zijn voor andere complexiteitsklassen ook dergelijke stellingen bewezen.

Een voorbeeld hiervan is het aantonen van de equivalentie van de complexiteitsklassen PSPACE en IP.

Hiermee gaf hij een belangrijke impuls aan het bestuderen van de complexiteitsklasse NP en de vraag of de complexiteitsklassen en NP gelijk zijn.

Veel bekende complexiteitsklassen kunnen gedefinieerd worden in termen van DTIME.