最適二分探索木
この章で最後に説明するのは、再帰的なバックトラッキングと分割統治法を組み合わせた例です。
二分探索木の探索が成功した場合、その実行時間は探索する頂点の祖先1の数に比例することを思い出してください。このため探索の最悪実行時間は木の深さに等しくなります。したがって探索処理の最悪計算時間を小さくするには、木の高さは最小であるべきであり、理想は完璧にバランスの取れた木です。
しかし二分探索木が使われる多くの場合においては、重要となるのは最悪の場合の計算時間ではなくて、何度か行われる探索の平均実行時間であることが多いです。もし が よりも頻繁に探索されるのであれば、 を よりも木の上の方に配置することで (たとえそれで木の深さが大きくなったとしても) 時間を節約できます。ある要素が他の要素に比べて格段に多く探索される場合、完全二分木は最適な形ではありません。深さが の全くバランスの取れていない木が最適である可能性だってあります!
この状況は次の問題として定式化できます。すなわち、ソートされた鍵 (key) 配列 とそれに対応するアクセス頻度 (access frequency) が与えられ、鍵 が という頻度で探索されるときに、全体の探索時間を最小化する二分探索木を作る問題です。
解法を考える前に、この問題で最小化すべき再帰的な関数の定義を考えましょう。 頂点 を持つ二分探索木 が与えられ、頂点の添え字は頂点 が鍵 を保持するようにソートされているとします。このとき全ての頂点に対する二分探索の実行時間は、定数部分を無視すると次のように書けます: と の根とすると、定義により は の全ての要素の祖先です。 がソートされていることから、 ならば を除く の祖先は全て の左側の部分木に属します。同様に ならば を除く の祖先は全て の左の部分木に属します。よって、 関数を次のように分割できます: 二番目と三番目の項は の定義 と同じなので、この式をさらに変形して再帰方程式にできます: この再帰方程式に対するベースケースは、いつもと同じように、 における です。空配列に対しては探索が全く行われず、時間消費が だからです。
この 関数を最小化するような二分探索木 を作ることが目標となります。もし何らかのマジカルな方法で の根が であると知ることができたならば、 の定義から直ちに、部分木 が鍵 と頻度 に対する最適二分探索木であることが分かります。同様に、 は鍵 と頻度 に対する最適二分探索木であることも分かります。つまり、最適木の根さえ正しく選択すれば、残りは再帰の妖精が作ってくれます。
もっと一般的に言えば、 を頻度 に対応する最適二分探索木の探索時間の和としたとき、この関数は以下の再帰方程式に従います: ベースケースは空配列に対する探索がゼロ時間で終わることを表します。元々の問題に対する答えは となります。
この再帰的な定義を使えば、 を計算するバックトラッキングを使った再帰的アルゴリズムが機械的に書けます。驚くことではありませんが、このアルゴリズムの実行時間は指数時間です。次の章ではこの実行時間を多項式時間に抑える方法について見るので、ここで正確な実行時間を求めることにはあまり意味がありません...
❤ 解析
...あなたが興味を持っていない限りは。面白そうなので、このバックトラッキングを使ったアルゴリズムがどれだけ遅いかを正確に計算してみましょう。実行時間は次の再帰方程式を満たします: ここで の項は探索の回数 を求めるための時間です。ぎょっとするような方程式ですが、前に使った引き算によるテクニックをここでも使うことができます。 表記を明示的な定数で置き換え、式を整理して、 を計算して和を消し、最後にまた整理します: これなら何とかできそうです。再帰木を使うと が分かります (帰納法を使っても確認できます)。
この解析によると、この再帰的なアルゴリズムは全ての二分探索木を検査するわけではありません!なぜなら、 個の頂点を持つ二分探索木の数 は再帰方程式 を満たし、この解は だからです (この解は自明ではありません)。最適二分探索木を求めるアルゴリズムは、左右の部分木を独立に調べることによって大きく時間を節約しています。二分探索木に対する総当たりを行うと左右の部分木を組で考えることになり、余計に時間がかかります。これは が満たす方程式に積が含まれていることからも分かります。
-
頂点 の祖先 (ancestor) とは、その頂点と の親の祖先を合わせたものです。 の真の祖先 (proper ancestor) とは、 の親と の親の真の祖先を合わせたものです。[return]