相対計算可能性とチューリング次数とは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > ウィキペディア小見出し辞書 > 相対計算可能性とチューリング次数の意味・解説 

相対計算可能性とチューリング次数

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/06/24 05:44 UTC 版)

再帰理論」の記事における「相対計算可能性とチューリング次数」の解説

詳細は「チューリング還元」および「チューリング次数」を参照 数理論理学における再帰理論は、伝統的に相対計算可能性relative computability)に注目してきた。これは、チューリング1939年神託機械使って定義したチューリング計算可能性一般化したのである神託機械は、普通のチューリングマシンオラクルへの質問機能加えた仮説的な機械である。オラクル自然数特別な集合であり、「n はオラクル集合中にあるか?」という形式問いにだけ答えることができる。その回答は、たとえそのオラクル集合計算不可であっても即座に行われる。従って、計算不可能なオラクル持った神託機械は、オラクルなしでは計算不可能な集合計算することができる。 非形式的に言えば自然数集合 A が集合 B にチューリング還元可能であるとは、B をオラクル集合として持つ神託機械用いれば、ある数が A に属すかどうか正しく示せることを意味する(この例では、集合 A は B から(相対的に計算可能、 B について再帰的とも称する)。集合 A が集合 B にチューリング還元可能であり、かつ、B が A にチューリング還元可能であるとき、これらの集合は同じチューリング次数(「決定不能性の次数」とも)を持つと言う。ある集合チューリング次数は、その集合計算不能な度合い正確な尺度となる。 計算不能な集合の自然な例として、さまざまな形停止問題符号化して得られる互いに異な集合たちがあるが、それらには次のような共通点がある。 それらは帰納的可算集合である。 多対一還元によって互いに変換可能である。すなわち、集合 A と B について、A = {x : f(x) ∈ B} となる計算可能関数 f が存在する。これらの集合を多対一同値(またはm-同値)であるという。 多対一還元チューリング還元より強い。計算不能集合の自然な例は全て多対一同値だが、A を B にチューリング還元可能だ多対一還元不可能な帰納的可算集合 A と B を構築するともできるすべての帰納的可算集合停止問題多対一還元可能であることが判っているので、多対一還元チューリング還元観点で、停止問題は最も複雑な帰納的可算集合である。1944年ポストは、すべての帰納的可算集合計算可能かあるい停止問題チューリング同値かのいずれかだろうか、という疑問投げかけた。つまり、チューリング次数がこの2つの間になるような帰納的可算集合存在するか、という問いである。 その問題考え過程で、ポスト帰納的可算集合分類として単純集合/超単純集合/超々単純集合といった自然な型を定義したポストはこれらの集合が、多対一還元観点から見たとき、計算可能集合停止問題厳密に中間位置することを示したポストまた、チューリング還元よりも強い意味の還元真理値表還元)を用いた場合においても、それらの一部厳密に中間位置することを示した。しかし、結局ポスト中間のチューリング次数を持つ帰納的可算集合存在するかという主問題未解決のまま残し、これはポスト問題(en)と呼ばれるようになった10年後の1954年クリーネポスト計算可能集合停止問題の間のチューリング次数存在することは示せたが、そのチューリング次数属す帰納的可算集合存在するかは示せなかった。その直後Friedberg と Muchnik がそれぞれ独立中間次数帰納的可算集合存在することを示しポスト問題解決した。この画期的な成果により、帰納的可算集合チューリング次数に関する広範な研究始まり、非常に複雑かつ自明でない構造存在明らかになった。 帰納的可算でない集合は非可算存在しており、一般集合チューリング次数に関する研究も、帰納的可算チューリング次数に関する研究同様に再帰理論における主要な研究対象である。様々な特定の次数構成されている。 hyperimmune-free degrees:この次数から相対的に計算可能な関数は(非相対化された)計算可能関数によって majorize される high degrees:この次数からは(全ての計算可能関数 g を支配するような)関数 f が相対的に計算可能。ここでいう支配とは、g に依存する定数 c が存在し全ての x > c についてg(x) < f(x)成り立つことを指す random degreesアルゴリズム的ランダムな無限列該当 1-generic degrees:1-generic集合次数 極限再帰英語版集合停止問題より下の次数 任意のチューリング次数帰納的可算とは限らない)の研究では、チューリングジャンプ研究関係してくる。ある集合 A のチューリングジャンプとは、オラクル集合 A を持つ神託機械停止問題符号化した自然数集合である。任意の集合チューリングジャンプは、元の集合よりチューリング次数が常に高くFriedberg定理によって、停止問題計算する任意の集合別の集合チューリングジャンプとなることが示されている。ポストの定理は、チューリングジャンプ算術的階層算術における定義可能性基づいて自然数の部分集合分類したもの)との密接な関係を示している。 チューリング次数に関する近年の研究は、チューリング次数集合全体構造と、帰納的可算集合チューリング次数集合注目してきた。Shore と Slaman (1999)の深い定理によれば次数 x をそのチューリングジャンプ次数変換するような関数は、チューリング次数のなす半順序の中で定義できる。Ambos-Spies and Fejer (2006) にそのような研究の歴史概観されている。

※この「相対計算可能性とチューリング次数」の解説は、「再帰理論」の解説の一部です。
「相対計算可能性とチューリング次数」を含む「再帰理論」の記事については、「再帰理論」の概要を参照ください。

ウィキペディア小見出し辞書の「相対計算可能性とチューリング次数」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ



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

辞書ショートカット

すべての辞書の索引

「相対計算可能性とチューリング次数」の関連用語

相対計算可能性とチューリング次数のお隣キーワード
検索ランキング

   

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



相対計算可能性とチューリング次数のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
Text is available under GNU Free Documentation License (GFDL).
Weblio辞書に掲載されている「ウィキペディア小見出し辞書」の記事は、Wikipediaの再帰理論 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。

©2025 GRAS Group, Inc.RSS