[논문 리뷰] Improved Approximation for Node-Disjoint Paths in Grids with Sources on the Boundary

Julia Chuzhoy, David H. K. Kim외 1명|arXiv (Cornell University)|2018. 05. 24.

Complexity and Algorithms in Graphs인용 수 4

한 줄 요약

이 논문은 모든 소스 정점이 격자 경계에 위치한 격자 그래프에서 노드 분리 경로(NDP) 문제에 대해 $2^{O(\sqrt{\log n} \cdot \log\log n)}$의 근사 비율을 달성하는 랜덤화된 근사 알고리즘을 제시한다. 표준 다중물류 흐름 이론적 접근법에서 벗어나, 쌍을 선택하는 데만 새로운 선형 프로그래밍을 사용하고, 기하학적 기법과 동적 프로그래밍을 적용하여 경계에 맞춰진 열과 행을 통해 경로를 라우팅함으로써, $\Omega(\sqrt{n})$의 정수화 갭을 효과적으로 회피한다.

ABSTRACT

We study the classical Node-Disjoint Paths (NDP) problem: given an undirected $n$-vertex graph G, together with a set {(s_1,t_1),...,(s_k,t_k)} of pairs of its vertices, called source-destination, or demand pairs, find a maximum-cardinality set of mutually node-disjoint paths that connect the demand pairs. The best current approximation for the problem is achieved by a simple greedy $O(\\sqrt{n})$-approximation algorithm. A special case of the problem called NDP-Grid, where the underlying graph is a grid, has been studied extensively. The best current approximation algorithm for NDP-Grid achieves an $\ ilde{O}(n^{1/4})$-approximation factor. On the negative side, a recent result by the authors shows that NDP is hard to approximate to within factor $2^{\\Omega(\\sqrt{\\log n})}$, even if the underlying graph is a sub-graph of a grid, and all source vertices lie on the grid boundary. In a follow-up work, the authors further show that NDP-Grid is hard to approximate to within factor $\\Omega(2^{\\log^{1-\\epsilon}n})$ for any constant $\\epsilon$ under standard complexity assumptions, and to within factor $n^{\\Omega(1/(\\log\\log n)^2)}$ under randomized ETH. In this paper we study NDP-Grid, where all source vertices {s_1,...,s_k} appear on the grid boundary. Our main result is an efficient randomized $2^{O(\\sqrt{\\log n} \\cdot \\log\\log n)}$-approximation algorithm for this problem. We generalize this result to instances where the source vertices lie within a prescribed distance from the grid boundary. Much of the work on approximation algorithms for NDP relies on the multicommodity flow relaxation of the problem, which is known to have an $\\Omega(\\sqrt n)$ integrality gap, even in grid graphs. Our work departs from this paradigm, and uses a (completely different) linear program only to select the pairs to be routed, while the routing itself is computed by other methods.

연구 동기 및 목표

• 모든 소스 정점이 격자 경계에 위치한 격자 그래프에서 노드 분리 경로(NDP) 문제에 대해 더 나은 근사 알고리즘을 설계하기.
• 경계 소스를 가진 격자 그래프에서 표준 다중물류 흐름 이론적 접근의 $\Omega(\sqrt{n})$ 정수화 갭을 극복하기.
• 강력한 난이도 결과를 고려할 때, 이전의 $\tilde{O}(n^{1/4})$ bound보다 훨씬 우수한 근사 비율을 달성하기.
• 유량 기반 반올림에 의존하지 않고, 기하학적 구조—특히 격자 경계의 간격과 열/행 기반 경로—를 활용하는 라우팅 프레임워크 개발하기.

제안 방법

• 표준 다중물류 흐름 이론적 접근에 의존하지 않도록, 단지 어떤 요구 쌍을 라우팅할지를 선택하는 데만 선형 프로그래밍을 사용한다.
• 선택된 쌍은 격자 경계의 간격으로 매핑되며, 중첩 구조에 따라 수준으로 분할되고, 격자 내에서 전용 열 또는 행을 통해 라우팅된다.
• 왼쪽, 오른쪽, 상단 간격은 격자의 왼쪽에 있는 수직 열과 격자의 위에 있는 수평 행을 이용해 라우팅되며, 노드 분리성을 보장하기 위해 이용 가능한 공간을 활용한다.
• 남은 쌍들은 이미 사용된 정점을 제외한 수정된 그래프 위에 구성된 유량 네트워크를 통해 라우팅되며, 최대 유량 최소 컷 정리에 의해 정수 라우팅이 보장된다.
• 동적 프로그래밍과 간격 중첩 성질을 활용해, 다양한 수준의 간격에 경로를 효율적으로 할당한다.
• 최종 라우팅은 서로 다른 간격 유형과 수준에서 유도된 경로가 교차하지 않음을 보장함으로써, 격자의 기하학적 배치를 활용해 노드 분리성을 검증한다.

실험 결과

연구 질문

• RQ1 경계에 위치한 소스를 가진 격자 그래프에서 NDP의 근사 비율을 $\tilde{O}(n^{1/4})$ 이론을 초월해 향상시킬 수 있는가?
• RQ2 이 특수 케이스에서 다중물류 흐름 이론적 접근의 $\Omega(\sqrt{n})$ 정수화 갭을 회피할 수 있는가?
• RQ3 경계 제약이 있는 격자 그래프의 어떤 구조적 성질을 활용해 더 나은 근사 알고리즘을 설계할 수 있는가?
• RQ4 간격 중첩과 기하학적 배치는 어떻게 활용해 유량 기반 반올림에 의존하지 않고 경로를 라우팅할 수 있는가?

주요 결과

• 논문은 모든 소스 정점이 경계에 위치한 격자 그래프에서 NDP에 대해 $2^{O(\sqrt{\log n} \cdot \log\log n)}$의 근사 비율을 달성하여, 이전의 $\tilde{O}(n^{1/4})$ 이론을 향상시켰다.
• 알고리즘은 쌍 선택과 라우팅을 분리함으로써 다중물류 흐름 이론적 접근의 $\Omega(\sqrt{n})$ 정수화 갭을 성공적으로 회피하였다.
• 레벨 기반 간격 분해와 전용 열/행을 이용한 라우팅 전략은 노드 분리 경로를 보장하며, 상단, 왼쪽, 오른쪽 간격에 대한 경로는 격자의 서로 다른 영역을 통해 라우팅된다.
• 이 방법은 소스가 경계로부터 일정 거리 이내에 위치한 경우에도 일반화되며, 동일한 근사 비율을 유지한다.
• 알고리즘은 랜덤화되어 있으며 다항식 시간 내에 실행되며, 경계 소스 설정에서 이전 방법에 비해 상당한 개선을 이룬다.
• 결과는 거의 최적에 가깝다. 논문은 이러한 격자에서 NDP가 $2^{\Omega(\sqrt{\log n})}$ 이내로는 근사가 불가능하다고 보여주며, 새로운 근사 비율이 거의 최적임을 시사한다.