Книга Ароры и Барака содержит примечания к главе о PCP.
Мы отмечаем, что общая стратегия Динура в некоторой степени напоминает зигзагообразную конструкцию графов расширителей и детерминистический алгоритм логарифмического пространства Рейнгольда для ненаправленной связи, описанный в главе 20, что предполагает, что между этими различными областями исследований ожидается установление большего количества связей. (стр. 494)
Что именно подразумевается под этим воспоминанием? Есть ли общее свойство / лемма, которые можно «вычеркнуть» из этих двух доказательств?
4
Как это происходило, Ирит была вдохновлена доказательством Омера, когда она выдвинула доказательство PCP.
—
Дана Мошковиц