檢視 ELEMENTARY 的原始碼

佇咧算複雜度理論內底，複雜度類'''ELEMENTARY'''是所有指數譜系內底的複雜度類聯集：


: $ { \ begin { matrix } \ mathrm { ELEMENTARY } &=& \ mathrm { EXP } \ cup \ mathrm { 二 EXP } \ cup \ mathrm { 三 EXP } \ cup \ cdots \ \ &=& \ mathrm { DTIME } ( 二 ^ { n } ) \ cup \ mathrm { DTIME } ( 二 ^ { 二 ^ { n } } ) \ cup \ mathrm { DTIME } ( 二 ^ { 二 ^ { 二 ^ { n } } } ) \ cup \ cdots \ end { matrix } } $

這名稱上早是為著欲探討可計算函數佮袂當判定的問題，由 László Kalmár 所提出；most problems in it are far from elementary。Some natural recursive problems lie outside ELEMENTARY , and are thus NONELEMENTARY。相當值得注意的，有一寡原始遞歸函數問題無佇咧 ELEMENTARY 內。咱已經知影：

LOWER-ELEMENTARY $ \ subsetneq $ EXPTIME $ \ subsetneq $ ELEMENTARY $ \ subsetneq $ PR

佮 ELEMENTARY 干焦包含有限的冪（比如講，$ O ( 二 ^ { 二 ^ { n } } ) $）比較，PR 使用的超運算閣較一般化（比如講，tetration）， 所以 PR 無包括講 ELEMENTARY。

[[分類: 待校正]]