[論文レビュー] A Simple Gap-Producing Reduction for the Parameterized Set Cover Problem

Bingkai Lin|arXiv (Cornell University)|Jan 1, 2019

Complexity and Algorithms in Graphs参考文献 34被引用数 4

ひとこと要約

本稿では、強力な指数時間仮説（SETH）の下で、パrameterized set cover 問題に対する単純なギャップ生成還元を提示する。(n,k)-一様集合を用いてガジェットを構築することで、解のサイズが小さい k のインスタンスを、opt ≤ k と opt > (1−o(1))·k√(log n/log log n) を区別するには f(k)·n^{k−ϵ} 時間を要する新しいインスタンスに変換する。これは、先行研究を著しく強化する。

ABSTRACT

Given an $n$-vertex bipartite graph $I=(S,U,E)$, the goal of set cover problem is to find a minimum sized subset of $S$ such that every vertex in $U$ is adjacent to some vertex of this subset. It is NP-hard to approximate set cover to within a $(1-o(1))\ln n$ factor. If we use the size of the optimum solution $k$ as the parameter, then it can be solved in $n^{k+o(1)}$ time. A natural question is: can we approximate set cover to within an $o(\ln n)$ factor in $n^{k-ε}$ time? In a recent breakthrough result, Karthik, Laekhanukit and Manurangsi showed that assuming the Strong Exponential Time Hypothesis (SETH), for any computable function $f$, no $f(k)\cdot n^{k-ε}$-time algorithm can approximate set cover to a factor below $(\log n)^{\frac{1}{poly(k,e(ε))}}$ for some function $e$. This paper presents a simple gap-producing reduction which, given a set cover instance $I=(S,U,E)$ and two integers $k

研究の動機と目的

• パrameterized 設定における既知の不近似限界と、貪欲法の (1+ln n) 近似比の間のギャップを埋める。
• 複雑な符号理論に依存せず、大規模なギャップを生成する単純で基本的な還元技術を開発する。
• SETH の下で、パrameterized set cover は f(k)·n^{k−ϵ} 時間では o(ln n) 要因以内に近似できないことを示す。
• 小さいユニバース集合を伴う set cover の難易度が、一般インスタンスの難易度を示唆することを示し、証明構造を簡素化する。

提案手法

• (n,k)-一様集合を用いて、k-部グラフにおけるクリーク検出をシミュレートするギャップ生成ガジェットを構築する。
• k-クリークインスタンスを、k-クリークが存在する場合にサイズ (k choose 2) の解を持つ set cover インスタンスに還元する。
• 初期仮定に依存せずに解のサイズギャップを拡大する、新しい還元を用いる。これは、先行研究がAGコードに依存するのとは対照的である。
• ガジェットを用いて、元の set cover インスタンスを、ユニバースサイズ |U′| = |U|hk · |S|O(1) および時間計算量 |U|hk · |S|O(1) を持つ新しいインスタンスに変換する。
• ガジェットの構造を活用し、元のインスタンスに k サイズの解がない場合、新しいユニバースをカバーする任意の解はサイズ > h でなければならないことを示す。
• 還元が定数深さ回路で計算可能であることを活用し、Rossman の k-クリーク検出結果を用いて下界を導出する。

実験結果

リサーチクエスチョン

• RQ1 SETH の下で、パrameterized set cover の不近似要因を (log n)^{1/poly(k)} よりも良くできるか？
• RQ2 AGコードのような重い道具に依存せず、set cover において大規模なギャップを生成する単純で基本的な還元は存在するか？
• RQ3 小さいユニバース集合を伴う set cover の難易度が、一般インスタンスの難易度を示唆するか？ これにより、不近似限界の証明が簡素化されるか？
• RQ4 還元の定数深さ回路構造が、FPT アルゴリズムに対するより強い下界を可能にするか？
• RQ5 同じ技術を用いて、W[1] ≠ FPT の下で、(log n)^{1/ϵ(k)}-近似 FPT アルゴリズムを除外できるか？

主な発見

• SETH を仮定すると、f(k)·N^{k−ϵ} 時間のアルゴリズムでは、opt ≤ k と opt > (1/(1+δ))·(log N/log log N)^{1/k} を任意の δ ∈ (0,1) に対して区別できない。
• 本稿は、先行研究の (log n)^{1/poly(k)} の境界を上回る著しく改善された不近似要因 (1−o(1))·k√(log n/log log n) を達成した。
• 還元は単純であり、(n,k)-一様集合のみを用い、先行研究で用いられたような複雑なAGコードを避ける。
• 還元は定数深さ回路で計算可能であり、これにより新たな下界が得られた：f(k)·n^{o(√k)} サイズの定数深さ回路では問題を解くことはできない。
• W[1] ≠ FPT を仮定すると、任意の無限大に計算可能な関数 ϵ に対して、f(k)·N^{O(1)}-時間の (log N)^{1/ϵ(k)}-近似 FPT アルゴリズムは除外される。
• この結果は、FPT-不近似限界を示すことが、小さいユニバース集合を伴う set cover の難易度を示すことに帰着できることを示唆し、全体の証明枠組みを簡素化する。