Complexity classes #
Aggregation module for the class definitions and their relationships:
time and space classes, P, NP, randomized and nonuniform classes, the
logspace-uniform circuit containment in P, function classes, reductions,
containments, and the time hierarchy.