Классы сложности

Вики

SL (сложность)

/

SL (сложность) Определение и сложность задачи USTCON USTCON – это задача определения, находятся ли две вершины в разных компонентах связности […]

Вики

TC0

/

ТС0 Определение класса TC0 TC0 – это класс сложности схем, который включает логические схемы с постоянной глубиной и полиномиальным размером. 

Вики

АСС0

/

ACC0 Определение ACC0 ACC0 – это класс вычислительных моделей, который включает в себя AC0 и отличается возможностью подсчета.  ACC0 моделирует

Вики

AC0

/

AC0 (Переменный ток) Определение класса AC0 AC0 – это класс схем сложности, который включает схемы с глубиной O(1) и полиномиальным

Вики

ДЛОГТАЙМ

/

ДЛИТЕЛЬНОЕ ВРЕМЯ Определение класса сложности DLOGTIME DLOGTIME включает задачи, решаемые за логарифмическое время на детерминированной машине Тьюринга.  Машина Тьюринга с

Вики

со-НП

/

Со-НП Определение co-NP co-NP – это класс задач, для которых существует алгоритм проверки сертификата за полиномиальное время.  Задача X является

Вики

NP-твердость

/

NP-твердость Определение NP-сложности NP-сложная задача – это задача, для которой существует полиномиальное сокращение от любой задачи в NP.  Если решение

Вики

♯П

/

♯П Определение класса сложности #P #P – это набор задач подсчета, связанных с задачами решения в NP.  Задачи в #P

Вики

NC (сложность)

/

ЧПУ (сложность) Определение и иерархия классов сложности NC – класс функций, которые могут быть вычислены с помощью схем из вентилей

Вики

АС (сложность)

/

Переменный ток (сложность) Сложность схем переменного тока Переменный ток представляет собой иерархию классов сложности, каждый из которых распознается логическими схемами

Вики

ВРЕМЯ ЭКСПЛУАТАЦИИ

/

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

Вики

СЛЕДУЮЩИЙ ВРЕМЯ

/

СЛЕДУЮЩИЙ РАЗ Определение NEXPTIME NEXPTIME – это класс задач, которые могут быть решены за полиномиальное время на детерминированных машинах с

Вики

L (сложность)

/

L (сложность) Определение и характеристики класса L L – класс задач, решаемых детерминированной машиной Тьюринга с логарифмической памятью.  Машина Тьюринга

Вики

ДСПЕЙС

/

DПРОСТРАНСТВО Определение DSPACE DSPACE – это вычислительный ресурс, описывающий объем памяти для детерминированной машины Тьюринга.  Он измеряет общий объем памяти,

Вики

EXPSPACE

/

ПРОСТРАНСТВО ЭКСПРЕССИИ Определение EXPSPACE EXPSPACE включает задачи принятия решений, решаемые детерминированной машиной Тьюринга за экспоненциальное время.  Полиномиальная функция p(n) определяет

Вики

PSPACE

/

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

Вики

НЛ (сложность)

/

NL (сложность) Определение и свойства NL NL – класс задач решения, решаемых недетерминированной машиной Тьюринга с логарифмическим объемом памяти.  NL

Вики

НСПАСЕ

/

ПРОСТРАНСТВО N Определение NSPACE NSPACE – это недетерминированное пространство, аналог DSPACE.  Используется для определения классов сложности, решаемых недетерминированными машинами Тьюринга. 

Вики

ФП (сложность)

/

FP (сложность) Определение класса сложности FP FP – это набор задач, решаемых детерминированной машиной Тьюринга за полиномиальное время.  FP является

Вики

ДТАЙМ

/

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

Вики

НТАЙМ

/

N РАЗ Определение класса NTIME NTIME(f(n)) – класс задач, решаемых недетерминированной машиной Тьюринга за время O(f(n)).  f(n) – функция, определяющая