[논문 리뷰] Network Design Problems with Bounded Distances via Shallow-Light Steiner Trees

Markus Chimani, Joachim Spoerhase|arXiv (Cornell University)|2014. 09. 23.

VLSI and FPGA Design Techniques인용 수 5

한 줄 요약

이 논문은 방향 그래프에서 세 가지 NP-난이도 네트워크 설계 문제에 대해 처음으로 비지류 근사 알고리즘을 제안한다: 유한한 쌍별 거리 제약이 있는 네트워크 설계, 방향 얕은-빛 스티너 트리, 경량 방향 α-스펜서. 이는 새로운 이단계 접근법을 통해 선형계획법 절차와 재귀적 트리 구축을 융합함으로써, 비용과 스트레치 사이의 개선된 트레이드오프를 달성하며, 거리 제약을 약간 위반함으로써, 이전에 가능하지 않았던 더 나은 근사 비율을 달성한다. 유한한 거리 제약이 있는 네트워크 설계 문제에 대해 (2+ε, O(n^{0.5+ε}))-근사, 얕은-빛 스티너 트리 문제에 대해 (1+ε, |R|^ε)-근사 달성.

ABSTRACT

In a directed graph $G$ with non-correlated edge lengths and costs, the \emph{network design problem with bounded distances} asks for a cost-minimal spanning subgraph subject to a length bound for all node pairs. We give a bi-criteria $(2+\varepsilon,O(n^{0.5+\varepsilon}))$-approximation for this problem. This improves on the currently best known linear approximation bound, at the cost of violating the distance bound by a factor of at most~$2+\varepsilon$. In the course of proving this result, the related problem of \emph{directed shallow-light Steiner trees} arises as a subproblem. In the context of directed graphs, approximations to this problem have been elusive. We present the first non-trivial result by proposing a $(1+\varepsilon,O(|R|^{\varepsilon}))$-ap\-proxi\-ma\-tion, where $R$ are the terminals. Finally, we show how to apply our results to obtain an $(α+\varepsilon,O(n^{0.5+\varepsilon}))$-approximation for \emph{light-weight directed $α$-spanners}. For this, no non-trivial approximation algorithm has been known before. All running times depends on $n$ and $\varepsilon$ and are polynomial in $n$ for any fixed $\varepsilon>0$.

연구 동기 및 목표

• 이전에 선형 근사 비율 외에 알려진 바가 없던, 쌍별 거리가 제한된 방향 네트워크 설계 문제에 대한 효율적인 근사 알고리즘 설계라는 오랜 미해결 문제를 해결하기 위해.
• 이론적 및 실용적 중요성이 높지만, 이전까지는 효과적인 해결책이 알려져 있지 않았던, 방향 얕은-빛 스티너 트리 문제에 대한 첫 번째 비지류 근사 알고리즘 제공.
• 이러한 결과를 이전에 알려진 비지류 근사 알고리즘이 없는 문제로 확장: 경량 방향 α-스펜서 문제.
• 거리 제약을 약간, 그러나 유한하게 위반함으로써 비용과 스트레치 사이의 개선된 트레이드오프를 달성함으로써, 이전에 가능하지 않았던 더 나은 근사 비율 확보.

제안 방법

• 노드 쌍을 '박한' 또는 '두꺼운'으로 분류하는 두 단계 알고리즘 프레임워크를 사용하며, 이는 잠재적 최단경로 부분그래프의 크기에 기반한다.
• 박한 쌍의 경우, 필요한 컷을 커버하기 위해 선형계획법 절차를 사용하여 최소 비용으로 거리 제약을 충족시킨다.
• 두꺼운 쌍의 경우, O(√n log n)개의 노드를 샘플링하고, 각 샘플된 노드를 루트로 하는 얕은-빛 들어오기 트리와 나가기 트리를 구성하여 장거리 연결을 커버한다.
• 동적 프로그래밍을 수준 기반으로 사용하여, 비용을 최소화하면서 길이 제약을 충족시키는 근사적 얕은-빛 스티너 트리를 계산하기 위한 재귀적 절차를 설계한다.
• 최단경로 계산을 위한 완전 다항시간 근사체계(FPTAS)를 활용하고, 이를 계층적 트리 구축 과정에 통합하여 비용과 스트레치를 제한한다.
• 최종 해는 여러 개의 얕은-빛 트리를 조합하고, 확률적 추론을 통해 두꺼운 쌍이 스트레치 위반 조건 하에서도 높은 확률로 커버됨을 보여준다.

실험 결과

연구 질문

• RQ1 쌍별 거리가 제한된 방향 네트워크 설계 문제에 대해, 기존의 최선의 선형 근사 비율을 초월하는 비지류 근사가 달성 가능한가?
• RQ2 이론적으로나 실용적으로 중요한 문제이지만 오랫동안 해결되지 않았던, 방향 얕은-빛 스티너 트리 문제에 대해 효과적인 근사 알고리즘이 설계 가능한가?
• RQ3 얕은-빛 트리 문제에 대해 개발된 기법을 이용해, 이전까지 알려진 비지류 근사 알고리즘이 없는 경량 방향 α-스펜서 문제를 해결할 수 있는가?
• RQ4 비용 근사 비율이 n에 대해 비선형이 되도록 거리 제약을 얼마나 느슨하게 풀 수 있는가? 즉, 스트레치를 약간 늘리더라도 비용 근사 비율을 선형 이하로 유지할 수 있는가?

주요 결과

• 이 논문은 유한한 거리 제약이 있는 방향 네트워크 설계 문제에 대해 (2+ε, O(n^{0.5+ε}))-근사 비율을 달성하며, 이는 기존의 최선의 선형 근사 비율을 초월한다.
• 이 연구는 방향 얕은-빛 스티너 트리 문제에 대해 첫 번째 비지류 근사 비율 (1+ε, |R|^ε)을 달성하였으며, 여기서 R은 종단점의 집합이다.
• 경량 방향 α-스펜서 문제에 대한 알고리즘은 (α+ε, O(n^{0.5+ε}))-근사 비율을 달성하여, 이 문제에 대한 첫 번째 비지류 해답을 제공한다.
• 모든 알고리즘은 임의의 고정된 ε > 0 에 대해 다항시간 내에 실행되며, 런타임은 n과 ε에 따라 달라지지만 L이나 간선 길이 값에 따라 달라지지 않는다.
• 이 접근법은 비용을 제한하면서도, 스티너 트리 부분문제에서 길이 제약을 (1+ε) 비율로 약간 위반할 수 있도록 허용하는, 새로운 재귀적 트리 구축 및 선형계획법 절차 기반 전략에 의존한다.
• 이론적 분석을 통해, 샘플된 노드에서 생성된 얕은-빛 트리들의 합집합이 스트레치 위반 조건 하에서도 두꺼운 쌍을 높은 확률로 커버함을 확인한다.