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

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

Kirelagin

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
Схемная сложность и класс P/poly
Нет описания правки
13:58
+11
Теоремы о коллапсе полиномиальной иерархии
Нет описания правки
13:49
Классы PH, Σ и Π
Нет описания правки
13:37
+313
Классы L, NL, coNL. NL-полнота задачи о достижимости
Нет описания правки
13:19
-168
Обсуждение:Классы L, NL, coNL. NL-полнота задачи о достижимости
Нет описания правки
13:18
+1186
Обсуждение:Классы L, NL, coNL. NL-полнота задачи о достижимости
Нет описания правки
13:15
+87
Обсуждение:Классы L, NL, coNL. NL-полнота задачи о достижимости
Новая страница: «Определеньки надо бы вынести из теорем. Я, видимо, туплю, но я не понимаю, как <tex>\mathrm{\overline...»
13:15
Обсуждение:Сложностные классы. Вычисления с оракулом
‎Я не понял, ЭТО зачтено или нет?
12:46
+271
Обсуждение:PS-полнота языка верных булевых формул с кванторами (TQBF)
Нет описания правки
12:37
+304
Обсуждение:Теорема Сэвича. Совпадение классов NPS и PS
Нет описания правки
12:12
+380
Обсуждение:Теорема Сэвича. Совпадение классов NPS и PS
‎И вот ещё немного: Новая тема
11:59
+493
Теорема Сэвича. Совпадение классов NPS и PS
Нет описания правки
11:58
+43
Теорема Махэни
Да хватит уже удовлетворять формулы!
11:52
-2
Теорема Махэни
\bigm|
11:36
+6
Теорема Махэни
Нет описания правки
11:20
+54
Теорема Бермана — Форчуна
Нет описания правки
11:14
+101
Теорема Бермана — Форчуна
Нет описания правки
11:06
+79
Теорема Махэни
Нет описания правки
01:04
+198
Теорема Махэни
Нет описания правки
00:58
+11

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

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

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

Kirelagin

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-полнота задачи о достижимости

Схемная сложность и класс P/poly

Теоремы о коллапсе полиномиальной иерархии

Классы PH, Σ и Π

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

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

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

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

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

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

Обсуждение:Теорема Сэвича. Совпадение классов NPS и PS

Обсуждение:Теорема Сэвича. Совпадение классов NPS и PS

Теорема Сэвича. Совпадение классов NPS и PS

Теорема Махэни

Теорема Махэни

Теорема Махэни

Теорема Бермана — Форчуна

Теорема Бермана — Форчуна

Теорема Махэни

Теорема Махэни

Навигация

Поиск