[論文レビュー] Worst-Case to Expander-Case Reductions

Amir Abboud, Nathan Wallheimer|arXiv (Cornell University)|Nov 23, 2022

Complexity and Algorithms in Graphs被引用数 1

ひとこと要約

本稿では、worst-case から expander-case への自己還元（WTERs）を導入し、k-Clique、4-Cycle、最大マッチング、頂点被覆、最小支配集合といった代表的なグラフ問題が、worst-case グラフ上でも、定数の導出率を持つ拡張グラフへの還元によって、効率的に解けることを示している。主な結果は、これらの問題の多くに対して、拡張グラフ分解に依存しない、単純なガジェット還元が可能であることであり、これは拡張グラフ分解がこれらの問題を解くために本質的でないことを示唆しており、細粒度複雑性の障壁を打ち破るために拡張グラフ分解が鍵であるという一般的な信念に反するものである。

ABSTRACT

In recent years, the expander decomposition method was used to develop many graph algorithms, resulting in major improvements to longstanding complexity barriers. This powerful hammer has led the community to (1) believe that most problems are as easy on worst-case graphs as they are on expanders, and (2) suspect that expander decompositions are the key to breaking the remaining longstanding barriers in fine-grained complexity. We set out to investigate the extent to which these two things are true (and for which problems). Towards this end, we put forth the concept of worst-case to expander-case self-reductions. We design a collection of such reductions for fundamental graph problems, verifying belief (1) for them. The list includes $k$-Clique, $4$-Cycle, Maximum Cardinality Matching, Vertex-Cover, and Minimum Dominating Set. Interestingly, for most (but not all) of these problems the proof is via a simple gadget reduction, not via expander decompositions, showing that this hammer is effectively useless against the problem and contradicting (2).

研究の動機と目的

• 細粒度複雑性における一般的な直感に反し、基本的グラフ問題が worst-case グラフ上でも拡張グラフ上と同程度に難しいかどうかを調査すること。
• 拡張グラフから worst-case グラフへアルゴリズムの高速化を伝搬する新しい還元クラス—worst-case から expander-case への自己還元（WTERs）—を形式化すること。
• 長年にわたり解かれていない複雑性の障壁を打ち破るために、拡張グラフ分解が真に不可欠であるのか、それともより単純な還元で十分なのかを特定すること。
• k-Clique、4-Cycle、頂点被覆といった重要な問題を対象として、拡張グラフ分解の細粒度複雑性における役割を分析すること。

提案手法

• 問題が φ(n)-拡張グラフ上のオракル呼び出しを用いて worst-case グラフ上で解けることを保証する、(φ(n), a(n,m), b(n,m))-WTERs の形式的定義を提示する。
• k-Clique、4-Cycle、最大マッチング、頂点被覆、最小支配集合に対して、拡張グラフ分解を用いずに、定数の導出率を持つ拡張グラフへ還元する単純なガジェット還元を設計する。
• 低次数頂点とカットを貫る辺の数を制限するためのチャージング・アーギュメントを用い、還元後のグラフの導出率が高確率で Ω(1) であることを証明する。
• 確率的解析と導出率の境界を用いて、還元後のグラフにおけるカットが、大きな境界辺を持つか、または残渣集合へ顕著な辺拡張を持つことを示し、定数の拡張性を保証する。
• WTERフレームワークを適用し、拡張グラフ上でサブクアドラティック時間のアルゴリズムが存在するならば、worst-case グラフ上でも同様の時間で解ける、という条件を満たす。
• WTER 条件のもとで、問題が (Ω(1), a(n,m), b(n,m))-WTER を持つならば、φ(n)-拡張グラフ上で O(b(n,m)^{1−ε})-時間のアルゴリズムが存在するならば、worst-case グラフ上でも O(a(n,m)^{1−δ})-時間のアルゴリズムが存在することを、定理32を用いて証明する。

実験結果

リサーチクエスチョン

• RQ1 k-Clique や頂点被覆といった基本的グラフ問題は、worst-case グラフ上でも拡張グラフ上と同程度に容易なのか？
• RQ2 拡張グラフ分解に依存せずに、worst-case から expander-case への自己還元を構築できるか？
• RQ3 細粒度複雑性の障壁を打ち破るために、拡張グラフ分解が真に不可欠なのか、それともより単純な還元で十分なのか？
• RQ4 拡張グラフ上で高速なアルゴリズムが存在する場合、WTER を持つ問題に対して、worst-case グラフ上でも高速なアルゴリズムが存在するのか？
• RQ5 どの問題において拡張グラフ分解法が効果を発揮せず、代替的な還元は何か？

主な発見

• 本稿では、k-Clique、4-Cycle、最大基数マッチング、頂点被覆、最小支配集合がすべて (Ω(1), a(n,m), b(n,m))-WTER を持つことを確立し、worst-case グラフ上でも拡張グラフ上と同等に容易であることを示している。
• これらの問題の多くに対して、WTER は拡張グラフ分解を用いず、単純なガジェット還元によって構築されており、これはこれらの問題を解くために拡張グラフ分解が必須でないことを示唆している。
• 還元後のグラフの導出率が高確率で Ω(1) であることを、低次数頂点と辺境界へのチャージング・アーギュメントを用いて証明している。
• 還元フレームワークにより、φ(n)-拡張グラフ上で O(b(n,m)^{1−ε})-時間のアルゴリズムが存在するならば、WTER 条件のもとで worst-case グラフ上でも O(a(n,m)^{1−δ})-時間のアルゴリズムが得られることを示している（δ > 0）。
• この結果は、拡張グラフ分解が複雑性の障壁を打ち破る鍵であるという信念に反しており、本稿の問題ではそのような分解が還元に使われていないためである。
• 本稿では、『問題が worst-case グラフ上でも拡張グラフ上と同程度に容易である』という直感が、これらの問題に対して成り立つが、それは拡張グラフ分解のおかげではなく、他の要因によるものであると示している。