Połączenie między PCP a L = SL

Książka Arory i Baraka zawiera uwagi do rozdziału na temat PCP

Zauważamy, że ogólna strategia Dinura przypomina nieco zygzakowatą konstrukcję wykresów ekspanderów i deterministyczny algorytm przestrzeni logicznej Reingolda dla połączeń bezkierunkowych opisany w rozdziale 20, co sugeruje, że więcej połączeń oczekuje na nawiązanie między tymi różnymi obszarami badań. (str. 494)

Co dokładnie oznacza to wspomnienie? Czy istnieje jakaś wspólna własność / lemat, którą można „rozdzielić” na dwa dowody?

Dokładną odpowiedź na twoje pytanie podaje Oded Goldreich w swoim artykule „Odważnie, umiarkowanie: wspólny temat w czterech najnowszych pracach”.

Oto link: http://www.wisdom.weizmann.ac.il/~oded/COL/brave.pdf