[논문 리뷰] Approximating Directed Steiner Problems via Tree Embedding

Rothvoß, Thomas|arXiv (Cornell University)|2011. 11. 23.

Complexity and Algorithms in Graphs참고 문헌 39인용 수 33

한 줄 요약

이 논문은 흐름 기반 선형계획법(선형계획) 근사화의 O(ℓ)-라운드 라서레 계층 강화를 통해 방향성 스패닝 트리(DST) 문제에 대해 다항시간 |X|ε-근사 알고리즘을 제시한다. 이는 ℓ-레벨 비순환 그래프에서 O(ℓ log |X|)의 정수화 갭을 달성하며, 경로 샘플링 기반의 새로운 랜덤화 라운딩 기법과 경로 커버리지의 확률적 분석을 통해 O(log³|X|) 근사도를 달성한다. 이는 최고의 알려진 그레디 알고리즘 성능과 동일하며, 시간 복잡도는 n^{O(log|X|)}이다.

ABSTRACT

Directed Steiner problems are fundamental problems in Combinatorial Optimization and Theoretical Computer Science. An important problem in this genre is the k-edge connected directed Steiner tree (k-DST) problem. In this problem, we are given a directed graph G on n vertices with edge-costs, a root vertex r, a set of h terminals T and an integer k. The goal is to find a min-cost subgraph H subseteq G that connects r to each terminal t in T by k edge-disjoint r, t-paths. This problem includes as special cases the well-known directed Steiner tree (DST) problem (the case k=1) and the group Steiner tree (GST) problem. Despite having been studied and mentioned many times in literature, e.g., by Feldman et al. [SODA'09, JCSS'12], by Cheriyan et al. [SODA'12, TALG'14], by Laekhanukit [SODA'14] and in a survey by Kortsarz and Nutov [Handbook of Approximation Algorithms and Metaheuristics], there was no known non-trivial approximation algorithm for k-DST for k >= 2 even in a special case that an input graph is directed acyclic and has a constant number of layers. If an input graph is not acyclic, the complexity status of k-DST is not known even for a very strict special case that k=2 and h=2. In this paper, we make a progress toward developing a non-trivial approximation algorithm for k-DST. We present an O(D*k^{D-1}*log(n))-approximation algorithm for k-DST on directed acyclic graphs (DAGs) with D layers, which can be extended to a special case of k-DST on "general graphs" when an instance has a D-shallow optimal solution, i.e., there exist k edge-disjoint r, t-paths, each of length at most D, for every terminal t in T. For the case k=1 (DST), our algorithm yields an approximation ratio of O(D*log(h)), thus implying an O(log^3(h))-approximation algorithm for DST that runs in quasi-polynomial-time (due to the height-reduction of Zelikovsky [Algorithmica'97]). Our algorithm is based on an LP-formulation that allows us to embed a solution to a tree-instance of GST, which does not preserve connectivity. We show, however, that one can randomly extract a solution of k-DST from the tree-instance of GST. Our algorithm is almost tight when k and D are constants since the case that k=1 and D=3 is NP-hard to approximate to within a factor of O(log(h)), and our algorithm archives the same approximation ratio for this special case. We also remark that the k^{1/4-epsilon}-hardness instance of k-DST is a DAG with 6 layers, and our algorithm gives O(k^5*log(n))-approximation for this special case. Consequently, as our algorithm works for general graphs, we obtain an O(D*k^{D-1}*log(n))-approximation algorithm for a D-shallow instance of the k edge-connected directed Steiner subgraph problem, where we wish to connect every pair of terminals by k edgedisjoint paths.

연구 동기 및 목표

• 방향성 스패닝 트리(DST) 문제의 자연스러운 선형계획법 근사화에서 발생하는 높은 정수화 갭 문제를 해결하기 위해, 이는 5레벨일지라도 Ω(√|X|)에 이르기까지 발생한다.
• 라서레 계층과 같은 더 강력한 선형계획법/정수계획법 계층이 이 갭을 크게 줄일 수 있고, 더 나은 근사 보증을 제공할 수 있는지 탐색한다.
• 최고의 알려진 그레디 알고리즘(예: Charikar 등이 제안한 O(log³|X|) 근사도)과 동등하거나 이를 향상시키는 다항시간 근사 알고리즘을 제시한다.
• O(ℓ)-라운드 라서레 강화가 ℓ-레벨 비순환 그래프에서 O(ℓ log |X|)의 정수화 갭을 유도함을 보여주며, 이는 DST의 핵심 구조적 설정임을 확인한다.
• 라서레 근사화와 효과적인 확률적 경로 샘플링 기반의 라운딩 간의 연결 고리를 설정하며, 해의 볼록 조합 표현을 활용한다.

제안 방법

• 경로 P에 대한 변수 yP와 간선 용량에 대한 변수 y{e}를 포함한 흐름 기반 선형계획법 근사화를 DST에 적용한다.
• O(ℓ)-라운드 라서레 계층을 적용하여 선형계획법을 강화함으로써, 크기가 ≤ ℓ인 집합 위에서 정수해의 볼록 조합인 해 Y를 생성한다.
• 라서레 분해 정리와 선형계획법 제약 조건을 이용해, 경로 변수 yP가 P가 유효한 r-s 경로일 때에만 1이 되는 것을 증명한다.
• 각 경로 T를 yP 비례 확률로 독립적으로 샘플링하는 랜덤화 라운딩 기법을 설계함으로써, 종단점 연결성을 확보한다. 이때 E[Z] = 1이 되도록 한다.
• 각 노드당 샘플된 경로의 기대 수를 O(n) 이하로 제한하고, 각 샘플에 대한 라서레 질의 횟수를 O(n²) 이하로 제한함으로써 다항시간 오라클 접근성을 확보한다.
• 제이슨 유형 부등식과 조건부 기대값 한계를 사용하여, 종단점 s를 커버하는 경로 수 Z에 대해 Pr[Z ≥ 1] ≥ 1/(ℓ + 1)임을 증명함으로써, 일정한 연결 확률을 보장한다.

실험 결과

연구 질문

• RQ1 O(ℓ)-라운드 라서레 계층이 ℓ-레벨 비순환 그래프에서 DST 문제의 자연스러운 선형계획법 근사화의 정수화 갭을 줄일 수 있는가?
• RQ2 라서레 계층이 다항시간 근사 알고리즘을 가능하게 하여, 최고의 알려진 그레디 알고리즘 수준의 근사 비율을 달성할 수 있는가?
• RQ3 라서레 기반 경로 샘플링 기법 하에서 종단점의 기대 연결 확률은 얼마이며, 이를 일정 수준 이상으로 하한을 정할 수 있는가?
• RQ4 분해 정리에 의존하는 점을 감안할 때, 라서레 계층이 Sherali-Adams나 Lovász-Schrijver와 같은 더 약한 계층보다 엄밀히 강력한가?
• RQ5 지수 수준의 변수가 존재하더라도, 개별 라서레 항목 yP를 반환하는 다항시간 오라클을 사용해 알고리즘을 효율적으로 구현할 수 있는가?

주요 결과

• 흐름 기반 선형계획법에 대한 O(ℓ)-라운드 라서레 강화는 ℓ-레벨 비순환 그래프에서 O(ℓ log |X|)의 정수화 갭을 달성한다.
• 임의의 상수 ε > 0에 대해, ℓ = log|X|로 설정함으로써 다항시간 |X|ε-근사 알고리즘을 도출할 수 있다.
• 알고리즘은 시간 복잡도 n^{O(log|X|)} 내에서 O(log³|X|) 근사도를 달성하며, 이는 Charikar 등이 제안한 그레디 알고리즘의 최고 성능과 동일한 시간-근사도 트레이드오프를 보인다.
• 랜덤화 라운딩 기법은 각 종단점이 최소 1/(ℓ + 1)의 확률로 연결됨을 보장하며, 해의 기대 비용은 선형계획법 값의 O(ℓ log |X|) 배 이하이다.
• 라서레 질의 횟수와 실행 시간의 기대값은 모두 n에 대해 다항식이며, 개별 경로 변수 yP에 대한 오라클 접근을 가정할 경우 성립한다.
• 결과는 라서레 분해 정리에 의해 결정적으로 의존하며, 이는 Sherali-Adams와 같은 더 약한 계층에서는 성립하지 않으므로, 성능 측면에서의 분리 가능성에 대한 시사를 제공한다.