This the first lecture for CSE 599S: Analytical and geometric methods in the theory of computation. Today we’ll consider the gap amplification problem for 2-prover games, and see how it’… more →
tcs math - some mathematics of theoretical computer sciencewrote 4 years ago: This the first lecture for CSE 599S: Analytical and geometric methods in the theory of computation. … more →
wrote 4 years ago: Yesterday, Anup Rao pointed me to these two remarkably beautiful papers, which made my morning coffe … more →