Computer Science 172
Title | Computability and Complexity |
---|---|
Units | 4 |
Prerequisites | 170. |
Description | Finite automata, Turing machines and RAMs. Undecidable, exponential, and polynomial-time problems. Polynomial-time equivalence of all reasonable models of computation. Nondeterministic Turing machines. Theory of NP-completeness: Cook's theorem, NP-completeness of basic problems. Selected topics in language theory, complexity and randomness. |
Course Guide | Course Guide |