Complexity classes

Вики

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

FL (сложность) Определение класса сложности FL FL — это набор задач, решаемых детерминированной машиной Тьюринга в логарифмическом объеме памяти.  Машина […]

Вики

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 — это время, необходимое для решения задачи детерминированной машиной Тьюринга.  Используется для классификации задач по

Прокрутить вверх