[論文レビュー] A New Algorithm for Updating and Querying Sub-arrays of Multidimensional Arrays

Pushkar Mishra|arXiv (Cornell University)|Nov 24, 2013

Data Management and Algorithms参考文献 8被引用数 7

ひとこと要約

本論文は、2分木インデックス付き木（BIT）と包含除外原理を用いて、多次元配列における効率的な範囲更新および範囲クエリ操作を実現する新規アルゴリズムを提示する。d次元において、1回の操作あたりO(4^d * log^d n)の時間計算量を達成し、従来のクアッドツリー／オクーツリーに基づく方法のΩ(n^{d-1})と比較して顕著な改善を示す一方、同じ空間計算量を維持する。

ABSTRACT

Given a $d$-dimensional array $A$, an update operation adds a given constant $C$ to each element within a continuous sub-array of $A$. A query operation computes the sum of all the elements within a continuous sub-array of $A$. The one-dimensional update and query handling problem has been studied intensively and is usually solved using segment trees with lazy propagation technique. In this paper, we present a new algorithm incorporating Binary Indexed Trees and Inclusion-Exclusion Principle to accomplish the same task. We extend the algorithm to update and query sub-matrices of matrices (two-dimensional array). Finally, we propose a general form of the algorithm for $d$-dimensions which achieves $\mathcal{O}(4^d*\log^{d}n)$ time complexity for both updates and queries. This is an improvement over the previously known algorithms which utilize hierarchical data structures like quadtrees and octrees and have a worst-case time complexity of $Ω(n^{d-1})$ per update/query.

研究の動機と目的

• クアッドツリーおよびオクーツリーなどの既存の階層的データ構造は、d次元配列における範囲更新および範囲クエリ操作においてΩ(n^{d-1})の時間計算量を示すため、その非効率性を是正すること。
• 任意の次元数において、オンラインでの範囲更新および範囲クエリ操作を効率的かつスケーラブルにサポートできる汎用アルゴリズムを設計すること。
• 空間分割構造のΩ(n^{d-1})の時間計算量の壁を下回るが、最適な空間使用量を維持できるようにすること。

提案手法

• 効率的な範囲操作を実現するため、核心となるデータ構造として2分木インデックス付き木（BIT）を採用する。
• 包含除外原理を適用し、多次元範囲更新を複数の超長方形からの符号付き寄与の組み合わせとしてモデル化する。
• 更新の累積的効果を表す多項式関数の係数を表すために、2^d個のd次元BITを維持する。
• 一般化されたアップデータ関数を用いて、更新領域を重複する部分領域に分解し、符号付き寄与を適用する。
• クエリ関数は、多項式関数の評価を用いて、すべての2^d個のBITからの結果を組み合わせ、ある点における正味の合計を計算する。
• 数学的帰納法を用いて1次元および2次元の解決策をd次元に拡張し、2^d個のd次元BITが十分かつ必要であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 d次元配列において、時間計算量がΩ(n^{d-1})未満である範囲更新および範囲クエリ操作をサポートできるデータ構造を設計可能か？
• RQ2 BITと包含除外原理を用いて、d次元範囲操作においてO(4^d * log^d n)の時間計算量を達成することは可能か？
• RQ3 実際の実行時間において、提案アルゴリズムはクアッドツリーおよびオクーツリーに基づく手法と比較してどのように性能を発揮するか？

主な発見

• 提案アルゴリズムは、d次元配列における更新およびクエリ操作の両方でO(4^d * log^d n)の時間計算量を達成しており、クアッドツリーおよびオクーツリー手法のΩ(n^{d-1})と比較して顕著な改善を示す。
• 実験結果から、2次元配列ではnが増加するにつれて最大10倍、3次元配列では最大100倍の実行時間の短縮が確認された。
• 配列サイズ（n）が大きくなるほど、新アルゴリズムの性能向上が顕著になり、特に高次元において顕著である。
• n=1000の2次元配列において、新アルゴリズムは10000命令で処理を完了したが、旧アルゴリズムは10000000命令を要した。これにより、命令数の観点から1000倍の高速化が達成された。
• 次元数の増加に伴っても効率的にスケーリングされ、新アルゴリズムは命令数の増加が平坦な傾向を示す一方、旧手法は指数関数的に増加する。
• 2^d個のd次元BITを用い、それぞれがO(log^d n)の操作をサポートすることで、全体の時間計算量O(4^d * log^d n)が達成され、この問題クラスにおいて最適である。