[論文レビュー] Many Hard Examples in Exact Phase Transitions with Application to Generating Hard Satisfiable Instances

Ke Xu, Wei Li|ArXiv.org|Feb 1, 2003

Constraint Satisfaction and Optimization参考文献 29被引用数 15

ひとこと要約

本稿では、正確な相転移と解像性の証明可能な難易度を備えたランダムCSPフレームワーク、Model RB/RDを紹介する。CSPをCNF論理式に変換することで、木構造的解釈証明における指数的下界を証明し、RB/RDが、ベンチマークおよび暗号的応用に適した難易度の高い充足可能例を生成することを示している。理論的および実験的根拠により、閾値近傍での難易度の高さが裏付けられている。

ABSTRACT

This paper first analyzes the resolution complexity of two random CSP models (i.e. Model RB/RD) for which we can establish the existence of phase transitions and identify the threshold points exactly. By encoding CSPs into CNF formulas, it is proved that almost all instances of Model RB/RD have no tree-like resolution proofs of less than exponential size. Thus, we not only introduce new families of CNF formulas hard for resolution, which is a central task of Proof-Complexity theory, but also propose models with both many hard instances and exact phase transitions. Then, the implications of such models are addressed. It is shown both theoretically and experimentally that an application of Model RB/RD might be in the generation of hard satisfiable instances, which is not only of practical importance but also related to some open problems in cryptography such as generating one-way functions. Subsequently, a further theoretical support for the generation method is shown by establishing exponential lower bounds on the complexity of solving random satisfiable and forced satisfiable instances of RB/RD near the threshold. Finally, conclusions are presented, as well as a detailed comparison of Model RB/RD with the Hamiltonian cycle problem and random 3-SAT, which, respectively, exhibit three different kinds of phase transition behavior in NP-complete problems.

研究の動機と目的

• 相転移に基づく難易度に関する理論的支援が不足している中で、正確な相転移と高い難易度の例の密度を併せ持つNP完全問題モデルを同定すること。
• モーメント法による証明可能な相転移を備えた数学的に取り扱いやすいモデルを提供し、アルゴリズム的分析ではなく、内在的な難易度を保証すること。
• このようなモデルが、信頼性があり、難易度の高い充足可能な例を生成できることを示すこと。これは、アルゴリズムのテストおよび暗号的応用において不可欠である。
• ランダム3-SATやハミルトニアンサイクルなど、相転移を示すが、証明可能な難易度がなく、実験的には容易に解ける他のNP完全問題とRB/RDを比較すること。
• RB/RDが、指数的下界による解釈複雑性の理論的根拠を提供することで、難易度の高い充足可能な例を生成する応用に適していることを確立すること。

提案手法

• Model RB/RDは、標準的なModel Bの改訂版であり、正確な相転移を保証するように制御された節の分布と制約密度を備えている。
• RB/RDのCSPインスタンスは、標準的な変換手法を用いてCNF論理式に符号化される。
• 木構造的解釈複雑性は、第一および第二モーメント法を用いて分析され、証明された指数的下界が証明サイズに適用される。
• 理論的分析により、RB/RDのほとんどすべてのインスタンスが指数的サイズの木構造的解釈証明を必要とすることが示され、内在的な証明複雑性を示している。
• 実験的検証により、閾値近傍でのインスタンスの難易度が確認され、相転移領域における困難さの集中が裏付けられた。
• 充足可能性を保証するために制約を追加することで強制的充足可能インスタンスが生成され、その複雑性はベンチマーク用途における実用的有用性を裏付けるために分析された。

実験結果

リサーチクエスチョン

• RQ1 正確な相転移と高い難易度のインスタンスの密度を併せ持つランダムCSPモデルを構築できるか？
• RQ2 このようなモデルが生成する難易度の高いインスタンスは、解釈証明サイズに対して証明可能な指数的下界を有するか？
• RQ3 RB/RDの難易度は、ランダム3-SATやハミルトニアンサイクル問題などの他のNP完全問題と比べてどう異なるか？
• RQ4 RB/RDは、実用的なアルゴリズムのテストや暗号的応用に適した難易度の高い充足可能なインスタンスを生成できるか？
• RQ5 ランダム2+p-SATやハミルトニアンサイクルとは異なり、RB/RDは、計算的難易度の観点から、他の相転移を示すNP完全問題と何が異なるか？

主な発見

• Model RB/RDは正確な相転移を示し、第一および第二モーメント法を用いて、充足可能性から非充足可能性への閾値点が正確に特定された。
• RB/RDのほとんどすべてのインスタンスは、指数的サイズの木構造的解釈証明を必要とし、解釈証明システムにおける難易度が証明された。
• RB/RDインスタンスの難易度は相転移領域に集中しており、難易度の高いベンチマークを生成するのに最適である。
• 強制的充足可能なRB/RDインスタンスも、閾値近傍で指数的下界を持つ解釈複雑性を示し、難易度の高い充足可能論理式を生成する応用を裏付ける。
• ランダム2-SAT、ハミルトニアンサイクル、2+p-SAT（p≤0.4）とは異なり、RB/RDインスタンスは、正確な閾値を持つにもかかわらず、証明可能な難易度を持つ。
• RB/RDの数学的取り扱いやすさにより、ランダム3-SATよりも深い理論的分析が可能となり、同モデルでは容易に得られない結果が得られた。