Introduces time and space complexity, tractability, nondeterminism, NP-completeness, and complexity reductions. Learners classify logical decision problems and analyze how representation affects computational cost.
