グジェゴルチク階層とは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > 百科事典 > グジェゴルチク階層の意味・解説 

グジェゴルチク階層

(Grzegorczyk hierarchy から転送)

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/08/30 08:09 UTC 版)

グジェゴルチク階層(ぐじぇごるちくかいそう、: Grzegorczyk hierarchy、発音:[ɡʐɛˈɡɔrt͡ʂɨk])は計算可能性理論に基づく関数の階層である。(Wagner and Wechsung 1986:43)。名称はポーランドの論理学者アンジェイ・グジェゴルチク英語版に因む。グジェゴルチク階層に属す任意の関数は原始帰納的関数であり、逆に任意の原始帰納的関数はこの階層のあるレベルに現れる。この階層は関数値の増大の度合いを扱う。直観的にいえば、低い階層の関数はより高い階層の関数よりも緩やかに増加する。

定義

まず自然数 i で添字付けられた関数族 Ei を導入する。まず次のように定義する:

(ただし n > 1)

これらの関数からグジェゴルチク階層を定義する。n番目の階層であり、次の関数からなる:

  1. Ek (ただし k < n
  2. ゼロ関数 (Z(x) = 0);
  3. 後者関数 (S(x) = x + 1);
  4. 射影関数 ();
  5. (一般)合成関数 (もし h, g1, g2, ... と gm に属すならば も同様)[note 1]; および
  6. 限定(原始)再帰 (もし g, hj に属し , , ならば、 f もまた に属す)[note 1]

換言すれば を含み関数合成と限定原始再帰で閉じた最小の集合(閉包)である。

性質

これらの集合は明らかに階層を成す。

実際これらは の閉包であって となっているからである。

これらは強い意味での包含関係が成り立つ(Rose 1984; Gakwaya 1997)。換言すれば

というのも、ハイパー演算子 に属すが には属さないからである。

  • は次を含む: x+1, x+2, ...
  • は全ての加法関数を備える: x+y, 4x, ...
  • は全ての乗法関数を備える: xy, x4, ...
  • は全ての指数関数を備える: xy, 222x さらにこの階層は初等帰納的関数のクラスや反復指数時間で計算可能な関数のクラスなどと一致する
  • は全てのテトレーション関数を備える。

原始帰納的関数との関係

の定義は再帰が限定 (ある j に対して )されていることと、 が明示的に導入されることを除けば 原始帰納的関数のクラス PR の定義に似ている。グジェゴルチク階層は原始再帰の強さを制限しているものと見ることができる。

この事実からグジェゴルチク階層に属す全ての関数は原始帰納的関数であること(すなわち )が示される。したがって

さらに全ての原始帰納的関数が何れかの階層に属すことも示される(Rose 1984; Gakwaya 1997)。つまり

また は原始帰納的関数のクラス PR分割となっている。さらに各々の領域は潰れていない。

拡張

グジェゴルチク階層は超限順序数に一般化できる。そのような拡張として急成長階層が定義される。それには、極限順序数に対する生成関数 を帰納的に定義しなければならない(後続型順序数に対しては とすればよい。) もし極限順序数 基本列 を作る一般的な方法があれば、 生成関数は と定義できる。ところがこの定義は基本列を作る方法に依存する。Rose(1984)は任意の順序数 α < ε0 に対する基本列の一般的な構成法を提案した。

独自の拡張としては Martin Löb と Stan S. Wainer(1970)による Löb–Wainer 階層がある。

関連項目

注釈

  1. ^ a b Note: ここで f への入力のタプルを表す。記法 f は何らかの任意なアリティを持つ関数であって、 のとき を意味する。記法 のなかの最初の引数 t は特定の明示的な引数、タプル はその余りであり、 のとき を意味する。この記法は関数合成や限定原始再帰で任意のアリティの関数を定義できることを許す。

参考文献




英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「グジェゴルチク階層」の関連用語

グジェゴルチク階層のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



グジェゴルチク階層のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
All text is available under the terms of the GNU Free Documentation License.
この記事は、ウィキペディアのグジェゴルチク階層 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。

©2025 GRAS Group, Inc.RSS