[논문 리뷰] Improved Approximation for Node-Disjoint Paths in Planar Graphs

Julia Chuzhoy, David H. K. Kim외 1명|arXiv (Cornell University)|2016. 03. 17.

Complexity and Algorithms in Graphs참고 문헌 13인용 수 7

한 줄 요약

이 논문은 평면 그래프에서 노드 분리 경로(NDP) 문제에 대한 첫 번째 근사 알고리즘을 제시하며, 오랫동안 유지되어 온 다중물류 흐름 해석의 $O(\sqrt{n})$ 장벽을 돌파한다. 새로운 선형 프ogramming 해석과 디스크 및 실린더 하위문제로의 구조적 분해를 도입함으로써 저자들은 $\tilde{O}(n^{9/19})$-근사값을 달성하며, 이는 이전의 경계보다 크게 향상되었고, 정수성 갭 제약을 우회하는 새로운 접근법을 보여준다.

ABSTRACT

We study the classical Node-Disjoint Paths (NDP) problem: given an $n$-vertex graph $G$ and a collection $M=\{(s_1,t_1),\ldots,(s_k,t_k)\}$ of pairs of vertices of $G$ called demand pairs, find a maximum-cardinality set of node-disjoint paths connecting the demand pairs. NDP is one of the most basic routing problems, that has been studied extensively. Despite this, there are still wide gaps in our understanding of its approximability: the best currently known upper bound of $O(\sqrt n)$ on its approximation ratio is achieved via a simple greedy algorithm, while the best current negative result shows that the problem does not have a better than $Ω(\log^{1/2-δ}n)$-approximation for any constant $δ$, under standard complexity assumptions. Even for planar graphs no better approximation algorithms are known, and to the best of our knowledge, the best negative bound is APX-hardness. Perhaps the biggest obstacle to obtaining better approximation algorithms for NDP is that most currently known approximation algorithms for this type of problems rely on the standard multicommodity flow relaxation, whose integrality gap is $Ω(\sqrt n)$ for NDP, even in planar graphs. In this paper, we break the barrier of $O(\sqrt n)$ on the approximability of the NDP problem in planar graphs and obtain an $ ilde O(n^{9/19})$-approximation. We introduce a new linear programming relaxation of the problem, and a number of new techniques, that we hope will be helpful in designing more powerful algorithms for this and related problems.

연구 동기 및 목표

• 평면 그래프에서 노드 분리 경로(NDP) 문제에 대한 $O(\sqrt{n})$ 근사 장벽을 극복하기 위해, 이는 광범위한 연구에도 불구하고 해결되지 않은 상태였다.
• 기본적인 다중물류 흐름 해석에서 기인하는 $\Omega(\sqrt{n})$ 정수성 갭을 피하는 새로운 선형 프로그래밍 해석을 개발하기 위해.
• 평면 NDP 인스턴스를 디스크와 실린더에서의 구조적 하위문제로 분해하는 새로운 알고리즘 프레임워크를 설계하여, 향상된 라우팅 보장을 가능하게 하기 위해.
• NDP-Planar에 대해 $O(\sqrt{n})$를 초월하는 증명 가능한 보다 우수한 근사 비율을 확립하기 위해, 네트워크 라우팅 및 근사 알고리즘 분야의 기술적 수준을 향상시키기 위해.
• 향후 평면 및 구조적 그래프 가족에서 NDP 및 관련 문제를 근사화하는 데 기초를 마련하기 위해.

제안 방법

• 저자들은 평면 그래프의 구조적 특성을 표준 다중물류 흐름을 초월하여 반영하는 NDP-Planar를 위한 새로운 선형 프로그래밍 해석을 도입한다.
• 표준 다중물류 흐름 해석에서 발생하는 $\Omega(\sqrt{n})$ 정수성 갭을 피하기 위해, 요구되는 쌍을 제어된 흐름 기여도를 가진 구성요소로 분할하는 정리에 기반해 입력 인스턴스를 잘 연결된 하위문제로 분해한다.
• 각 하위문제에 대해, 디스크와 실린더에서의 NDP에 대한 특화된 근사 알고리즘을 적용하며, 알려진 정확한 특성화와 효율적인 라우팅 알고리즘을 활용한다.
• 알고리즘은 유형-1 인스턴스(일부 상수 비율의 요구 쌍이 노드 분리 경로를 통해 라우팅될 수 있음)와 유형-2 인스턴스(큰 부분집합의 최적 해 값이 낮음)를 구분한다.
• 핵심 단계로, LP 설정에서 위반된 제약 조건을 반복적으로 식별하고, 흐름 분해 및 경로 선택을 통해 해를 정밀화한다.
• 최종 근사 보장은 유형-1 인스턴스에서의 라우팅 결과와 유형-2 인스턴스에서의 구조적 통찰을 조합함으로써 유도되며, 이는 $\Omega(\text{OPT}^{1/19}/\text{poly}\log n)$의 라우팅 하한을 기반으로 한다.

실험 결과

연구 질문

• RQ1 새로운 알고리즘 기법을 사용하여 평면 그래프에서 NDP의 $O(\sqrt{n})$ 근사 장벽을 돌파할 수 있는가?
• RQ2 기본적인 다중물류 흐름 해석에서 발생하는 $\Omega(\sqrt{n})$ 정수성 갭을 피하는 NDP-Planar를 위한 선형 프로그래밍 해석을 설계할 수 있는가?
• RQ3 디스크 및 실린더 하위문제로의 구조적 분해가 평면 그래프에서 향상된 라우팅 근사치를 가능하게 할 수 있는가?
• RQ4 NDP-Planar에 대해 달성 가능한 최고의 근사 비율은 무엇이며, $\tilde{O}(n^{9/19})$를 초월하여 향상시킬 수 있는가?
• RQ5 디스크와 실린더에서의 NDP 최적화 문제들은 NP-난이도인가, 아니면 다항식 이하의 근사 비율을 갖는가?

주요 결과

• 논문은 평면 그래프에서 노드 분리 경로 문제에 대해 $\tilde{O}(n^{9/19})$-근사값을 달성하며, 오랫동안 유지되어 온 $O(\sqrt{n})$ 장벽을 돌파한다.
• 알고리즘은 $\Omega\left(\frac{\mathsf{OPT}^{1/19}}{\operatorname{poly}\log n}\right)$의 요구 쌍을 효율적으로 라우팅하며, 최적 해에 대한 상대적인 해 품질에 대한 비자명한 하한을 제공한다.
• 새로운 LP 해석은 평면 그래프에서 표준 다중물류 흐름 해석이 앓는 $\Omega(\sqrt{n})$ 정수성 갭을 성공적으로 피한다.
• 잘 연결된 구성요소로의 구조적 분해는 최적 해가 흐름 값에 비해 작은 경우에도 인스턴스를 처리할 수 있게 하며, 제약 위반 탐지 및 정밀화를 가능하게 한다.
• NDP-Grid에 대한 $\tilde{O}(n^{1/4})$-근사값의 통찰을 일반화하여, 관련 라우팅 문제에 대한 알고리즘 향상의 길을 제시한다.
• 이 작업은 특히 디스크와 실린더와 같은 기하학적 및 위상적 구조를 활용함으로써, 평면 그래프에서의 근사 알고리즘 분야에 새로운 방향을 열어 놓는다.