Das Buch von Arora und Barak enthält in Kapitel Anmerkungen zu PCP
Wir stellen fest, dass Dinurs allgemeine Strategie etwas an die Zick-Zack-Konstruktion von Expander-Graphen und den in Kapitel 20 beschriebenen deterministischen Logspace-Algorithmus von Reingold für ungerichtete Konnektivität erinnert, was darauf hindeutet, dass weitere Verbindungen zwischen diesen verschiedenen Forschungsbereichen warten. (S. 494)
Was genau ist mit dieser Erinnerung gemeint? Gibt es eine gemeinsame Eigenschaft / ein gemeinsames Lemma, die aus diesen beiden Beweisen "herausgerechnet" werden kann?
4
So wie die Dinge geschahen, war Irit von Omers Beweis inspiriert, als sie den PCP-Beweis vorlegte.
—
Dana Moshkovitz