[論文レビュー] Average-Case Completeness in Tag Systems

Nakamura, Yoshiki, Asada, Kazuyuki+3 more|arXiv (Cornell University)|Jun 8, 2006

Complexity and Algorithms in Graphs参考文献 75被引用数 8

ひとこと要約

この論文はNPにおける平均ケース複雑性を調査し、一様分布の下でのNP問題の完全性結果を確立している：ある特定のNP問題が平均的に容易であるならば、任意のサンプル可能分布の下ですべてのNP問題が平均的に容易である。基礎的概念のレビューとして、レヴィンの完全性理論、一方向関数、および硬度強化を扱い、最悪ケースと平均ケース複雑性の間の接続に関する未解決問題を強調している。

ABSTRACT

To prove average-case NP-completeness for a problem, we must choose a known average-case complete problem and reduce it to that problem. Unfortunately, the set of options to choose from is far smaller than for standard (worst-case) NP-completeness. In an effort to help remedy this we focus on tag systems, which due to their extreme simplicity have been a target for other types of reductions for many problems including the matrix mortality problem, the Post correspondence problem, the universality of cellular automaton Rule 110, and all of the smallest universal single-tape Turing machines. Here we show that a tag system can efficiently simulate a Turing machine even when the input is provided in an extremely simple encoding which adds just log n carefully set bits to encode an arbitrary Turing machine input of length n. As a result we show that the bounded halting problem for nondeterministic tag systems is average-case NP-complete. This result is unexpected when one considers that in the current state of the art for simple universal systems it had appeared that there was a trade-off whereby simpler systems required more complicated input encodings. In other words, although simple systems can compute interesting things, they had appeared to require very carefully encoded inputs in order to do so. Our result surprisingly goes in the opposite direction by giving the first average-case completeness result for such a simple model of computation. In ongoing work we have already found applications of our result having used it to give average-case NP-completeness results for a 2D generalization of the Collatz function, a nondeterministic version of the 2D elementary functions studied by Koiran and Moore, 3D piecewise affine maps, and bounded Post correspondence problem instances that use simpler word pairs than previous results.

研究の動機と目的

• NP問題における平均ケース複雑性の理論を形式化し、特に一様分布およびサンプル可能分布の下での完全性に焦点を当てる。
• P ≠ NP仮定や関連する最悪ケース仮定に基づいて、NPにおける平均的に難しい問題の存在を裏付けることができるかを調査する。
• 暗号における一方向関数の役割と、NPにおける平均ケース非効用性との関係を検討する。
• 現在の証明技法が、NPにおける最悪ケースから平均ケースへの接続を確立する際に抱える制限を分析する。
• 硬度強化技術とその暗号的セキュリティおよび計算複雑性理論への影響を調査する。

提案手法

• NP入力の計算可能でサンプル可能かつ任意の分布を用いて、'平均的に効率的'という定義を導入し、形式化する。
• 分布付き問題間の還元を適用して、平均ケース複雑性における完全性を定義する。特に、有界停止問題に注目する。
• レヴィンの完全性結果を用いる：有界停止問題が一様分布の下で平均的に容易であるならば、任意のサンプル可能分布の下ですべてのNP問題が平均的に容易である。
• ヒューリスティックおよび誤りなしのアルゴリズムを分析し、平均ケース設定における決定問題と探索問題の違いを明確にする。
• ヨウのXOR補題とオドネルのアプローチを用いて硬度強化を行う。弱く難しい問題が強く難しいものに変換可能であることを示し、硬度の増加に対する明確な境界を提示する。
• サンプル可能分布の可逆性と圧縮可能性を検討し、平均ケース複雑性と暗号的プリミティブとの関係を結びつける。

実験結果

リサーチクエスチョン

• RQ1 P ≠ NP仮定に基づいて、NPにおける平均的に難しい問題の存在を裏付けることができるか？
• RQ2 一様分布の下で、平均的に容易である完全問題が存在するか。そのような問題の tractability（扱いやすさ）が、任意のサンプル可能分布の下でのすべてのNP問題の tractability を示すのか？
• RQ3 ヨウのXOR補題やオドネルの手法といった硬度強化技術が、弱く難しい問題を強く難しいものに変換する程度はどの程度か？
• RQ4 一方向関数はNPにおける平均ケース非効用性とどのように関係するか。また、最悪ケース仮定から一方向関数を構成できるか？
• RQ5 サンプル可能分布は、NP問題の現実世界の入力分布をモデル化する役割を果たすのか。また、それらは平均ケース複雑性にどのように影響を与えるか？

主な発見

• レヴィンの完全性結果により、有界停止問題が一様分布の下で平均的に容易であるならば、任意のサンプル可能分布の下ですべてのNP問題が平均的に容易であることが示された。
• この論文は、P ≠ NPがNPにおける平均的に難しい問題の存在を示すために、標準的手法では証明できないことを示しており、現在のアプローチに内在する制限を示している。
• ヨウのXOR補題およびオドネルの手法による硬度強化は、弱く難しい問題が強く難しいものに変換可能であることを示しており、硬度の増加に対する明確な境界が得られている。
• 一方向関数は、NPにおける平均ケース非効用な探索問題の存在と同値であることが示され、現代暗号の基盤をなしている。
• 自然な分布付き問題のための平均ケース複雑性理論は、まだ完全ではなく、多くのこのような問題が完全性フレームワークにまだ収まりきっていない。
• P ≠ NPを用いた標準的手法では、NPにおける平均的に難しい問題の存在を証明できないことが強調されており、複雑性理論における主要な未解決問題である。