Il libro di Arora e Barak contiene nelle note di capitolo su PCP
Notiamo che la strategia generale di Dinur ricorda in qualche modo la costruzione a zig-zag dei grafici di espansione e l'algoritmo deterministico dello spazio di log di Reingold per la connettività non indirizzata descritta nel Capitolo 20, il che suggerisce che siano in attesa ulteriori connessioni tra queste diverse aree di ricerca. (pag 494)
Cosa si intende esattamente con questa reminiscenza? Esiste una proprietà / lemma comune che può essere "presa in considerazione" da queste due prove?
4
Per come sono andate le cose, Irit è stata ispirata dalla prova di Omer quando ha inventato la prova PCP.
—
Dana Moshkovitz,