ELEMENTARY

計算複雑性理論において ELEMENTARY とはの和集合で表される複雑性クラスである。
クラス ELEMENTARY に属す関数は初等帰納的（しょとうきのうてき、）あるいは単に初等的と呼ばれる。この名称はによる造語である。
帰納的関数や決定不能性の文脈で扱われる多くの問題は ELEMENTARY よりも高いレベルにある。いくつかの帰納的問題は ELEMENTARY を超える。すなわち NONELEMENTARY となる。とくに注目されるのは、原始帰納的問題で ELEMENTARY に属さないものが存在することである。次が知られている。
ELEMENTARY は指数関数の定数回の入れ子（例えば formula_6）を含むが、PRは指数関数の一般化であるハイパー演算子で ELEMENTARY に属さないもの（例えばテトレーション）を含む。
定義と例.
初等帰納的関数の定義は原始帰納を限定和と限定積に置き換わっている点を除けば原始帰納的関数と同様に定義される。（通常、減算は原始帰納的関数の基本関数に含めないが、原始帰納的である。）全ての関数は自然数に対して作用するものとする。基本関数は次のものからなる：
これらの基本関数に次の基本構成を繰り返して得られる関数が初等帰納的関数である：
初等的関数の例としては次のものがある：
性質.
初等的関数は限定原始再帰で閉じている。すなわち "g", "h" と "j" が初等的であり
ならば、 "f" もまた初等的である。
初等的関数は次の何れかの関数で支配される。すなわち任意の初等的関数は次に挙げる関数の何れかより小さい：
このリストを枚挙する原始帰納的関数 formula_22 は初等的でない：対角線論法による。formula_23 が初等的と仮定する。すると formula_24 もまた初等的であるから、ある "c" に対して formula_25 が成り立つ。ところがここで formula_26 とすると不合理を得る。同様の増大度を持つテトレーションもまた初等的でない原始帰納的関数である。
クラス ELEMENTARY はレベル3のグジェゴルチク階層、深さ2のループプログラムで計算可能な関数のクラス、時間計算量が指数関数の定数回の反復で抑えられる関数のクラスなどと一致する。
低初等帰納的関数.
限定積を用いずに定義できる初等的関数は低初等帰納的（）という。すなわち、低初等帰納的関数はゼロ関数, 後者関数, 射影関数, 減算関数から始めて関数合成と限定和を取る操作を有限回繰り返して得られる関数をいう。低初等的関数のクラスを LOWER-ELEMENTARY と書く。スコーレムの初等関数としても知られる。
初等的関数が潜在的に指数的な増大度を持つが、他方で低初等的関数は多項式の増大度を持つ。すなわち低初等的関数は多項式関数で支配される。したがって指数関数は初等的だが低初等的でない。
これは初等関数における同様の結果のアナロジーとして、低初等的関数もまた幾つかの単純な関数の合成によって記述できる。すなわち、多項式で抑えられる関数が低初等的であるのは、それが次の関数の合成で表せるとき、かつそのときに限る：射影, formula_27, formula_28, formula_29, formula_30, formula_31, 指数関数　(formula_32 または formula_33) 。ただし二つ以上の指数関数の底を含まないものとする。例えば formula_34 は底を1つ含み、formula_35 は2つ含み、formula_36 は3つ含む。ここで formula_30 はビットごとのANDを表す。
ELEMENTARY の基底.
初等的関数のクラスは次の何れかの集合と射影の合成に関する閉包と一致する： formula_38, formula_39, formula_40 ここで formula_41は上で定義した減算関数である。 したがって例えば素数列はこれらの関数と自由代入とを用いた表示を持つことになる。
記述的特徴付け.
記述計算量の観点から見ると ELEMENTARY は で表されるクラスに一致する。 これの意味することは複雑性クラス ELEMENTARY に属す任意の言語は高階の論理式によって定義可能ということである。もっと正確にいえば formula_42 が成り立つ。ここで formula_43 は formula_44 個の指数のタワーを表す。また formula_45 は formula_44 階の存在量化から始まり formula_47 階の論理式が続く形の論理式で表される問い合わせと一致する。