[논문 리뷰] Complexity of the Steiner Network Problem with Respect to the Number of Terminals

Eduard Eiben, Dušan Knop외 2명|arXiv (Cornell University)|2018. 02. 22.

Complexity and Algorithms in Graphs참고 문헌 16인용 수 2

한 줄 요약

이 논문은 종단점 수 |T|에 관하여 방향성 있는 스티너 네트워크(DSN) 문제의 매arameterized 복잡도에 대한 날카운 경계를 확립한다. 표면의 종수 g에 임bed된 그래프에 대해 f(R) · |V(G)|^{O(c_g · |T|)} 시간 내에 실행되는 알고리즘을 제시하며, 일반 그래프에 대해 f(R) · |V(G)|^{o(|T|^{2}/log|T|)} 알고리즘이 존재하지 않음을 증명한다(즉, 지수 시간 가설(ETH)이 성립하지 않는 한), 이는 DSN의 복잡도 지형도에서 오랫동안 열려있던 격차를 해결한다.

ABSTRACT

In the Directed Steiner Network problem we are given an arc-weighted digraph $G$, a set of terminals $T \subseteq V(G)$, and an (unweighted) directed request graph $R$ with $V(R)=T$. Our task is to output a subgraph $G' \subseteq G$ of the minimum cost such that there is a directed path from $s$ to $t$ in $G'$ for all $st \in A(R)$. It is known that the problem can be solved in time $|V(G)|^{O(|A(R)|)}$ [Feldman&Ruhl, SIAM J. Comput. 2006] and cannot be solved in time $|V(G)|^{o(|A(R)|)}$ even if $G$ is planar, unless Exponential-Time Hypothesis (ETH) fails [Chitnis et al., SODA 2014]. However, as this reduction (and other reductions showing hardness of the problem) only shows that the problem cannot be solved in time $|V(G)|^{o(|T|)}$ unless ETH fails, there is a significant gap in the complexity with respect to $|T|$ in the exponent. We show that Directed Steiner Network is solvable in time $f(R)\cdot |V(G)|^{O(c_g \cdot |T|)}$, where $c_g$ is a constant depending solely on the genus of $G$ and $f$ is a computable function. We complement this result by showing that there is no $f(R)\cdot |V(G)|^{o(|T|^2/ \log |T|)}$ algorithm for any function $f$ for the problem on general graphs, unless ETH fails.

연구 동기 및 목표

• 종단점 수 |T|에 관하여 알려진 DSN 문제의 복잡도 경계 간 격차를 메우기.
• 기존의 |V(G)|^{O(|A(R)|)} 상한에 비해 더 빠른 알고리즘이 존재하는지 여부를 규명하기.
• 일반 그래프에 대한 DSN 알고리즘의 실행 시간에 대한 날카운 하한을 설정하기.
• 특히 종수에 의한 그래프 위상의 DSN의 타당성에 미치는 영향을 탐색하기.

제안 방법

• 해결책의 구조와 비용 제약 조건을 유지하는 파라미터화된 집합 커버 문제(PSI)에서 DSN으로의 새로운 감소를 설계한다.
• DSN의 해가 원래 PSI 인스턴스의 해에 대응하도록, 방향성 있는 호스트 그래프 G′과 요청 그래프 R을 구성한다.
• DSN 구축 과정에서 엄격한 예산 관리 메커니즘을 사용하여, PSI에 대한 유효한 해만이 낮은 비용의 DSN 해를 유도하도록 보장한다.
• 구축된 DSN 인스턴스 내 경로의 구조를 분석하여 H에서 G로의 일대일 대응 및 간선 유지 사상 조건을 강제한다.
• 지수 시간 가설(ETH)을 적용하여, 더 빠른 DSN 알고리즘이 존재할 경우 PSI에 대한 더 빠른 알고리즘이 존재함을 보여, 하한을 도출한다.
• 위상적 그래프 이론을 활용하여, 종수가 유한한 g인 그래프에 대해 DSN이 f(R) · |V(G)|^{O(c_g · |T|)} 시간 내에 해결될 수 있음을 보여준다.

실험 결과

연구 질문

• RQ1 종단점 수 |T|에 관하여 방향성 있는 스티너 네트워크 문제의 복잡도를 더욱 날카롭게 만들 수 있는가?
• RQ2 일반 그래프에서 |V(G)|^{o(|T|²/log|T|)} 시간 내에 DSN을 해결할 수 있는 기본적인 장벽이 존재하는가?
• RQ3 호스트 그래프의 종수가 DSN의 타당성에 영향을 미치는가? 만약 그렇다면, 어떻게 영향을 미치는가?
• RQ4 요청 그래프가 특정한 구조를 가질 경우, 기존의 |V(G)|^{O(|A(R)|)} 상한을 향상시킬 수 있는가?
• RQ5 유한 종수 그래프에 대한 DSN의 현재 상한이 점근적으로 최적인가?

주요 결과

• 표면의 종수가 g인 그래프에 대해 DSN 문제는 f(R) · |V(G)|^{O(c_g · |T|)} 시간 내에 해결 가능하며, 여기서 c_g는 오직 g에 의존하는 상수이다.
• 지수 시간 가설(ETH)이 성립하지 않는 한, 일반 그래프에 대해 f(R) · |V(G)|^{o(|T|²/log|T|)} 알고리즘이 존재하지 않는다.
• 하한 구축이 날카롭게 이루어져, ETH 하에서 지수 |T|²/log|T|가 점근적으로 최적임을 보여준다.
• PSI에서 DSN으로의 감소는 해결책의 비용과 구조를 유지하므로, 정확성과 하한의 날카로움을 보장한다.
• 고정된 미니어를 배제하는 그래프에 대해서는 n^{O(|T|^{3/2})} 알고리즘이 존재하지만, 이 클래스에서 n^{O(|T|)} 알고리즘이 존재하는지는 여전히 열려있다.
• 논문은 하한과 상한이 로그 인자 수준에서 일치함을 보여, DSN의 복잡도에서 중요한 격차를 메웠다.