[論文レビュー] Frequency of Correctness versus Average-Case Polynomial Time and Generalized Juntas

Gábor Erdélyi, Lane A. Hemaspaandra+2 more|ArXiv.org|Jun 16, 2008

Complexity and Algorithms in Graphs参考文献 26被引用数 7

ひとこと要約

本稿は、一様分布の下で平均的多項式時間で解ける任意の問題が、頻繁に自己認識的に正しい多項式時間アルゴリズムを備えることを確立している。これは、高率な入力に対して正しく解けるとともに、その正しさを明示的に認識できるアルゴリズムを意味する。さらに、ProcacciaとRosenscheinのジャンタ分布を分析し、基本的なジャンタ条件の下で、NP困難な集合が決定的ヒューリスティック多項式時間の問題に ≤p_m-還元可能であることを示している。これにより、平均的複雑性における極端な振る舞いが明らかになった。

ABSTRACT

We prove that every distributional problem solvable in polynomial time on the average with respect to the uniform distribution has a frequently self-knowingly correct polynomial-time algorithm. We also study some features of probability weight of correctness with respect to generalizations of Procaccia and Rosenschein's junta distributions [PR07b].

研究の動機と目的

• 平均的多項式時間と頻繁に自己認識的に正しいアルゴリズムとの関係を形式化し分析すること。
• ProcacciaとRosenscheinが導入したジャンタ分布の性質を調査すること。
• 基本的なジャンタ条件が、NP困難問題における意味のある平均的複雑性結果をもたらすかどうかを特定すること。
• 一様分布のような標準分布とヒューリスティック複雑性をよりよく一致させるために、ほぼ一様性のような修正されたジャンタ条件が有効かどうかを検討すること。

提案手法

• 正しさの頻度とアルゴリズムの自己認識能力を活用することで、一様分布の下で平均的多項式時間に属する任意の問題が、頻繁に自己認識的に正しいアルゴリズムを有することを証明する。
• ジャンタ分布の3つの核心的性質を分析する：(1) 小さな入力集合にサポートが集中すること、(2) 変数が固定でない少数の入力に対して高い確率が割り当てられること、(3) 確率に関する二分岐条件。
• これらの基本的ジャンタ条件の下で、任意のNP困難な集合が、あるジャンタ分布に関する決定的ヒューリスティック多項式時間の集合に ≤p_m-還元可能であることを示す。
• 二分岐条件の代わりに、より現実的な分布を反映することを目的として、代替的な「ほぼ一様性条件」を導入し、評価する。
• 平均的複雑性理論の技術的道具を用いて分布の挙動を分析する。特に、レヴィンの普遍分布とコルモゴロフ複雑度を活用する。
• 理論的還元と複雑性の上限を提供し、極端なジャンタ構成の下でも、ヒューリスティック多項式時間がNP困難性を捉えることができることを示す。

実験結果

リサーチクエスチョン

• RQ1 一様分布の下で平均的多項式時間で解ける問題は、すべて頻繁に自己認識的に正しいアルゴリズムによって解けるか？
• RQ2 ProcacciaとRosenscheinの基本的ジャンタ条件は、NP困難問題を決定的ヒューリスティック多項式時間に還元可能か？
• RQ3 ジャンタ分布の二分岐条件をほぼ一様性条件に置き換えた場合、ヒューリスティックアルゴリズムの理論的挙動はどのように変化するか？
• RQ4 分布に関する単純で広範かつ透明な条件の集合が、ヒューリスティックな tractability が標準分布（例えば一様分布）の下で tractability を意味することを保証できるか？
• RQ5 コルモゴロフ複雑度に基づく普遍分布は、アルゴリズムの平均的複雑性と最悪ケース複雑性をどの程度一致させるか？

主な発見

• 一様分布の下で平均的多項式時間に属する任意の問題は、頻繁に自己認識的に正しい多項式時間アルゴリズムを備える。これは、多数の入力に対して正しく解けるとともに、その正しさを明確に認識できることを意味する。
• 基本的な3つのジャンタ条件の下で、任意のNP困難な集合は、あるジャンタ分布に関する決定的ヒューリスティック多項式時間の集合に ≤p_m-還元可能である。これは、ジャンタ分布におけるヒューリスティックな tractability がNP困難性を捉えることができることを示している。
• 定理3.3の証明はほぼ一様性条件を破るため、二分岐条件をほぼ一様性条件に置き換えると、特定の構成が無効になることが示唆され、構造の単純さと分布の現実性の間にはトレードオフがある可能性がある。
• [PR07b, 節4.1] の選挙操作関連の分布は、5つのジャンタ条件とほぼ一様性条件の両方を満たしており、このような分布が理論的に強力でありながらも分布的に妥当である可能性を示している。
• コルモゴロフ複雑度に基づく普遍分布は、平均的複雑性と最悪ケース複雑性を一致させる。これは、アルゴリズム的ランダムネスと複雑性の一様性の間に深い理論的関係があることを示唆している。
• 本稿は、元のジャンタ定義におけるような単純で広範な条件だけでは、すべての関連問題に対して最も困難な分布を除外できないことが判明しており、これは、普遍的なヒューリスティック複雑性フレームワークを設計する上での根本的な制限を示している。