[論文レビュー] A simple proof that AND-compression of NP-complete problems is hard

Holger Dell|arXiv (Cornell University)|May 18, 2014

Advanced Graph Theory Research参考文献 19被引用数 4

ひとこと要約

この論文は、標準的な複雑性仮定の下で、SAT などのNP完全問題のAND圧縮が困難であることを示す簡略化された証明を提示する。coNP ⊆ NP/poly でない限り、効率的なAND圧縮は存在しない。証明は一般化されたハイパーグラフトーナメントとKullback–Leibler情報量によるノイズ感度の境界を用い、複数のインスタンスにわたる充足可能性を保存する圧縮写像は、複雑性理論的階層を破壊するため、不可能であることを示す。

ABSTRACT

Drucker [1] proved the following result: Unless the unlikely complexity-theoretic collapse coNP ⊆ NP/poly occurs, there is no AND-compression for SAT. The result has implications for the compressibility and kernelizability of a whole range of NP-complete parameterized problems. We present a simple proof of this result. An AND-compression is a deterministic polynomial-time algorithm that maps a set of SAT-instances x1,..., xt to a single SAT-instance y of size poly(maxi |xi|) such that y is satisfiable if and only if all xi are satisfiable. The “AND ” in the name stems from the fact that the predicate “y is satisfiable ” can be written as the AND of all predicates “xi is satisfiable”. Drucker’s result complements the result by Bodlaender et al. [2] and Fortnow and Santhanam [3], who proved the analogous statement for OR-compressions, and Drucker’s proof not only subsumes that result but also extends it to randomized compression algorithms that are allowed to have a certain probability of failure. The overall structure of our proof is similar to the arguments of Ko [4] for P-selective sets, which use the fact that tournaments have dominating sets of logarith-mic size. We generalize this fact to hypergraph tournaments. For the information-theoretic part of the proof, we consider a natural generalization of the average noise sensitivity of a Boolean function, which is bounded for compressive maps. We prove this with mechanical calculations that involve the Kullback–Leibler divergence. 1

研究の動機と目的

• 標準的な複雑性仮定の下で、Druckerの結果であるSATのAND圧縮の非実現可能性について、より簡潔でアクセスしやすい証明を提供すること。
• 誤差確率が有界である可能性のある確率的圧縮アルゴリズムへの結果の拡張。
• トーナメントからハイパーグラフトーナメントへの構造的結果の一般化により、証明フレームワークを支援すること。
• 一般化されたノイズ感度測度を用いて、圧縮写像の情報理論的境界を確立すること。
• このような圧縮可能性が、多項式階層の崩壊、具体的にはcoNP ⊆ NP/poly を意味することを示すこと。

提案手法

• P選別集合に関するKoのアプローチを拡張し、複数のインスタンスにわたる意思決定の一貫性をモデル化するためにトーナメントをハイパーグラフトーナメントに一般化する。
• 圧縮写像の平均的挙動をランダムな摂動の下で捉える一般化されたノイズ感度測度を導入する。
• Kullback–Leibler情報量を用いて、複数のSATインスタンスを1つに圧縮する際の情報理論的コストを境界付ける。
• 極値的組合せ論を適用し、任意の圧縮写像がすべての入力において充足可能性を保存しなければならないことを示し、既知の複雑性境界に反する。
• 確率分布と発散測度を用いた機械的計算により、圧縮不能性の議論を形式化する。
• 構造的グラフ理論的ツールと情報理論的不等式を組み合わせ、AND圧縮の仮定の下で矛盾を導出する。

実験結果

リサーチクエスチョン

• RQ1 標準的な複雑性仮定の下で、SATのAND圧縮は効率的に達成可能か？
• RQ2 ランダム性の役割は何か？ 有界誤差確率を持つ確率的アルゴリズムは、圧縮可能性を達成できるか？
• RQ3 一般化されたノイズ感度測度は、NP完全問題の圧縮可能性とどのように関係するか？
• RQ4 ハイパーグラフトーナメントは、複数のインスタンスにわたる充足可能性の一貫性をどの程度正確にモデル化できるか？
• RQ5 AND圧縮が可能であると仮定した場合、どのような複雑性理論的崩壊が生じるか？

主な発見

• coNP ⊆ NP/poly でない限り、SATのAND圧縮は決定的多項式時間では不可能である。
• 誤差確率が有界な確率的圧縮アルゴリズムに対しても、同様の非実現性結果が成立する。
• 圧縮写像に対して、一般化されたノイズ感度測度は有界であり、情報理論的解析を可能にする。
• ハイパーグラフトーナメントの使用により、標準的なトーナメントからの構造的結果を高次の一貫性条件へ一般化できる。
• Kullback–Leibler情報量を用いて、圧縮写像における情報損失のタイトな境界を導出し、圧縮可能性の仮定の下で矛盾を導く。
• 証明により、任意のAND圧縮は多項式階層の崩壊、具体的にはcoNP ⊆ NP/poly を意味することが示された。これは極めて不自然であると見なされている。