18.404J | Fall 2020 | Undergraduate, Graduate

Theory of Computation

Video Lectures

Lecture 22: Provably Intractable Problems, Oracles

Description: Quickly reviewed last lecture. Introduced exponential complexity classes and demonstrated a “natural” provably intractable problem. Introduced oracles and relativized computation to suggest that pure diagonalization-based methods cannot separate P and NP.

Instructor: Prof. Michael Sipser

Course Info

Learning Resource Types
Editable Files
Exams
Instructor Insights
Lecture Notes
Lecture Videos
Problem Sets