[論文レビュー] A Computational Complexity-Theoretic Elaboration of Weak Truth-Table Reducibility

Kohtaro Tadaki|arXiv (Cornell University)|Jul 19, 2011

Computability, Logic, AI Algorithms参考文献 23被引用数 3

ひとこと要約

本稿は、関数 f を用いて照会サイズを明示的に制限することで、弱真理表還元の計算複雑性理論的精緻化を導入し、計算可能性理論内での漸近的解析を可能にする。この研究は、重要な段階的転移を明らかにする：すべての計算可能 T ∈ (0,1] に対して Z(T) と domU は弱真理表同等であるが、T < 1 の場合に限って domU は照会サイズ O(n/T) で Z(T) に還元可能であり、Ample Excess Lemma の失敗により T=1 で根本的な非対称性が生じることを示す。

ABSTRACT

The notion of weak truth-table reducibility plays an important role in recursion theory. In this paper, we introduce an elaboration of this notion, where a computable bound on the use function is explicitly specified. This elaboration enables us to deal with the notion of asymptotic behavior in a manner like in computational complexity theory, while staying in computability theory. We apply the elaboration to sets which appear in the statistical mechanical interpretation of algorithmic information theory. We demonstrate the power of the elaboration by revealing a critical phenomenon, i.e., a phase transition, in the statistical mechanical interpretation, which cannot be captured by the original notion of weak truth-table reducibility.

研究の動機と目的

• 計算可能関数 f を用いて照会サイズを明示的に制限することで、弱真理表還元を拡張し、計算可能性理論内での複雑性理論的解析を可能にする。
• アルゴリズム情報理論における停止集合 domU と一般化された Chaitin の Ω 数 Z(T) 間の計算的関係を調査する。
• 標準的な弱真理表還元では見えないが、T=1 と T<1 の間で還元行動に顕著な段階的転移が生じることを同定する。
• Ample Excess Lemma が Z(1) から domU への単方向還元をサポートしない理由を明確にする。これは T<1 の場合とは異なり、その理由は弱 Chaitin T-確率的ランダム性条件の破綻に起因する。

提案手法

• A ⊆ {0,1}* に対するオракルチューリングマシンが、入力 x に対して常に長さ ≤ f(|x|) の文字列のみを照会するような「照会サイズ f における還元性」を導入する。
• 統計的力学的解釈を用いて、アルゴリズム情報理論の枠組みを適用し、分配関数 Z(T) = ∑_{p∈domU} 2^(-|p|/T) に注目する。
• プログラムサイズ複雑性 H(α↾n) を用いて Z(T) の部分的ランダム性を分析し、計算可能 T ∈ (0,1] に対して H(Z(T)↾n) ≤ Tn + O(1) が成り立つことを示す。
• T=1 の場合に「Ample Excess Lemma」を、T<1 の場合に「Lemma 5.3(i)」を用いて、Z(T) から domU を回復するのに必要な照会数の上限を確立する。
• 照問サイズ ⌈n/T⌉ + O(1) を用いて domF から Pf(Z_V(T)) への還元を構築し、T<1 の場合に双方向還元が成立することを証明する。
• T=1 の場合、Z(1) から domU への O(n/T)-照問サイズ還元が存在しないことが示され、これは弱 Chaitin T-ランダム性条件の失敗に起因する。

実験結果

リサーチクエスチョン

• RQ1 標準的な弱真理表還元は、T=1 と T<1 の場合における Z(T) と domU の計算的挙動の違いを区別できるか？
• RQ2 照問サイズを制限する還元性フレームワークは、古典的弱真理表還元では見えない、Z(T) と domU 間の還元性における段階的転移を明らかにできるか？
• RQ3 なぜ Ample Excess Lemma は T=1 の場合に Z(1) から domU への単方向還元をサポートするが、T<1 の場合にはそのような還元をサポートしないのか？
• RQ4 T<1 の場合に domU が Z(T) に照問サイズ f(n) で還元可能であるが、T=1 の場合にはそうではないような計算可能関数 f が存在するか？
• RQ5 部分的ランダム性のレベル T は、Z(T) と domU 間の還元における照問サイズ複雑性を決定づける役割を果たすか？

主な発見

• 任意の計算可能 T ∈ (0,1) に対して、domU は照問サイズ O(n/T) で Z(T) に還元可能であり、新しい枠組み下で双方向関係が成立することを示す。
• T=1 の場合、Z(1) から domU への O(n/T)-照問サイズ還元は存在しないことが判明し、T=1 における重要な段階的転移が明らかになる。
• T=1 で Ω から domU への単方向還元を可能にする Ample Excess Lemma は、T<1 の場合には弱 Chaitin T-ランダム性条件の破綻により、同じ還元をサポートしない。
• T<1 の場合、Lemma 5.3(i) により Z(T) と domU 間の双方向還元が可能であるが、この補題は T=1 の場合には成り立たない。
• T<1 の場合、Pf(Z_V(T)) への domF の還元において f(n) = O(n/T) が最適であることが、プログラムサイズ複雑性の成長率の矛盾から示される。
• 本稿は、Z(T) と domU 間の還元挙動が T=1 と T<1 で根本的に異なることを確立しており、後者では効率的な照問サイズ制限付き還元が可能であることを示している。