Simulations and Turing Machine VariantsUndergraduate Complexity Theory · Lec 3·Turing Machines & Decidability · Ryan O'Donnell · Carnegie Mellon UniversityRyan O'DonnellCarnegie Mellon University—1:20:14
NondeterminismUndergraduate Complexity Theory · Lec 9·P vs NP & NP-Completeness · Ryan O'Donnell · Carnegie Mellon UniversityRyan O'DonnellCarnegie Mellon University—1:21:02
Time Complexity18.404J · Theory of Computation · Lec 12·P vs NP & NP-Completeness · Michael Sipser · MITMichael SipserMIT—1:25:37
The Immerman-Szelepcsényi TheoremUndergraduate Complexity Theory · Lec 20·Nondeterministic Space · Ryan O'Donnell · Carnegie Mellon UniversityRyan O'DonnellCarnegie Mellon University—1:21:05