Вклад участника
(новейшие | старейшие) Просмотреть (250 более новых | 250 более старых) (20 | 50 | 100 | 250 | 500)
- 22:09, 10 апреля 2014 (разн. | история) . . (-29) . . м Триангуляция Делоне (Подправлено определение флипа)
- 22:18, 10 июня 2013 (разн. | история) . . (-12) . . м Паросочетания: основные определения, теорема о максимальном паросочетании и дополняющих цепях (Поправил корявое определение)
- 18:58, 8 июня 2013 (разн. | история) . . (+10) . . м Участник:Leugenea (Добавил дату поступления) (текущая)
- 18:58, 8 июня 2013 (разн. | история) . . (+53) . . м Обсуждение:Незнакопостоянные ряды (Добавил, кто я) (текущая)
- 18:53, 8 июня 2013 (разн. | история) . . (+483) . . Н Обсуждение:Незнакопостоянные ряды (Новая страница: «Я посмотрел на название, подумал «это, вообще-то, называется, „знакопеременные ряды“», п...»)
- 18:43, 8 июня 2013 (разн. | история) . . (0) . . м Положительные ряды (→Принцип сравнения рядов: заменил букву на правильную)
- 22:59, 4 июня 2012 (разн. | история) . . (+16) . . Теоремы о временной и ёмкостной иерархиях
- 17:53, 4 июня 2012 (разн. | история) . . (-2) . . м Сведение относительно класса функций. Сведение по Карпу. Трудные и полные задачи (→Определения трудных и сложных задач: о_0 !!!!!!)
- 17:33, 4 июня 2012 (разн. | история) . . (-25) . . м Сведение относительно класса функций. Сведение по Карпу. Трудные и полные задачи (→Определения трудных и сложных задач)
- 17:30, 4 июня 2012 (разн. | история) . . (+35) . . м Сведение относительно класса функций. Сведение по Карпу. Трудные и полные задачи (→Определения)
- 17:25, 4 июня 2012 (разн. | история) . . (-164) . . Сведение относительно класса функций. Сведение по Карпу. Трудные и полные задачи (→Определения)
- 17:12, 4 июня 2012 (разн. | история) . . (+118) . . м Сведение относительно класса функций. Сведение по Карпу. Трудные и полные задачи (Выделено определение)
- 15:10, 4 июня 2012 (разн. | история) . . (+2756) . . Обсуждение:Теорема Лаутемана (ToDo 2)
- 20:57, 3 июня 2012 (разн. | история) . . (+7) . . м Обсуждение:PS-полнота языка верных булевых формул с кванторами (TQBF) (убрал ненужное требование)
- 20:07, 3 июня 2012 (разн. | история) . . (+1045) . . Обсуждение:PS-полнота языка верных булевых формул с кванторами (TQBF) (баги)
- 19:40, 3 июня 2012 (разн. | история) . . (-2) . . м Теоремы о временной и ёмкостной иерархиях (Убрана очевидность)
- 18:41, 3 июня 2012 (разн. | история) . . (0) . . м PS-полнота языка верных булевых формул с кванторами (TQBF) (естественный порядок)
- 15:27, 3 июня 2012 (разн. | история) . . (+3113) . . Н Обсуждение:Теорема Лаутемана (ToDo)
- 13:56, 3 июня 2012 (разн. | история) . . (+22) . . м Схемная сложность и класс P/poly (→Определения)
- 12:41, 3 июня 2012 (разн. | история) . . (-12) . . м Теорема Сэвича. Совпадение классов NPS и PS (→Определение)
- 12:36, 3 июня 2012 (разн. | история) . . (+184) . . м Теорема Сэвича. Совпадение классов NPS и PS (→Теорема Сэвича)
- 02:31, 3 июня 2012 (разн. | история) . . (+2) . . м Класс P (→Свойства класса P)
- 00:16, 3 июня 2012 (разн. | история) . . (-24) . . м Классы BPP (→Теорема)
- 00:01, 3 июня 2012 (разн. | история) . . (+12) . . м Классы BPP (→Теорема)
- 18:41, 1 июня 2012 (разн. | история) . . (+1349) . . Н Обсуждение:Теорема о непринадлежности XOR классу AC⁰ (ToDo)
- 18:11, 1 июня 2012 (разн. | история) . . (+5) . . м Теорема о непринадлежности XOR классу AC⁰ (→Теорема)
- 23:47, 31 мая 2012 (разн. | история) . . (+242) . . м Класс P (→Свойства класса P)
- 23:40, 31 мая 2012 (разн. | история) . . (+30) . . м Класс P (→Свойства класса P)
- 23:39, 31 мая 2012 (разн. | история) . . (+60) . . м Класс P (→Свойства класса P)
- 21:43, 31 мая 2012 (разн. | история) . . (-9) . . м Схемная сложность и класс P/poly (→Определения)
- 21:39, 31 мая 2012 (разн. | история) . . (-55) . . м Схемная сложность и класс P/poly (→Теоремы)
- 21:22, 31 мая 2012 (разн. | история) . . (-1) . . м Схемная сложность и класс P/poly (→Определения)
- 20:35, 13 мая 2012 (разн. | история) . . (-54) . . м Теорема Сэвича. Совпадение классов NPS и PS (→Теорема Сэвича)
- 20:12, 13 мая 2012 (разн. | история) . . (-117) . . м Теорема Сэвича. Совпадение классов NPS и PS (→Связь класса PS с другими классами теории сложности)
- 20:02, 13 мая 2012 (разн. | история) . . (+34) . . м Классы NC и AC (→Определения)
- 19:52, 13 мая 2012 (разн. | история) . . (-6) . . м Теорема Сэвича. Совпадение классов NPS и PS (→Определение)
- 23:19, 11 мая 2012 (разн. | история) . . (-20) . . м Сведение относительно класса функций. Сведение по Карпу. Трудные и полные задачи (Ещё \mathrm{})
- 23:15, 11 мая 2012 (разн. | история) . . (+29) . . м Сведение относительно класса функций. Сведение по Карпу. Трудные и полные задачи (\mathrm{})
- 22:25, 11 мая 2012 (разн. | история) . . (-436) . . м Сведение относительно класса функций. Сведение по Карпу. Трудные и полные задачи (→Свойства сведения)
- 12:58, 9 мая 2012 (разн. | история) . . (+169) . . м Сведение относительно класса функций. Сведение по Карпу. Трудные и полные задачи (→Свойства сведения)
- 12:26, 9 мая 2012 (разн. | история) . . (+60) . . м Сведение относительно класса функций. Сведение по Карпу. Трудные и полные задачи (→Определения трудных и сложных задач)
- 11:02, 9 мая 2012 (разн. | история) . . (+71) . . м Теория сложности (Поправлена ссылка на «Сведение относительно класса функций. Сведение по Карпу. Трудные и полные задачи»)
- 11:01, 9 мая 2012 (разн. | история) . . (-184) . . Сведение по Карпу. Трудные и полные задачи (Убран редирект)
- 11:00, 9 мая 2012 (разн. | история) . . (+184) . . Н Сведение по Карпу. Трудные и полные задачи (переименовал Сведение по Карпу. Трудные и полные задачи в [[Сведение относительно класса функций. Сведение по Карпу. Трудные и полные за...)
- 11:00, 9 мая 2012 (разн. | история) . . (0) . . м Сведение относительно класса функций. Сведение по Карпу. Трудные и полные задачи (переименовал Сведение по Карпу. Трудные и полные задачи в [[Сведение относительно класса функций. Сведение по Карпу. Трудные и полные за...)
- 21:16, 8 мая 2012 (разн. | история) . . (-22) . . м Сведение относительно класса функций. Сведение по Карпу. Трудные и полные задачи (→Определение сведения)
- 21:14, 8 мая 2012 (разн. | история) . . (+673) . . Сведение относительно класса функций. Сведение по Карпу. Трудные и полные задачи (Добавил доказательство леммы)
- 20:56, 8 мая 2012 (разн. | история) . . (+91) . . м Сведение относительно класса функций. Сведение по Карпу. Трудные и полные задачи
- 20:51, 8 мая 2012 (разн. | история) . . (+52) . . м Сведение относительно класса функций. Сведение по Карпу. Трудные и полные задачи (→Банальный пример сведения по Карпу)
- 20:44, 8 мая 2012 (разн. | история) . . (+1012) . . Сведение относительно класса функций. Сведение по Карпу. Трудные и полные задачи (Добавил определение)
- 20:07, 7 мая 2012 (разн. | история) . . (+1021) . . Н Обсуждение:Теорема Сэвича. Совпадение классов NPS и PS (ToDo)
- 18:48, 7 мая 2012 (разн. | история) . . (+1914) . . Н Обсуждение:Схемная сложность и класс P/poly (ОГОСПАДЕ ЧТО ЭТО) (текущая)
- 15:53, 7 мая 2012 (разн. | история) . . (-2) . . м Теоремы о временной и ёмкостной иерархиях (Убрана очевидность)
- 15:50, 7 мая 2012 (разн. | история) . . (+83) . . м Класс P (→Задача равенства P и NP)
- 12:38, 6 мая 2012 (разн. | история) . . (+321) . . м Обсуждение:Теоремы о временной и ёмкостной иерархиях (+1 к todo)
- 12:35, 6 мая 2012 (разн. | история) . . (+12) . . м Теоремы о временной и ёмкостной иерархиях (Чуточку подправил читабельность)
- 12:23, 6 мая 2012 (разн. | история) . . (+1344) . . Обсуждение:Класс P (Todo №n)
- 12:10, 30 апреля 2012 (разн. | история) . . (+453) . . м Обсуждение:Класс P (Вторая волна todo)
- 12:07, 30 апреля 2012 (разн. | история) . . (+91) . . м Класс P (Ссылка на определение DTIME)
- 23:27, 29 апреля 2012 (разн. | история) . . (0) . . м Обсуждение:Класс P (→TODO)
- 22:48, 29 апреля 2012 (разн. | история) . . (+852) . . Н Обсуждение:Теоремы о временной и ёмкостной иерархиях (todo)
- 17:40, 29 апреля 2012 (разн. | история) . . (+1622) . . Н Обсуждение:Класс P (todo)
- 16:44, 29 апреля 2012 (разн. | история) . . (+897) . . Н Обсуждение:Теорема Махэни (todo)
- 15:28, 27 апреля 2012 (разн. | история) . . (+149) . . м Сведение относительно класса функций. Сведение по Карпу. Трудные и полные задачи
- 14:34, 27 апреля 2012 (разн. | история) . . (+247) . . Обсуждение:Теорема Бермана — Форчуна (→ToDo)
- 14:18, 27 апреля 2012 (разн. | история) . . (+187) . . Н Обсуждение:Примеры NP-полных языков. Теорема Кука (Обязательно todo)
- 00:33, 24 апреля 2012 (разн. | история) . . (+74) . . м Сведение относительно класса функций. Сведение по Карпу. Трудные и полные задачи
- 13:10, 18 апреля 2012 (разн. | история) . . (-325) . . м Обсуждение:Теорема Бермана — Форчуна (→ToDo)
- 02:01, 18 апреля 2012 (разн. | история) . . (+1364) . . Н Обсуждение:Теорема Бермана — Форчуна (ToDo)
- 22:38, 15 апреля 2012 (разн. | история) . . (+822) . . Сведение относительно класса функций. Сведение по Карпу. Трудные и полные задачи (Определение полного языка)
- 22:32, 15 апреля 2012 (разн. | история) . . (+570) . . Сведение относительно класса функций. Сведение по Карпу. Трудные и полные задачи (Добавил определение сложного языка)
- 22:12, 15 апреля 2012 (разн. | история) . . (+114) . . м Сведение относительно класса функций. Сведение по Карпу. Трудные и полные задачи
- 22:05, 15 апреля 2012 (разн. | история) . . (+1830) . . Сведение относительно класса функций. Сведение по Карпу. Трудные и полные задачи (Добавил теорему о транзитивности)
- 21:24, 15 апреля 2012 (разн. | история) . . (+2447) . . Сведение относительно класса функций. Сведение по Карпу. Трудные и полные задачи (Добавил пример сведения)
- 20:46, 15 апреля 2012 (разн. | история) . . (+597) . . Н Сведение относительно класса функций. Сведение по Карпу. Трудные и полные задачи (Добавил определение)
- 20:03, 4 апреля 2012 (разн. | история) . . (+1356) . . Теория сложности (Добавлены темы первой волны)
- 19:41, 4 апреля 2012 (разн. | история) . . (+181) . . м Заглавная страница (Разделены старая и новая версия «теории сложности»)
- 19:40, 4 апреля 2012 (разн. | история) . . (-112) . . Теория сложности (Убран редирект)
- 19:32, 4 апреля 2012 (разн. | история) . . (+112) . . Н Теория сложности (переименовал Теория сложности в Теория сложности (старая трешовая версия): Мы создаём свой конспект. Хороший, красивый и ясный.)
- 19:32, 4 апреля 2012 (разн. | история) . . (0) . . м Теория сложности (старая трешовая версия) (переименовал Теория сложности в Теория сложности (старая трешовая версия): Мы создаём свой конспект. Хороший, красивый и ясный.)
- 21:07, 24 января 2012 (разн. | история) . . (-1) . . м Автоматы с магазинной памятью (→Недетерминированный автомат с магазинной памятью)
- 06:13, 24 января 2012 (разн. | история) . . (0) . . м Неукорачивающие и контекстно-зависимые грамматики, эквивалентность (Идиотский баг)
- 06:04, 24 января 2012 (разн. | история) . . (+1) . . м Неукорачивающие и контекстно-зависимые грамматики, эквивалентность (Бысрый фикс)
- 04:22, 24 января 2012 (разн. | история) . . (+44) . . м Счетчиковые машины, эквивалентность двухсчетчиковой машины МТ (→Эквивалентность двухстековой машины трёхсчётчикой машине)
- 04:14, 24 января 2012 (разн. | история) . . (+18) . . м Счетчиковые машины, эквивалентность двухсчетчиковой машины МТ (→Эквивалентность двухстековой машины трёхсчётчикой машине)
- 02:04, 24 января 2012 (разн. | история) . . (+27) . . м Лемма о разрастании для КС-грамматик (→Лемма о разрастании для КС-грамматик)
- 01:11, 24 января 2012 (разн. | история) . . (0) . . м Лемма о разрастании для КС-грамматик
- 00:53, 24 января 2012 (разн. | история) . . (+10) . . м Теорема Райса-Шапиро (Тире)
- 00:09, 24 января 2012 (разн. | история) . . (+165) . . Несовпадение класса языков, распознаваемых ДМП автоматами и произвольными МП автоматами (Некоторое пояснение)
- 23:55, 23 января 2012 (разн. | история) . . (-27) . . м Лемма о разрастании для КС-грамматик
- 23:50, 23 января 2012 (разн. | история) . . (-2) . . м Лемма о разрастании для КС-грамматик (Идиотский фиск)
- 22:23, 23 января 2012 (разн. | история) . . (0) . . м Вычислимые функции (Мелкий фикс (всё-таки на питоноподобном языке пишем))
- 22:20, 23 января 2012 (разн. | история) . . (-7) . . м Вычислимые функции («утверждение» → «лемма»)
- 08:08, 23 января 2012 (разн. | история) . . (+2) . . м Удаление eps-правил из грамматики (→Алгоритм удаления ε-правил из грамматики)
- 07:49, 23 января 2012 (разн. | история) . . (+34) . . м Удаление eps-правил из грамматики (→Доказательство корректности)
- 07:45, 23 января 2012 (разн. | история) . . (-2) . . м Удаление eps-правил из грамматики (→Алгоритм удаления ε-правил из грамматики)
- 07:43, 23 января 2012 (разн. | история) . . (-2) . . м Удаление eps-правил из грамматики (→Алгоритм удаления ε-правил из грамматики)
- 07:30, 23 января 2012 (разн. | история) . . (+23) . . м Удаление бесполезных символов из грамматики (Фикс русского)
- 07:29, 23 января 2012 (разн. | история) . . (+6) . . м Удаление бесполезных символов из грамматики («т.к.» → «так как»)
- 06:36, 23 января 2012 (разн. | история) . . (+40) . . м Неукорачивающие и контекстно-зависимые грамматики, эквивалентность (Фикс)
- 06:34, 23 января 2012 (разн. | история) . . (-15) . . м Иерархия Хомского формальных грамматик (Доубирал нелепое слово «те»)
- 06:24, 23 января 2012 (разн. | история) . . (-5) . . м Иерархия Хомского формальных грамматик (→Класс 2)
- 12:02, 21 января 2012 (разн. | история) . . (-151) . . м Автоматы с eps-переходами. Eps-замыкание (→Эквивалентность автоматов с переходами по строкам и НКА. Eps-замыкание)
- 12:01, 21 января 2012 (разн. | история) . . (+306) . . м Автоматы с eps-переходами. Eps-замыкание («Определение» эквивалентности)
- 09:54, 21 января 2012 (разн. | история) . . (+6) . . м Существенно неоднозначные языки (И снова русский язык)
- 09:52, 21 января 2012 (разн. | история) . . (+11) . . м Существенно неоднозначные языки (Фикс русского)
- 09:14, 21 января 2012 (разн. | история) . . (-2) . . м Интерпретация булевых формул с кванторами как игр для двух игроков (Быстрое исправление тупой баги)
- 08:53, 21 января 2012 (разн. | история) . . (+391) . . Интерпретация булевых формул с кванторами как игр для двух игроков (Убрано много-премного бреееееда)
- 08:02, 21 января 2012 (разн. | история) . . (+644) . . Регулярные языки: два определения и их эквивалентность (Переработка первой части доказательства (суровая такая))
- 07:22, 21 января 2012 (разн. | история) . . (+167) . . Регулярные языки: два определения и их эквивалентность (Пофикшены определения)
- 09:59, 17 января 2012 (разн. | история) . . (+6) . . м Регулярные языки: два определения и их эквивалентность (Изменение форматирования)
- 09:47, 17 января 2012 (разн. | история) . . (+19) . . м Доказательство нерегулярности языков: лемма о разрастании
- 09:36, 17 января 2012 (разн. | история) . . (-2) . . м Анализ свойств регулярных языков (пустота, совпадение, включение, конечность, подсчёт числа слов) (→Алгоритм проверки на включение)
- 09:13, 17 января 2012 (разн. | история) . . (+31) . . м Эквивалентность состояний ДКА
- 09:08, 17 января 2012 (разн. | история) . . (+108) . . м Автоматы с eps-переходами. Eps-замыкание (→Совпадение множеств языков, допускаемых eps-НКА и ДКА)
- 09:06, 17 января 2012 (разн. | история) . . (+54) . . м Автоматы с eps-переходами. Eps-замыкание (→Совпадение множеств языков, допускаемых eps-НКА и ДКА)
- 09:00, 17 января 2012 (разн. | история) . . (+150) . . м Построение по НКА эквивалентного ДКА, алгоритм Томпсона (Добавил ссылочки на ДКА и НКА)
- 08:55, 17 января 2012 (разн. | история) . . (+1) . . м Недетерминированные конечные автоматы (Пропущенная запятая)
- 08:44, 17 января 2012 (разн. | история) . . (+162) . . Интерпретация булевых формул с кванторами как игр для двух игроков (Переформулировка теоремы. Теперь она, кажется, нормальная)
- 08:32, 17 января 2012 (разн. | история) . . (-7) . . м Интерпретация булевых формул с кванторами как игр для двух игроков (→Интерпретация булевых формул с кванторами как игр для двух игроков)
- 08:29, 17 января 2012 (разн. | история) . . (+182) . . Интерпретация булевых формул с кванторами как игр для двух игроков (Фиксы в формулировках и русском языке)
- 08:19, 17 января 2012 (разн. | история) . . (-41) . . м Интерпретация булевых формул с кванторами как игр для двух игроков (ой, забыл)))
- 08:17, 17 января 2012 (разн. | история) . . (+348) . . Интерпретация булевых формул с кванторами как игр для двух игроков (Полностью переделано оформление + исправлено много чего в тексте)
- 07:12, 17 января 2012 (разн. | история) . . (+12) . . м Регулярные языки: два определения и их эквивалентность (Мелкие фиксы)
- 07:22, 5 января 2012 (разн. | история) . . (+1960) . . Н Обсуждение:Счетчиковые машины, эквивалентность двухсчетчиковой машины МТ (ToDo) (текущая)
- 06:21, 5 января 2012 (разн. | история) . . (0) . . м Счетчиковые машины, эквивалентность двухсчетчиковой машины МТ
- 05:45, 20 декабря 2011 (разн. | история) . . (+803) . . Обсуждение:Замкнутость разрешимых и перечислимых языков относительно теоретико-множественных и алгебраических операций (ToDo2)
- 05:57, 19 декабря 2011 (разн. | история) . . (+940) . . Н Обсуждение:Вычислимые функции (ToDo) (текущая)
- 05:11, 19 декабря 2011 (разн. | история) . . (+2) . . м Вычислимые функции
- 02:10, 19 декабря 2011 (разн. | история) . . (+1418) . . Н Обсуждение:Замкнутость разрешимых и перечислимых языков относительно теоретико-множественных и алгебраических операций (ToDoAndDoAndDo)
- 00:51, 19 декабря 2011 (разн. | история) . . (+1187) . . Н Обсуждение:Перечислимые языки (ToDo)
- 09:17, 14 декабря 2011 (разн. | история) . . (+503) . . Н Обсуждение:Разрешимые (рекурсивные) языки (Невскидку)
(новейшие | старейшие) Просмотреть (250 более новых | 250 более старых) (20 | 50 | 100 | 250 | 500)