Вклад участника
(новейшие | старейшие) Просмотреть (50 более новых | 50 более старых) (20 | 50 | 100 | 250 | 500)
- 21:44, 6 июня 2012 (разн. | история) . . (+3) . . м PCP-теорема (\log)
- 21:42, 6 июня 2012 (разн. | история) . . (0) . . м Эквивалентность PCP-теоремы и теоремы о трудности аппроксимации (\log)
- 21:41, 6 июня 2012 (разн. | история) . . (+472) . . PCP-система (→Свойства: PCP теорема, анонс)
- 21:31, 6 июня 2012 (разн. | история) . . (+141) . . Эквивалентность PCP-теоремы и теоремы о трудности аппроксимации (собственно PCP)
- 21:29, 6 июня 2012 (разн. | история) . . (-13) . . м Эквивалентность PCP-теоремы и теоремы о трудности аппроксимации (фикс заголовка)
- 21:27, 6 июня 2012 (разн. | история) . . (+2160) . . Эквивалентность PCP-теоремы и теоремы о трудности аппроксимации (вторая половина доказательства, источник)
- 20:01, 6 июня 2012 (разн. | история) . . (-524) . . Эквивалентность PCP-теоремы и теоремы о трудности аппроксимации (доказательство в одну сторону)
- 19:22, 6 июня 2012 (разн. | история) . . (0) . . м Эквивалентность PCP-теоремы и теоремы о трудности аппроксимации (опечатка)
- 19:22, 6 июня 2012 (разн. | история) . . (+644) . . Эквивалентность PCP-теоремы и теоремы о трудности аппроксимации (немного косметических правок.)
- 18:59, 6 июня 2012 (разн. | история) . . (+319) . . PCP-теорема (убрана лемма, доказанная вдругой статье)
- 18:56, 6 июня 2012 (разн. | история) . . (+336) . . PCP-теорема (→Доказательство PCP теоремы: Небольшой фикс хвоста)
- 18:44, 6 июня 2012 (разн. | история) . . (+1) . . PCP-теорема (→Источники: фикс ссылок)
- 11:47, 5 июня 2012 (разн. | история) . . (0) . . м PCP-теорема (→Лемма об эквивалентности PCP теоремы и NP-трудности GAP-3SAT: оговорка по фрейду)
- 11:04, 5 июня 2012 (разн. | история) . . (-1) . . м PCP-теорема (→Лемма об эквивалентности PCP теоремы и NP-трудности GAP-3SAT: тег)
- 17:33, 4 июня 2012 (разн. | история) . . (+8) . . PCP-теорема (выпилил два лишних куска (не встречаются в приведенных доказательствах))
- 22:52, 3 июня 2012 (разн. | история) . . (-192) . . м PCP-теорема (убрал кривые сслыки)
- 22:46, 3 июня 2012 (разн. | история) . . (+588) . . PCP-теорема (ссылки на доказательства)
- 22:43, 3 июня 2012 (разн. | история) . . (+6) . . м PCP-теорема (забыл тег)
- 22:42, 3 июня 2012 (разн. | история) . . (+24) . . Теория сложности (PCP-теорема)
- 22:41, 3 июня 2012 (разн. | история) . . (+1933) . . PCP-теорема (доказательство PCP)
- 22:19, 3 июня 2012 (разн. | история) . . (+3235) . . PCP-теорема (основная теорема)
- 21:46, 3 июня 2012 (разн. | история) . . (+835) . . PCP-теорема (лемма о композиции)
- 21:28, 3 июня 2012 (разн. | история) . . (+1977) . . PCP-теорема (Вступление композиции)
- 21:07, 3 июня 2012 (разн. | история) . . (+1063) . . PCP-теорема (лемма об усилении)
- 19:59, 3 июня 2012 (разн. | история) . . (+1533) . . PCP-теорема (Усиление, введение)
- 19:40, 3 июня 2012 (разн. | история) . . (+609) . . PCP-теорема (Лемма о расширении)
- 19:34, 3 июня 2012 (разн. | история) . . (+1879) . . PCP-теорема (expander-replacement)
- 19:17, 3 июня 2012 (разн. | история) . . (+865) . . PCP-теорема (реструктуризация)
- 19:08, 3 июня 2012 (разн. | история) . . (+1450) . . PCP-теорема (Коды с коррекцией ошибок)
- 18:56, 3 июня 2012 (разн. | история) . . (+597) . . PCP-теорема (Неравенство в стиле Чебышева)
- 18:48, 3 июня 2012 (разн. | история) . . (+998) . . PCP-теорема (Экспандер графы без доказательств)
- 18:35, 3 июня 2012 (разн. | история) . . (+1293) . . PCP-теорема (Лемма о экспандерах)
- 18:15, 3 июня 2012 (разн. | история) . . (+562) . . PCP-теорема (→Графы условий: Доказательство леммы)
- 18:06, 3 июня 2012 (разн. | история) . . (+1080) . . PCP-теорема (Графы условий без доказательсва)
- 17:47, 3 июня 2012 (разн. | история) . . (+1811) . . PCP-теорема (определение графов условий)
- 17:15, 3 июня 2012 (разн. | история) . . (+79) . . PCP-теорема (→Несколько замечаний [TODO: переименовать]: - переименовано)
- 17:11, 3 июня 2012 (разн. | история) . . (+2236) . . PCP-теорема (доказательство леммы)
- 16:18, 3 июня 2012 (разн. | история) . . (+1766) . . PCP-теорема (закончено доказательство леммы в одну сторону)
- 16:01, 3 июня 2012 (разн. | история) . . (+1948) . . PCP-теорема (Начало доказательства леммы)
- 15:24, 3 июня 2012 (разн. | история) . . (+1375) . . Н PCP-теорема (GAP-3SAT)
- 02:38, 24 января 2012 (разн. | история) . . (-217) . . Возможность порождения формальной грамматикой произвольного перечислимого языка (определение переехало)
- 02:34, 24 января 2012 (разн. | история) . . (+10) . . Формальные грамматики (якорь)
- 02:32, 24 января 2012 (разн. | история) . . (+242) . . Формальные грамматики (сент. форма)
- 02:30, 24 января 2012 (разн. | история) . . (+269) . . Возможность порождения формальной грамматикой произвольного перечислимого языка (сент. форма)
- 02:22, 24 января 2012 (разн. | история) . . (+21) . . Возможность порождения формальной грамматикой произвольного перечислимого языка (перевод на русский)
- 02:21, 24 января 2012 (разн. | история) . . (+12) . . Возможность порождения формальной грамматикой произвольного перечислимого языка (точки, точки, точечки)
- 02:16, 24 января 2012 (разн. | история) . . (+134) . . Возможность порождения формальной грамматикой произвольного перечислимого языка (примеры, структура)
- 02:11, 24 января 2012 (разн. | история) . . (+3865) . . Возможность порождения формальной грамматикой произвольного перечислимого языка (примеры, разбил доказательство)
- 05:26, 19 января 2012 (разн. | история) . . (+1925) . . Возможность порождения формальной грамматикой произвольного перечислимого языка (часть 4)
- 05:07, 19 января 2012 (разн. | история) . . (+1550) . . Возможность порождения формальной грамматикой произвольного перечислимого языка (Часть 3)
(новейшие | старейшие) Просмотреть (50 более новых | 50 более старых) (20 | 50 | 100 | 250 | 500)