フェニック木

フェニック木  または Binary Indexed Tree   とは、部分和の計算と要素の更新の両方を効率的に行える木構造である。1994年に算術符号化を用いた圧縮アルゴリズムの計算を効率化するためにピーター・フェニックにより提案された木構造である。

単なる数列として保存する場合と比較して、フェニック木は要素の更新と部分和の計算の両方をバランスよく行える。数列としてデータを保存する場合、  //n// 要素の数列には、要素そのものか、区間和を格納する手法が考えられる。要素そのものを格納した場合には、区間和を計算するために区間の長さに比例した時間がかかり、区間和を格納した場合には要素の更新に数列の長さに比例した時間がかかる。フェニック木は要素の更新と区間和の計算の両方を   で可能とする構造である。具体的には、木構造のそれぞれのノードが持つ値を、そのノードの部分木の要素の和とすることで実現している。

1. 目的
-----

上で述べた算術符号のように、数列の各インデックスまでの部分和が必要となる場合がある。任意のインデックス間の区間和を効率的に計算できるだけでなく、データ内の要素の更新とその更新による変化を効率的に反映可能なデータ構造を実現するために、フェニック木が開発された。

フェニック木は算術符号のアルゴリズムの効率化のために開発されたと言える。算術符号の符号化には文字の出現頻度の計算と、その文字までの累積確率が必要である。そのため、区間和を効率的に計算可能なデータ構造の開発が必要であった。

フェニック木を使うことで、部分和を   回の演算で計算することを可能とした。また、最初の要素からの和である//部分和  //だけでなく、任意の区間の和である  //区間和// も同様に で計算可能とした。

フェニック木を拡張することで多次元配列の部分配列にも対応することが可能である。このデータ構造においては、それぞれの操作を  時間で行える。ただし、//d  //は次元数であり、//n// はそれぞれの次元の要素数である。

2. 説明
-----

フェニック木は木構造を元に作られたが、実際には二分ヒープの実装のような、1次元配列を用いた暗黙のデータ構造として実装される。あるノードを表すインデックスが与えられた場合、その親と子のインデックスは、そのインデックスにビット演算を施すことで計算可能である。例えば、親のインデックスは最下位の"1"であるビットを0にしたインデックスである。配列の各要素には部分木の要素の和が格納されており、その部分木の合計を足し合わせることで、部分和を計算できる。データの値を更新する場合には、変更された値を含むノード容易に特定でき、後述するように順に遡りながら更新可能である。

フェニック木を作るにあたって必要な前処理は、   時間で終了する。部分和の計算以外にも、すべての値が正の場合には値のインデックスの検索が、すべての値が負でない場合にはすべてのインデックスの値の指定も効率的である。また、   時間で全ての係数を定数倍することが可能である。

フェニック木は"1"であるビットを基準にで考えるとわかりやすい。 インデックス  //i  //が2の累乗である要素は、//i// 要素までの和を持つ。インデックス //i// が2つの異なる2の累乗の和である要素は、その2つの要素の間の区間和を持つ。一般に各要素はその親以降の値の合計を持つ 。

所望の部分和を計算するためには、インデックスの2進表記を用い、2進表記で1であるビットに対応する要素を足し合わせれば良い。

例えば、最初の11要素の和を求めたい場合には、まず11を2進法で表記して 10112 を得る。 この表記には3つの1が含まれているため、10002、10102  、10112の3つを足し合わせれば良い。 これらはそれぞれ、 1 - 8、9 - 10、11の和に対応している。"1"であるビットの数は配列のサイズのビット数で抑えられるため、 で区間和を計算可能である。

次に、11番目の要素を更新する場合を考える。更新が必要な要素は、10112、11002、100002の3要素である。これの位置は、最下位の"1"であるビットから繰り上げることによって得られる。これらはそれぞれ、11、9 - 12、1 - 16の和に対応する。この場合、値の更新は配列のサイズのビット数で抑えられるため、 で更新可能である。

3. 実装例
------

C言語による単純な実装を紹介する。単なる数列に比べ、前処理は20%ほど長くなる。しかし、この実装のように非常に大きな数列を用いる場合にはその後の操作が約1600倍の速度で可能となる。 下の実装では他の手法との比較を含む。  /* This program demonstrates the speedup for a Fenwick tree vs a */ /* flat array for performing multiple prefix sums. It generates a */ /* sequence of random numbers, then performs 1000 summations, */ /* each of which starts and ends at random indices. */ 

include
include
include
include // Number of elements in the array

define N  // Elements in the array
define COUNTS 1024 // Size of values storedtypedef unsigned long sum_t; // Should be able to hold N * 

// Number of queries to perform

define NQUERIES 1000// Isolate the least significant 1 bit. E.g. LSB == 4.

define LSB  & -)// Fen_sum: return the sum of the first i elements, 0 through i-1. sum_t Fen_sum { sum_t sum = 0; while  { sum += a[i-1]; i -= LSB; } return sum; }

// Fen_add: add k to element i  for all j > i) void Fen_add { while  { a[i] += delta; i += LSB; } }

// Fen_range: Returns the sum of the elements [i..j-1] // This could be written as "Fen_sum - Fen_sum", // but it is possible to do it in less time  by avoiding the terms that the two sums have // in common. sum_t Fen_range { sum_t sum = 0;

while  { sum += a[j-1]; j -= LSB; }

while  { sum -= a[i-1]; i -= LSB; } return sum; }

// Fen_get: Returns the value of the element at index i //  sum_t Fen_get { return Fen_range; }

// Fen_set: sets the value of the element at index i void Fen_set { Fen_add, i); }

// It's possible to initialize a Fenwick tree using Fen_add or // Fen_set , but for bulk initialization, this is faster. void Fen_init { for  { unsigned int j = i + LSB; if  a[j] += a[i]; } }

// main: allocates an array of numbers and fills it with a sequence of // random numbers, then performs a series of summations . It // then repeats the process using a Fenwick tree rather than a flat // array. The sequence of random numbers and the bounds of each query // are identical for the flat array and the Fenwick tree. The time // required to populate the data structure and the total time required // for all queries is calculated and reported for the flat array and // for the Fenwick tree.

int main { sum_t *a; unsigned int queries[NQUERIES*2]; clock_t time1, time2, time3; time_t seed = time;

// generate the bounds for all of the queries srandom; for  { unsigned int q = random % N, r = random % N; bool reverse = q > r;

queries[i + reverse] = q; queries[i + !reverse] = r; }

// allocate the array of sums a = malloc;

// The following loop forces all pages into memory  for  a[i] = 0;

 /* FLAT ARRAY METHOD */ 

time1 = clock; // Store random numbers in a flat array srandom; for  a[i] = random % COUNTS; time2 = clock; // time2 - time1 = time for setup // perform the queries for  { sum_t asum = 0; for  asum += a[i]; printf; } time3 = clock; // time3 - time2 = time for queries

printf(" Flat Array:

Build: %f Query: %f", *, *);

 /* FENWICK TREE METHOD */ 

time1 = clock; // Store the same random numbers in a Fenwick tree srandom; for  a[i] = random % COUNTS; Fen_init; time2 = clock; // time2 - time1 = time for setup // perform the queries for  printf); time3 = clock; // time3 - time2 = time for queries

printf(" Fenwick:

Build: %f Query: %f", *, *);

free; return 0; }<WtXmlEndTag />

4. 参照
-----

級数

5. 参考文献
-------

6. 外部リンク
--------

[1]
[2]
[3]
[4]