Complexity classes

Aggregation module for the class definitions and their relationships: time and space classes, P, NP, randomized and nonuniform classes, function classes, reductions, containments, and the time hierarchy.