[論文レビュー] Minimax Trees in Linear Time

Paweł Gawrychowski, Travis Gagie|ArXiv.org|Dec 15, 2008

Algorithms and Data Compression参考文献 29被引用数 4

ひとこと要約

本稿では、Ω(log n)-ビットのワードを持つワードRAM上で、最小最大木の構築に線形時間O(n)を要するアルゴリズムを提示する。DrmotaとSzpankowskiによる従来のO(n log n)時間アルゴリズムを改善したものであり、一般化選択と、二進分数とブロック算術を用いた効率的なクラフト不等式のテストという新しいデータ構造を組み合わせることで、実数値の重みから最小最大木を構築する際に最適なO(n)時間計算量を達成する。

ABSTRACT

A minimax tree is similar to a Huffman tree except that, instead of minimizing the weighted average of the leaves' depths, it minimizes the maximum of any leaf's weight plus its depth. Golumbic (1976) introduced minimax trees and gave a Huffman-like, $\Oh{n \log n}$-time algorithm for building them. Drmota and Szpankowski (2002) gave another $\Oh{n \log n}$-time algorithm, which checks the Kraft Inequality in each step of a binary search. In this paper we show how Drmota and Szpankowski's algorithm can be made to run in linear time on a word RAM with (Ω(\log n))-bit words. We also discuss how our solution applies to problems in data compression, group testing and circuit design.

研究の動機と目的

• 実数値の重みから最小最大木を構築する線形時間O(n)のアルゴリズムを開発し、従来のO(n log n)時間のボトルネックを克服すること。
• DrmotaとSzpankowskiの最小最大木用の二分探索ベースのアルゴリズムを、高度なデータ構造と選択技術を用いて線形時間で実行可能にするように変更すること。
• データ圧縮、グループテスト、回路設計などの応用分野において、最適な再冗長性と深さが重要な場合に、最小最大木の効率的構築を可能にすること。
• 一般化選択技術とブロック単位の二進分数算術の組み合わせが、ワードRAMモデル上での最小最大木問題に対してO(n)時間計算量を達成できることを証明すること。

提案手法

• 最小最大木構築に必要なクラフト不等式を満たす臨界閾値x_iを特定するため、中央値探索を用いた一般化選択を実行する。
• nビットの二進分数S₁とS₂から構成されるデータ構造を用い、1/2^⌈|w_j|⌉の部分和を効率的に維持・更新する。これらのS₁とS₂はlog nビットのブロックに分割されている。
• S₁は|w_j| ≤ x_iを満たす重みの1/2^⌈|w_j|⌉の累積和を追跡する不変条件を維持する一方、S₂は選択ラウンド中の中間値を保持する。
• 各ラウンドでO(n / log n)時間でクラフト不等式のチェックを実行する。これは、均し時間定数のブロック加算とキャリー伝播を用いて達成される。
• 各ラウンド後にS₂をO(n / log n)時間でゼロにリセットすることで、状態を維持し、再帰的選択手順全体で不変条件が保たれることを保証する。
• 各ラウンドで問題サイズが少なくとも半分に削減されることに着目し、O(log n)ラウンドで全体の計算量がO(n)に抑えられることを示す。これは、線形時間選択とブロック算術とを組み合わせた結果である。

実験結果

リサーチクエスチョン

• RQ1 DrmotaとSzpankowskiの最小最大木用O(n log n)時間アルゴリズムを、Ω(log n)-ビットワードを持つワードRAM上でO(n)時間に最適化できるか？
• RQ2 一般化選択と効率的なクラフト不等式テストを用いて、最小最大木の線形時間構築が可能か？
• RQ3 ブロック算術を用いた二進分数のデータ構造を、動的和の更新と不等式チェックをO(n / log n)時間/操作で行えるように適合可能か？
• RQ4 中央値に基づく選択とブロック単位の分数算術の組み合わせが、最小最大木構築に対して線形時間解をもたらすか？
• RQ5 このアプローチを、ファンイン/ファンアウトが制限された場合のプレフィックス符号設計、グループテスト、回路最小化などの他の問題に拡張可能か？

主な発見

• 本稿では、Ω(log n)-ビットワードを持つワードRAM上で、実数値の重みから最小最大木を線形時間O(n)で構築することに成功し、時間計算量をO(n log n)からO(n)に削減した。
• 一般化選択アルゴリズムは、中央値探索と不変条件を保つ更新を再帰的に用いることで、O(n)時間で臨界閾値x_iを特定する。
• ブロック単位の二進分数の使用により、クラフト不等式の更新とテストがO(n / log n)の均し時間で可能となり、線形総時間計算量を維持する上で不可欠である。
• データ構造は二つの二進分数S₁とS₂を維持し、選択プロセス中における累積和の追跡と不等式チェックを効率的に行う。
• 全計算量はO(n)である。これは、O(log n)ラウンドにわたる作業の合計がO(n)で抑えられ、各ラウンドで幾何級数的に減少する要素数が処理されるためである。
• 本手法は、最小最大再冗長性を有するプレフィックス符号設計、グループテスト、回路設計といった関連問題に対しても適用可能であり、これらすべてがO(n)時間計算量を継承する。