Вклад участника

Перейти к: навигация, поиск

Kirelagin

16 февраля 2019

Формальные грамматики
‎Определения: В правилах слева могут быть и терминалы
02:48
+35

12 сентября 2016

Лямбда-исчисление
Нет описания правки
16:18

22 января 2015

Куча Бродала-Окасаки
‎Insert: Упс, баг
м
18:26
+1
Куча Бродала-Окасаки
‎extractMin: Нормальные обозначения и правильный код
18:25
-84
Куча Бродала-Окасаки
‎getMin: Нормальные обозначения
18:11
-32
Куча Бродала-Окасаки
‎Insert: Нормальные обозначения
18:10
-111
Куча Бродала-Окасаки
‎Merge: Нормальные обозначения
18:08
-130
Куча Бродала-Окасаки
‎Структура: Нормальные обозначения
18:04
-132
Куча Бродала-Окасаки
Не тайпчекалось же, ну
м
16:56

28 января 2014

Обсуждение:Декартово дерево
‎Приоритет: Новая тема
20:05
+456
Декартово дерево
‎Merge
20:04
+10

5 января 2014

Участник:Kirelagin
Нет описания правки
01:54
+2

24 июня 2013

Нормальная подгруппа
‎Нормальные подгруппы
19:37
+675
Подгруппа
‎Нормальные подгруппы
19:21
-86
Конечная группа
‎Свойства
19:17
-34

19 июня 2012

Интеграл Фейера
Правки Dgerasimov (обсуждение) откачены к версии Sementry
м
18:58
-31

5 июня 2012

Теорема Левина
Нет описания правки
13:07
+1
Теорема Левина
Нет описания правки
13:05
+30
Теорема Левина
Нет описания правки
12:46
+35

4 июня 2012

PS-полнота языка верных булевых формул с кванторами (TQBF)
Нет описания правки
18:25
+18
Интерактивные протоколы. Класс IP. Класс AM
Нет описания правки
18:23
+116
Классы NP, coNP, Σ₁, Π₁
Нет описания правки
18:01
-11
Лемма о соотношении coNP и IP
Нет описания правки
16:40
+19
Лемма о соотношении coNP и IP
Нет описания правки
16:16
-35
Шаблон:Определение
Нет описания правки
15:51
-40
Лемма о соотношении coNP и IP
Нет описания правки
15:39
-97
Арифметизация булевых формул с кванторами
Нет описания правки
12:33
+14
Интерактивные протоколы. Класс IP. Класс AM
Нет описания правки
10:34
Интерактивные протоколы. Класс IP. Класс AM
Нет описания правки
м
10:27
Обсуждение:Интерактивные протоколы. Класс IP. Класс AM
Нет описания правки
01:01
+86
Обсуждение:Интерактивные протоколы. Класс IP. Класс AM
Новая страница: «Надо написать, что V хочет установить истину. Надо расставить ссылки (например, на вероят...»
00:52
Интерактивные протоколы. Класс IP. Класс AM
‎Класс IP
00:52
-79
Классы RP и coRP
Нет описания правки
00:23
-349

3 июня 2012

Обсуждение:Сложностные классы. Вычисления с оракулом
‎Я не понял, ЭТО зачтено или нет?
22:12
+754
Обсуждение:Теорема Бейкера — Гилла — Соловэя
‎Мелкие по сравнению с остальным претензии: Новая тема
22:08
+683
Обсуждение:Теорема Бейкера — Гилла — Соловэя
‎Странное ограничение
22:06
+575
Обсуждение:Теорема Карпа — Липтона
‎Новое доказательство — новые вопросы!: Новая тема
21:52
+800
Обсуждение:Классы L, NL, coNL. NL-полнота задачи о достижимости
Нет описания правки
16:21
+141
Теорема Ладнера
Нет описания правки
м
16:13
+1
Теорема Ладнера
Нет описания правки
м
16:13
+52
Теорема Ладнера
Нет описания правки
16:11
+15
Теорема Ладнера
Нет описания правки
16:10
-9
Теорема Ладнера
Нет описания правки
16:07
+5
Теорема Ладнера
Нет описания правки
16:02
+96
Обсуждение:Теорема Ладнера
Нет описания правки
15:27
+17
Теорема Ладнера
Нет описания правки
15:17
+103
Теорема Ладнера
Отмена правки 23418 участника Kirelagin (обсуждение)
15:15
-5
Теорема Ладнера
Нет описания правки
15:09
+5
Обсуждение:Теорема Ладнера
Нет описания правки
15:08
+496
Обсуждение:Классы L, NL, coNL. NL-полнота задачи о достижимости
Нет описания правки
14:54
+429

50 более старых

Источник — «http://neerc.ifmo.ru/wiki/index.php?title=Служебная:Вклад/Kirelagin»

Вклад участника

Kirelagin

16 февраля 2019

Формальные грамматики

12 сентября 2016

Лямбда-исчисление

22 января 2015

Куча Бродала-Окасаки

Куча Бродала-Окасаки

Куча Бродала-Окасаки

Куча Бродала-Окасаки

Куча Бродала-Окасаки

Куча Бродала-Окасаки

Куча Бродала-Окасаки

28 января 2014

Обсуждение:Декартово дерево

Декартово дерево

5 января 2014

Участник:Kirelagin

24 июня 2013

Нормальная подгруппа

Подгруппа

Конечная группа

19 июня 2012

Интеграл Фейера

5 июня 2012

Теорема Левина

Теорема Левина

Теорема Левина

4 июня 2012

PS-полнота языка верных булевых формул с кванторами (TQBF)

Интерактивные протоколы. Класс IP. Класс AM

Классы NP, coNP, Σ₁, Π₁

Лемма о соотношении coNP и IP

Лемма о соотношении coNP и IP

Шаблон:Определение

Лемма о соотношении coNP и IP

Арифметизация булевых формул с кванторами

Интерактивные протоколы. Класс IP. Класс AM

Интерактивные протоколы. Класс IP. Класс AM

Обсуждение:Интерактивные протоколы. Класс IP. Класс AM

Обсуждение:Интерактивные протоколы. Класс IP. Класс AM

Интерактивные протоколы. Класс IP. Класс AM

Классы RP и coRP

3 июня 2012

Обсуждение:Сложностные классы. Вычисления с оракулом

Обсуждение:Теорема Бейкера — Гилла — Соловэя

Обсуждение:Теорема Бейкера — Гилла — Соловэя

Обсуждение:Теорема Карпа — Липтона

Обсуждение:Классы L, NL, coNL. NL-полнота задачи о достижимости

Теорема Ладнера

Теорема Ладнера

Теорема Ладнера

Теорема Ладнера

Теорема Ладнера

Теорема Ладнера

Обсуждение:Теорема Ладнера

Теорема Ладнера

Теорема Ладнера

Теорема Ладнера

Обсуждение:Теорема Ладнера

Обсуждение:Классы L, NL, coNL. NL-полнота задачи о достижимости

Навигация

Поиск