EXPSPACE

От / / Оставьте комментарий

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

Complexity classes, Классы сложности

ПРОСТРАНСТВО ЭКСПРЕССИИ

  • Определение EXPSPACE

    • EXPSPACE включает задачи принятия решений, решаемые детерминированной машиной Тьюринга за экспоненциальное время. 
    • Полиномиальная функция p(n) определяет пространство решения задачи. 

  • Связь с другими классами сложности

    • EXPSPACE строго надмножественно включает PSPACE, NP, и P. 
    • Предполагается, что EXPSPACE строго надмножественно и для EXPTIME, но это не доказано. 

  • Примеры задач EXPSPACE

    • Задача распознавания языков регулярных выражений с определенными операторами является примером EXPSPACE-полной задачи. 
    • Проблема валидности временной логики Алура и Хенцингера также является EXPSPACE-полной. 
    • Проблема покрываемости для сетей Петри сложна для EXPSPACE. 

  • Связь с другими классами сложности

    Полный текст статьи:

    EXPSPACE — Википедия

    Похожие статьи:

    1. Творческий отпуск Субботний Теории конфликта Различные теории, включая марксизм, анархизм и либерализм, исследуют причины и последствия конфликтов.  Достойная...
    2. РеДоС Повторы Отказ в обслуживании с помощью регулярных выражений (ReDoS) ReDoS — это атака, которая использует регулярные...
    3. ВРЕМЯ ЭКСПЛУАТАЦИИ ВРЕМЯ ОЖИДАНИЯ Определение и иерархия сложности EXPTIME — класс задач, решаемых детерминированной машиной Тьюринга за экспоненциальное...
    4. PSPACE ПРОСТРАНСТВО Определение PSPACE PSPACE — это класс задач, решаемых машиной Тьюринга за полиномиальное время с использованием...
    5. Список нерешенных задач физики Список нерешенных задач по физике Проблемы современной физики Проблема темной материи: не удается объяснить ее влияние...
    6. КМА QMA (контроль качества) Определение и сложность QMA QMA — это класс задач, которые могут быть решены...
    7. Класс сложности Класс сложности Класс сложности — набор вычислительных задач, связанных по сложности с использованием ресурсов (время и...
    8. Искривленное пространство Искривленное пространство Основы искривленного пространства Искривленное пространство — это пространство с кривизной, отличной от нуля.  Пространство...
    9. Описательная теория сложности Описательная теория сложности Основы логики первого порядка Логика первого порядка (FO) — это формальная система, которая...
    10. НСПАСЕ ПРОСТРАНСТВО N Определение NSPACE NSPACE — это недетерминированное пространство, аналог DSPACE.  Используется для определения классов сложности,...
    11. Полиномиальное сокращение времени Сокращение полиномиального времени Основы сокращения за полиномиальное время Сокращение за полиномиальное время позволяет решать одну задачу...
    12. Сложность языка Сложность языка Сложность языка в лингвистике Сложность языка включает фонологическую, морфологическую, синтаксическую и семантическую сложность.  Сложность...
    13. Предположение о вычислительной сложности Предположение о расчетной твердости Основы теории сложности вычислений Теория сложности вычислений изучает вычислительные задачи и их...
    14. Теория структурной сложности Теория структурной сложности Основы теории структурной сложности Теория структурной сложности изучает классы сложности, а не вычислительную...
    15. Сильная NP-полнота Сильная NP-полнота Определение сильной NP-полноты Сильная NP-полнота является частным случаем NP-полноты, который остается NP-полным при ограничении...

    Оставьте комментарий

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