Экспоненциальная иерархия Экспоненциальная иерархия сложности Экспоненциальная иерархия представляет собой экспоненциальное расширение полиномиальной иерархии. Существует два типа экспоненциальных границ: линейные экспоненциальные […]
RE (сложность) Определение и свойства класса RE Класс RE включает задачи, которые могут быть решены машиной Тьюринга за конечное время.
PR (сложность) Определение PR PR — это класс сложности всех примитивно-рекурсивных функций. Включает в себя сложение, умножение и другие базовые
начальный Определение и классификация элементарных рекурсивных функций Элементарные рекурсивные функции — это объединение классов примитивных рекурсивных функций. Название «элементарные» было
2-ВРЕМЯ ИСТЕЧЕНИЯ Определение класса сложности 2-EXPTIME Класс 2-EXPTIME включает задачи, решаемые детерминированной машиной Тьюринга за время O(22p(n)), где p(n) —
PSPACE-полный Определение PSPACE-полноты Задача считается PSPACE-полной, если она может быть решена с полиномиальным объемом памяти и может быть преобразована в
Четность P Определение класса сложности ⊕P ⊕P — класс задач, решаемых недетерминированными машинами Тьюринга за полиномиальное время с нечетным числом
PH (сложность) Определение и свойства PH PH объединяет все классы сложности в полиномиальной иерархии. Ларри Стокмейер впервые определил PH. PH
FNP (сложность) Определение и свойства FNP FNP — это класс бинарных отношений, расширяющий NP. FNP не включает недетерминизм и соответствует
ТФНП Определение и классификация задач TFNP — это класс задач, которые не могут быть решены за полиномиальное время, но могут
Совместное использование-полное Определение и свойства co-NP-полных задач Задачи в co-NP-полном классе являются самыми сложными в co-NP. Задачи в co-NP могут
NP-твердость Определение NP-сложности NP-сложная задача — это задача, для которой существует полиномиальное сокращение от любой задачи в NP. Если решение
ВВЕРХ (сложность) Определение UP UP — это класс задач, решаемых за полиномиальное время на машине Тьюринга с одним принимающим путем.
ТОЧКА ДОСТУПА Определение класса APX APX — это класс NP задач оптимизации, решаемых с использованием алгоритмов аппроксимации с постоянным коэффициентом.
P-полный Определение P-полноты P-полная задача — это задача, которая может быть решена за полилогарифмическое время на P-машине. P-полнота является свойством,
CC (сложность) Определение и функции схем сравнения CC — это класс задач, решаемых с помощью схем сравнения, которые могут быть
SC (сложность) Определение класса SC SC — это класс задач, решаемых детерминированной машиной Тьюринга за полиномиальное время и полилогарифмическое пространство.
NL-полный Определение и свойства NL-complete NL-complete — класс сложности, включающий задачи, решаемые недетерминированной машиной Тьюринга с логарифмической памятью. Задачи в
FL (сложность) Определение класса сложности FL FL — это набор задач, решаемых детерминированной машиной Тьюринга в логарифмическом объеме памяти. Машина
SL (сложность) Определение и сложность задачи USTCON USTCON — это задача определения, находятся ли две вершины в разных компонентах связности
ТС0 Определение класса TC0 TC0 — это класс сложности схем, который включает логические схемы с постоянной глубиной и полиномиальным размером.
