Overview
Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
Explore the Immerman--Szelepcsényi Theorem in this undergraduate computational complexity theory lecture from Carnegie Mellon University's Course 15-455. Delve into advanced topics such as Savages Theorem, Savety Idea, and NPCoProofs as part of the Spring 2017 series taught by Professor Ryan O'Donnell. Gain insights into size analysis, chapter processes, and other key concepts in complexity theory. Supplement your learning with suggested reading from Sipser Ch. 8.6 and follow along with the comprehensive syllabus covering introduction, solution, and various theoretical aspects.
Syllabus
Introduction
Solution
Savages Theorem
Savety Idea
Idea Zero
Size Analysis
NPCo
Proofs
Chapter Processes
Taught by
Ryan O'Donnell