Μία από τις κατηγορίες που ορίζονται στην λογαριθμική, εκθετική και πολυώνυμο όρια περί χρόνου και του χώρου, για μηχανές ντετερμινιστικά και nondeterministic. Αυτά κατατάσσουν τα περισσότερα από τα σημαντικά προβλήματα υπολογιστικής.