История
4 сентября 2022
1 сентября 2022
19 января 2019
20 февраля 2018
18 марта 2013
12 марта 2013
6 июня 2012
\log
м+3
убрана лемма, доказанная вдругой статье
+319
→Доказательство PCP теоремы: Небольшой фикс хвоста
+336
→Источники: фикс ссылок
+1
5 июня 2012
→Лемма об эквивалентности PCP теоремы и NP-трудности GAP-3SAT: оговорка по фрейду
м→Лемма об эквивалентности PCP теоремы и NP-трудности GAP-3SAT: тег
м-1
4 июня 2012
3 июня 2012
убрал кривые сслыки
м-192
ссылки на доказательства
+588
забыл тег
м+6
доказательство PCP
+1933
основная теорема
+3235
лемма о композиции
+835
Вступление композиции
+1977
лемма об усилении
+1063
Усиление, введение
+1533
Лемма о расширении
+609
expander-replacement
+1879
реструктуризация
+865
Коды с коррекцией ошибок
+1450
Неравенство в стиле Чебышева
+597
Экспандер графы без доказательств
+998
Лемма о экспандерах
+1293
→Графы условий: Доказательство леммы
+562
Графы условий без доказательсва
+1080
определение графов условий
+1811
→Несколько замечаний [TODO: переименовать]: - переименовано
+79
доказательство леммы
+2236
закончено доказательство леммы в одну сторону
+1766
Начало доказательства леммы
+1948
GAP-3SAT
+1375
