[論文レビュー] Infinite Time Turing Machines: Supertask Computation

Joel David Hamkins|ArXiv.org|Dec 3, 2002

Computability, Logic, AI Algorithms参考文献 6被引用数 7

ひとこと要約

この論文は、無限時間チューリング機械（ITTMs）を導入し、古典的チューリング機械を順序数的無限時間に拡張することで、無限回のステップを含むスーパータスク—無限に多くの計算ステップを含むアルゴリズム—を可能にする計算モデルを提示する。主な貢献は、無限的計算可能性の強固な枠組みを確立し、0とジャンプ $0^{\blacktriangledown}$ の間には中間の実数の次数が存在しないものの、実数の集合に関しては豊かな次数構造が生じることを明らかにした点である。これにより、スーパータスクの文脈においてポストの問題が、古典的フリードバーグ＝ミュンツの優先度論法の正の類似形によって解決された。

ABSTRACT

Infinite time Turing machines extend the operation of ordinary Turing machines into transfinite ordinal time. By doing so, they provide a natural model of infinitary computability, a theoretical setting for the analysis of the power and limitations of supertask algorithms.

研究の動機と目的

• スーパータスク（無限回の計算ステップを含むアルゴリズム）の理論的パワーを捉えることができる無限的計算可能性のモデルを形式化すること。
• 古典的計算可能性理論を順序数的無限時間へと拡張し、無限回の操作を実行できるように機械を可能にすること。
• 無限時間チューリング次数の構造を分析し、0とジャンプ $0^{\blacktriangledown}$ の間に中間の次数が存在するかどうかを特定すること。これは、ポストの問題に類似したものである。
• 古典的優先度論法の技術をスーパータスクの文脈に一般化し、実数の集合に関して豊かな次数構造が存在することを示すこと。

提案手法

• 古典的チューリング機械モデルを、順序数的無限時間で動作するように拡張し、$\omega$、$\omega+1$、$\omega+\omega$ などの極限段階での構成を許容する。
• 各段階における機械の構成を、直前の構成の極限として定義し、ヘッド位置とテープ内容を固定された有限プログラムに従って更新する。
• 2つのジャンプ演算子を導入する：弱いジャンプ $A^{\triangledown}$ は、プログラムが有限時間内に停止するかどうかを決定する。強いジャンプ $A^{\blacktriangledown}$ は、任意の段階（極限段階を含む）で停止するかどうかを決定する。
• 吸収性 $A^{\triangledown\blacktriangledown} \equiv_{\infty} A^{\blacktriangledown}$ を用いて、強いジャンプが弱いジャンプよりも厳密に強力であることを示す。
• フリードバーグ＝ミュンツの方法に類似した優先度論法を構築し、スーパータスク設定下で比較不能な半決定的集合 $A$ と $B$ が存在することを示す。
• 無限時間計算可能性における実数および実数の集合の次数構造を分析し、古典的チューリング次数と比較する。

実験結果

リサーチクエスチョン

• RQ1 実数の無限時間チューリング次数の文脈において、0 とジャンプ $0^{\blacktriangledown}$ の間に中間の半決定的次数が存在するか？
• RQ2 古典的ポストの問題は、実数そのものではなく実数の集合に制限したスーパータスク設定において、正の解を持つのか？
• RQ3 無限時間次数構造は、古典的チューリング次数構造とどの程度類似しているか、あるいはどのように異なるか？
• RQ4 古典的再帰理論における優先度論法技術は、無限時間設定に適応可能であり、中間の次数を構成可能か？
• RQ5 計算的強度の観点から、弱いジャンプ $A^{\triangledown}$ と強いジャンプ $A^{\blacktriangledown}$ の関係は何か？

主な発見

• 実数の無限時間次数構造において、0 と $0^{\blacktriangledown}$ の間に厳密に中間の実数 $z$ は存在せず、実数のための中間次数は存在しない。
• 強いジャンプ $A^{\blacktriangledown}$ が弱いジャンプ $A^{\triangledown}$ を吸収することを、吸収性 $A^{\triangledown\blacktriangledown} \equiv_{\infty} A^{\blacktriangledown}$ によって示し、計算的パワーの著しい上昇を示している。
• 中間の実数次数が存在しないにもかかわらず、$A \perp_{\infty} B$ を満たす比較不能な半決定的集合 $A$ と $B$ が存在し、実数の集合に関しては豊かな次数構造が存在することが示された。
• 実数の集合の無限時間次数構造は、古典的フリードバーグ＝ミュンツの優先度論法のスーパータスク版を支持しており、この文脈においてポストの問題に正の解を与えた。
• ジャンプ定理は無限時間設定でも成り立つ：$A <_{\infty} A^{\triangledown} <_{\infty} A^{\blacktriangledown}$ であり、計算的パワーの厳密な階層が存在することが示された。
• $0^{\triangledown} <_{\infty} 0^{\blacktriangledown}$ であるという結果は、弱い停止問題 $h$ が強い停止問題 $H$ よりも厳密に弱いことを意味し、両者の間には非対称な関係があることが確認された。