簡潔データ構造

**簡潔データ構造** (かんけつデータこうぞう、) とは計算機科学の用語で、情報理論的下界に「近い」領域量だけを使いつつ、（他の圧縮形式とは異なり）効率的に質問を受け付けることができるデータ構造を指す。その概念は最初 Jacobson  によって、木、平面的グラフを符号化するために導入された。通常のロスなしデータ圧縮アルゴリズムとは異なり、簡潔データ構造は事前の展開操作をせずに使用することができる。は関連する考え方に基づいているが、圧縮データ構造ではデータ構造のサイズは表現しようとする特定のデータに依存する。

あるデータを保持するために必要な情報理論的に最小のビット数がZだとする。このデータの表現形式は、

* Z + O(1)ビットの領域を必要とする場合、**'、
* <math>Z + o(Z)</math>ビットの領域を必要とする場合、''簡潔'' (''succinct'')、
* <math>O(Z)</math>ビットの領域を必要とする場合、''コンパクト'' (''compact'')

であると呼ばれる。

implicit データ構造は通常、なんらかの[[順列]]を用いて情報を保持することに帰着される。よく知られる事例としては[[ヒープ]]が挙げられる。

==簡潔辞書==
簡潔索引つき辞書(簡潔ビットベクトル、完備辞書とも呼ぶ)は、''rank/select'' 辞書とも呼ばれ、[[二分木]]、<math>k</math>分木、[[多重集合]]や、[[接尾辞木]]、[[接尾辞配列]]などの多数の簡潔表現手法の基礎をなしている。基本的な問題設定は、 <math>U = [0 \dots n) = \{0, 1, \dots, n - 1\}</math>の空間中で部分集合<math>S</math>を保持するというものであり、通常 <math>B[i] = 1</math> iff <math>i \in S</math> とするビット配列として部分集合を表現する。索引つき辞書は通常の辞書の操作（参照、および動的辞書の場合は挿入と削除）に加えて、次の二つの操作をサポートする。

* <math>\mathbf{rank}_q(x) = |\{ k \in [0 \dots x) : B[k] = q \}|</math>
* <math>\mathbf{select}_q(x)= \min \{k \in [0 \dots n) : \mathbf{rank}_q(k) = x\}</math>

ただし、<math>q \in \{0, 1\}</math>とする。

ある単純な表現方法  では <math>n + o(n)</math> ビットの領域（元のビット配列と、<math>o(n)</math> の補助データ構造）を使って **rank** と **select** を定数時間でサポートできる。この方法はと似た考え方に基づいており、固定サイズの部分問題に行き着くまでに定数回数の再帰呼び出しだけで済む。ビット配列 <math>B</math> はサイズ <math>l = \lg^2 n</math> の''大ブロック''とサイズ<math>s = \lg n / 2</math>の''小ブロック''に分割される。大ブロック一つごとに、最初のビットのrankが別の表 <math>R_l[0 \dots n/l)</math> に保持される。この表の各エントリには <math>\lg n</math> ビットが必要で、合計 <math>(n/l) \lg n = n / \lg n</math> ビットの領域を使う。大ブロックの中では、もう一つの表 <math>R_s[0 \dots l/s)</math> を使って、そのブロックに含まれる <math>l/s = 2 \lg n</math> 個の小ブロックのrankを保持する。ここでの違いは、各エントリで、そのエントリが入っている大ブロックの最初のビットのrankからの差分だけを保持すればよいので、 <math>\lg l = \lg \lg^2 n = 2 \lg \lg n</math> ビットだけが必要になることである。このため、この表は合計 <math>(n/s) \lg l = 4 n \lg \lg n / \lg n</math> ビットになる。そして、小ブロック内の <math>i \in [0,s)</math> ビットに対しては、<math>s</math> ビットの全てのビット列に対するrank質問の答えを保持するルックアップ表 <math>R_p</math> を使うことができる。このテーブルには <math>2^s \lg s = O(\sqrt{n} \lg \lg n)</math> ビットの領域を必要とする。 これらの補助表は <math>o(n)</math> の領域だけを使うため、このデータ構造はrank質問を <math>O(1)</math> 時間と <math>n + o(n)</math> ビットの領域でサポートする。

次の定数時間アルゴリズムを用いると、<math>\mathbf{rank}_1(x)</math>の質問に定数時間で答えることができる。

<math>\mathbf{rank}_1(x) = R_l[\lfloor x / l \rfloor] + R_s[\lfloor x / s\rfloor] + R_p[x \lfloor x / s\rfloor, x \text{ mod } s]</math>

実用上は、ルックアップ表 <math>R_p</math> をビット命令とより小さい表で置き換え、小ブロックで立っているビットの数を調べるようにすることができる。多くの場合、こうすることで大きなデータセットで簡潔データ構造を用いる際の、キャッシュミスの増大とそれによって起こるルックアップ表がキャッシュから追い出されるという問題に対処できる。select質問は、''rank''に用いたものと同じ補助データ構造と二分探索とを合わせることで容易にサポートできるが、そのやり方では最悪の場合 <math>O(\lg n)</math> の時間がかかる。<math>3n/\lg \lg n + O(\sqrt{n} \lg n \lg \lg n) = o(n)</math> ビットの追加領域を用いる、より複雑なデータ構造により、**select**は定数時間でサポートできる。こうした解決法の多くでは、実用上、漸近的な特長が効果を発揮する至らない場合、<math>O(\cdot)</math>記法に隠れた定数が支配的となる。その場合、長ワード命令とワードサイズに揃えたブロックを利用した実装のほうが効率的であることが多い。

===エントロピー圧縮型辞書===
<math>n + o(n)</math> の領域のアプローチは、 <math>[n)</math> のなかには異なる <math>m</math>-部分集合が（言い換えるなら、長さ<math>n</math>でちょうど<math>m</math>個の1があるビット列が）<math>\textstyle \binom{n}{m}</math> 個あることに注意すると、さらに改善できる。このとき、<math>B</math>を保持するのに必要なビット数の情報理論的下界は、<math>\textstyle \mathcal{B}(m,n) = \lceil \lg \binom{n}{m} \rceil</math>である。この下界を達成する（静的な）簡潔辞書は存在し、 必要とする領域は<math>\mathcal{B}(m,n) + o(\mathcal{B}(m,n))</math> である。そのデータ構造はさらに、<math>\mathcal{B}(m,n) + O(m + n \lg \lg n / \lg n)</math>の領域量で**rank**と**select'''をサポートするように拡張することができる。この下界は、辞書を保持する領域を \mathcal{B}(m,n) + O(n t^t / \lg^t n + n^{3/4}) とし、質問に必要な時間を O(t) とすることで領域と時間のトレードオフに帰着させることができる。

## 応用例
可変長のアイテムの列を符号化する必要がある場合は、単に個々のアイテムを区切り記号なしで順に並べればよい。それと別に、アイテムの始まりの位置に1を、それ以外の位置に0を置いた二値配列を符号化する。この補助ビット列で select 関数を用いるとあるインデクス値のアイテムの開始位置を高速に求めることができる。

別の例として二分木の表現がある。ノード数nのあらゆる二分木は、親の参照、左右の子の参照、部分木のサイズの取得など、各ノードに対する多数の操作を定数時間でサポートしながら 2n + o(n) ビットで表現できる。 ノード数 n の異なる二分木の数は {\tbinom{2n}{n}}/(n+1) である。大きな n に対しては、これはおよそ 4^n にしたがう。このため、符号化には少なくともおよそ \log_2(4^n)=2n ビットが必要である。したがって簡潔二分木に必要な領域量はノードごとに 2 ビットである。

## 参考文献




## 推奨文献
*
*
* 定兼邦彦：「簡潔データ構造」、共立出版、ISBN 978-4-320-12174-4、（2018年2月25日）。数少ない日本語の教科書