[論文レビュー] Exact Weight Subgraphs and the k-Sum Conjecture

Amir Abboud, Kevin Lewi|arXiv (Cornell University)|Apr 29, 2013

Complexity and Algorithms in Graphs参考文献 1被引用数 10

ひとこと要約

この論文は、辺に重みが付与されたグラフにおける正確な重み $H$ 問題—つまり、合計辺重みが正確にゼロである部分グラフ $H$ を見つける問題—について、$k$-sum 猜測に基づくタイトな条件付き下界を確立している。$O(n^{\lceil k/2 \rceil})$ より速く解けるとすれば、$k$-sum 猜測を否定することになる。Exact-Weight-$k$-path、$k$-matching、$k$-star といった問題が $k$-sum と同程度の難易度であることを示し、それらのアルゴリズムを改善すれば、$3$-sum や All-Pairs Shortest Paths といった基本的な問題の複雑性の壁を破ることにつながる。

ABSTRACT

We consider the Exact-Weight-H problem of finding a (not necessarily induced) subgraph H of weight 0 in an edge-weighted graph G. We show that for every H, the complexity of this problem is strongly related to that of the infamous k-Sum problem. In particular, we show that under the k-Sum Conjecture, we can achieve tight upper and lower bounds for the Exact-Weight-H problem for various subgraphs H such as matching, star, path, and cycle. One interesting consequence is that improving on the O(n^3) upper bound for Exact-Weight-4-Path or Exact-Weight-5-Path will imply improved algorithms for 3-Sum, 5-Sum, All-Pairs Shortest Paths and other fundamental problems. This is in sharp contrast to the minimum-weight and (unweighted) detection versions, which can be solved easily in time O(n^2). We also show that a faster algorithm for any of the following three problems would yield faster algorithms for the others: 3-Sum, Exact-Weight-3-Matching, and Exact-Weight-3-Star.

研究の動機と目的

• $k$-sum 猜測の下で Exact-Weight-$H$ 問題に対するタイトな条件付き下界を確立すること。
• パス、マッチング、スターデータ、サイクルなどの特定の部分グラフ $H$ が、$k$-sum と同等の複雑性を持つことの同定。
• Exact-Weight-$k$-path や $k$-matching のアルゴリズムを改善すれば、$3$-sum や All-Pairs Shortest Paths のより速いアルゴリズムが得られることの示唆。
• 還元を用いて、Exact-Weight-部分グラフ問題の複雑性を $k$-sum 問題と統一すること。
• 最小重み版や未重み付き検出版が、Exact-Weight 変種よりも簡単であることを示し、$k$-sum 猜測のもとで、Exact-Weight 変種が実際により難しいことが証明可能であること。

提案手法

• Dietzfelbinger (1996) のランダムハッシュ方式を用い、数を $t$ 個のバケツに分割することで、$k$-sum を Exact-Weight-$H$ 問題に還元する。
• すべての可能な $k$-タプルをハッシュされたバケツ間でテストするための「畳み込み-$k$-sum」フレームワークを採用する。この際、和とインデックスの関係を保持する。
• ハッシュ関数の「良い負荷分散」と「ほぼ線形性」の性質を用い、有効な $k$-sum 解が保持される確率を高める。
• 成功確率を強化するため、ハッシュ処理を $O(k^k \log n)$ 回繰り返し、高確率で解が得られることを保証する。
• 合計実行時間を $\tilde{O}(t \cdot n^{\lceil (k-1)/2 \rceil} + (n/t)^{\lceil k/2 \rceil - \varepsilon})$ として分析し、$t = n^\varepsilon$ とすることで $\tilde{O}(n^{\lceil k/2 \rceil - \varepsilon'})$ 時間を得る。
• もし $3$-sum、Exact-Weight-$3$-matching、または Exact-Weight-$3$-star のいずれかを $O(n^{\lceil k/2 \rceil - \varepsilon})$ より速く解けるとすれば、$k$-sum 猜測のもとで、それらのすべてがより速く解けることになる。

実験結果

リサーチクエスチョン

• RQ1 さまざまな部分グラフ $H$ に対して、Exact-Weight-$H$ 問題の条件付き複雑度は何か？
• RQ2 $k$-sum 問題と正確な重み部分グラフ検出の間には、計算の難易度においてどのような関係があるか？
• RQ3 Exact-Weight-$k$-path や $k$-matching のアルゴリズム改善が、$3$-sum や All-Pairs Shortest Paths のブレークスルーやに繋がる可能性はあるか？
• RQ4 $k$-sum 問題と特定の正確な重み部分グラフ問題の間で、同等の難易度を示す還元は存在するか？
• RQ5 なぜ正確な重み部分グラフ問題は、未重み付き版や最小重み版よりも著しく難しいのか？

主な発見

• Exact-Weight-$4$-path や Exact-Weight-$5$-path は、任意の $\varepsilon > 0$ に対して $O(n^{3 - \varepsilon})$ 時間で解けない（$3$-sum または $5$-sum 問題が $O(n^{\lceil k/2 \rceil - \varepsilon})$ より速く解けない限り）。
• Exact-Weight-$3$-matching や Exact-Weight-$3$-star をより速く解けると、$3$-sum もより速く解けるようになり、逆も成り立つ。
• Exact-Weight-$H$ 問題の複雑度は $k$-sum と密接に結びついている：$O(n^{\lceil k/2 \rceil})$ より速く解けると、$k$-sum 猜測が否定されることになる。
• Exact-Weight-$4$-path や $5$-path の $O(n^3)$ 上界は、$k$-sum 猜測のもとで条件付きでタイトである。
• 最小重み版や未重み付き検出版の部分グラフ問題は $O(n^2)$ 時間で解けるが、正確な重みバージョンは著しく難しい。
• 畳み込み-$k$-sum とランダムハッシュを用いた還元フレームワークにより、$k$-sum 猜測のもとで $\tilde{O}(n^{\lceil k/2 \rceil - \varepsilon'})$ 時間を達成し、この界がタイトであることが証明された。