Exponential Hierarchy Article Index for
Exponential
Website Links For
Hierarchy
 

Information About

Exponential Hierarchy




: m{EXP} = \bigcup_{k\in\mathbb{N}} \mbox{DTIME}(2^{n^k})

and continuing with

: m{2EXP} = \bigcup_{k\in\mathbb{N}} \mbox{DTIME}(2^{2^{n^k}})
: m{3EXP} = \bigcup_{k\in\mathbb{N}} \mbox{DTIME}(2^{2^{2^{n^k}}})

and so on.

We have P ⊂ EXP ⊂ 2EXP ⊂ 3EXP ⊂ …. Unlike the analogous case for the Polynomial Hierarchy , the Time Hierarchy Theorem guarantees that these inclusions are proper; that is, there are languages in EXP but not in P, in 2EXP but not in EXP and so on.

The union of all the classes in the exponential hierararchy is the class ELEMENTARY .