O livro de Arora e Barak contém em notas de capítulo sobre PCP
Observamos que a estratégia geral de Dinur lembra um pouco a construção em zigue-zague de gráficos expansores e o algoritmo determinístico de espaço de log determinante de Reingold para conectividade não direcionada descrito no Capítulo 20, o que sugere que mais conexões estão sendo feitas entre essas diferentes áreas de pesquisa. (página 494)
O que exatamente significa essa reminiscência? Existe uma propriedade / lema comum que possa ser "fatorado" nessas duas provas?
4
Do jeito que as coisas aconteceram, Irit foi inspirada pela prova de Omer quando ela apresentou a prova do PCP.
—
Dana Moshkovitz 19/09/12