Вклад участника
- 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) . . м Критерий Тарьяна минимальности остовного дерева (переименовал «Теорема Тарьяна» в «Критерий Тарьяна минимальности остовного терева»)
- 22:28, 15 января 2011 (разн. | история) . . (+13) . . Критерий Тарьяна минимальности остовного дерева (фикс)
- 22:26, 15 января 2011 (разн. | история) . . (+10) . . Критерий Тарьяна минимальности остовного дерева (картинка)
- 22:25, 15 января 2011 (разн. | история) . . (0) . . Файл:Граф тарьян.png (загружена новая версия «Файл:Граф тарьян.png») (текущая)
- 22:23, 15 января 2011 (разн. | история) . . (+49) . . Критерий Тарьяна минимальности остовного дерева (фикс)
- 22:21, 15 января 2011 (разн. | история) . . (0) . . Файл:Граф тарьян.png (загружена новая версия «Файл:Граф тарьян.png»)
- 20:41, 15 января 2011 (разн. | история) . . (+27) . . Критерий Тарьяна минимальности остовного дерева (фикс)
- 20:40, 15 января 2011 (разн. | история) . . (+3) . . Критерий Тарьяна минимальности остовного дерева (фикс)
- 20:39, 15 января 2011 (разн. | история) . . (+1) . . Критерий Тарьяна минимальности остовного дерева (фикс)
- 20:38, 15 января 2011 (разн. | история) . . (+17) . . Критерий Тарьяна минимальности остовного дерева (фикс)
- 20:36, 15 января 2011 (разн. | история) . . (-14) . . Критерий Тарьяна минимальности остовного дерева (фикс)
- 20:35, 15 января 2011 (разн. | история) . . (-39) . . Критерий Тарьяна минимальности остовного дерева (фикс)
- 20:31, 15 января 2011 (разн. | история) . . (+6) . . Критерий Тарьяна минимальности остовного дерева (еще стилистика)
- 20:29, 15 января 2011 (разн. | история) . . (+2) . . Критерий Тарьяна минимальности остовного дерева (зяпятушечки)
- 20:27, 15 января 2011 (разн. | история) . . (+74) . . Критерий Тарьяна минимальности остовного дерева (фикс)
- 20:24, 15 января 2011 (разн. | история) . . (+2) . . Критерий Тарьяна минимальности остовного дерева (тире)
- 20:21, 15 января 2011 (разн. | история) . . (+6) . . Критерий Тарьяна минимальности остовного дерева (фикс)
- 20:19, 15 января 2011 (разн. | история) . . (-2) . . Критерий Тарьяна минимальности остовного дерева (фикс теха)
- 20:18, 15 января 2011 (разн. | история) . . (-22) . . Критерий Тарьяна минимальности остовного дерева (перевод на русский)
- 20:15, 15 января 2011 (разн. | история) . . (+1) . . Критерий Тарьяна минимальности остовного дерева (точечка)
- 20:12, 15 января 2011 (разн. | история) . . (+4) . . Критерий Тарьяна минимальности остовного дерева (орфография и пунктуация хромали на обе ноги)
- 20:00, 15 января 2011 (разн. | история) . . (0) . . Файл:Gr.png (загружена новая версия «Файл:Gr.png») (текущая)
- 19:56, 15 января 2011 (разн. | история) . . (+109) . . Критерий Тарьяна минимальности остовного дерева (картинка)
- 19:53, 15 января 2011 (разн. | история) . . (-9) . . Критерий Тарьяна минимальности остовного дерева (картинка)
- 19:52, 15 января 2011 (разн. | история) . . (-10) . . Критерий Тарьяна минимальности остовного дерева (картинка)
- 19:52, 15 января 2011 (разн. | история) . . (0) . . Н Файл:Gr.png
- 20:05, 8 декабря 2010 (разн. | история) . . (+1) . . м Критерий Тарьяна минимальности остовного дерева (фикс странного переноса строки)
- 20:04, 8 декабря 2010 (разн. | история) . . (+265) . . м Критерий Тарьяна минимальности остовного дерева (фикс3)
- 22:53, 1 декабря 2010 (разн. | история) . . (-17) . . м Критерий Тарьяна минимальности остовного дерева (фикс2)
- 22:51, 1 декабря 2010 (разн. | история) . . (+53) . . м Критерий Тарьяна минимальности остовного дерева (фикс)
- 19:35, 1 декабря 2010 (разн. | история) . . (-1) . . м Критерий Тарьяна минимальности остовного дерева (whitespace fix)
- 19:31, 1 декабря 2010 (разн. | история) . . (+2) . . м Критерий Тарьяна минимальности остовного дерева (исправлен ляп)
- 19:30, 1 декабря 2010 (разн. | история) . . (+1841) . . Н Критерий Тарьяна минимальности остовного дерева (теорема Тарьяна)
- 23:52, 13 октября 2010 (разн. | история) . . (+93) . . Теорема Менгера (литература)
- 23:32, 13 октября 2010 (разн. | история) . . (+289) . . K-связность (разделимость)
- 23:30, 13 октября 2010 (разн. | история) . . (+25) . . Теорема Менгера (ссылка)
- 23:26, 13 октября 2010 (разн. | история) . . (+300) . . K-связность (ссылки)
- 23:25, 13 октября 2010 (разн. | история) . . (-402) . . K-связность (форматирование)
- 23:23, 13 октября 2010 (разн. | история) . . (+243) . . Теорема Менгера (tex)
- 23:06, 13 октября 2010 (разн. | история) . . (+817) . . Теорема Менгера (format)
- 21:23, 11 октября 2010 (разн. | история) . . (+19) . . Теорема Менгера (пояснение)
- 07:21, 11 октября 2010 (разн. | история) . . (-258) . . м Теорема Менгера (грамматика)
- 07:12, 11 октября 2010 (разн. | история) . . (+558) . . K-связность (Небольшой комментарий)
- 05:48, 11 октября 2010 (разн. | история) . . (+2) . . Теорема Менгера (фикс форматирования)
- 05:46, 11 октября 2010 (разн. | история) . . (+318) . . Теорема Менгера (разделяющий набор)
- 05:40, 11 октября 2010 (разн. | история) . . (+2365) . . Теорема Менгера (утверждение 2)
- 08:15, 10 октября 2010 (разн. | история) . . (+707) . . Теорема Менгера (Лемма)
- 08:04, 10 октября 2010 (разн. | история) . . (+1591) . . Теорема Менгера (Доказательство вершинной)
- 07:39, 10 октября 2010 (разн. | история) . . (+116) . . Теорема Менгера (Фикс условий)
- 07:25, 10 октября 2010 (разн. | история) . . (+563) . . Н Теорема Менгера (Формулировка теоремы)
- 07:16, 10 октября 2010 (разн. | история) . . (+1076) . . Н K-связность (Черновик конспекта)