[論文レビュー] Efficient Algorithms for One-Dimensional k-Center Problems

Danny Z. Chen, Jian Li+1 more|arXiv (Cornell University)|Jan 31, 2013

Facility Location and Emergency Management参考文献 19被引用数 5

ひとこと要約

本稿では、Coleの複雑なパrametric searchに依存せずに、1次元重み付き $k$-center問題に対する単純で決定的である $O(n\log n)$ のアルゴリズムを提示する。2次元部分リスト線形計画法（LP）クエリ—半平面の共通交差内での最低点を求める—に対する効率的なデータ構造を導入し、入力の点と重みがソート済みの場合に線形時間での解法を可能にする。特に $k$ が小さい場合に有効である。本手法は理論的複雑性を回避しながらも、最適な漸近的性能を維持しており、先行手法を改善している。

ABSTRACT

We consider the problem of finding k centers for n weighted points on a real line. This (weighted) k-center problem was solved in O(n log n) time previously by using Cole's parametric search and other complicated approaches. In this paper, we present an easier O(n log n) time algorithm that avoids the parametric search, and in certain special cases our algorithm solves the problem in O(n) time. In addition, our techniques involve developing interesting data structures for processing queries that find a lowest point in the common intersection of a certain subset of half-planes. This subproblem is interesting in its own right and our solution for it may find other applications as well.

研究の動機と目的

• Coleのパrametric searchを用いずに、1次元重み付き $k$-center問題に対するより単純で決定的な $O(n\log n)$ のアルゴリズムを開発すること。
• 複雑なパrametric search手法に依存する従来手法の計算ボトルネックを解消すること。
• 2次元部分リストLPクエリ—部分集合の半平面の共通交差内での最低点を求める—を効率的に処理できるデータ構造を設計すること。幾何最適化に応用可能である。
• 入力の点と重みが事前にソートされている特殊な場合に、特に $k$ が小さい場合に線形時間性能を達成すること。
• 特定の入力分布に対して、単純さと性能の両面で既存手法を改善する実用的で理論的に効率的なソリューションを提供すること。

提案手法

• 1次元 $k$-center問題を、平面上での段階関数フィッティングを用いた幾何的点近似問題としてモデル化する。
• 問題を2次元部分リストLPクエリに還元する：上半平面の部分集合の交差内での最低点を求める。
• 各2次元部分リストLPクエリを $O(\log n)$ 時間で処理できる、$O(n\log n)$ 時間で構築されるデータ構造を構築する。
• 双対性を活用して、半平面の傾きを点の重みにマッピングし、重みと位置がソート済みである場合に効率的なクエリ処理を可能にする。
• コンパクトな区間木を用いてクエリ結果の凸包を表現し、$O(\log n)$ 時間で標準的な凸包操作をサポートする。
• 入力の点と重みが事前にソートされている場合に、構築とクエリの時間を最適化し、$k$ が小さい場合に $O(n)$ 時間を達成する。

実験結果

リサーチクエスチョン

• RQ1 1次元重み付き $k$-center問題は、Coleのパrametric searchを用いずに $O(n\log n)$ 時間で解けるか？
• RQ2 入力の点と重みが事前にソートされている場合、1次元 $k$-center問題の最適時間計算量は何か？
• RQ3 2次元部分リストLPクエリ—部分集合の半平面の共通交差内での最低点を求める—を効率的に処理できるデータ構造を設計できるか？これにより幾何最適化問題の高速解法が可能になるか？
• RQ4 1次元 $k$-center問題において、$k = O(n^{1/2 - \epsilon})$ のような特殊な場合に線形時間性能を達成できるか？
• RQ5 1次元 $k$-center問題に開発した技術を、木構造などのより一般的な構造へ拡張できるか？

主な発見

• 本稿では、Coleのパrametric searchを回避する決定的で $O(n\log n)$ のアルゴリズムを提示しており、従来手法に比べてより単純かつ実用的な代替手段を提供する。
• 入力の点と重みがソート済みの場合、アルゴリズムは $O(n + k^2 \log^2(n/k) \log n \log\log n)$ 時間で実行され、$k = O(n^{1/2 - \epsilon})$ の場合に $O(n)$ となる。
• 2次元部分リストLPクエリを対象とした新規データ構造を設計し、構築時間 $O(n\log n)$、クエリ時間 $O(\log n)$ を達成。標準的な凸包操作を効率的にサポートする。
• ソート済み入力向けに3種類の最適化されたデータ構造を提供。構築時間はそれぞれ $O(n)$、$O(n\log^* n)$、$O(n\log\log n)$、クエリ時間は $O(\log n \log\log n)$、$O(\log n \log^* n)$、$O(\log n)$ である。
• 入力がソート済みで、$k$ が $n$ に対して小さい場合、特に $k = O((n / \log^3 n \log\log n)^{1/2})$ のような条件では、1次元 $k$-center問題に対して線形時間解法を達成する。
• 最小ギャップ問題への還元により、非離散的で重みなしの1次元 $k$-center問題に対する $O(n\log n)$ 時間の下界を確立。これにより、提案アルゴリズムの最適性が裏付けられる。