[論文レビュー] 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-SUMとk-Cliqueの間の新たなFPT還元を提示し、小規模な整数上のk-SUMがW[1]-完全であることを証明するとともに、一般のk-SUMがドレアント化の仮定の下でW[1]-完全であることを示している。これにより、1992年にダウニーとフェローズによって提起された、長年の未解決問題が解決された。

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還元を導入し、パラメータ化可能性を保持する。
• 任意の計算可能関数fについて、整数の範囲[−n^f(k), n^f(k)]に制限されたk-SUMインスタンスを分析する。
• 一般k-SUMのW[1]-完全性を確立するために、共通のドレアント化仮定に依存する。
• 組合せ的構成を活用して、k-SUMの制約をk-Cliqueの枠組み内でシミュレートする。
• 和制約をグラフ的構造にエンコードすることで、他の重み付き問題への一般化が可能である。
• 理論的分析により、還元がパラメータ化計算複雑性クラス、特にW[1]を保持することが示された。

実験結果

リサーチクエスチョン

• RQ1 任意の計算可能関数fについて、整数の範囲[−n^f(k), n^f(k)]に制限されたk-SUMはW[1]-完全であるか？
• RQ2 妥当なドレアント化仮定の下で、一般k-SUMのパラメータ化計算複雑性は何か？
• RQ3 パラメータkを保持したまま、k-SUMをFPT時間でk-Cliqueに還元できるか？
• 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の間の還元により、両問題のパラメータ化計算複雑性が厳密に同等であることが確立された。
• この枠組みは、重み付き和問題のパラメータ化計算複雑性を分析する一般手法を提供する。
• 1992年にダウニーとフェローズによって提起された、k-SUMのパラメータ化計算複雑性に関する長年の未解決問題が解決された。
• 制約をグラフ構造にエンコードすることで、重み付き部分集合和を含む他の問題へもこのアプローチが拡張可能である。