Вклад участника
(новейшие | старейшие) Просмотреть (100 более новых | 100 более старых) (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)
- 04:51, 19 января 2012 (разн. | история) . . (+2024) . . Возможность порождения формальной грамматикой произвольного перечислимого языка (часть 2)
- 04:27, 19 января 2012 (разн. | история) . . (+2955) . . Н Возможность порождения формальной грамматикой произвольного перечислимого языка (часть 1)
- 18:02, 10 ноября 2011 (разн. | история) . . (+157) . . Н Участник:Filchenko (Новая страница: «Николай Фильченко Мои контакты: * ICQ 403-863-699 * skype finomen812 * почта finomen812@gmail.com * jabber finomen@jabber.ru») (текущая)
- 17:57, 10 ноября 2011 (разн. | история) . . (+187) . . Обсуждение:Формальные грамматики (ответ2)
- 17:56, 10 ноября 2011 (разн. | история) . . (-408) . . Формальные грамматики (→Определения: объединил определения)
- 06:59, 10 ноября 2011 (разн. | история) . . (+46) . . Формальные грамматики (→Обозначения: фикс обозначений)
- 06:52, 10 ноября 2011 (разн. | история) . . (+225) . . Обсуждение:Формальные грамматики (→ToDo: ответ)
- 06:49, 10 ноября 2011 (разн. | история) . . (+339) . . Формальные грамматики (→Правильные скобочные последовательности: пример поинтересней)
- 06:40, 10 ноября 2011 (разн. | история) . . (-165) . . Формальные грамматики (определение языка - фикс)
- 06:36, 10 ноября 2011 (разн. | история) . . (+1) . . Формальные грамматики (фикс определений)
- 06:35, 10 ноября 2011 (разн. | история) . . (-436) . . Формальные грамматики (еще несколько правок)
- 06:18, 10 ноября 2011 (разн. | история) . . (+244) . . Формальные грамматики (→Определения: вынес обозначения, добавил забытое)
- 05:52, 10 ноября 2011 (разн. | история) . . (+21) . . Формальные грамматики (фикс структуры)
- 05:51, 10 ноября 2011 (разн. | история) . . (+347) . . Формальные грамматики (литература)
- 05:49, 10 ноября 2011 (разн. | история) . . (+140) . . Формальные грамматики (фикс ссылок)
- 05:47, 10 ноября 2011 (разн. | история) . . (+173) . . Формальные грамматики (сслыка на левоторонний вывод, еще несколько тире)
- 05:30, 10 ноября 2011 (разн. | история) . . (-2) . . Формальные грамматики (опечатка)
- 05:29, 10 ноября 2011 (разн. | история) . . (+440) . . Формальные грамматики (обозначения, переместил определение терминала)
- 05:09, 10 ноября 2011 (разн. | история) . . (+16) . . Формальные грамматики (→Арифметические выражения: тире)
- 05:08, 10 ноября 2011 (разн. | история) . . (+1) . . Формальные грамматики (Исправлены тире)
- 04:08, 10 ноября 2011 (разн. | история) . . (+792) . . Формальные грамматики (Исправил пример - арифметические выражения)
- 03:56, 10 ноября 2011 (разн. | история) . . (+34) . . Формальные грамматики (Исправил пример - псп)
- 03:54, 10 ноября 2011 (разн. | история) . . (+43) . . Формальные грамматики (Определение вывода за ноль или более шагов исправил)
- 03:50, 10 ноября 2011 (разн. | история) . . (0) . . Формальные грамматики (Определение вывода за 1 шаг исправил)
- 03:44, 10 ноября 2011 (разн. | история) . . (+13) . . Формальные грамматики (Исправлено определение P)
- 03:39, 10 ноября 2011 (разн. | история) . . (+151) . . Формальные грамматики (ссылка на алфавит исправлена)
- 03:36, 10 ноября 2011 (разн. | история) . . (-10) . . Формальные грамматики (убрал рамку)
- 02:47, 8 ноября 2011 (разн. | история) . . (+1778) . . Формальные грамматики (Превая моя версия)
- 02:19, 8 ноября 2011 (разн. | история) . . (0) . . Файл:FG Tree1.png (загружена новая версия «Файл:FG Tree1.png») (текущая)
- 02:17, 8 ноября 2011 (разн. | история) . . (0) . . Файл:FG Tree1.png (загружена новая версия «Файл:FG Tree1.png»)
- 02:03, 8 ноября 2011 (разн. | история) . . (+54) . . Н Файл:FG Tree1.png (Дерево рвзбора для строки (()()))
- 02:54, 29 июня 2011 (разн. | история) . . (+44) . . Алгоритм построения базы в объединении матроидов (хоть немного читаемей)
- 00:41, 26 июня 2011 (разн. | история) . . (-5) . . м Аксиоматизация матроида циклами (косметика)
- 00:39, 26 июня 2011 (разн. | история) . . (-22) . . м Аксиоматизация матроида циклами (косметика)
- 00:38, 26 июня 2011 (разн. | история) . . (+232) . . Аксиоматизация матроида циклами (литература)
- 00:37, 26 июня 2011 (разн. | история) . . (+32) . . м Аксиоматизация матроида циклами (косметика)
- 00:35, 26 июня 2011 (разн. | история) . . (+41) . . м Аксиоматизация матроида циклами (косметика)
- 00:31, 26 июня 2011 (разн. | история) . . (+37) . . м Аксиоматизация матроида циклами (русский язык)
- 00:27, 26 июня 2011 (разн. | история) . . (+2) . . м Аксиоматизация матроида циклами (тире)
- 00:27, 26 июня 2011 (разн. | история) . . (-6) . . м Аксиоматизация матроида циклами (точка)
- 00:26, 26 июня 2011 (разн. | история) . . (+7) . . м Аксиоматизация матроида циклами (тире)
- 00:24, 26 июня 2011 (разн. | история) . . (+32) . . м Аксиоматизация матроида циклами (пара фиксов)
- 00:22, 26 июня 2011 (разн. | история) . . (+36) . . м Аксиоматизация матроида циклами (формула разбита на две)
- 00:14, 26 июня 2011 (разн. | история) . . (+1) . . м Аксиоматизация матроида циклами (скобочки)
- 00:12, 26 июня 2011 (разн. | история) . . (+2) . . м Аксиоматизация матроида циклами (третей->третьей)
- 00:03, 26 июня 2011 (разн. | история) . . (+6486) . . Н Аксиоматизация матроида циклами (Аксиоматизация+доказательство)
- 21:59, 23 января 2011 (разн. | история) . . (+30) . . Теорема Редеи-Камиона (Отмена правки 7605 участника 192.168.0.2 (обсуждение) Это утверждение вообще говоря неврно, для чего и разобр)
- 22:36, 15 января 2011 (разн. | история) . . (0) . . Критерий Тарьяна минимальности остовного дерева (фикс)
- 22:33, 15 января 2011 (разн. | история) . . (+126) . . Н Теорема Тарьяна (переименовал «Теорема Тарьяна» в «Критерий Тарьяна минимальности остовного терева»)
- 22:33, 15 января 2011 (разн. | история) . . (0) . . м Критерий Тарьяна минимальности остовного дерева (переименовал «Теорема Тарьяна» в «Критерий Тарьяна минимальности остовного терева»)
(новейшие | старейшие) Просмотреть (100 более новых | 100 более старых) (20 | 50 | 100 | 250 | 500)