[논문 리뷰] Parameterized Approximation Algorithms for Directed Steiner Network Problems

Rajesh Chitnis, Andreas Emil Feldmann외 1명|arXiv (Cornell University)|2017. 07. 20.

Complexity and Algorithms in Graphs참고 문헌 67인용 수 4

한 줄 요약

이 논문은 이방향 평면 그래프에서의 Directed Steiner Network (DSN) 문제의 특수한 경우인 bi-DSN$_\text{Planar}$ 문제에 대해 매개변수 $k$에 대해 최적의 근사치를 갖는 매개변수화 근사 체계(PAS)를 제시한다. 또한 Gap-ETH 하에 Strongly Connected Steiner Subgraph (SCSS) 문제에 대해 날카로운 근사 불가능성 경계를 확립하여 $(2 - \varepsilon)$-근사치가 존재하지 않음을 보이며, 이는 bi-방향 그래프로 제한된 경우 SCSS가 FPT가 됨을 증명한다.

ABSTRACT

The Directed Steiner Network (DSN) problem takes as input a directed edge-weighted graph $G=(V,E)$ and a set $\mathcal{D}\subseteq V imes V$ of $k$ demand pairs. The aim is to compute the cheapest network $N\subseteq G$ for which there is an $s o t$ path for each $(s,t)\in\mathcal{D}$. It is known that this problem is notoriously hard as there is no $k^{1/4-o(1)}$-approximation algorithm under Gap-ETH, even when parametrizing the runtime by $k$ [Dinur & Manurangsi, ITCS 2018]. In light of this, we systematically study several special cases of DSN and determine their parameterized approximability for the parameter $k$. For the bi-DSN$_ ext{Planar}$ problem, the aim is to compute a solution $N\subseteq G$ whose cost is at most that of an optimum planar solution in a bidirected graph $G$, i.e., for every edge $uv$ of $G$ the reverse edge $vu$ exists and has the same weight. This problem is a generalization of several well-studied special cases. Our main result is that this problem admits a parameterized approximation scheme (PAS) for $k$. We also prove that our result is tight in the sense that (a) the runtime of our PAS cannot be significantly improved, and (b) it is unlikely that a PAS exists for any generalization of bi-DSN$_ ext{Planar}$, unless FPT=W[1]. One important special case of DSN is the Strongly Connected Steiner Subgraph (SCSS) problem, for which the solution network $N\subseteq G$ needs to strongly connect a given set of $k$ terminals. It has been observed before that for SCSS a parameterized $2$-approximation exists when parameterized by $k$ [Chitnis et al., IPEC 2013]. We give a tight inapproximability result by showing that for $k$ no parameterized $(2-\varepsilon)$-approximation algorithm exists under Gap-ETH. Additionally we show that when restricting the input of SCSS to bidirected graphs, the problem remains NP-hard but becomes FPT for $k$.

연구 동기 및 목표

• 매개변수 $k$에 대해 Directed Steiner Network (DSN) 문제의 매개변수화 근사 가능성에 대해 조사한다.
• 이방향 평면 그래프에서의 DSN 문제의 특수한 경우인 bi-DSN$_\text{Planar}$에 대해 매개변수화 근사 체계(PAS)가 존재하는지 확인한다.
• Gap-ETH 하에서 Strongly Connected Steiner Subgraph (SCSS) 문제에 대해 날카로운 근사 불가능성 경계를 확립한다.
• 특히 FPT가 되는지 여부를 포함해, bi-방향 그래프로 제한된 경우 SCSS의 매개변수화 복잡도를 탐색한다.

제안 방법

• 저자들은 bi-DSN$_\text{Planar}$의 평면성과 이방향 성격을 활용하여, 간선의 이중성과 평면성의 특성을 이용해 PAS를 구성하기 위한 새로운 동적 프로그래밍 접근법을 설계한다.
• Gap-ETH와 같은 복잡도 이론적 가정을 사용하여, SCSS 및 그 변종에 대해 근사 불가능성 하한을 증명하기 위해 갭 유도 감소 기법을 사용한다.
• bi-DSN$_\text{Planar}$에 대한 PAS의 런타임은 표준 복잡도 가정을 위반할 경우 향상될 수 없음을 보이며, 이는 런타임 측면에서 최적임을 의미한다.
• SCSS에 대해 $(2 - \varepsilon)$-근사치 알고리즘이 Gap-ETH 하에 존재하지 않음을 증명하여, 기존의 $2$-근사치가 날카로운 것으로 밝혀진다.
• SCSS 문제를 이방향 그래프의 변종으로 감소시키며, 이 제한 조건이 $k$에 대해 FPT가 되게 함을 증명한다. 이는 여전히 NP-난해하지만, 매개변수화된 복잡도에서 해결 가능함을 의미한다.
• 이론적 분석은 구조적 그래프 이론과 매개변수화 복잡도 기법을 융합하여 DSN 변종의 해법 경계를 분석한다.

실험 결과

연구 질문

• RQ1 매개변수 $k$에 대해 bi-DSN$_\text{Planar}$ 문제에 매개변수화 근사 체계(PAS)가 존재하는가?
• RQ2 bi-DSN$_\text{Planar}$에 대한 PAS의 런타임을 복잡도 가정을 위반하지 않고 크게 향상시킬 수 있는가?
• RQ3 FPT = W[1]가 성립하지 않는 한, bi-DSN$_\text{Planar}$의 일반화에 대해 PAS가 존재할 가능성이 낮은가?
• RQ4 Gap-ETH 하에 SCSS의 기존 $2$-근사치가 날카로운가?
• RQ5 이방향 그래프로 제한된 경우 SCSS는 고정 매개변수 트랙태블리티(FPT)를 갖는가?

주요 결과

• bi-DSN$_\text{Planar}$ 문제에 대해 매개변수화 근사 체계(PAS)가 존재하며, 임의의 $\varepsilon > 0$에 대해 시간 $f(k) \cdot n^{O(1)}$ 내에 $(1 + \varepsilon)$-근사해를 제공한다.
• bi-DSN$_\text{Planar}$에 대한 PAS의 런타임은 표준 복잡도 가정을 위반할 경우 향상될 수 없으며, 이는 런타임 측면에서 최적임을 의미한다.
• FPT = W[1]가 성립하지 않는 한, bi-DSN$_\text{Planar}$의 일반화에 대해 PAS가 존재할 가능성이 낮으며, 이는 매개변수화 근사에서 해법 경계에 해당함을 시사한다.
• Gap-ETH 하에 SCSS 문제에 대해 매개변수화 $(2 - \varepsilon)$-근사치 알고리즘이 존재하지 않으며, 이는 기존의 $2$-근사치가 날카로움을 증명한다.
• 이방향 그래프로 제한된 경우 SCSS 문제는 여전히 NP-난해하지만, $k$에 대해 고정 매개변수 트랙태블리티(FPT)가 된다.
• 결과적으로 날카로운 이원화가 확립된다: bi-DSN$_\text{Planar}$는 PAS를 갖지만 일반화된 경우는 그 가능성성이 낮으며, SCSS는 표준 가정 하에 날카로운 근사 불가능성 경계를 갖는다.