From PCPs to Parallel PCPs - Hardness of Approximation in Parameterized Complexity
Institute for Advanced Study via YouTube
The Most Addictive Python and SQL Courses
Learn AI, Data Science & Business — Earn Certificates That Get You Hired
Overview
AI, Data Science & Cloud Certificates from Google, IBM & Meta — 40% Off
One plan covers every Professional Certificate on Coursera. 40% off Coursera Plus Annual.
Unlock All Certificates
Explore the intersection of parameterized complexity and hardness of approximation in this comprehensive seminar lecture. Begin with a foundational primer on parameterized complexity theory before delving into recent breakthrough results in hardness of approximation within this framework. Examine key insights from cutting-edge research and follow a detailed proof sketch demonstrating that, under the Exponential Time Hypothesis, no n^{k / polylog k}-time algorithm can distinguish between perfectly satisfiable 2-CSP instances on k variables over an alphabet of size n and instances where every assignment satisfies at most 1% of the constraints. Learn how classical Probabilistically Checkable Proofs (PCPs) extend to parallel PCPs and their implications for computational complexity theory. Gain deep understanding of the mathematical foundations underlying these hardness results and their significance for algorithm design in parameterized settings.
Syllabus
10:30am|Dilworth Room
Taught by
Institute for Advanced Study