Книга Арори та Барака містить примітки до глав про ПКП
Зауважимо, що загальна стратегія Дінура дещо нагадує зигзагоподібну побудову графіків розширювачів та детермінований алгоритм журналу Рейнгольда для непрямої сполученості, описаний у главі 20, що дозволяє припустити, що між цими різними областями досліджень очікується більше зв’язків. (стор. 494)
Що саме мається на увазі під цим ремінісценцією? Чи є спільна властивість / лема, ніж їх можна "визначити" з цих двох доказів?
4
У тому, як все сталося, Ірит була натхненна доказом Омера, коли вона придумала доказ PCP.
—
Дана Мошковіц