[論文レビュー] Online network design algorithms via hierarchical decompositions

Seeun William Umboh|arXiv (Cornell University)|Jan 4, 2015

Optimization and Search Problems参考文献 19被引用数 19

ひとこと要約

本稿は、階層的 well-separated 木（HST）への階層的分解を用いた、決定的オンラインネットワーク設計フレームワークを提案する。このフレームワークにより、Steinerネットワーク、リント・オア・バイ、連結施設配置、報酬収集付きSteinerフォレストといった主要な問題に対して、より単純な解析と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).

研究の動機と目的

• O(log k)-競合比を達成する統一的で決定的なオンラインネットワーク設計アプローチの開発。
• 双対適合をHSTに埋め込んだ端末の埋め込みに置き換えることで、オンラインネットワークアルゴリズムの解析を単純化。
• Steinerネットワーク、リント・オア・バイ、連結施設配置といった基本的問題に対して、最適の競合比を達成。
• 単一で一般化可能な手法を用いて、従来の確率的または複雑な決定的アルゴリズムを同等または上回る結果を達成。

提案手法

• 端末の集合を階層的 well-separated 木（HST）に埋め込み、アルゴリズムの解と最適解との間のコスト比較を可能にする。
• HST埋め込み上の最適解のコストに帰属させることで、オンラインアルゴリズムのコストを分析。木の階層的構造を活用。
• 複雑な双対解の構築を避けるために、決定的でグリーディに近いアルゴリズムをオンライン意思決定に用いる。
• HSTに基づく解析手法を複数のネットワーク設計問題に適用し、それらの競合比解析を統一。
• 既知のHST埋め込みの性質を活用して、元のグラフと木との間の歪みを制限し、O(log k)の競合比を保証。
• これらの問題がオンラインSteiner木問題を一般化しており、既知のΩ(log k)の下界と照らし合わせることで、競合比が定数倍の意味で最適であることを確立。

実験結果

リサーチクエスチョン

• RQ1 双対適合の複雑さを回避しつつ、確率的アルゴリズムと同等または上回る競合比を達成できる決定的オンラインネットワーク設計フレームワークを開発可能か？
• RQ2 HST埋め込みは、多様なオンラインネットワーク設計問題の解析をどの程度統一できるか？
• RQ3 リント・オア・バイや連結施設配置といった問題に対して、より単純な決定的アプローチでO(log k)の競合比を達成可能か？
• RQ4 これらの問題がオンラインSteiner木問題を一般化しており、既にΩ(log k)の下界が知られていることから、O(log k)の競合比はタイトか？

主な発見

• 本稿は、辺の重複を許容するSteinerネットワークに対して、決定的O(log k)-競合比アルゴリズムを達成。既存の最良の確率的結果と同等の性能を示すが、解析がはるかに単純。
• リント・オア・バイ問題に対しては、決定的O(log k)-競合比アルゴリズムを提示。従来の決定的O(log²k)の結果を改善。
• 連結施設配置問題に対しては、決定的O(log k)-競合比アルゴリズムを実現。従来の研究よりも著しく単純化された証明で、最良の既知の競合比を達成。
• 報酬収集付きSteinerフォレスト問題に対しても、決定的O(log k)-競合比アルゴリズムを提案。既存の最良の結果と同等の性能を達成するが、解析がより単純。
• このフレームワークにより、これらの問題すべてに対してO(log k)が定数倍の意味で最適な競合比であることが示された。なぜなら、それらが既にΩ(log k)の下界が知られているオンラインSteiner木問題を一般化しているからである。