跳至內容

ELEMENTARY

出自Taiwan Tongues 台語維基
這是此頁批准,以及是最近的修訂。

佇咧算複雜度理論內底,複雜度類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。