Call for comments: “Introduction to Theoretical Computer Science”

As I mentioned before, I am teaching CS 121  at Harvard, and have written my own text, with the (not very original) title "Introduction to Theoretical Computer Science" . I am hoping for this text to turn into a published textbook in the next year or two. Toward this end, I would be grateful for any comments … Continue reading Call for comments: “Introduction to Theoretical Computer Science”

Statistical physics dictionary

I've always been curious about the statistical physics approach to problems from computer science. The physics-inspired algorithm survey propagation is the current champion for random 3SAT instances, statistical-physics phase transitions have been suggested as explaining computational difficulty, and statistical physics has even been invoked to explain why deep learning algorithms seem to often converge to … Continue reading Statistical physics dictionary

On the recent proof of the 2-to-2 conjecture

Update (4/15): Scribe notes are now up thanks to Mitali Bafna, Chi-Ning Chou, and Zhao Song. As I posted before, recently Khot, Minzer and Safra posted a manuscript which is the culmination of a beautiful line of work, initiated by the same authors, and completes the proof of (the imperfect completeness variant of) Khot's 2 … Continue reading On the recent proof of the 2-to-2 conjecture