Вклад участника
(новейшие | старейшие) Просмотреть (100 более новых | 100 более старых) (20 | 50 | 100 | 250 | 500)
- 19:14, 27 мая 2012 (разн. | история) . . (+107) . . Классы NC и AC (→Определения)
- 23:49, 11 мая 2012 (разн. | история) . . (+10) . . Участник:Kirelagin/Оформление (Сделал заголовки помельче) (текущая)
- 23:46, 11 мая 2012 (разн. | история) . . (+491) . . Участник:Kirelagin/Оформление (→Теоремы: «Очевидно»)
- 23:36, 11 мая 2012 (разн. | история) . . (+244) . . Заглавная страница (Всеобщие обсуждения + обсуждение курсива в шаблоне «Определение»)
- 23:29, 11 мая 2012 (разн. | история) . . (+516) . . Обсуждение шаблона:Определение (→Курсив: Новая тема)
- 22:50, 11 мая 2012 (разн. | история) . . (+158) . . Сведение относительно класса функций. Сведение по Карпу. Трудные и полные задачи (→Свойства сведения)
- 15:19, 11 мая 2012 (разн. | история) . . (+18) . . Теоремы о коллапсе полиномиальной иерархии (mathrm)
- 13:36, 11 мая 2012 (разн. | история) . . (-182) . . Теоремы о коллапсе полиномиальной иерархии (→Теорема о коллапсе полиномиальной иерархии при совпадении \Sigma_i и \Pi_i: i=0)
- 12:14, 9 мая 2012 (разн. | история) . . (-30) . . Сведение относительно класса функций. Сведение по Карпу. Трудные и полные задачи (→Банальный пример сведения по Карпу)
- 12:10, 9 мая 2012 (разн. | история) . . (-34) . . Сведение относительно класса функций. Сведение по Карпу. Трудные и полные задачи (→Определения)
- 21:56, 8 мая 2012 (разн. | история) . . (-3) . . м Теорема Левина
- 19:50, 8 мая 2012 (разн. | история) . . (-3891) . . Теорема Левина (Теорема)
- 13:16, 8 мая 2012 (разн. | история) . . (-102) . . Теоремы о коллапсе полиномиальной иерархии (→Теорема о коллапсе полиномиальной иерархии при совпадении \Sigma_i и \Pi_i)
- 13:06, 8 мая 2012 (разн. | история) . . (-231) . . Теоремы о коллапсе полиномиальной иерархии (→Теорема о коллапсе полиномиальной иерархии при совпадении \Sigma_i и \Sigma_{i+1})
- 11:57, 8 мая 2012 (разн. | история) . . (-396) . . Теоремы о коллапсе полиномиальной иерархии (Лемма)
- 11:04, 8 мая 2012 (разн. | история) . . (+6) . . Теорема Карпа — Липтона (Лемма)
- 10:58, 8 мая 2012 (разн. | история) . . (+207) . . Теорема Бейкера — Гилла — Соловэя (→Теорема: немного подправил, но всё плохо)
- 18:03, 7 мая 2012 (разн. | история) . . (0) . . Теорема Карпа — Липтона (Лемма)
- 17:40, 7 мая 2012 (разн. | история) . . (+211) . . Обсуждение:Теорема Бейкера — Гилла — Соловэя (→Последствия)
- 14:11, 30 апреля 2012 (разн. | история) . . (+210) . . Обсуждение:Теорема Карпа — Липтона
- 13:52, 30 апреля 2012 (разн. | история) . . (+231) . . Обсуждение:Недетерминированные вычисления. Классы NP и Σ₁
- 00:31, 30 апреля 2012 (разн. | история) . . (+2430) . . Н Обсуждение:Классы NC и AC (Теорема) (текущая)
- 23:54, 29 апреля 2012 (разн. | история) . . (+288) . . Н Обсуждение:Теорема Карпа — Липтона (Доказательство)
- 23:52, 29 апреля 2012 (разн. | история) . . (-6) . . Теорема Карпа — Липтона (Оформление и мелочи)
- 23:31, 29 апреля 2012 (разн. | история) . . (+548) . . Обсуждение:Недетерминированные вычисления. Классы NP и Σ₁
- 23:20, 29 апреля 2012 (разн. | история) . . (+208) . . Обсуждение:Теорема Бейкера — Гилла — Соловэя (→Последствия: Новая тема)
- 23:19, 29 апреля 2012 (разн. | история) . . (+636) . . Обсуждение:Теорема Бейкера — Гилла — Соловэя
- 23:17, 29 апреля 2012 (разн. | история) . . (+640) . . Обсуждение:Теорема Бейкера — Гилла — Соловэя (→Вторая часть доказательства: Новая тема)
- 23:15, 29 апреля 2012 (разн. | история) . . (-209) . . Теорема Бейкера — Гилла — Соловэя (Вторая часть доказательства)
- 23:05, 29 апреля 2012 (разн. | история) . . (+231) . . Обсуждение:Теорема Бейкера — Гилла — Соловэя (→Первая часть доказательства: Новая тема)
- 23:00, 29 апреля 2012 (разн. | история) . . (-66) . . Теорема Бейкера — Гилла — Соловэя (Первая часть доказательства)
- 22:34, 29 апреля 2012 (разн. | история) . . (0) . . м Теорема Бейкера — Гилла — Соловэя (Тире в техе)
- 22:28, 29 апреля 2012 (разн. | история) . . (+398) . . Обсуждение:Теорема Бермана — Форчуна
- 00:54, 24 апреля 2012 (разн. | история) . . (+108) . . Н Обсуждение:Сложностные классы. Вычисления с оракулом (Новая страница: «ЭТО КАПЕЦ ~~~~»)
- 00:23, 24 апреля 2012 (разн. | история) . . (-16) . . Сведение относительно класса функций. Сведение по Карпу. Трудные и полные задачи (→Банальный пример сведения по Карпу)
- 00:05, 24 апреля 2012 (разн. | история) . . (+1312) . . Обсуждение:Теорема Бейкера — Гилла — Соловэя
- 23:55, 23 апреля 2012 (разн. | история) . . (+889) . . Н Обсуждение:Теорема Бейкера — Гилла — Соловэя (Новая страница: «Во-первых, тебе не повезло: я думал, какой бы конспект почитать, ткнул наугад и попал в тво...»)
- 23:45, 23 апреля 2012 (разн. | история) . . (+482) . . Обсуждение:Недетерминированные вычисления. Классы NP и Σ₁
- 23:44, 23 апреля 2012 (разн. | история) . . (+152) . . Обсуждение:Недетерминированные вычисления. Классы NP и Σ₁
- 23:04, 23 апреля 2012 (разн. | история) . . (+472) . . Обсуждение:Недетерминированные вычисления. Классы NP и Σ₁
- 10:32, 16 апреля 2012 (разн. | история) . . (+1047) . . Н Обсуждение:Недетерминированные вычисления. Классы NP и Σ₁ (Новая страница: «Я опять в печали. Стало немного лучше, чем когда я смотрел в тот раз, но но всё равно довол...»)
- 20:45, 9 апреля 2012 (разн. | история) . . (-87) . . м Класс P (Правки Ulyantsev (обсуждение) откачены к версии 192.168.0.2)
- 20:33, 9 апреля 2012 (разн. | история) . . (0) . . Шаблон:Утверждение
- 20:30, 9 апреля 2012 (разн. | история) . . (-181) . . Заглавная страница
- 20:29, 9 апреля 2012 (разн. | история) . . (+210) . . Теория сложности
- 23:36, 31 марта 2012 (разн. | история) . . (0) . . м Заглавная страница (Защищена страница «Заглавная страница»: Nyan! Nyan nyan nyan! ([edit=sysop] (истекает 20:36, 1 апреля 2012 (UTC)) [move=sysop] (истекает 20:36, 1 апреля 2012 (UTC))))
- 23:31, 31 марта 2012 (разн. | история) . . (-1777) . . Заглавная страница (Nyan, nyan!)
- 23:30, 31 марта 2012 (разн. | история) . . (+9) . . Н Файл:NyanCat.png (Nyan cat!) (текущая)
- 08:52, 24 января 2012 (разн. | история) . . (+24) . . Иммунные и простые множества
- 08:34, 24 января 2012 (разн. | история) . . (-54) . . Автоматы с магазинной памятью
- 07:25, 24 января 2012 (разн. | история) . . (+60) . . Алгоритм Эрли (упс)
- 02:14, 24 января 2012 (разн. | история) . . (+2) . . м Алгоритм Эрли (→Алгоритм Эрли)
- 02:11, 24 января 2012 (разн. | история) . . (+1094) . . Алгоритм Эрли, доказательство оценки O(n^2) для однозначной грамматики ((Отмена правки 17695) Ладно, хрен с тобой)
- 01:51, 24 января 2012 (разн. | история) . . (-1094) . . Алгоритм Эрли, доказательство оценки O(n^2) для однозначной грамматики (→Время работы для однозначной грамматики)
- 01:46, 24 января 2012 (разн. | история) . . (-2) . . м Хеширование (→Хеш - таблица)
- 01:38, 24 января 2012 (разн. | история) . . (+625) . . Алгоритм Эрли (→Алгоритм Эрли)
- 00:59, 24 января 2012 (разн. | история) . . (-19) . . Алгоритм Эрли (→Алгоритм Эрли)
- 00:59, 24 января 2012 (разн. | история) . . (+487) . . Алгоритм Эрли (→Алгоритм Эрли)
- 00:58, 24 января 2012 (разн. | история) . . (0) . . Алгоритм Эрли, доказательство оценки O(n^2) для однозначной грамматики
- 09:54, 21 января 2012 (разн. | история) . . (+40) . . Теория формальных языков
- 09:53, 21 января 2012 (разн. | история) . . (0) . . м Основные определения: алфавит, слово, язык, конкатенация, свободный моноид слов; операции над языками (переименовал Основные определения: алфавит, слово, язык, конкатенация, свободный моноид слов в [[Основные определения: алфавит, слово, ...)
- 09:53, 21 января 2012 (разн. | история) . . (+221) . . Н Основные определения: алфавит, слово, язык, конкатенация, свободный моноид слов (переименовал Основные определения: алфавит, слово, язык, конкатенация, свободный моноид слов в [[Основные определения: алфавит, слово, ...)
- 09:01, 21 января 2012 (разн. | история) . . (-165) . . Теория формальных языков (Влито в основные определения)
- 09:00, 21 января 2012 (разн. | история) . . (+110) . . Конкурс для более удачного URL сайта вики-конспектов (→Варианты)
- 08:58, 21 января 2012 (разн. | история) . . (+216) . . Н Обсуждение:Конкурс для более удачного URL сайта вики-конспектов (Новая страница: «== Поддомен == А есть вариант заиметь поддомен и вообще избавиться от этой средней части? ~~~») (текущая)
- 08:44, 21 января 2012 (разн. | история) . . (+153) . . Основные определения: алфавит, слово, язык, конкатенация, свободный моноид слов; операции над языками (Конкатенация с обратными)
- 07:40, 21 января 2012 (разн. | история) . . (+2) . . Замкнутость регулярных языков относительно различных операций
- 07:38, 21 января 2012 (разн. | история) . . (+1966) . . Основные определения: алфавит, слово, язык, конкатенация, свободный моноид слов; операции над языками (Примеры)
- 07:14, 21 января 2012 (разн. | история) . . (+42) . . Детерминированные конечные автоматы (→Автоматные языки: разбил определение на два)
- 07:12, 21 января 2012 (разн. | история) . . (+17) . . Замкнутость регулярных языков относительно различных операций
- 07:05, 21 января 2012 (разн. | история) . . (+172) . . Конкурс для более удачного URL сайта вики-конспектов
- 09:01, 20 января 2012 (разн. | история) . . (-1) . . M-сводимость
- 09:00, 20 января 2012 (разн. | история) . . (-111) . . M-сводимость
- 08:16, 20 января 2012 (разн. | история) . . (+855) . . Обсуждение:Алгоритм Эрли, доказательство оценки O(n^2) для однозначной грамматики (текущая)
- 08:13, 20 января 2012 (разн. | история) . . (+2) . . Алгоритм Эрли, доказательство оценки O(n^2) для однозначной грамматики (→Время работы для однозначной грамматики)
- 08:12, 20 января 2012 (разн. | история) . . (+9) . . Алгоритм Эрли, доказательство оценки O(n^2) для однозначной грамматики (→Время работы для однозначной грамматики)
- 08:11, 20 января 2012 (разн. | история) . . (+78) . . Алгоритм Эрли (Ссылки на правила так выглядят лучше)
- 08:09, 20 января 2012 (разн. | история) . . (0) . . м Алгоритм Эрли, доказательство оценки O(n^2) для однозначной грамматики (→Время работы для однозначной грамматики)
- 08:08, 20 января 2012 (разн. | история) . . (+309) . . Алгоритм Эрли, доказательство оценки O(n^2) для однозначной грамматики (→Время работы для однозначной грамматики)
- 07:59, 20 января 2012 (разн. | история) . . (-53) . . Алгоритм Эрли, доказательство оценки O(n^2) для однозначной грамматики (→Алгоритм)
- 07:47, 20 января 2012 (разн. | история) . . (+59) . . Алгоритм Эрли (→Алгоритм Эрли)
- 23:11, 19 января 2012 (разн. | история) . . (+256) . . Теория формальных языков (Отмена правки 15862 участника 192.168.0.2 (обсуждение))
- 23:08, 19 января 2012 (разн. | история) . . (+372) . . Обсуждение:M-сводимость
- 23:07, 19 января 2012 (разн. | история) . . (+33) . . M-сводимость
- 08:04, 19 января 2012 (разн. | история) . . (-82) . . Алгоритм Эрли (Отмена правки 17349 участника Kirelagin (обсуждение))
- 08:04, 19 января 2012 (разн. | история) . . (+1) . . Алгоритм Эрли (Отмена правки 17355 участника Kirelagin (обсуждение))
- 06:33, 19 января 2012 (разн. | история) . . (-1) . . Алгоритм Эрли (Это я, конечно, погорячился =()
- 05:12, 19 января 2012 (разн. | история) . . (-2) . . Алгоритм Эрли (А вот и нет)
- 05:04, 19 января 2012 (разн. | история) . . (+14) . . м Алгоритм Эрли
- 05:02, 19 января 2012 (разн. | история) . . (+82) . . Алгоритм Эрли (Заоптимизировал алгоритм (критично для однозначных грамматик), ничего не сломав с точки зрения доказательств)
- 04:48, 19 января 2012 (разн. | история) . . (-70) . . м Алгоритм Эрли
- 04:47, 19 января 2012 (разн. | история) . . (-369) . . Алгоритм Эрли, доказательство оценки O(n^2) для однозначной грамматики (→Время работы для однозначной грамматики: — упростил первый случай)
- 04:34, 19 января 2012 (разн. | история) . . (+97) . . Алгоритм Эрли, доказательство оценки O(n^2) для однозначной грамматики (Доказательство второго пункта леммы)
- 03:17, 19 января 2012 (разн. | история) . . (-104) . . Алгоритм Эрли, доказательство оценки O(n^2) для однозначной грамматики
- 02:41, 19 января 2012 (разн. | история) . . (+999) . . Обсуждение:Алгоритм Эрли, доказательство оценки O(n^2) для однозначной грамматики
- 02:38, 19 января 2012 (разн. | история) . . (-238) . . Алгоритм Эрли, доказательство оценки O(n^2) для однозначной грамматики (Улучшил оформление доказательства второй леммы, но оно всё ещё неправильное)
- 02:23, 19 января 2012 (разн. | история) . . (+120) . . Н Обсуждение:Алгоритм Эрли, доказательство оценки O(n^2) для однозначной грамматики (Новая страница: «В доказательстве второй леммы ЛПП. ~~~»)
- 02:00, 19 января 2012 (разн. | история) . . (0) . . Алгоритм Эрли (Косяк с именами переменных)
- 01:44, 19 января 2012 (разн. | история) . . (+3) . . м Алгоритм Эрли, доказательство оценки O(n^2) для однозначной грамматики (→Время работы для однозначной грамматики)
- 00:16, 19 января 2012 (разн. | история) . . (+158) . . Обсуждение:Алгоритм Эрли (текущая)
(новейшие | старейшие) Просмотреть (100 более новых | 100 более старых) (20 | 50 | 100 | 250 | 500)