Вклад участника
6 июня 2012
PCP-теорема
\log
м+3
Эквивалентность PCP-теоремы и теоремы о трудности аппроксимации
\log
мPCP-система
Свойства: PCP теорема, анонс
+472
Эквивалентность PCP-теоремы и теоремы о трудности аппроксимации
собственно PCP
+141
Эквивалентность PCP-теоремы и теоремы о трудности аппроксимации
фикс заголовка
м-13
Эквивалентность PCP-теоремы и теоремы о трудности аппроксимации
вторая половина доказательства, источник
+2160
Эквивалентность PCP-теоремы и теоремы о трудности аппроксимации
доказательство в одну сторону
-524
Эквивалентность PCP-теоремы и теоремы о трудности аппроксимации
опечатка
мЭквивалентность PCP-теоремы и теоремы о трудности аппроксимации
немного косметических правок.
+644
PCP-теорема
убрана лемма, доказанная вдругой статье
+319
PCP-теорема
Доказательство PCP теоремы: Небольшой фикс хвоста
+336
PCP-теорема
Источники: фикс ссылок
+1
5 июня 2012
PCP-теорема
Лемма об эквивалентности PCP теоремы и NP-трудности GAP-3SAT: оговорка по фрейду
мPCP-теорема
Лемма об эквивалентности PCP теоремы и NP-трудности GAP-3SAT: тег
м-1
4 июня 2012
3 июня 2012
PCP-теорема
убрал кривые сслыки
м-192
PCP-теорема
ссылки на доказательства
+588
PCP-теорема
забыл тег
м+6
Теория сложности
PCP-теорема
+24
PCP-теорема
доказательство PCP
+1933
PCP-теорема
основная теорема
+3235
PCP-теорема
лемма о композиции
+835
PCP-теорема
Вступление композиции
+1977
PCP-теорема
лемма об усилении
+1063
PCP-теорема
Усиление, введение
+1533
PCP-теорема
Лемма о расширении
+609
PCP-теорема
expander-replacement
+1879
PCP-теорема
реструктуризация
+865
PCP-теорема
Коды с коррекцией ошибок
+1450
PCP-теорема
Неравенство в стиле Чебышева
+597
PCP-теорема
Экспандер графы без доказательств
+998
PCP-теорема
Лемма о экспандерах
+1293
PCP-теорема
Графы условий: Доказательство леммы
+562
PCP-теорема
Графы условий без доказательсва
+1080
PCP-теорема
определение графов условий
+1811
PCP-теорема
Несколько замечаний [TODO: переименовать]: - переименовано
+79
PCP-теорема
доказательство леммы
+2236
PCP-теорема
закончено доказательство леммы в одну сторону
+1766
PCP-теорема
Начало доказательства леммы
+1948
PCP-теорема
GAP-3SAT
24 января 2012
Возможность порождения формальной грамматикой произвольного перечислимого языка
определение переехало
-217
Формальные грамматики
якорь
+10
Формальные грамматики
сент. форма
+242
Возможность порождения формальной грамматикой произвольного перечислимого языка
сент. форма
+269
Возможность порождения формальной грамматикой произвольного перечислимого языка
перевод на русский
+21
Возможность порождения формальной грамматикой произвольного перечислимого языка
точки, точки, точечки
+12
Возможность порождения формальной грамматикой произвольного перечислимого языка
примеры, структура
+134
Возможность порождения формальной грамматикой произвольного перечислимого языка
примеры, разбил доказательство
+3865
19 января 2012
Возможность порождения формальной грамматикой произвольного перечислимого языка
часть 4
+1925
Возможность порождения формальной грамматикой произвольного перечислимого языка
Часть 3
+1550
