Fall 2020

Crash Course on Probabilistically Checkable Proofs (PCP): Introduction

Wednesday, Aug. 19, 2020 9:00 am10:00 am

Add to Calendar



This crash course will cover the basics of PCP and highlight its connections with geometry. While it's recommended to watch all four talks, the bulk of each talk is designed as a stand-alone.

Probabilistic checking of proofs, two prover games, hardness of approximation, PCP parameters, projection games, high-level overview of proofs and this crash course.