ELEMENTARY

From Free net encyclopedia

In computational complexity theory, the complexity class ELEMENTARY is the union of the classes in the exponential hierarchy.

<math> \begin{matrix}
 \rm{ELEMENTARY}  & = & \rm{EXP}\cup\rm{2EXP}\cup\rm{3EXP}\cup\cdots \\
                  & = & \rm{DTIME}(2^{n})\cup\rm{DTIME}(2^{2^{n}})\cup
                        \rm{DTIME}(2^{2^{2^{n}}})\cup\cdots
 \end{matrix}

</math>

The name was coined in the context of recursive functions and undecidability; most problems in it are far from elementary. Some natural recursive problems lie outside ELEMENTARY, and are thus NONELEMENTARY.