WikiDer > Экспоненциальная иерархия

В теория сложности вычислений, то экспоненциальная иерархия это иерархия классы сложности, что является экспоненциальное время аналог полиномиальная иерархия. Как и везде в теории сложности, «экспонента» используется в двух разных значениях (линейные экспоненциальные границы ${ displaystyle 2 ^ {cn}}$ для постоянного c, и полные экспоненциальные оценки ${ Displaystyle 2 ^ {п ^ {c}}}$), что приводит к двум версиям экспоненциальной иерархии.^[1][2]

EH

EH - объединение классов ${ displaystyle Sigma _ {k} ^ { mathsf {E}}}$ для всех k, где ${ Displaystyle Sigma _ {k} ^ { mathsf {E}} = { mathsf {NE}} ^ { Sigma _ {k-1} ^ { mathsf {P}}}}$ (т.е. языки, вычислимые в недетерминированный время ${ displaystyle 2 ^ {cn}}$ для некоторой постоянной c с ${ Displaystyle Sigma _ {к-1} ^ { mathsf {P}}}$ оракул). Один также определяет

${ displaystyle Pi _ {k} ^ { mathsf {E}} = { mathsf {coNE}} ^ { Sigma _ {k-1} ^ { mathsf {P}}}, Delta _ {k } ^ { mathsf {E}} = { mathsf {E}} ^ { Sigma _ {k-1} ^ { mathsf {P}}}.}.}$

Эквивалентное определение: язык L в ${ displaystyle Sigma _ {k} ^ { mathsf {E}}}$ тогда и только тогда, когда это можно записать в виде

${ Displaystyle х в L iff существует y_ {1} forall y_ {2} dots Qy_ {k} R (x, y_ {1}, ldots, y_ {k}),}$

где ${ Displaystyle R (х, y_ {1}, ldots, y_ {n})}$ вычислимый во времени предикат ${ Displaystyle 2 ^ {с | х |}}$ (что неявно ограничивает длину y_я). Точно так же EH - это класс языков, вычислимых на переменная машина Тьюринга во время ${ displaystyle 2 ^ {cn}}$ для некоторых c с постоянно множеством чередований.

EXPH

EXPH - это объединение классов ${ displaystyle Sigma _ {k} ^ { mathsf {EXP}}}$, где ${ Displaystyle Sigma _ {k} ^ { mathsf {EXP}} = { mathsf {NEXP}} ^ { Sigma _ {k-1} ^ { mathsf {P}}}}$ (языки, вычислимые за недетерминированное время ${ Displaystyle 2 ^ {п ^ {с}}}$ для некоторой постоянной c с ${ Displaystyle Sigma _ {к-1} ^ { mathsf {P}}}$ оракул), и снова:

${ displaystyle Pi _ {k} ^ { mathsf {EXP}} = { mathsf {coNEXP}} ^ { Sigma _ {k-1} ^ { mathsf {P}}}, Delta _ {k } ^ { mathsf {EXP}} = { mathsf {EXP}} ^ { Sigma _ {k-1} ^ { mathsf {P}}}.}$

Язык L в ${ displaystyle Sigma _ {k} ^ { mathsf {EXP}}}$ тогда и только тогда, когда это можно записать как

${ Displaystyle х в L iff существует y_ {1} forall y_ {2} dots Qy_ {k} R (x, y_ {1}, ldots, y_ {k}),}$

где ${ Displaystyle R (х, y_ {1}, ldots, y_ {k})}$ вычислимо во времени ${ Displaystyle 2 ^ {| х | ^ {c}}}$ для некоторых c, что снова неявно ограничивает длину y_я. Эквивалентно EXPH - это класс языков, вычислимых во времени. ${ Displaystyle 2 ^ {п ^ {с}}}$ на переменной машине Тьюринга с постоянно множеством чередований.

Сравнение

E ⊆ NE ⊆ EH ⊆ ESPACE,

EXP ⊆ NEXP ⊆ EXPH ⊆ EXPSPACE,

EH ⊆ EXPH.

использованная литература

внешние ссылки

Зоопарк сложности: Класс EH