Вклад участника
(новейшие | старейшие) Просмотреть (100 более новых | 100 более старых) (20 | 50 | 100 | 250 | 500)
- 02:48, 16 февраля 2019 (разн. | история) . . (+35) . . Формальные грамматики (→Определения: В правилах слева могут быть и терминалы)
- 16:18, 12 сентября 2016 (разн. | история) . . (0) . . Лямбда-исчисление
- 18:26, 22 января 2015 (разн. | история) . . (+1) . . м Куча Бродала-Окасаки (→Insert: Упс, баг)
- 18:25, 22 января 2015 (разн. | история) . . (-84) . . Куча Бродала-Окасаки (→extractMin: Нормальные обозначения и правильный код)
- 18:11, 22 января 2015 (разн. | история) . . (-32) . . Куча Бродала-Окасаки (→getMin: Нормальные обозначения)
- 18:10, 22 января 2015 (разн. | история) . . (-111) . . Куча Бродала-Окасаки (→Insert: Нормальные обозначения)
- 18:08, 22 января 2015 (разн. | история) . . (-130) . . Куча Бродала-Окасаки (→Merge: Нормальные обозначения)
- 18:04, 22 января 2015 (разн. | история) . . (-132) . . Куча Бродала-Окасаки (→Структура: Нормальные обозначения)
- 16:56, 22 января 2015 (разн. | история) . . (0) . . м Куча Бродала-Окасаки (Не тайпчекалось же, ну)
- 20:05, 28 января 2014 (разн. | история) . . (+456) . . Обсуждение:Декартово дерево (→Приоритет: Новая тема) (текущая)
- 20:04, 28 января 2014 (разн. | история) . . (+10) . . Декартово дерево (→Merge)
- 01:54, 5 января 2014 (разн. | история) . . (+2) . . Участник:Kirelagin (текущая)
- 19:37, 24 июня 2013 (разн. | история) . . (+675) . . Нормальная подгруппа (→Нормальные подгруппы)
- 19:21, 24 июня 2013 (разн. | история) . . (-86) . . Подгруппа (→Нормальные подгруппы)
- 19:17, 24 июня 2013 (разн. | история) . . (-34) . . Конечная группа (→Свойства)
- 18:58, 19 июня 2012 (разн. | история) . . (-31) . . м Интеграл Фейера (Правки Dgerasimov (обсуждение) откачены к версии Sementry)
- 13:07, 5 июня 2012 (разн. | история) . . (+1) . . Теорема Левина
- 13:05, 5 июня 2012 (разн. | история) . . (+30) . . Теорема Левина
- 12:46, 5 июня 2012 (разн. | история) . . (+35) . . Теорема Левина
- 18:25, 4 июня 2012 (разн. | история) . . (+18) . . PS-полнота языка верных булевых формул с кванторами (TQBF)
- 18:23, 4 июня 2012 (разн. | история) . . (+116) . . Интерактивные протоколы. Класс IP. Класс AM
- 18:01, 4 июня 2012 (разн. | история) . . (-11) . . Классы NP, coNP, Σ₁, Π₁
- 16:40, 4 июня 2012 (разн. | история) . . (+19) . . Лемма о соотношении coNP и IP
- 16:16, 4 июня 2012 (разн. | история) . . (-35) . . Лемма о соотношении coNP и IP
- 15:51, 4 июня 2012 (разн. | история) . . (-40) . . Шаблон:Определение
- 15:39, 4 июня 2012 (разн. | история) . . (-97) . . Лемма о соотношении coNP и IP
- 12:33, 4 июня 2012 (разн. | история) . . (+14) . . Арифметизация булевых формул с кванторами
- 10:34, 4 июня 2012 (разн. | история) . . (0) . . Интерактивные протоколы. Класс IP. Класс AM
- 10:27, 4 июня 2012 (разн. | история) . . (0) . . м Интерактивные протоколы. Класс IP. Класс AM
- 01:01, 4 июня 2012 (разн. | история) . . (+86) . . Обсуждение:Интерактивные протоколы. Класс IP. Класс AM
- 00:52, 4 июня 2012 (разн. | история) . . (+795) . . Н Обсуждение:Интерактивные протоколы. Класс IP. Класс AM (Новая страница: «Надо написать, что V хочет установить истину. Надо расставить ссылки (например, на вероят...»)
- 00:52, 4 июня 2012 (разн. | история) . . (-79) . . Интерактивные протоколы. Класс IP. Класс AM (→Класс IP)
- 00:23, 4 июня 2012 (разн. | история) . . (-349) . . Классы RP и coRP
- 22:12, 3 июня 2012 (разн. | история) . . (+754) . . Обсуждение:Сложностные классы. Вычисления с оракулом (→Я не понял, ЭТО зачтено или нет?)
- 22:08, 3 июня 2012 (разн. | история) . . (+683) . . Обсуждение:Теорема Бейкера — Гилла — Соловэя (→Мелкие по сравнению с остальным претензии: Новая тема)
- 22:06, 3 июня 2012 (разн. | история) . . (+575) . . Обсуждение:Теорема Бейкера — Гилла — Соловэя (→Странное ограничение)
- 21:52, 3 июня 2012 (разн. | история) . . (+800) . . Обсуждение:Теорема Карпа — Липтона (→Новое доказательство — новые вопросы!: Новая тема)
- 16:21, 3 июня 2012 (разн. | история) . . (+141) . . Обсуждение:Классы L, NL, coNL. NL-полнота задачи о достижимости (текущая)
- 16:13, 3 июня 2012 (разн. | история) . . (+1) . . м Теорема Ладнера
- 16:13, 3 июня 2012 (разн. | история) . . (+52) . . м Теорема Ладнера
- 16:11, 3 июня 2012 (разн. | история) . . (+15) . . Теорема Ладнера
- 16:10, 3 июня 2012 (разн. | история) . . (-9) . . Теорема Ладнера
- 16:07, 3 июня 2012 (разн. | история) . . (+5) . . Теорема Ладнера
- 16:02, 3 июня 2012 (разн. | история) . . (+96) . . Теорема Ладнера
- 15:27, 3 июня 2012 (разн. | история) . . (+17) . . Обсуждение:Теорема Ладнера
- 15:17, 3 июня 2012 (разн. | история) . . (+103) . . Теорема Ладнера
- 15:15, 3 июня 2012 (разн. | история) . . (-5) . . Теорема Ладнера (Отмена правки 23418 участника Kirelagin (обсуждение))
- 15:09, 3 июня 2012 (разн. | история) . . (+5) . . Теорема Ладнера
- 15:08, 3 июня 2012 (разн. | история) . . (+496) . . Обсуждение:Теорема Ладнера
- 14:54, 3 июня 2012 (разн. | история) . . (+429) . . Обсуждение:Классы L, NL, coNL. NL-полнота задачи о достижимости
- 13:58, 3 июня 2012 (разн. | история) . . (+11) . . Схемная сложность и класс P/poly
- 13:49, 3 июня 2012 (разн. | история) . . (0) . . Теоремы о коллапсе полиномиальной иерархии
- 13:37, 3 июня 2012 (разн. | история) . . (+313) . . Классы PH, Σ и Π
- 13:19, 3 июня 2012 (разн. | история) . . (-168) . . Классы L, NL, coNL. NL-полнота задачи о достижимости
- 13:18, 3 июня 2012 (разн. | история) . . (+1186) . . Обсуждение:Классы L, NL, coNL. NL-полнота задачи о достижимости
- 13:15, 3 июня 2012 (разн. | история) . . (+87) . . Обсуждение:Классы L, NL, coNL. NL-полнота задачи о достижимости
- 13:15, 3 июня 2012 (разн. | история) . . (+234) . . Н Обсуждение:Классы L, NL, coNL. NL-полнота задачи о достижимости (Новая страница: «Определеньки надо бы вынести из теорем. Я, видимо, туплю, но я не понимаю, как <tex>\mathrm{\overline...»)
- 12:46, 3 июня 2012 (разн. | история) . . (+271) . . Обсуждение:Сложностные классы. Вычисления с оракулом (→Я не понял, ЭТО зачтено или нет?)
- 12:37, 3 июня 2012 (разн. | история) . . (+304) . . Обсуждение:PS-полнота языка верных булевых формул с кванторами (TQBF)
- 12:12, 3 июня 2012 (разн. | история) . . (+380) . . Обсуждение:Теорема Сэвича. Совпадение классов NPS и PS
- 11:59, 3 июня 2012 (разн. | история) . . (+493) . . Обсуждение:Теорема Сэвича. Совпадение классов NPS и PS (→И вот ещё немного: Новая тема)
- 11:58, 3 июня 2012 (разн. | история) . . (+43) . . Теорема Сэвича. Совпадение классов NPS и PS
- 11:52, 3 июня 2012 (разн. | история) . . (-2) . . Теорема Махэни (Да хватит уже удовлетворять формулы!)
- 11:36, 3 июня 2012 (разн. | история) . . (+6) . . Теорема Махэни (\bigm|)
- 11:20, 3 июня 2012 (разн. | история) . . (+54) . . Теорема Махэни
- 11:14, 3 июня 2012 (разн. | история) . . (+101) . . Теорема Бермана — Форчуна
- 11:06, 3 июня 2012 (разн. | история) . . (+79) . . Теорема Бермана — Форчуна
- 01:04, 3 июня 2012 (разн. | история) . . (+198) . . Теорема Махэни
- 00:58, 3 июня 2012 (разн. | история) . . (+11) . . Теорема Махэни
- 00:16, 3 июня 2012 (разн. | история) . . (+171) . . Теорема Бермана — Форчуна (БЕСИТЕ вы меня)
- 00:03, 3 июня 2012 (разн. | история) . . (+477) . . Обсуждение:Теорема Бермана — Форчуна (→Омг: Новая тема) (текущая)
- 21:53, 2 июня 2012 (разн. | история) . . (+190) . . Обсуждение:Сложностные классы. Вычисления с оракулом (→Я не понял, ЭТО зачтено или нет?)
- 21:51, 2 июня 2012 (разн. | история) . . (+842) . . Обсуждение:Сложностные классы. Вычисления с оракулом (→Я не понял, ЭТО зачтено или нет?)
- 18:18, 2 июня 2012 (разн. | история) . . (+179) . . Обсуждение:Примеры NP-полных языков. Теорема Кука (→Глобально: Новая тема) (текущая)
- 13:53, 2 июня 2012 (разн. | история) . . (-379) . . Обсуждение:Теорема Ладнера (Сам исправил)
- 13:53, 2 июня 2012 (разн. | история) . . (+1) . . Теорема Ладнера
- 13:40, 2 июня 2012 (разн. | история) . . (+336) . . Обсуждение:Теорема Ладнера
- 13:21, 2 июня 2012 (разн. | история) . . (+8) . . Теорема Ладнера (Ой, зря я сломал программы. Починил.)
- 13:12, 2 июня 2012 (разн. | история) . . (+155) . . Обсуждение:Теорема Ладнера
- 12:58, 2 июня 2012 (разн. | история) . . (-133) . . Теорема Ладнера
- 12:58, 2 июня 2012 (разн. | история) . . (+57) . . Обсуждение:Теорема Ладнера (Подписи сломались о_0)
- 12:58, 2 июня 2012 (разн. | история) . . (+1852) . . Н Обсуждение:Теорема Ладнера (Новая страница: «Есть мнение, что эту теорему надо оформить как теорему. В первой же строке явно просится ...»)
- 02:39, 1 июня 2012 (разн. | история) . . (-5) . . м Классы NC и AC (→Теоремы)
- 21:37, 31 мая 2012 (разн. | история) . . (+2) . . Теорема Левина
- 21:22, 31 мая 2012 (разн. | история) . . (+2) . . Теорема Левина
- 21:20, 31 мая 2012 (разн. | история) . . (+18) . . Теорема Левина (Байдаров всё внимательно читает и следит за тобой!)
- 21:17, 31 мая 2012 (разн. | история) . . (+1) . . м Класс P (Правки Kirelagin (обсуждение) откачены к версии 109.188.223.77)
- 21:17, 31 мая 2012 (разн. | история) . . (-1) . . м Класс P
- 21:14, 31 мая 2012 (разн. | история) . . (+306) . . Обсуждение:Сложностные классы. Вычисления с оракулом (→Я не понял, ЭТО зачтено или нет?: Новая тема)
- 21:08, 31 мая 2012 (разн. | история) . . (+22) . . Теорема Левина
- 20:55, 31 мая 2012 (разн. | история) . . (+40) . . Теорема Левина
- 20:47, 31 мая 2012 (разн. | история) . . (+31) . . Теорема Левина (багфикс)
- 20:23, 27 мая 2012 (разн. | история) . . (+81) . . Теорема Карпа — Липтона (Теорема)
- 20:12, 27 мая 2012 (разн. | история) . . (+1) . . Теорема Карпа — Липтона (Лемма)
- 19:50, 27 мая 2012 (разн. | история) . . (+108) . . Классы NC и AC (→Теоремы: Название тезиса)
- 19:44, 27 мая 2012 (разн. | история) . . (+53) . . Классы NC и AC (→Теоремы)
- 19:41, 27 мая 2012 (разн. | история) . . (-80) . . Шаблон:Утверждение (Идите нафиг со своим курсивом)
- 19:39, 27 мая 2012 (разн. | история) . . (+33) . . Классы NC и AC (→Теоремы: Третье)
- 19:30, 27 мая 2012 (разн. | история) . . (0) . . Классы NC и AC (→Теоремы: Вторая)
- 19:26, 27 мая 2012 (разн. | история) . . (+141) . . Классы NC и AC (→Теоремы: Первая теорема)
(новейшие | старейшие) Просмотреть (100 более новых | 100 более старых) (20 | 50 | 100 | 250 | 500)