跳至內容

ELEMENTARY

出自Taiwan Tongues 台語維基
於 2025年8月22日 (五) 19:46 由 TaiwanTonguesApiRobot留言 | 貢獻 所做的修訂 (從 JSON 檔案批量匯入)

(差異) ←上個修訂 | 已批准修訂 (差異) | 最新修訂 (差異) | 下個修訂→ (差異)

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