Класс EXPTIME

Иерархия классов сложности.

Класс сложности EXPTIME (иногда называемый просто EXP) — это множество задач, в теории сложности вычислений, решаемых с помощью детерминированной машины Тьюринга за время O(2p(n)), где p(n) это полиномиальная функция от n.

Свойства

Известно, что

P {\displaystyle \subseteq } NP {\displaystyle \subseteq } PSPACE {\displaystyle \subseteq } EXPTIME {\displaystyle \subseteq } NEXPTIME {\displaystyle \subseteq } EXPSPACE

Также, по теоремам en:time hierarchy theorem и en:space hierarchy theorem

P {\displaystyle \subsetneq } EXPTIME  ;    NP {\displaystyle \subsetneq } NEXPTIME  ;    PSPACE {\displaystyle \subsetneq } EXPSPACE

См. также

Литература

  • Джон Хопкрофт, Раджив Мотвани, Джеффри Ульман. Введение в теорию автоматов, языков и вычислений = Introduction to Automata Theory, Languages, and Computation. — М.: «Вильямс», 2002. — 528 с. — ISBN 0-201-44124-1.
Перейти к шаблону «Классы сложности»
Считаются лёгкими
  • DLOGTIME[англ.]
  • AC0[англ.]
  • ACC0[англ.]
  • TC0[англ.]
  • L
  • SL[англ.]
  • RL[англ.]
  • NL
  • NC
  • SC[англ.]
  • CC[англ.]
  • P
    • P-complete[англ.]
  • ZPP
  • RP
  • BPP
  • BQP
  • EQP
  • APX
Предполагаются сложными
Считаются сложными
  • EXPTIME
  • NEXPTIME[англ.]
  • EXPSPACE[англ.]
  • 2-EXPTIME[англ.]
  • ELEMENTARY[англ.]
  • R
  • PR[англ.]
  • RE[англ.]
    • RE-complete[англ.]
  • Co-RE[англ.]
    • Co-RE-complete[англ.]
  • ALL[англ.]