[论文解读] On the parameterized complexity of k-SUM

Amir Abboud, Kevin Lewi+1 more|arXiv (Cornell University)|Nov 13, 2013

Advanced Graph Theory Research参考文献 24被引用 3

一句话总结

本文通过在 k-SUM 与 k-Clique 之间建立新的 FPT 归约，确立了 k-SUM 问题的参数化复杂性，证明了在小整数上的 k-SUM 是 W[1]-完全的，且在去随机化假设下，一般 k-SUM 也是 W[1]-完全的——从而解决了自 1992 年 Downey 和 Fellows 首次提出以来长期悬而未决的参数化复杂性难题。

ABSTRACT

In the k-SUM problem, we are given a set of numbers and asked if there are k of them which sum to 0. The case of k = 3 has been extensively studied in computational geometry, and known to be intimately related to many low-dimensional problems. The case of arbitrary k is the natural parameterization of Subset Sum and is well-known in parameterized algorithms and complexity. We present new FPT reductions between the k-SUM problem and the k-Clique problem, yielding several complexity-theoretic and algorithmic consequences. Our reductions show that k-SUM on “small” numbers (in the range [−n f(k) ,n f(k) ] for any computable function f) is W[1]complete, and that k-SUM (in general) is W[1]-complete under a common derandomization assumption. These results effectively resolve the parameterized complexity of k-SUM, initially posed in 1992 by Downey and Fellows in their seminal paper on parameterized intractability [11, 12]. Our method is quite general and applies to other weighted problems as well.

研究动机与目标

• 为解决自 1992 年以来长期悬而未决的 k-SUM 问题的参数化复杂性。
• 通过参数化归约建立 k-SUM 与 k-Clique 问题之间的联系。
• 在各种假设（包括整数范围受限）下，确定 k-SUM 的精确参数化复杂性类。
• 将该方法扩展至 k-SUM 之外的其他加权问题。
• 提供一种通用框架，用于通过 FPT 归约分析加权参数化问题的复杂性。

提出的方法

• 作者引入了从 k-SUM 到 k-Clique 及其反向的新颖 FPT 归约，同时保持参数化可 tractability。
• 他们分析了整数范围被限制在 [−n^f(k), n^f(k)] 范围内的 k-SUM 实例，其中 f 为任意可计算函数。
• 这些归约依赖于一个共同的去随机化假设，以建立一般 k-SUM 的 W[1]-完全性。
• 该方法利用组合构造，在 k-Clique 框架内模拟 k-SUM 的约束条件。
• 通过将和约束编码为图论结构，该方法可推广至其他加权问题。
• 理论分析表明，这些归约保持了参数化复杂性类，特别是 W[1] 类。

实验结果

研究问题

• RQ1 当 k-SUM 限制在小整数范围内（即 [−n^f(k), n^f(k)]，其中 f 为任意可计算函数）时，其是否为 W[1]-完全？
• RQ2 在合理的去随机化假设下，一般 k-SUM 的参数化复杂性是什么？
• RQ3 是否可以在 FPT 时间内将 k-SUM 归约为 k-Clique，同时保持参数 k 不变？
• RQ4 在标准参数化复杂性假设下，k-Clique 问题是否能捕捉 k-SUM 的复杂性？
• RQ5 该归约框架能否扩展至其他具有和约束的加权问题？

主要发现

• 对于任意可计算函数 f，整数范围在 [−n^f(k), n^f(k)] 内的 k-SUM 问题被证明是 W[1]-完全的。
• 在常见去随机化假设下，一般 k-SUM 被证明是 W[1]-完全的。
• k-SUM 与 k-Clique 之间的归约建立了两者之间紧密的参数化复杂性等价性。
• 该框架为分析加权和问题的参数化复杂性提供了一般性方法。
• 该结果解决了 Downey 和 Fellows 于 1992 年首次提出的 k-SUM 参数化复杂性长期悬而未决的难题。
• 该方法可通过将约束编码为图结构，推广至其他涉及加权子集和的问题。