Lead AI-Native Products with Microsoft's Agentic AI Program
NY State-Licensed Certificates in Design, Coding & AI — Online
Overview
Google, IBM & Meta Certificates — All 10,000+ Courses at 40% Off
One annual plan covers every course and certificate on Coursera. 40% off for a limited time.
Get Full Access
Explore time/space tradeoffs for SAT in this graduate-level lecture on Computational Complexity Theory. Delve into key results, technical remarks, proofs, and essential ingredients of the topic. Examine concepts such as padding, complementary speedup, and alternation elimination. Learn from Carnegie Mellon University professor Ryan O'Donnell as he covers material from Arora-Barak Chapter 5.4 in this comprehensive 92-minute session, part of CMU's Fall 2017 Course 15-855.
Syllabus
Introduction
Results
Technical Remarks
Proofs
Ingredients
Padding
Remarks
No Complimentary Speedup
Proof
Recap
Alternation Elimination
Alternation Trading
Taught by
Ryan O'Donnell