Learn Generative AI, Prompt Engineering, and LLMs for Free
AI, Data Science & Cloud Certificates from Google, IBM & Meta
Overview
Google, IBM & Meta Certificates – 40% Off
One Coursera Plus subscription covers most Professional Certificates on Coursera.
Unlock All Certificates
This graduate lecture develops hierarchy theorems for deterministic and nondeterministic Turing machines, including diagonalization proofs, encoding schemes, time constructibility, and a related space hierarchy theorem.
Syllabus
Introduction
Time Hierarchy Theorem
Encoding Scheme
Multiple Encodings
Turing Machine
DS Action
Bug in the Proof
Recall
Crazy Functions
Time Constructible
Nondeterministic
Nondeterministic Certificates
Guessing Bits
Taught by
Ryan O'Donnell