[논문 리뷰] Online network design algorithms via hierarchical decompositions

Seeun William Umboh|arXiv (Cornell University)|2015. 01. 04.

Optimization and Search Problems참고 문헌 19인용 수 19

한 줄 요약

이 논문은 계층적 잘 분리된 트리(HST)로의 계층적 분해를 이용한 새로운 결정적 온라인 네트워크 설계 프레임워크를 소개한다. 이는 스티너 네트워크, 렌트-오브-비, 연결된 시설 위치, 보상 수거 스티너 숲 등의 핵심 문제에 대해 더 단순한 분석과 O(log k)-경쟁 비율을 가능하게 하며, 이는 이전 결과를 따라가거나 향상시키고 문제 간 분석을 통합한다.

ABSTRACT

We develop a new approach for online network design and obtain improved competitive ratios for several problems. Our approach gives natural deterministic algorithms and simple analyses. At the heart of our work is a novel application of embeddings into hierarchically well-separated trees (HSTs) to the analysis of online network design algorithms --- we charge the cost of the algorithm to the cost of the optimal solution on any HST embedding of the terminals. This analysis technique is widely applicable to many problems and gives a unified framework for online network design.In a sense, our work brings together two of the main approaches to online network design. The first uses greedy-like algorithms and analyzes them using dual-fitting. The second uses tree embeddings --- embed the entire graph into a tree at the beginning and then solve the problem on the tree --- and results in randomized O(log n)-competitive algorithms, where n is the total number of vertices in the graph. Our approach uses deterministic greedy-like algorithms but analyzes them via HST embeddings of the terminals. Our proofs are simpler as we do not need to carefully construct dual solutions and we get O(log k) competitive ratios, where k is the number of terminals.In this paper, we apply our approach to obtain deterministic O(log k)-competitive online algorithms for the following problems.1. Steiner network with edge duplication. Previously, only a randomized O(log n)-competitive algorithm was known.2. Rent-or-buy. Previously, only deterministic O(log2k)-competitive and randomized O(log k)-competitive algorithms by Awerbuch, Azar and Bartal (Theoretical Computer Science 2004) were known.3. Connected facility location. Previously, only a randomized O(log2k)-competitive algorithm of San Felice, Williamson and Lee (LATIN 2014) was known.4. Prize-collecting Steiner forest. We match the competitive ratio first achieved by Qian and Williamson (ICALP 2011) and give a simpler analysis.Our competitive ratios are optimal up to constant factors as these problems capture the online Steiner tree problem which has a lower bound of Ω(log k).

연구 동기 및 목표

• 개선된 경쟁 비율을 갖는 통합된 결정적 접근 방식을 개발하여 온라인 네트워크 설계를 수행한다.
• 이중-피팅을 대체하여 종말의 HST 임bedding을 사용함으로써 온라인 네트워크 알고리즘의 분석을 단순화한다.
• 스티너 네트워크, 렌트-오브-비, 연결된 시설 위치와 같은 기본 문제에 대해 최적의 경쟁 비율을 달성한다.
• 단일이고 일반화 가능한 기법을 사용하여 기존의 랜덤화되거나 복잡한 결정적 알고리즘을 따라가거나 향상시킨다.

제안 방법

• 알고리즘의 해와 최적 해를 비교할 수 있도록 종말을 계층적 잘 분리된 트리(HST)에 임베딩한다.
• HST 임베딩 상의 최적 해의 비용에 기반하여 온라인 알고리즘의 비용을 분석함으로써, 트리의 계층적 구조를 활용한다.
• 복잡한 이중 해의 구성이 필요 없도록 결정적 그레디 유사 알고리즘을 사용하여 온라인 결정을 내린다.
• 다양한 네트워크 설계 문제에 HST 기반 분석 기법을 적용하여 경쟁 비율 분석을 통합한다.
• 기존에 알려진 HST 임베딩 성질을 활용하여 원래 그래프와 트리 간의 왜곡을 유 bounds하여 O(log k) 경쟁 비율을 확보한다.
• 이러한 문제들이 온라인 스티너 트리 문제를 일반화하고 있으며, 기존에 알려진 Ω(log k) 하한이 존재하므로, O(log k) 경쟁 비율이 상수 요소를 제외하고 최적이라는 것을 입증한다.

실험 결과

연구 질문

• RQ1 이중-피팅의 복잡성을 피하면서도 랜덤화 알고리즘의 경쟁 비율을 따라가거나 향상시키는 결정적 온라인 네트워크 설계 프레임워크를 개발할 수 있는가?
• RQ2 HST 임베딩은 다양한 온라인 네트워크 설계 문제의 분석을 얼마나 통합하는 데 사용될 수 있는가?
• RQ3 연결된 시설 위치 및 렌트-오브-비와 같은 문제들에 대해 더 단순한 결정적 접근 방식으로 O(log k) 경쟁 비율을 달성할 수 있는가?
• RQ4 이러한 문제들이 온라인 스티너 트리 문제를 일반화하고 있으며, 기존에 알려진 Ω(log k) 하한이 존재하므로, O(log k) 경쟁 비율이 이 문제들에 대해 타당한가?

주요 결과

• 논문은 엣지 중복을 허용하는 스티너 네트워크 문제에 대해 결정적 O(log k)-경쟁 비율 알고리즘을 달성하였으며, 이는 기존에 알려진 최고의 랜덤화 결과와 동일한 비율을 달성하지만 분석이 더 단순하다.
• 렌트-오브-비 문제에 대해서는 결정적 O(log k)-경쟁 비율 알고리즘을 도출하였으며, 이는 이전의 결정적 O(log²k) 결과를 향상시킨다.
• 연결된 시설 위치 문제는 결정적 O(log k)-경쟁 비율 알고리즘으로 해결하였으며, 이는 이전 작업에 비해 훨씬 단순한 증명을 통해 최고의 알려진 경쟁 비율을 달성한다.
• 보상 수거 스티너 숲 문제에 대해서는 결정적 O(log k)-경쟁 비율 알고리즘을 제안하였으며, 이는 이전의 최고 결과를 따라가지만 분석이 더 단순하다.
• 이 프레임워크는 이러한 문제들에 대해 O(log k)가 상수 요소를 제외하고 최적의 경쟁 비율임을 입증하였으며, 이는 이들이 온라인 스티너 트리 문제를 일반화하고 있으며, 기존에 알려진 Ω(log k) 하한이 존재하기 때문이다.