[논문 리뷰] The Parameterized Hardness of the k-Center Problem in Transportation Networks

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

Advanced Graph Theory Research인용 수 6

한 줄 요약

이 논문은 이론적 교통망 모델에서 k-Center 문제의 W[1]-경건성과 관련하여, 지오메트릭 구조적 매개변수인 k, 경로 폭 p, 고속도로 차원 h를 동시에 고려할 때, 지수 시간 가설(ETH) 하에 평면 그래프에서 상수인 이중화 차원을 가진 그래프에서도 k-Center 문제가 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-Center 문제의 매개변수화된 복잡도를 조사하는 것.
• k, 경로 폭 p, 고속도로 차원 h와 같은 복합적인 구조적 매개변수를 기반으로 k-Center 문제에 대해 효율적인 고정 매개변수 가능(FPT) 또는 매개변수화된 근사 알고리즘이 존재하는지 판단하는 것.
• 교통망을 모델링하는 구조적 그래프 클래스에서 기존의 긍정적 결과(근사 알고리즘)와 부정적 결과(경건성) 사이의 격차를 메우는 것.
• 이중화 차원이 낮은 거리 공간에서 k-Center 문제에 대해 매개변수화된 (1+ε)-근사 알고리즘을 제공함으로써 이전의 L_q 공간 결과를 일반화하는 것.

제안 방법

• 상수 이중화 차원을 갖는 평면 그래프에서 k-Center 문제의 W[1]-경건성을 입증하기 위해, W[1]-경건한 Grounded Tree (GT ≤) 문제로의 감소를 수행한다.
• κ = Θ(√k)인 경우에 대해 크기가 O(κ)인 백의 경로 분해를 구성함으로써 경로 폭이 유한하게 유지됨을 보장한다.
• 지수 시간 가설(ETH)을 적용하여, 모든 계산 가능한 f에 대해 f(k,p,h) · n^{o(p+√(k+h))} 시간 내에 작동하는 알고리즘이 존재하지 않음을 규명한다.
• 최적 반경 ρ를 추측하고, ερ/2-넷 Y를 계산하며, 브루트 포스로 Y 위에서 문제를 해결함으로써 (1+ε)-근사 알고리즘을 설계한다.
• 이중화 차원 성질을 활용하여, 넷 Y 내의 반경 ρ인 임의의 공의 크기를 ε^{O(d)}개 이내로 제한함으로써 |Y| ≤ k / ε^{O(d)}를 확보한다.
• 넷 기반 접근법과 후보 ρ 값에 대한 이진 탐색을 조합하여, 첫 번째 유효한 해를 찾을 경우 (1+ε)-근사 해를 보장한다.

실험 결과

연구 질문

• RQ1 상수 이중화 차원을 갖는 평면 그래프에서 k, 경로 폭 p, 고속도로 차원 h를 동시에 매개변수로 삼을 때 k-Center 문제가 고정 매개변수 가능한가?
• RQ2 낮은 이중화 거리 공간에서 k-Center에 대해 효율적인 매개변수화된 근사 스킴이 존재할 수 있으며, 그 종속성은 k와 ε에 대해 어떻게 되는가?
• RQ3 지수 시간 가설(ETH)은 복합 매개변수를 갖는 교통망 모델에서 k-Center 문제에 대해 지수 시간 이하의 알고리즘 존재를 배제하는가?
• RQ4 L_q 공간에서의 긍정적 결과를 일반적인 낮은 이중화 거리 공간으로 일반화할 수 있는가?
• RQ5 낮은 이중화 거리 공간에서 k-Center 문제에 대해 (1+ε)-근사 해를 얻는 데 있어 가능한 가장 날카로운 매개변수화된 실행 시간은 무엇인가?

주요 결과

• k-Center 문제의 경우, 조합 매개변수 k, 경로 폭 p, 고속도로 차원 h를 기반으로 하더라도, 상수 이중화 차원을 갖는 평면 그래프에서조차 W[1]-경건하다.
• 지수 시간 가설(ETH) 하에, 모든 계산 가능한 함수 f에 대해 f(k,p,h) · n^{o(p+√(k+h))} 시간 내에 k-Center 문제를 해결할 수 있는 알고리즘이 존재하지 않으며, 이는 세 구조적 매개변수가 모두 유한한 경우에도 마찬가지다.
• 이중화 차원 d를 갖는 그래프에서 k-Center 문제에 대해 매개변수화된 (1+ε)-근사 알고리즘이 존재하며, 실행 시간은 (k^k / ε^{O(kd)}) · n^{O(1)}이다.
• 알고리즘은 최적 반경 ρ를 추측하고, ερ/2-넷 Y를 계산하며, Y 위에서 브루트 포스로 문제를 해결함으로써 작동하며, 이중화 성질을 활용하여 |Y|를 제한한다.
• 넷 Y 내의 반경 ρ인 임의의 공의 크기는 ε^{O(d)}개 이내로 제한되며, 이는 넷이 효율적인 브루트 포스 탐색에 적합하도록 보장한다.
• 모든 정점이 넷의 한 점으로부터 ερ/2 이내에 있고, 모든 최적 중심이 넷의 한 점으로부터 ερ/2 이내에 있기 때문에, 알고리즘이 (1+ε)ρ 이내의 반경으로 모든 정점을 커버함을 보장한다.