次元遅延セグ木は (かなり制限した設定でも) 実現不能と考えられている (以下の資料を参照せよ)。
勉強会をしました。今日のテーマは「2次元セグメント木」です。スライドを公開します。https://t.co/tL8fMsdBv3
— こたつがめ (@kotatsugame_t) 2024年3月18日
本記事では、 次元遅延セグ木になれそうでなれないデータ構造たちを紹介する。
可換モノイドの長方形加算長方形和
を可換モノイドとし、 の 次元列 を考える。 以下のクエリを の時間計算量で処理する。
- : が指定され、 について と更新する。
- : が指定され、 を出力する。
基本となる知識は 区間mul 区間積 O(log N) - よすぽの日記 この記事で説明されているデータ構造である。 まず、上述のセグ木を 本用意し、 本目のセグ木は を管理するものとする。 セグ木のノードを配列に展開すれば ( 種類の値を管理するが、適当に並べておく) このセグ木群は 次元配列と見做すことができ、 が 本目のセグ木の 番目のノードを表す。
クエリの処理を考えると、 について、 に への の区間加算を行うことになる。 さらに区間加算の内部の処理を考えると、「 が与えられて、 について 」という操作 回で表されることが分かる *1。 すると、 を転置して を つの列として管理したとき、 への区間加算で操作が表されることになる。 これは たちを区間加算セグ木で管理すれば で実行できる。
クエリも、和の順序を適切に入れ替えれば に対する区間和クエリを用いてシミュレートできることが分かる。
あり得そうな使いどころとしては、 や が挙げられる。 その場合は冪乗が で求まるため、上記のアルゴリズムのうち複数の部分が簡略化、効率化されるだろう。
kd-tree
可換モノイド と作用 が遅延セグ木の要件を満たすとする。 次元平面に 個の点からなる点群 があり、各点 が値 を持っているとき、以下のクエリを の時間計算量で処理する。
- : が指定され、 について と更新する。
- : が指定され、 を出力する。
kd-tree については検索すれば様々な資料が見つかるはずである。 注意点として、kd-tree はユークリッド距離での最近点の検索によく使われるが、そちらの計算量を保証するには点群のランダム性が必要となる。
kd-tree は を 座標の大小で半分に分け、それらを 座標の大小で半分に分け、... と軸を交互に切り替えながら点群を分割していく過程を 分木にしたものである。 各ノードが対応する点群についての の総積などを持てば、( 次元の) 遅延セグ木と全く同様にしてクエリを処理することができる。 すなわち、クエリの長方形 とノードの点群の bounding box の関係を見て、共通部分がないかクエリに包含されていれば直ちに return し、いずれでもなければ子に対して再帰的に処理を行う。
問題は、上記のように再帰を行ったときに訪れるノードの個数を抑えることである。 観察すると、あるノードについての処理が子に再帰するとき、クエリの長方形の 辺のうち少なくとも 本がノードの bounding box と交差していることが分かる。 そこで、軸に平行な直線 を任意にとり、 と bounding box が交差するようなノードの個数を考える。 根から深さを ずつ増やしていくと、 と交差するノードの個数は深さが 増える毎に 倍になることが分かる。 kd-tree の深さは であるから、 と交差するノードは全体で 個あることが分かる。 長方形クエリの場合は 辺があるため、この 倍で抑えられることになる。
なお、kd-tree はオーダーが である上に定数倍があまり良くないため、思ったほど振り回せる道具ではない。
分木
(※ 四分木 (Quadtree) と言うと kd-tree のように点群に対するデータ構造を指すようなので、この節のように行列に対するものには別の名前が付いているかもしれない。)
可換モノイド と作用 が遅延セグ木の要件を満たすとし、 の 次元列 を考える。 以下のクエリを の時間計算量で処理する。
- : が指定され、 について と更新する。
- : が指定され、 を出力する。
正方形領域を縦横に 分割することを繰り返すと、その過程は 分木として表される。 この木に対しては、遅延セグ木と同じようにクエリを行うことができる。 アクセスするノードの個数は になってしまうが、これは冒頭で挙げた資料にある通り限界なのでどうしようもない。
この木は、 の 個の点に対して kd-tree を構築したと見ても本質的には同じである。 ただし、一般の点群と比べると bounding box が簡単に計算できるなど特殊な事情があるため、定数倍は良くなるかもしれない。
*1:一般の遅延セグ木クエリだと が に依存してしまうので、この議論はできない