Вклад участника
1 июня 2012
Классы L, NL, coNL. NL-полнота задачи о достижимости
NL-полнота
-38
Классы L, NL, coNL. NL-полнота задачи о достижимости
Нет описания правки
+45
31 мая 2012
Теорема Сэвича. Совпадение классов NPS и PS
Определение
-34
Теоремы о временной и ёмкостной иерархиях
Нет описания правки
Класс P
Задача равенства P и NP
-1073
Класс P
Задача равенства P и NP
+9
Класс P
Задача равенства P и NP
+52
Класс P
Примеры задач и языков из P
+9
Класс P
Соотношение классов Reg и P
+36
Класс P
Соотношение классов CFL и P
+45
Класс P
Соотношение классов Reg и P
+27
Класс P
Свойства класса P
+133
Класс P
Определение
+27
Класс P
Примеры задач и языков из P
Класс P
Соотношение классов Reg и P
+1
Теорема о непринадлежности XOR классу AC⁰
Нет описания правки
+57
Классы NC и AC
Нет описания правки
+57
Теорема Карпа — Липтона
Нет описания правки
+57
Схемная сложность и класс P/poly
Нет описания правки
+57
Теоремы о коллапсе полиномиальной иерархии
Нет описания правки
+57
Классы PH, Σ и Π
Нет описания правки
+57
Классы L, NL, coNL. NL-полнота задачи о достижимости
Нет описания правки
+57
PS-полнота языка верных булевых формул с кванторами (TQBF)
Нет описания правки
+57
Теорема Сэвича. Совпадение классов NPS и PS
Нет описания правки
+57
Теорема Махэни
Нет описания правки
+57
Теорема Бермана — Форчуна
Нет описания правки
+142
Теорема Левина
Нет описания правки
+57
Теорема Ладнера
Нет описания правки
+57
Теорема Бейкера — Гилла — Соловэя
Нет описания правки
+57
Примеры NP-полных языков. Теорема Кука
Нет описания правки
+57
Сведение относительно класса функций. Сведение по Карпу. Трудные и полные задачи
Нет описания правки
+57
Класс P
Нет описания правки
+20
Класс P
Нет описания правки
+37
Категория:Теория сложности
Новая страница: «Теория сложности»
Сложностные классы. Вычисления с оракулом
Нет описания правки
+50
Сложностные классы. Вычисления с оракулом
Нет описания правки
+15
Сложностные классы. Вычисления с оракулом
Нет описания правки
-1