[论文解读] 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

一句话总结

本文在 $k$-sum 猜想下，为边权图中的 Exact-Weight-$H$ 问题（即寻找总边权恰好为零的子图 $H$）建立了紧致的条件下界，表明若能以快于 $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 算法。
• 通过归约方法，将精确边权子图问题的复杂度与 $k$-sum 问题统一起来。
• 证明最小权和无权检测版本比精确边权版本更简单，后者在 $k$-sum 猜想下被严格证明更难。

提出的方法

• 使用 Dietzfelbinger (1996) 提出的随机哈希方案，将数字划分为 $t$ 个桶，将 $k$-sum 问题归约为 Exact-Weight-$H$ 问题。
• 采用 '卷积-$k$-sum' 框架，在哈希后的桶中测试所有可能的 $k$-元组，同时保持和与索引关系。
• 利用哈希函数的 '良好负载均衡' 和 '近线性' 性质，确保以高概率保留有效的 $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 中任一问题，则可推出三者均可被更快解决，前提是 $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 为何精确边权子图问题显著难于无权或最小权版本？

主要发现

• 除非 $3$-sum 或 $5$-sum 问题能以快于 $O(n^{\lceil k/2 \rceil - \varepsilon})$ 的时间解决，否则 Exact-Weight-$4$-path 和 Exact-Weight-$5$-path 无法在 $O(n^{3 - \varepsilon})$ 时间内求解（对任意 $\varepsilon > 0$）。
• 若能更快求解 Exact-Weight-$3$-matching 或 Exact-Weight-$3$-star，则可推出更快求解 $3$-sum，反之亦然。
• Exact-Weight-$H$ 问题的复杂度与 $k$-sum 紧密关联：若其运行时间快于 $O(n^{\lceil k/2 \rceil})$，将推翻 $k$-sum 猜想。
• 在 $k$-sum 猜想下，Exact-Weight-$4$-path 和 $5$-path 的 $O(n^3)$ 上界是条件紧致的。
• 子图问题的最小权和无权检测版本可在 $O(n^2)$ 时间内求解，但精确边权版本显著更难。
• 通过卷积-$k$-sum 与随机哈希的归约框架，可在 $k$-sum 猜想下实现 $\tilde{O}(n^{\lceil k/2 \rceil - \varepsilon'})$ 的运行时间，从而证明该上界的紧致性。