Complexity classes

ВРЕМЯ ОЖИДАНИЯ Определение и иерархия сложности EXPTIME EXPTIME — класс задач, решаемых детерминированной машиной Тьюринга за экспоненциальное время.  Включает в

ПРОСТРАНСТВО Определение и свойства PSPACE PSPACE — это класс задач, решаемых машиной Тьюринга с полиномиальным объемом пространства.  Если машина Тьюринга

Экспоненциальная иерархия Экспоненциальная иерархия сложности Экспоненциальная иерархия представляет собой экспоненциальное расширение полиномиальной иерархии.  Существует два типа экспоненциальных границ: линейные экспоненциальные

PR (сложность) Определение PR PR — это класс сложности всех примитивно-рекурсивных функций.  Включает в себя сложение, умножение и другие базовые

2-ВРЕМЯ ИСТЕЧЕНИЯ Определение класса сложности 2-EXPTIME Класс 2-EXPTIME включает задачи, решаемые детерминированной машиной Тьюринга за время O(22p(n)), где p(n) —

PSPACE-полный Определение PSPACE-полноты Задача считается PSPACE-полной, если она может быть решена с полиномиальным объемом памяти и может быть преобразована в

Четность P Определение класса сложности ⊕P ⊕P — класс задач, решаемых недетерминированными машинами Тьюринга за полиномиальное время с нечетным числом

Совместное использование-полное Определение и свойства co-NP-полных задач Задачи в co-NP-полном классе являются самыми сложными в co-NP.  Задачи в co-NP могут

ВВЕРХ (сложность) Определение UP UP — это класс задач, решаемых за полиномиальное время на машине Тьюринга с одним принимающим путем. 

P-полный Определение P-полноты P-полная задача — это задача, которая может быть решена за полилогарифмическое время на P-машине.  P-полнота является свойством,

NL-полный Определение и свойства NL-complete NL-complete — класс сложности, включающий задачи, решаемые недетерминированной машиной Тьюринга с логарифмической памятью.  Задачи в