[논문 리뷰] Polynomial-time approximability of the k-Sink Location problem

Rémy Belmonte, Yuya Higashikawa외 2명|arXiv (Cornell University)|2015. 03. 10.

Advanced Graph Theory Research참고 문헌 11인용 수 6

한 줄 요약

이 논문은 비방향 그래프에서 k-싱크 위치 문제에 대해 전체 다항시간 근사법칙(FPTAS)을 제안하며, 고정된 모든 k에 대해 FPTAS-근사 가능함을 증명한다. 또한 k로 매개변수화했을 때 W[1]-난이도임을 규명하여 이 동적 네트워크 대피 문제의 계산 복잡도를 해결한다.

ABSTRACT

A dynamic network ${\cal N} = (G,c,τ,S)$ where $G=(V,E)$ is a graph, integers $τ(e)$ and $c(e)$ represent, for each edge $e\in E$, the time required to traverse edge $e$ and its nonnegative capacity, and the set $S\subseteq V$ is a set of sources. In the $k$-{\sc Sink Location} problem, one is given as input a dynamic network ${\cal N}$ where every source $u\in S$ is given a nonnegative supply value $σ(u)$. The task is then to find a set of sinks $X = \{x_1,\ldots,x_k\}$ in $G$ that minimizes the routing time of all supply to $X$. Note that, in the case where $G$ is an undirected graph, the optimal position of the sinks in $X$ needs not be at vertices, and can be located along edges. Hoppe and Tardos showed that, given an instance of $k$-{\sc Sink Location} and a set of $k$ vertices $X\subseteq V$, one can find an optimal routing scheme of all the supply in $G$ to $X$ in polynomial time, in the case where graph $G$ is directed. Note that when $G$ is directed, this suffices to obtain polynomial-time solvability of the $k$-{\sc Sink Location} problem, since any optimal position will be located at vertices of $G$. However, the computational complexity of the $k$-{\sc Sink Location} problem on general undirected graphs is still open. In this paper, we show that the $k$-{\sc Sink Location} problem admits a fully polynomial-time approximation scheme (FPTAS) for every fixed $k$, and that the problem is $W[1]$-hard when parameterized by $k$.

연구 동기 및 목표

• 일반적인 비방향 그래프에서 최적의 싱크 위치가 정점 뿐 아니라 간선 상에도 존재할 수 있는 k-싱크 위치 문제의 계산 복잡도를 규명하기 위해.
• 모든 고정된 k에 대해 문제에 전체 다항시간 근사법칙(FPTAS)이 존재하는지 확인하기 위해.
• k를 매개변수로 사용했을 때 문제의 매개변수화된 복잡도를 조사하며, 특히 W[1]-난이도 측면에서 분석하기 위해.
• 유향 그래프의 다항시간 해법과 비방향 그래프의 개방된 복잡도 상태 사이의 격차를 메우기 위해.

제안 방법

• 각 간선을 길이가 최대 ε·τ(e)인 세그먼트로 나누어 후보 싱크 위치의 유한 집합을 생성함으로써, 기반에 기반한 FPTAS를 제안한다.
• 최적의 싱크 위치를 근사하기 위해 라운딩 기법을 사용하여, 라우팅 시간이 최대 (1+ε) 배로 증가하도록 보장한다.
• 임의의 최적의 싱크 위치 x로의 라우팅을 근처의 후보 위치 x′로 재라우팅할 수 있음을 보여주는 변환 논증을 적용한다. 이 경우 지연 시간은 최대 τ(e)/2 이하이다.
• 모든 간선 e에 대해, 인접한 후보 위치 간의 거리는 최대 ε·τ(e) 이므로, (1+ε)-근사가 가능하다는 것을 증명한다.
• k-히팅 세트 문제를 k-싱크 위치 문제로 감소시켜 W[1]-난이도를 증명한다. 이 경우 U의 정점들은 잠재적 싱크를, X의 집합들은 공급원을 나타낸다.
• 단위 용량과 단위 전이 시간을 갖는 구성된 그래프에서, 모든 공급량이 시간 1 이내에 대피될 수 있음은 크기가 k인 히팅 세트가 존재할 조건과 동치임을 보여준다.

실험 결과

연구 질문

• RQ1 모든 고정된 k에 대해, 비방향 그래프에서 k-싱크 위치 문제는 다항시간 내에 어떤 (1+ε) 요인으로 근사 가능할 수 있는가?
• RQ2 모든 간선이 단위 용량과 단위 전이 시간을 갖는 조건 하에서도, k로 매개변수화했을 때 k-싱크 위치 문제는 W[1]-난이도인가?
• RQ3 유향 그래프의 다항시간 알고리즘이 존재한다는 사실이, 최적의 싱크 위치가 정점 뿐 아니라 간선 상에도 존재할 수 있다는 점을 고려할 때, 비방향 그래프의 문제 해결 가능성에 영향을 주는가?
• RQ4 k로 매개변수화했을 때, f(k)·poly(n,1/ε) 시간 내에 (1+ε)-근사 비율로 문제를 해결할 수 있는가?
• RQ5 유향 그래프와 비방향 그래프 사이의 구조적 차이는 무엇이며, 이로 인해 비방향 그래프의 경우 라우팅 제약 조건이 유사함에도 불구하고 계산적으로 더 어려운가?

주요 결과

• 모든 고정된 k에 대해 일반적인 비방향 그래프에서 k-싱크 위치 문제는 전체 다항시간 근사법칙(FPTAS)을 갖는다.
• FPTAS는 n과 1/ε에 대해 다항시간 내에 (1+ε)-근사를 달성하며, 근사 비율은 k에 영향을 받지 않는다.
• 모든 간선이 단위 용량과 단위 전이 시간을 갖는 조건 하에서도, k로 매개변수화했을 때 문제는 W[1]-난이도이다.
• k-히팅 세트 문제로부터의 감소를 통해 W[1]-난이도가 증명되었으며, 이는 강한 제약 조건 하에서도 문제의 계산 난이도가 여전히 높음을 보여준다.
• 비방향 그래프에서 최적의 싱크 위치는 정점 뿐 아니라 간선 상에도 존재할 수 있어, 이는 탐색 공간을 복잡하게 만들며, 직접적으로 유향 그래프 기법을 적용할 수 없게 한다.
• 근사 방법은 ε·τ(e) 비례하는 해상도로 간선 세그먼트를 이산화함으로써 기반을 두며, 이는 라우팅 시간의 오차를 제한한다.