Overview
This course covers the concept of Hardness Magnification for all sparse NP languages, including topics such as the Minimum Circuit Size Problem, extending known lower bounds, algorithms with small non-uniformity, and the proof of Theorem 1.2. The course aims to teach learners how to view Hardness Magnification and its applications. The teaching method involves presenting theoretical concepts, proofs, and discussing open problems in the field. This course is intended for individuals interested in theoretical computer science, complexity theory, and algorithm design.
Syllabus
Intro
Minimum Circuit Size Problem
How to view Hardness Magnification?
Extending Known Lower Bounds?
HM for all sparse NP languages
Hardness Magnification for MCSP
Algorithms with small non-uniformity
Intuition
Proof of Theorem 1.2
Open Problems
Taught by
IEEE FOCS: Foundations of Computer Science