00:00 - Introduction 01:42 - Definition 03:00 - Theorem 1 03:10 - Proof 11:40 - Theorem 2 11:55 - Proof 15:44 - Theorem 3 16:04 - Proof 20:30 - Complexity Classes hierarchy
No download links available.
