[論文レビュー] A New Conjecture on Hardness of 2-CSP’s with Implications to Hardness of Densest k-Subgraph and Other Problems

Julia Chuzhoy, Mina Dalirrooyfard+2 more|arXiv (Cornell University)|Nov 10, 2022

Complexity and Algorithms in Graphs被引用数 1

ひとこと要約

この論文は、Densest k-Subgraphおよび関連問題に対する強い近似不能性結果を示す、新たな低次数CSP予想を提示する。これらの問題を低次数2-CSPに還元し、その予想を活用することで、既存の近似アルゴリズムがこの新しい予想のもとで本質的に最適であることが示され、予想はd-to-1予想と標準的な2プローバプロトコルの間にある。

ABSTRACT

We propose a new conjecture on hardness of 2-CSP’s, and show that new hardness of approximation results for Densest k-Subgraph and several other problems, including a graph partitioning problem, and a variation of the Graph Crossing Number problem, follow from this conjecture. The conjecture can be viewed as occupying a middle ground between the d-to-1 conjecture, and hardness results for 2-CSP’s that can be obtained via standard techniques, such as Parallel Repetition combined with standard 2-prover protocols for the 3SAT problem. We hope that this work will motivate further exploration of hardness of 2-CSP’s in the regimes arising from the conjecture. We believe that a positive resolution of the conjecture will provide a good starting point for other hardness of approximation proofs. Another contribution of our work is proving that the problems that we consider are roughly equivalent from the approximation perspective. Some of these problems arose in previous work, from which it appeared that they may be related to each other. We formalize this relationship in this work.

研究の動機と目的

• d-to-1予想と標準的な2プローバプロトコルの間にある、低次数2-CSPの硬さに関する新たな予想を提示すること。
• Densest k-Subgraph、Dense k-Coloring、(r,h)-Graph Partitioning、Maximum Bounded-Crossing Subgraphについて、条件付きの近似不能性結果を確立すること。
• この4つの問題が、新しい予想のもとで近似複雑性の観点からおおよそ同等であることを示すこと。
• Densest k-Subgraphや(r,h)-Graph Partitioningといった問題が、近似可能性において密接に関連しているという直感を形式化・強化すること。

提案手法

• 2-CSPの硬さの仮定として、低次数CSP予想を新たに提示すること。
• 一連の還元を用いて、ある問題（例：Densest k-Subgraph）の硬さが他の問題の硬さを示すことを示すこと。
• 一般のグラフを還元に適した正則化された形に変換するための正則化技術を適用すること。
• 補助的グラフを構築し、確率的議論を用いて良い部分グラフを認証するか、問題のある部分を検出すること。
• 線形計画法（LP）の緩和と丸めを用いて中間問題を近似的に解き、集中不等式を用いて誤差を制御すること。
• 予想を活用して、タイトな近似不能性比を導出し、既存のアルゴリズムが対数的要因を除いて最適であることを示すこと。

実験結果

リサーチクエスチョン

• RQ1 低次数2-CSPに関する新たな予想が、Densest k-Subgraphおよび関連問題に対する強い近似不能性を示すことができるか？
• RQ2 Densest k-Subgraph、Dense k-Coloring、(r,h)-Graph Partitioning、Maximum Bounded-Crossing Subgraphは、近似複雑性の観点で近似的に同等であるか？
• RQ3 低次数CSP予想は、3-SATのd-to-1予想と標準的な2プローバプロトコルの間の自然なブリッジを提供するか？
• RQ4 この予想を用いて、Densest k-Subgraphのタイトな近似不能性比を証明できるか？
• RQ5 正則化と確率的認証は、硬さの証明のための一般インスタンスを構造的インスタンスに還元する際に果たす役割は何か？

主な発見

• 低次数CSP予想が成り立つと仮定すると、Densest k-Subgraphは任意のα(n) = o(log n)に対して、多項式時間O(α(n))-近似可能でないことが示された。
• 本論文では、Densest k-Subgraph、Dense k-Coloring、(r,h)-Graph Partitioning、Maximum Bounded-Crossing Subgraphが、すべて予想のもとでO(poly log n)-近似同等であることが確立された。
• Densest k-SubgraphからBipartite Densest (k1,k2)-Subgraphへの還元が示され、後者のO(α(N²))-近似アルゴリズムが存在すれば、前者に対するO(α(N²) · poly log N)-近似が得られることを示した。
• 問題のある部分グラフHが存在する場合、アルゴリズムが「承認」を返す確率は2/3以下であることが証明され、これによりLP緩和の分離オラクルが構築可能となった。
• LP丸め手順により、高確率で(r,h)-Graph Partitioningに対するO(α(N²) · poly log N)-近似解が得られた。
• 本研究では、既存のDensest k-Subgraph用アルゴリズムが、新しい予想のもとで本質的に最適であることが示された。なぜなら、この予想が成り立たない限り、より良い近似比は得られないからである。