[論文レビュー] The Parameterized Hardness of the k-Center Problem in Transportation Networks

Andreas Emil Feldmann, Dániel Marx|arXiv (Cornell University)|Feb 23, 2018

Advanced Graph Theory Research被引用数 6

ひとこと要約

この論文は、指数時間仮説（ETH）のもとで、k-中心問題が、k、高速道路次元h、幅径pでパラメータ化された場合でさえ、定数の倍数次元をもつ平面グラフ上でW[1]-困難であることを確立している。さらに、倍数次元dのグラフに対して、(k^k / ε^{O(kd)}) · n^{O(1)}時間で動作するパラメータ化された(1+ε)-近似アルゴリズムを提示しており、これはL_q距離空間に対する既存の結果を一般化している。

ABSTRACT

In this paper we study the hardness of the $k$-Center problem on inputs that model transportation networks. For the problem, a graph $G=(V,E)$ with edge lengths and an integer $k$ are given and a center set $C\\subseteq V$ needs to be chosen such that $|C|\\leq k$. The aim is to minimize the maximum distance of any vertex in the graph to the closest center. This problem arises in many applications of logistics, and thus it is natural to consider inputs that model transportation networks. Such inputs are often assumed to be planar graphs, low doubling metrics, or bounded highway dimension graphs. For each of these models, parameterized approximation algorithms have been shown to exist. We complement these results by proving that the $k$-Center problem is W[1]-hard on planar graphs of constant doubling dimension, where the parameter is the combination of the number of centers $k$, the highway dimension $h$, and the pathwidth $p$. Moreover, under the Exponential Time Hypothesis there is no $f(k,p,h)\\cdot n^{o(p+\\sqrt{k+h})}$ time algorithm for any computable function $f$. Thus it is unlikely that the optimum solution to $k$-Center can be found efficiently, even when assuming that the input graph abides to all of the above models for transportation networks at once! Additionally we give a simple parameterized $(1+\\varepsilon)$-approximation algorithm for inputs of doubling dimension $d$ with runtime $(k^k/\\varepsilon^{O(kd)})\\cdot n^{O(1)}$. This generalizes a previous result, which considered inputs in $D$-dimensional $L_q$ metrics.

研究の動機と目的

• 平面グラフ、低倍数次元距離、有界高速道路次元グラフといった現実的な輸送ネットワークモデルにおけるk-中心問題のパラメータ化された複雑性を調査すること。
• k、幅径p、高速道路次元hといった複合構造的パラメータを用いたk-中心問題に対して、効率的な固定パラメータ可 tractable (FPT) またはパラメータ化近似アルゴリズムが存在するかを特定すること。
• 輸送ネットワークをモデル化する構造的グラフクラスにおける、既存の肯定的結果（近似アルゴリズム）と否定的結果（困難性）のギャップを埋めること。
• L_q空間に対する既存の結果を一般化し、低倍数次元距離空間におけるk-中心問題のパラメータ化された(1+ε)-近似アルゴリズムを提供すること。

提案手法

• k-中心問題が定数倍数次元をもつ平面グラフ上でW[1]-困難であることを示すために、W[1]-困難な「接地木問題」（GT ≤）への帰着を用いる。
• κ = Θ(√k) であるサイズの袋をもつパス分解を構築することで、幅径が有界であることを保証する帰着を用いる。
• 指数時間仮説（ETH）を用いて、任意の計算可能関数fに対して、f(k,p,h) · n^{o(p+√(k+h))}時間でk-中心問題を解くアルゴリズムが存在しないことを示す。
• 最適半径ρを推測し、ερ/2-ネットYを計算し、Y上でブルートフォースで問題を解くことで(1+ε)-近似アルゴリズムを設計する。
• 倍数次元の性質を用いて、Y内の半径ρの任意のボールのサイズをε^{O(d)}点に制限し、|Y| ≤ k / ε^{O(d)}となるように保証する。
• ネットに基づくアプローチと、候補となるρ値に対する二分探索を組み合わせることで、最初に見つかった有効な解が(1+ε)-近似解であることを保証する。

実験結果

リサーチクエスチョン

• RQ1 定数倍数次元をもつ平面グラフにおいて、k、幅径p、高速道路次元hでパラメータ化されたk-中心問題は、固定パラメータ可 tractable か？
• RQ2 低倍数次元距離空間におけるk-中心問題に対して、効率的なパラメータ化近似スキームが存在するか？その依存関係はkとεにどのように依存するか？
• RQ3 指数時間仮説（ETH）は、組み合わせパラメータが有界な輸送ネットワークモデルにおけるk-中心問題の部分指数時間アルゴリズムを排除するか？
• RQ4 L_q距離空間における肯定的結果を、任意の低倍数次元距離空間に一般化できるか？
• RQ5 低倍数次元距離空間におけるk-中心問題の(1+ε)-近似の最良の可能なパラメータ化実行時間は何か？

主な発見

• k-中心問題は、k、幅径p、高速道路次元hという複合パラメータでパラメータ化された場合でさえ、定数倍数次元をもつ平面グラフ上ではW[1]-困難である。
• 指数時間仮説（ETH）のもとでは、任意の計算可能関数fに対して、f(k,p,h) · n^{o(p+√(k+h))}時間でk-中心問題を解くアルゴリズムは存在せず、3つの構造的パラメータがすべて有界であっても同様である。
• 倍数次元dのグラフにおいて、k-中心問題のパラメータ化された(1+ε)-近似アルゴリズムが存在し、実行時間は(k^k / ε^{O(kd)}) · n^{O(1)}である。
• アルゴリズムは最適半径ρを推測し、ερ/2-ネットYを計算し、Y上でブルートフォースで問題を解くことで動作する。倍数次元の性質を活用して|Y|を制限する。
• ネットY内の半径ρの任意のボールのサイズはε^{O(d)}点に制限され、これによりネットがブルートフォース探索に適した大きさに保たれる。
• すべての頂点がネットの点からερ/2以内にあり、すべての最適中心がネットの点からερ/2以内にあることを保証することで、最終的な解がすべての頂点を(1+ε)ρの範囲内にカバーする(1+ε)-近似解であることが保証される。