[Script Info]
Title: 
[Events]
Format: Layer, Start, End, Style, Name, MarginL, MarginR, MarginV, Effect, Text
Dialogue: 0,0:00:00.00,0:00:03.08,Default,,0000,0000,0000,,このビデオでは、ただの二分探索は
Dialogue: 0,0:00:03.08,0:00:07.04,Default,,0000,0000,0000,,既にお話しので、次のお話に進みたいと思います。
Dialogue: 0,0:00:07.04,0:00:10.07,Default,,0000,0000,0000,,それはバランスされた二分木探索です。これらがリアルタイム性を行たい操作に保証したい時に
Dialogue: 0,0:00:10.07,0:00:13.85,Default,,0000,0000,0000,,あなたが実際に必要とする探索木です。
Dialogue: 0,0:00:13.85,0:00:17.63,Default,,0000,0000,0000,,それはバランスされたままである事が保証されるアルゴリズムです。それは
Dialogue: 0,0:00:17.63,0:00:21.02,Default,,0000,0000,0000,,高さが対数的であることが保証されているということです。つまり、
Dialogue: 0,0:00:21.02,0:00:25.00,Default,,0000,0000,0000,,二分探索木において私たちが学び、愛した全ての操作について
Dialogue: 0,0:00:25.00,0:00:27.01,Default,,0000,0000,0000,,保持するキーの数に対して対数的に処理されるということです。
Dialogue: 0,0:00:27.01,0:00:30.06,Default,,0000,0000,0000,,じゃあ、簡単に振り返りましょう。ツリー構造の基本的な性質ってなんだったでしょうか？
Dialogue: 0,0:00:30.06,0:00:34.08,Default,,0000,0000,0000,,探索木の全てのノードについて、もし左にいくとしたら、
Dialogue: 0,0:00:34.08,0:00:38.06,Default,,0000,0000,0000,,その先のツリーのデータには元のデータよりも小さいものしかありません。
Dialogue: 0,0:00:38.06,0:00:42.02,Default,,0000,0000,0000,,右に行けば、大きなものしかありません。
Dialogue: 0,0:00:42.02,0:00:45.61,Default,,0000,0000,0000,,また本当に大事なポイントは、あるキーの集合があるとき
Dialogue: 0,0:00:45.61,0:00:48.88,Default,,0000,0000,0000,,そのキーについての正当な探索木はたくさんあることです。
Dialogue: 0,0:00:48.88,0:00:50.99,Default,,0000,0000,0000,,この例として
Dialogue: 0,0:00:50.99,0:00:53.53,Default,,0000,0000,0000,,１，２，３，４，５というキーがあるとします。
Dialogue: 0,0:00:53.53,0:00:57.59,Default,,0000,0000,0000,,一方では、ちゃんとバランスされた探索木があります。高さは
Dialogue: 0,0:00:57.59,0:01:01.62,Default,,0000,0000,0000,,２で、1から5までのキーがあります。一方では、無茶苦茶な
Dialogue: 0,0:01:01.62,0:01:05.96,Default,,0000,0000,0000,,連鎖を持ち、連結リストに退化してしまい、高さも要素数N-1と
Dialogue: 0,0:01:05.96,0:01:08.94,Default,,0000,0000,0000,,同じになってしまいます。一般論として、高さについて
Dialogue: 0,0:01:08.94,0:01:13.48,Default,,0000,0000,0000,,指数的な差が生まれます。コストは最良の場合には
Dialogue: 0,0:01:13.48,0:01:16.42,Default,,0000,0000,0000,,対数的と小さいですが、最悪な場合は線形なほど大きくなります。
Dialogue: 0,0:01:16.42,0:01:20.15,Default,,0000,0000,0000,,というわけで、高さについては何にも心配しなくてもよくなるような
Dialogue: 0,0:01:20.15,0:01:23.62,Default,,0000,0000,0000,,性質を持つ探索木が望まれます。そういう木はうまくバランスされることが
Dialogue: 0,0:01:23.62,0:01:25.59,Default,,0000,0000,0000,,わかっています。高さがアルゴリズム的に決まることもわかります
Dialogue: 0,0:01:25.59,0:01:28.24,Default,,0000,0000,0000,,皆さんはもう、うんざりするような線形の高さになるのかと
Dialogue: 0,0:01:28.24,0:01:32.31,Default,,0000,0000,0000,,心配することもなくなります。繰り返しですが、高さが低いことが
Dialogue: 0,0:01:32.31,0:01:35.48,Default,,0000,0000,0000,,なぜそれほど重要なんでしょうか？　なぜなら探索木の
Dialogue: 0,0:01:35.48,0:01:38.77,Default,,0000,0000,0000,,操作の実行時間はすべて、木の高さに依存するからです。
Dialogue: 0,0:01:38.77,0:01:43.46,Default,,0000,0000,0000,,探索するかもしれないし、データを挿入するかも、削除のための置き換えノードを探索するかもしれません。
Dialogue: 0,0:01:43.46,0:01:48.33,Default,,0000,0000,0000,,どんな場合でも、高さが実行時間を支配します。
Dialogue: 0,0:01:48.33,0:01:50.01,Default,,0000,0000,0000,,そして、探索木についての一番大事なアイデアは
Dialogue: 0,0:01:50.01,0:01:54.78,Default,,0000,0000,0000,,皆さんがすでにお考えの通りのものです。つまり、
Dialogue: 0,0:01:54.78,0:01:58.46,Default,,0000,0000,0000,,高さは保持するものの数の対数よりは決して良くならない
Dialogue: 0,0:01:58.46,0:02:02.19,Default,,0000,0000,0000,,ということです。なぜなら、木は二分されるので、どのレベルでも
Dialogue: 0,0:02:02.19,0:02:05.15,Default,,0000,0000,0000,,倍にしかならず、保持しているすべての数に到達するには
Dialogue: 0,0:02:05.15,0:02:07.04,Default,,0000,0000,0000,,対数量が必要になるからです。
Dialogue: 0,0:02:07.04,0:02:11.01,Default,,0000,0000,0000,,さらに、対数的になったとしたら、どんな場合でも対数的に留まる
Dialogue: 0,0:02:11.01,0:02:16.40,Default,,0000,0000,0000,,ということも仮定しましょう。挿入や削除をしてもです。そうしたら
Dialogue: 0,0:02:16.40,0:02:21.01,Default,,0000,0000,0000,,すべて対数時間で行える豊かな操作群を利用できます。
Dialogue: 0,0:02:21.06,0:02:25.05,Default,,0000,0000,0000,,同じように、保持されるキーの数に対して
Dialogue: 0,0:02:25.05,0:02:29.01,Default,,0000,0000,0000,,平衡探索木には物凄くたくさんの種類があります。
Dialogue: 0,0:02:29.01,0:02:33.02,Default,,0000,0000,0000,,それらは、ほとんどの場合、それほど互いには大きくは違いません。
Dialogue: 0,0:02:33.02,0:02:37.09,Default,,0000,0000,0000,,ここでは、その中で一番有名な、赤黒木についてお話します。
Dialogue: 0,0:02:37.09,0:02:40.06,Default,,0000,0000,0000,,これは70年代には見出されていたものです。
Dialogue: 0,0:02:40.10,0:02:44.67,Default,,0000,0000,0000,,ただ、はじめに知られた平衡二分探索木ではありません。
Dialogue: 0,0:02:44.67,0:02:49.00,Default,,0000,0000,0000,,それはAVL木です。赤黒木とそれほど大きな違いがあるわけでは
Dialogue: 0,0:02:49.00,0:02:51.62,Default,,0000,0000,0000,,ありませんが、満たす性質が少しことなります。
Dialogue: 0,0:02:51.62,0:02:55.100,Default,,0000,0000,0000,,もう一つ知っておくとよいこととしては、スプレー木という
Dialogue: 0,0:02:55.100,0:02:58.45,Default,,0000,0000,0000,,面白いアイディアがSleatorとTarjanによって考え出されました。
Dialogue: 0,0:02:58.45,0:03:01.80,Default,,0000,0000,0000,,赤黒木やAVL木では、挿入や削除のときにしか変化しません。
Dialogue: 0,0:03:01.80,0:03:05.72,Default,,0000,0000,0000,,それは、考えてみると、期待されるような性質だと思います。
Dialogue: 0,0:03:05.72,0:03:08.58,Default,,0000,0000,0000,,スプレー木では、自分自身を変更します。探索の場合でも、
Dialogue: 0,0:03:08.58,0:03:11.79,Default,,0000,0000,0000,,検索だけをしているときでもです。
Dialogue: 0,0:03:11.79,0:03:15.74,Default,,0000,0000,0000,,このため、自己調節木と呼ばれることもあります。
Dialogue: 0,0:03:15.74,0:03:20.65,Default,,0000,0000,0000,,それにとてもシンプルで、驚くような性質を保証します。
Dialogue: 0,0:03:20.65,0:03:25.21,Default,,0000,0000,0000,,また最後には、二分木の枠組みを越えて、
Dialogue: 0,0:03:25.21,0:03:28.28,Default,,0000,0000,0000,,B木とB+木も見ておいたほうがよいでしょう。
Dialogue: 0,0:03:28.28,0:03:31.44,Default,,0000,0000,0000,,B木やB+木はデータベースの実装と深い関係があります。
Dialogue: 0,0:03:31.44,0:03:35.50,Default,,0000,0000,0000,,ここでのアイディアは、あるノードについて唯一のキーではなく
Dialogue: 0,0:03:35.50,0:03:39.57,Default,,0000,0000,0000,,多くのキーを持ち、ノードからは持っているキーの数に応じて
Dialogue: 0,0:03:39.57,0:03:44.31,Default,,0000,0000,0000,,多数の枝が出ます。
Dialogue: 0,0:03:44.31,0:03:47.14,Default,,0000,0000,0000,,二分木の枠組みを超えたデータベースにおける動機は
Dialogue: 0,0:03:47.14,0:03:50.67,Default,,0000,0000,0000,,メモリの階層構造にうまくあった構造を持つことです。
Dialogue: 0,0:03:50.67,0:03:53.30,Default,,0000,0000,0000,,これは非常に重要なことですが、この講義の範囲を越えます。
Dialogue: 0,0:03:53.30,0:03:57.32,Default,,0000,0000,0000,,つまり、ここでお話するのは赤黒木についてで、
Dialogue: 0,0:03:57.32,0:04:01.13,Default,,0000,0000,0000,,もっと学ぶ必要があり、学ぶべき場所がわかれば
Dialogue: 0,0:04:01.13,0:04:05.64,Default,,0000,0000,0000,,ここで得られた洞察の多くはほかの平衡木構造に置き換えて考えられるでしょう。
Dialogue: 0,0:04:05.64,0:04:09.17,Default,,0000,0000,0000,,赤黒木はただの二分探索木と同じです。
Dialogue: 0,0:04:09.17,0:04:13.41,Default,,0000,0000,0000,,ただし、新しく幾つかの不変条件を維持しています。
Dialogue: 0,0:04:13.41,0:04:16.36,Default,,0000,0000,0000,,このビデオではじめに説明するのは、
Dialogue: 0,0:04:16.36,0:04:19.78,Default,,0000,0000,0000,,どんな不変条件があるかということ、またどのようにして
Dialogue: 0,0:04:19.78,0:04:22.85,Default,,0000,0000,0000,,その不変条件から、高さが対数的になることを保証するかです。
Dialogue: 0,0:04:22.85,0:04:27.08,Default,,0000,0000,0000,,時間が許せば、どこかの時点で、補助的なビデオで核心となる
Dialogue: 0,0:04:27.08,0:04:31.61,Default,,0000,0000,0000,,赤黒木の実装がどのようにして、挿入や削除のもとで
Dialogue: 0,0:04:31.61,0:04:34.10,Default,,0000,0000,0000,,こうした不変条件を維持するのか説明するかもしれません。
Dialogue: 0,0:04:34.10,0:04:37.68,Default,,0000,0000,0000,,この話はとても込み入っているので、オプショナルな資料に
Dialogue: 0,0:04:37.68,0:04:40.53,Default,,0000,0000,0000,,するほうがよいと思います。ただし、不変条件とはなにか、
Dialogue: 0,0:04:40.53,0:04:44.79,Default,,0000,0000,0000,,不変条件が高さの制御にどのような役割を持つかということは、
Dialogue: 0,0:04:44.79,0:04:47.29,Default,,0000,0000,0000,,あらゆるプログラマが知っておくべきことだと私は思います。
Dialogue: 0,0:04:47.29,0:04:51.15,Default,,0000,0000,0000,,では4つの不変条件を書き出します。そのうち重要なものは
Dialogue: 0,0:04:51.15,0:04:54.42,Default,,0000,0000,0000,,後半ふたつ、つまり3つめと4つめによります。
Dialogue: 0,0:04:54.42,0:04:57.99,Default,,0000,0000,0000,,最初の2つの不変条件は、表面的なものです。
Dialogue: 0,0:04:57.99,0:05:01.98,Default,,0000,0000,0000,,最初のものとして、各ノードに、キーに加えて余計に1ビットの
Dialogue: 0,0:05:01.98,0:05:06.78,Default,,0000,0000,0000,,情報を保存します。このビットによって、あるノードが赤か黒かを
Dialogue: 0,0:05:06.78,0:05:09.83,Default,,0000,0000,0000,,決めます。たぶん、なぜ赤と黒なのか、疑問に思うでしょう。
Dialogue: 0,0:05:09.83,0:05:12.46,Default,,0000,0000,0000,,いや、私も数年前、同じことを同僚のLeo Guibasに
Dialogue: 0,0:05:12.46,0:05:16.08,Default,,0000,0000,0000,,聞きました。教えてくれたところによると、彼と
Dialogue: 0,0:05:16.08,0:05:20.99,Default,,0000,0000,0000,,Sedgewick教授がその論文を書き上げたとき、論文誌では
Dialogue: 0,0:05:20.99,0:05:24.79,Default,,0000,0000,0000,,限られた印刷技術しか使うことができず、出版するには
Dialogue: 0,0:05:24.79,0:05:28.10,Default,,0000,0000,0000,,限られた種類の色しか使えませんでした。だから単に
Dialogue: 0,0:05:28.10,0:05:32.08,Default,,0000,0000,0000,,その色を使い、データ構造に赤黒木と名付け、論文でも
Dialogue: 0,0:05:32.08,0:05:36.03,Default,,0000,0000,0000,,ちゃんと赤と黒の絵を使えたというわけです。残念ながらその後
Dialogue: 0,0:05:36.03,0:05:40.17,Default,,0000,0000,0000,,混乱があり、そうした印刷技術は結局使えませんでした。なので
Dialogue: 0,0:05:40.17,0:05:44.04,Default,,0000,0000,0000,,論文は彼らが思い描いていた通りには印刷されませんでしたが、名前は残ったというわけです。
Dialogue: 0,0:05:44.04,0:05:47.90,Default,,0000,0000,0000,,これが、このデータ構造がどうしてこのような名前になったか
Dialogue: 0,0:05:48.06,0:05:51.94,Default,,0000,0000,0000,,という面白い理由です。次に二番目の不変条件ですが、
Dialogue: 0,0:05:51.94,0:05:56.06,Default,,0000,0000,0000,,探索木のルートノードは常に黒です。赤にはなりません。
Dialogue: 0,0:05:56.06,0:05:58.09,Default,,0000,0000,0000,,いいですか？　では、表面的な不変条件がわかったところで、
Dialogue: 0,0:05:58.09,0:06:02.04,Default,,0000,0000,0000,,残りの2つの主要な条件について見てみましょう。
Dialogue: 0,0:06:02.04,0:06:06.02,Default,,0000,0000,0000,,まずはじめに、赤ノードが並ぶことはありません。
Dialogue: 0,0:06:06.02,0:06:12.82,Default,,0000,0000,0000,,つまり、赤ノードがツリーにあれば、その子ノードは必ず黒です。
Dialogue: 0,0:06:12.82,0:06:16.01,Default,,0000,0000,0000,,もうちょっと考えてみればおわかりでしょうが、つまり
Dialogue: 0,0:06:16.01,0:06:20.02,Default,,0000,0000,0000,,赤ノードがあれば、それは必ず親を持ち、また親は必ず
Dialogue: 0,0:06:20.02,0:06:24.08,Default,,0000,0000,0000,,黒ノードになります。そういう意味で、ツリーのどこででも
Dialogue: 0,0:06:24.08,0:06:30.08,Default,,0000,0000,0000,,赤ノードが並ぶことはありません。最後の不変条件も厳しく、
Dialogue: 0,0:06:30.08,0:06:37.05,Default,,0000,0000,0000,,ルートノードから先端まで取ることのできるどんな経路を取っても
Dialogue: 0,0:06:37.05,0:06:41.02,Default,,0000,0000,0000,,正確に同じ数の黒ノードがなければいけません。
Dialogue: 0,0:06:41.02,0:06:45.96,Default,,0000,0000,0000,,ルートからの経路という意味を明確にしましょう。考えるべきは
Dialogue: 0,0:06:45.96,0:06:49.37,Default,,0000,0000,0000,,失敗した探索ですよね？　失敗した探索では、
Dialogue: 0,0:06:49.37,0:06:53.22,Default,,0000,0000,0000,,ルートからはじめて、大きいか小さいかに応じて
Dialogue: 0,0:06:53.22,0:06:57.15,Default,,0000,0000,0000,,右か左かに行きます。右か左かにたどっていって、
Dialogue: 0,0:06:57.15,0:07:01.05,Default,,0000,0000,0000,,nullポインタに到達します。つまり皆さんに考えてみてほしいのは、
Dialogue: 0,0:07:01.05,0:07:04.94,Default,,0000,0000,0000,,ルートからはじめて、最後にはツリーの末端まで行き着く処理です。
Dialogue: 0,0:07:04.94,0:07:07.10,Default,,0000,0000,0000,,そうするなかで、ある数のノードを調べることになります。
Dialogue: 0,0:07:07.10,0:07:11.03,Default,,0000,0000,0000,,そのうち一部は黒ノードで、一部は赤ノードでしょう。
Dialogue: 0,0:07:11.03,0:07:15.36,Default,,0000,0000,0000,,そして黒ノードの数を考えてみましょう。赤黒木の条件では、
Dialogue: 0,0:07:15.36,0:07:19.53,Default,,0000,0000,0000,,定義上、どんな経路をたどってルートから
Dialogue: 0,0:07:19.53,0:07:24.10,Default,,0000,0000,0000,,nullポインタまでたどっても、たどる黒ノードの数は
Dialogue: 0,0:07:24.10,0:07:27.28,Default,,0000,0000,0000,,全く同じになる、という条件を満たさないといけません。
Dialogue: 0,0:07:27.28,0:07:31.79,Default,,0000,0000,0000,,経路によって変わってはいけません。同じルートからは
Dialogue: 0,0:07:31.79,0:07:34.56,Default,,0000,0000,0000,,完全に同じです。いくつか例を見てみましょう。
Dialogue: 0,0:07:34.56,0:07:38.41,Default,,0000,0000,0000,,こういうことです。赤黒木がうまくバランスしなければ
Dialogue: 0,0:07:38.41,0:07:42.67,Default,,0000,0000,0000,,ならないという考え方を示します。
Dialogue: 0,0:07:42.67,0:07:45.74,Default,,0000,0000,0000,,高さは、基本的には対数的でなければなりません。
Dialogue: 0,0:07:45.74,0:07:49.02,Default,,0000,0000,0000,,考えてみましょう。一番バランスしてないツリーは何でしょう？
Dialogue: 0,0:07:49.02,0:07:54.12,Default,,0000,0000,0000,,それは、このような連鎖ですね。つまり、言いたいのは3ノードの
Dialogue: 0,0:07:54.12,0:07:58.39,Default,,0000,0000,0000,,チェインであっても赤黒木ではないということです。その証明は？
Dialogue: 0,0:07:58.39,0:08:04.96,Default,,0000,0000,0000,,そういうツリーを仮定します。仮に、キーを１，２，３とします。
Dialogue: 0,0:08:04.96,0:08:08.46,Default,,0000,0000,0000,,すると問題は、この3つのノードを赤か黒に色をつけ
Dialogue: 0,0:08:08.46,0:08:13.38,Default,,0000,0000,0000,,4つの不変条件を満たすような方法はあるだろうか、
Dialogue: 0,0:08:13.38,0:08:17.06,Default,,0000,0000,0000,,ということです。ノードを赤か黒にわけます。
Dialogue: 0,0:08:17.06,0:08:20.38,Default,,0000,0000,0000,,条件2から、ルートノードは黒になります。
Dialogue: 0,0:08:20.38,0:08:24.41,Default,,0000,0000,0000,,2と3の色分けについては、4通りの可能性があります。
Dialogue: 0,0:08:24.41,0:08:27.45,Default,,0000,0000,0000,,ですが条件3により、3つの可能性しかありません。
Dialogue: 0,0:08:27.45,0:08:30.25,Default,,0000,0000,0000,,2と3をどちらも赤にしてはいけません。なぜなら、
Dialogue: 0,0:08:30.25,0:08:34.02,Default,,0000,0000,0000,,2つの赤ノードが連続するからです。そこで2が赤で3が黒、
Dialogue: 0,0:08:34.02,0:08:37.01,Default,,0000,0000,0000,,2が黒で3が赤、両方とも黒、という可能性があります。
Dialogue: 0,0:08:37.01,0:08:41.07,Default,,0000,0000,0000,,このどれも同じです。一例として、
Dialogue: 0,0:08:41.07,0:08:44.08,Default,,0000,0000,0000,,2が赤で3が黒としましょう。
Dialogue: 0,0:08:44.08,0:08:48.49,Default,,0000,0000,0000,,ここでは条件4が破られています。実は条件4は
Dialogue: 0,0:08:48.49,0:08:53.00,Default,,0000,0000,0000,,2と3をどのように色分けしても破られます。
Dialogue: 0,0:08:53.00,0:08:56.62,Default,,0000,0000,0000,,条件4は何だったでしょうか？　どんな失敗する探索でも、
Dialogue: 0,0:08:56.62,0:09:00.01,Default,,0000,0000,0000,,全く同じ数の黒ノードを通るということです。
Dialogue: 0,0:09:00.01,0:09:03.06,Default,,0000,0000,0000,,失敗する探索のひとつは、たとえば0です。
Dialogue: 0,0:09:03.06,0:09:07.08,Default,,0000,0000,0000,,0を探索すると、ルートを見て左に行き、nullポインタに
Dialogue: 0,0:09:07.08,0:09:10.03,Default,,0000,0000,0000,,到達します。つまり1つの黒ノードに到達します。
Dialogue: 0,0:09:10.03,0:09:12.06,Default,,0000,0000,0000,,1つです。一方、4を探索したとしましょう。
Dialogue: 0,0:09:12.06,0:09:15.28,Default,,0000,0000,0000,,ルートからはじめて右へ行き、2に行き、さらに右へ、
Dialogue: 0,0:09:15.28,0:09:19.40,Default,,0000,0000,0000,,3に行き、さらに右へ、そしてnullポインタに
Dialogue: 0,0:09:19.40,0:09:22.02,Default,,0000,0000,0000,,到達します。この場合、失敗した探索で
Dialogue: 0,0:09:22.02,0:09:24.06,Default,,0000,0000,0000,,2つの黒ノードにぶつかります。1と3です。
Dialogue: 0,0:09:24.06,0:09:28.01,Default,,0000,0000,0000,,つまり不変条件4が破られています。したがって、
Dialogue: 0,0:09:28.01,0:09:30.06,Default,,0000,0000,0000,,これは赤黒木ではありません。どのように2と3を
Dialogue: 0,0:09:30.06,0:09:34.04,Default,,0000,0000,0000,,塗り分けてもどれかの不変条件が破られるという確認は
Dialogue: 0,0:09:34.04,0:09:37.00,Default,,0000,0000,0000,,自分で確認してみてください。両方赤なら条件3が破られます。
Dialogue: 0,0:09:37.00,0:09:39.02,Default,,0000,0000,0000,,少なくとも1つが赤なら、条件4は破られます。
Dialogue: 0,0:09:39.02,0:09:42.04,Default,,0000,0000,0000,,つまりこれは赤黒木ではないという例です。
Dialogue: 0,0:09:42.04,0:09:44.41,Default,,0000,0000,0000,,では赤黒木の例も見てみましょう。
Dialogue: 0,0:09:44.41,0:09:48.01,Default,,0000,0000,0000,,ある探索木が、実際にノードを赤と黒に塗り分け、
Dialogue: 0,0:09:48.01,0:09:52.02,Default,,0000,0000,0000,,全ての4つの不変条件が満たされるようなものです。
Dialogue: 0,0:09:52.02,0:09:56.06,Default,,0000,0000,0000,,赤黒木のとても簡単な例は、完全にバランスした木です。
Dialogue: 0,0:09:56.06,0:09:59.01,Default,,0000,0000,0000,,たとえば、このように3つのノードがあって、３，５，７のキーがあり
Dialogue: 0,0:09:59.01,0:10:03.05,Default,,0000,0000,0000,,5がルートになっているとします。
Dialogue: 0,0:10:03.05,0:10:06.02,Default,,0000,0000,0000,,両側に子ノードがひとつずつあります。
Dialogue: 0,0:10:06.02,0:10:09.04,Default,,0000,0000,0000,,3と7です。これは赤黒木でしょうか？
Dialogue: 0,0:10:09.04,0:10:11.10,Default,,0000,0000,0000,,問題は何だったでしょうか？
Dialogue: 0,0:10:11.10,0:10:16.05,Default,,0000,0000,0000,,この3つのノードを赤か黒に塗り分けて、4つの不変条件を
Dialogue: 0,0:10:16.05,0:10:19.00,Default,,0000,0000,0000,,全て満たすような方法はあるか？ということです。
Dialogue: 0,0:10:19.08,0:10:24.01,Default,,0000,0000,0000,,ちょっと考えてみると、そう、たしかにこのノードを塗り分けて
Dialogue: 0,0:10:24.01,0:10:27.06,Default,,0000,0000,0000,,条件を満たすことができることがわかるでしょう。
Dialogue: 0,0:10:27.06,0:10:31.00,Default,,0000,0000,0000,,とくに、全部のノードを黒だとしましょう。
Dialogue: 0,0:10:31.04,0:10:34.05,Default,,0000,0000,0000,,条件1は満たされます。すべてのノードには色がついています。
Dialogue: 0,0:10:34.05,0:10:37.10,Default,,0000,0000,0000,,条件2も満たされます。ルートノードは黒です。
Dialogue: 0,0:10:37.10,0:10:41.08,Default,,0000,0000,0000,,条件3も満たされます。赤ノードはないので、
Dialogue: 0,0:10:41.08,0:10:45.02,Default,,0000,0000,0000,,赤ノードが並ぶこともありません。そして、考えてみると、
Dialogue: 0,0:10:45.02,0:10:48.07,Default,,0000,0000,0000,,条件4も満たされます。なぜなら、ツリーは完全にバランスしているからです。
Dialogue: 0,0:10:48.07,0:10:52.10,Default,,0000,0000,0000,,どういう探索で失敗しても、必ず2つの黒ノードを
Dialogue: 0,0:10:52.10,0:10:55.04,Default,,0000,0000,0000,,通過します。たとえば1を検索すると、
Dialogue: 0,0:10:55.04,0:10:59.00,Default,,0000,0000,0000,,3と5を通ります。6を検索すれば、
Dialogue: 0,0:10:59.00,0:11:01.91,Default,,0000,0000,0000,,5と7を通ります。つまり、ルートからのあらゆる経路は正確に
Dialogue: 0,0:11:01.91,0:11:05.08,Default,,0000,0000,0000,,2つの黒ノードを持ち、第4の不変条件も満たされます。
Dialogue: 0,0:11:05.08,0:11:08.05,Default,,0000,0000,0000,,素晴らしい。ですがもちろん、二分探索木のポイントは、
Dialogue: 0,0:11:08.05,0:11:11.03,Default,,0000,0000,0000,,動的にしたいということです。
Dialogue: 0,0:11:11.03,0:11:13.07,Default,,0000,0000,0000,,挿入や削除に対応できないといけません。
Dialogue: 0,0:11:13.07,0:11:17.05,Default,,0000,0000,0000,,挿入や削除のたびに、赤黒木に新しいノードができます。
Dialogue: 0,0:11:17.05,0:11:19.29,Default,,0000,0000,0000,,たとえば挿入の場合、新しいノードができて
Dialogue: 0,0:11:19.29,0:11:23.28,Default,,0000,0000,0000,,色を決めねばなりません。すると突然、4つの不変条件の
Dialogue: 0,0:11:23.28,0:11:25.48,Default,,0000,0000,0000,,どれも破られないか心配になってきますね。
Dialogue: 0,0:11:25.48,0:11:28.95,Default,,0000,0000,0000,,では、あまり大変なことをしなくても挿入できるような、
Dialogue: 0,0:11:28.95,0:11:32.06,Default,,0000,0000,0000,,簡単な場合を見てみます。またの機会に、オプショナルなビデオで
Dialogue: 0,0:11:32.06,0:11:35.100,Default,,0000,0000,0000,,ツリーの回転によって、もっと根本的な探索木の再構築を
Dialogue: 0,0:11:35.100,0:11:40.54,Default,,0000,0000,0000,,行い、4つの不変条件を維持してバランスした状態を保つための
Dialogue: 0,0:11:40.70,0:11:44.16,Default,,0000,0000,0000,,解説をします。では、ここに赤黒木があって、全部のノードが黒
Dialogue: 0,0:11:44.16,0:11:48.37,Default,,0000,0000,0000,,だとします。そして例えば6を挿入します。
Dialogue: 0,0:11:48.37,0:11:51.05,Default,,0000,0000,0000,,ここに。ここでもし、これを黒にすると、
Dialogue: 0,0:11:51.05,0:11:55.03,Default,,0000,0000,0000,,もう赤黒木ではありません。なぜなら、たとえば5.5を探索すると、
Dialogue: 0,0:11:55.03,0:11:59.62,Default,,0000,0000,0000,,3つの黒ノードに遭遇することになるからです。
Dialogue: 0,0:11:59.62,0:12:03.46,Default,,0000,0000,0000,,ここで1を探索すると、2つの黒ノードにしか遭遇しません。
Dialogue: 0,0:12:03.46,0:12:05.71,Default,,0000,0000,0000,,だからこれではうまく行きません。
Dialogue: 0,0:12:05.71,0:12:09.97,Default,,0000,0000,0000,,ですが6を黒にするかわりに、赤にするとうまくいきます。
Dialogue: 0,0:12:09.97,0:12:13.54,Default,,0000,0000,0000,,この場合、6は条件4からは無関係になります。
Dialogue: 0,0:12:13.54,0:12:16.41,Default,,0000,0000,0000,,ルートからのどのパスにもあらわれません。
Dialogue: 0,0:12:16.41,0:12:20.86,Default,,0000,0000,0000,,元のツリーではどのパスでも2つの黒ノードがあるのでした。
Dialogue: 0,0:12:20.86,0:12:24.28,Default,,0000,0000,0000,,6が来る前は。そして、6が赤ならこれは変わりません。
Dialogue: 0,0:12:24.28,0:12:28.99,Default,,0000,0000,0000,,つまり、6を挿入しても赤くすれば4つの条件は全て満たされます。
Dialogue: 0,0:12:28.99,0:12:33.21,Default,,0000,0000,0000,,次に、たとえば8を挿入しましょう。全く同じやり方が使えます。
Dialogue: 0,0:12:33.21,0:12:37.14,Default,,0000,0000,0000,,8を赤とします。同じく、このノードは条件4には参加しません。
Dialogue: 0,0:12:37.14,0:12:42.02,Default,,0000,0000,0000,,なので破られません。さらに言えば、2つの赤ノードは並んでいないので、
Dialogue: 0,0:12:42.02,0:12:45.07,Default,,0000,0000,0000,,条件3も破られていません。
Dialogue: 0,0:12:45.07,0:12:50.04,Default,,0000,0000,0000,,というわけで、これも赤黒木です。実は、この赤黒木を
Dialogue: 0,0:12:50.04,0:12:54.09,Default,,0000,0000,0000,,4つの条件を満たしつつ塗り分けるのは
Dialogue: 0,0:12:54.09,0:12:57.08,Default,,0000,0000,0000,,これだけではありません。たとえば、6と8を黒に変更します。
Dialogue: 0,0:12:57.08,0:13:02.00,Default,,0000,0000,0000,,ただ同時に、7を赤に塗り分けます。これで完璧です。
Dialogue: 0,0:13:02.00,0:13:05.00,Default,,0000,0000,0000,,明らかに最初の3つの不変条件は満たされます。
Dialogue: 0,0:13:05.00,0:13:09.01,Default,,0000,0000,0000,,また、6と8の赤を合併して上に押し上げ、
Dialogue: 0,0:13:09.01,0:13:13.04,Default,,0000,0000,0000,,7を赤にすることで、黒ノードの数は、どんな経路でも
Dialogue: 0,0:13:13.04,0:13:16.04,Default,,0000,0000,0000,,かわりません。6を通ったパスは7を通りますし、
Dialogue: 0,0:13:16.04,0:13:20.07,Default,,0000,0000,0000,,8を通った経路も7を通ります。だから、
Dialogue: 0,0:13:20.07,0:13:24.92,Default,,0000,0000,0000,,これまでと同じく、正確に同じ数の赤と黒のノードが、
Dialogue: 0,0:13:24.92,0:13:28.08,Default,,0000,0000,0000,,どちらの経路でも存在します。つまり、全ての経路が
Dialogue: 0,0:13:28.08,0:13:30.84,Default,,0000,0000,0000,,同じ数の黒ノードを持ち、条件4は満たされます。
Dialogue: 0,0:13:30.84,0:13:36.60,Default,,0000,0000,0000,,ここでは、ごく単純な例だけをお見せしています。挿入の際、
Dialogue: 0,0:13:36.60,0:13:39.90,Default,,0000,0000,0000,,赤黒の性質を守るために大したことは必要ありません。
Dialogue: 0,0:13:39.90,0:13:44.46,Default,,0000,0000,0000,,一般に、もっとたくさんのものを挿入したり削除すると、
Dialogue: 0,0:13:44.46,0:13:48.77,Default,,0000,0000,0000,,4つの不変条件を維持するために大変なことをしなければいけなくなります。
Dialogue: 0,0:13:48.77,0:13:52.81,Default,,0000,0000,0000,,時間が許せば、オプショナルなビデオでそのさわりを説明します。
Dialogue: 0,0:13:52.81,0:13:57.75,Default,,0000,0000,0000,,ところで、赤黒木に足された一見適当な条件の
Dialogue: 0,0:13:57.75,0:14:00.48,Default,,0000,0000,0000,,要点は何でしょうか？　実は4つの不変条件を
Dialogue: 0,0:14:00.48,0:14:05.48,Default,,0000,0000,0000,,全て満たすようにすると、高さが小さくなるというのが
Dialogue: 0,0:14:05.48,0:14:07.84,Default,,0000,0000,0000,,要点です。そして高さが小さくなるので、
Dialogue: 0,0:14:07.84,0:14:10.10,Default,,0000,0000,0000,,全ての操作が速くなるのです。
Dialogue: 0,0:14:10.10,0:14:15.70,Default,,0000,0000,0000,,では、4つの不変条件を満たすと、高さがとても
Dialogue: 0,0:14:15.70,0:14:20.03,Default,,0000,0000,0000,,小さくなることを証明します。実は、考えうる最小値の倍
Dialogue: 0,0:14:20.03,0:14:24.04,Default,,0000,0000,0000,,ほぼlog_2(N)の2倍を超えません。
Dialogue: 0,0:14:24.04,0:14:31.00,Default,,0000,0000,0000,,正式にいえば、任意のNノードの赤黒木では、高さは
Dialogue: 0,0:14:31.00,0:14:36.88,Default,,0000,0000,0000,,O(log N)、より正確には 2log_2(N+1)となります。
Dialogue: 0,0:14:36.89,0:14:41.72,Default,,0000,0000,0000,,証明しましょう。この証明についてはっきりしているのは、
Dialogue: 0,0:14:41.72,0:14:46.09,Default,,0000,0000,0000,,不変条件3と4の果たす役割です。
Dialogue: 0,0:14:46.09,0:14:51.91,Default,,0000,0000,0000,,本質的に、この不変条件が保証するのは、赤黒木は
Dialogue: 0,0:14:51.91,0:14:57.01,Default,,0000,0000,0000,,完全平衡木にある係数の増加を加えたようになります。
Dialogue: 0,0:14:57.01,0:15:01.01,Default,,0000,0000,0000,,どういう意味か見てみましょう。とある考え方から始めます。
Dialogue: 0,0:15:01.01,0:15:03.08,Default,,0000,0000,0000,,ここでは、赤黒木には何もしません。
Dialogue: 0,0:15:03.08,0:15:08.01,Default,,0000,0000,0000,,色のことはいったん忘れてください。二分木の構造だけを考えます。
Dialogue: 0,0:15:08.01,0:15:10.06,Default,,0000,0000,0000,,そして、ツリーの中のルートノードからの経路の長さに
Dialogue: 0,0:15:10.06,0:15:14.08,Default,,0000,0000,0000,,下限があるとします。これをkとしましょう。
Dialogue: 0,0:15:14.08,0:15:18.08,Default,,0000,0000,0000,,kを、たとえば10とでも考えてみてください。あるツリーがあって
Dialogue: 0,0:15:18.08,0:15:22.10,Default,,0000,0000,0000,,ルートからはじめ、左右のどのように経路をたどって
Dialogue: 0,0:15:22.10,0:15:26.08,Default,,0000,0000,0000,,nullポインタまで到達しても、どう選んでも、
Dialogue: 0,0:15:26.08,0:15:29.03,Default,,0000,0000,0000,,少なくともk個のノードはたどることになります。
Dialogue: 0,0:15:29.03,0:15:34.07,Default,,0000,0000,0000,,もしこの仮定が満たされるなら、考えてみてください、
Dialogue: 0,0:15:34.07,0:15:39.03,Default,,0000,0000,0000,,このツリーの上位は完全に埋まっています。このツリーの上位は
Dialogue: 0,0:15:39.03,0:15:43.06,Default,,0000,0000,0000,,完全平衡木になっています。高さk-1の二分木です。
Dialogue: 0,0:15:43.06,0:15:46.03,Default,,0000,0000,0000,,では、k=3となるようなツリーを描いてみます。
Dialogue: 0,0:15:46.03,0:15:50.08,Default,,0000,0000,0000,,ルートからnullポインタまでどのように移動しても、必ず
Dialogue: 0,0:15:50.08,0:15:54.10,Default,,0000,0000,0000,,最低3つのノードを見るということです。つまり上位3階層は
Dialogue: 0,0:15:54.10,0:15:57.09,Default,,0000,0000,0000,,完全に埋まっています。まずルートがあって、
Dialogue: 0,0:15:57.09,0:16:01.07,Default,,0000,0000,0000,,両側に子ノードがあります。孫ノードは全部で4つ。
Dialogue: 0,0:16:01.07,0:16:04.08,Default,,0000,0000,0000,,この考え方を、背理法で証明します。
Dialogue: 0,0:16:04.08,0:16:08.02,Default,,0000,0000,0000,,実際、上位k階層のノードのどれかが欠けていたとすると、
Dialogue: 0,0:16:08.02,0:16:13.02,Default,,0000,0000,0000,,k個のノードをたどる前にnullポインタに到達する経路が
Dialogue: 0,0:16:13.02,0:16:18.04,Default,,0000,0000,0000,,存在します。ここでのポイントは、この下限から、
Dialogue: 0,0:16:18.04,0:16:23.09,Default,,0000,0000,0000,,ツリー内のノード数の下限が、ルートからnullまでの経路の
Dialogue: 0,0:16:23.09,0:16:28.09,Default,,0000,0000,0000,,長さの関数として与えられるということです。ツリーの大きさNは
Dialogue: 0,0:16:28.09,0:16:34.32,Default,,0000,0000,0000,,深さk-1の完全平衡木のノード数、つまり2のk乗-1を
Dialogue: 0,0:16:34.32,0:16:40.09,Default,,0000,0000,0000,,含みます。たとえばk=3なら
Dialogue: 0,0:16:40.09,0:16:45.35,Default,,0000,0000,0000,,2の3乗-1の7です。これはツリーについての基本的な事実で
Dialogue: 0,0:16:45.35,0:16:49.55,Default,,0000,0000,0000,,赤黒木とは関係ありません。ではこれと赤黒木の不変条件を
Dialogue: 0,0:16:49.55,0:16:54.74,Default,,0000,0000,0000,,組み合わせて、なぜ赤黒木が低くなるか考えましょう。
Dialogue: 0,0:16:54.74,0:16:58.83,Default,,0000,0000,0000,,また、前のスライドの結論を振り返りましょう。
Dialogue: 0,0:16:58.83,0:17:04.41,Default,,0000,0000,0000,,ツリーのノード数Nは、少なくとも2のk乗-1はあります。
Dialogue: 0,0:17:04.41,0:17:08.93,Default,,0000,0000,0000,,ここでkは、ルートからnullまでの経路の一番小さい値です。
Dialogue: 0,0:17:08.93,0:17:13.50,Default,,0000,0000,0000,,このことを少し書き換えて、kに対してNに
Dialogue: 0,0:17:13.50,0:17:18.37,Default,,0000,0000,0000,,制約を与えるのではなく、Nからkの上限を決めましょう。
Dialogue: 0,0:17:18.37,0:17:23.48,Default,,0000,0000,0000,,つまり、ルートからのあらゆる経路の長さの最小値は、
Dialogue: 0,0:17:23.48,0:17:26.80,Default,,0000,0000,0000,,log_2(N+1)より大きくなることはありません。
Dialogue: 0,0:17:26.80,0:17:31.24,Default,,0000,0000,0000,,これは単に両辺に1を足して2を底とした対数を取るだけです。
Dialogue: 0,0:17:31.24,0:17:35.36,Default,,0000,0000,0000,,では、これの何がいいんでしょうか？　では赤黒木について
Dialogue: 0,0:17:35.36,0:17:38.02,Default,,0000,0000,0000,,考えましょう。ノード数Nの赤黒木です。
Dialogue: 0,0:17:38.02,0:17:42.21,Default,,0000,0000,0000,,何が言えるでしょうか？　赤黒木と関係なく
Dialogue: 0,0:17:42.21,0:17:48.16,Default,,0000,0000,0000,,あるルートからnullまでの経路のノードの数は、
Dialogue: 0,0:17:48.16,0:17:52.62,Default,,0000,0000,0000,,たかだかlog_2(N+1)です。最善の場合で。全部が黒ノードです。
Dialogue: 0,0:17:52.62,0:17:57.24,Default,,0000,0000,0000,,いくらかは赤ノードですが、最大の場合では、全てが黒ノードです。
Dialogue: 0,0:17:57.24,0:18:00.06,Default,,0000,0000,0000,,つまり、Nノードの赤黒木について次のことが言えます。
Dialogue: 0,0:18:00.06,0:18:06.18,Default,,0000,0000,0000,,ルート-null経路には、最大でもlog_2(N+1)の黒ノードしか含まれない。
Dialogue: 0,0:18:06.18,0:18:10.75,Default,,0000,0000,0000,,これは、証明したことよりは弱い主張です。
Dialogue: 0,0:18:10.75,0:18:15.50,Default,,0000,0000,0000,,証明したのは、log_2(N+1)ノードを必ず持つということですから。
Dialogue: 0,0:18:15.50,0:18:18.34,Default,,0000,0000,0000,,というわけで、経路は確実にlog_2(N+1)個の
Dialogue: 0,0:18:18.34,0:18:21.88,Default,,0000,0000,0000,,黒ノードを持つことがわかりました。では2つの不変条件から
Dialogue: 0,0:18:21.88,0:18:25.74,Default,,0000,0000,0000,,2つのノックアウトパンチを繰り出しましょう。そもそも、
Dialogue: 0,0:18:25.74,0:18:29.17,Default,,0000,0000,0000,,4つの不変条件は何を言っていたでしょうか？　言っていたのは
Dialogue: 0,0:18:29.17,0:18:33.01,Default,,0000,0000,0000,,赤黒木の経路を見た時、ルートからはじめて
Dialogue: 0,0:18:33.01,0:18:35.38,Default,,0000,0000,0000,,失敗した探索を考えました。nullポインタまでたどります。
Dialogue: 0,0:18:35.38,0:18:39.09,Default,,0000,0000,0000,,そして、赤ノードが見えないとして、全然数えないとすると、
Dialogue: 0,0:18:39.09,0:18:43.03,Default,,0000,0000,0000,,経路には対数的な数のノードしかないということです。
Dialogue: 0,0:18:43.03,0:18:47.05,Default,,0000,0000,0000,,もちろん、赤黒木の高さについて考えるときは、すべてのノードを
Dialogue: 0,0:18:47.05,0:18:49.73,Default,,0000,0000,0000,,考えます。赤ノードと黒ノードを。
Dialogue: 0,0:18:49.73,0:18:54.17,Default,,0000,0000,0000,,これまでのところ、黒ノードしか考えないと、うまくいって、
Dialogue: 0,0:18:54.17,0:18:56.73,Default,,0000,0000,0000,,log_2(N+1)個のノードだけしかないということです。
Dialogue: 0,0:18:56.73,0:18:59.05,Default,,0000,0000,0000,,ここで不変条件3がやってきます。
Dialogue: 0,0:18:59.05,0:19:04.02,Default,,0000,0000,0000,,この条件は実は、ツリーでは黒ノードが多数派だと言っています。
Dialogue: 0,0:19:04.02,0:19:08.03,Default,,0000,0000,0000,,もともとは、どんな経路でも赤ノードが並ばないということです。
Dialogue: 0,0:19:08.03,0:19:12.10,Default,,0000,0000,0000,,もし黒ノードの数が少なければ、赤ノードを並べることは
Dialogue: 0,0:19:12.10,0:19:17.04,Default,,0000,0000,0000,,できないので、経路上のノード数も2倍にしかなりません。
Dialogue: 0,0:19:17.04,0:19:21.07,Default,,0000,0000,0000,,最悪の場合で、黒のルートノードがあり、赤ノード、次に黒、次に赤
Dialogue: 0,0:19:21.07,0:19:26.02,Default,,0000,0000,0000,,黒、赤、黒、などとなります。最悪の場合でも赤ノードの数は
Dialogue: 0,0:19:26.02,0:19:30.09,Default,,0000,0000,0000,,黒ノードの数と等しくなります。経路の長さは、赤ノードを
Dialogue: 0,0:19:30.09,0:19:35.04,Default,,0000,0000,0000,,考えた時、倍になります。そして、これはまさしく、
Dialogue: 0,0:19:35.04,0:19:39.00,Default,,0000,0000,0000,,ツリーの高さが対数的になるということです。実際、これは
Dialogue: 0,0:19:39.00,0:19:43.05,Default,,0000,0000,0000,,もしツリーが4つの不変条件を満たすなら、とくに
Dialogue: 0,0:19:43.05,0:19:47.08,Default,,0000,0000,0000,,赤ノードが並ばないというのと、黒ノードの経路上の数が等しい
Dialogue: 0,0:19:47.08,0:19:51.06,Default,,0000,0000,0000,,というなら、ツリーのことは他に何も知らなくても、ツリーは
Dialogue: 0,0:19:51.06,0:19:54.03,Default,,0000,0000,0000,,バランスされるという主張が証明されます。2を底として
Dialogue: 0,0:19:54.03,0:19:56.02,Default,,0000,0000,0000,,完全にバランスされます。また、ポイントとしては、
Dialogue: 0,0:19:56.02,0:19:59.83,Default,,0000,0000,0000,,探索木の操作も対数時間で実行されます。
Dialogue: 0,0:19:59.83,0:20:04.04,Default,,0000,0000,0000,,なぜなら、高さがこうした操作の実行時間を支配するからです。
Dialogue: 0,0:20:04.08,0:20:08.63,Default,,0000,0000,0000,,さて、ある意味では、簡単な部分はお話しました。
Dialogue: 0,0:20:08.63,0:20:12.19,Default,,0000,0000,0000,,探索木が4つの不変条件を満たすなら、それでうまく行く。
Dialogue: 0,0:20:12.19,0:20:15.99,Default,,0000,0000,0000,,高さが小さくなり、操作は速くなることが保証されます。
Dialogue: 0,0:20:15.99,0:20:18.99,Default,,0000,0000,0000,,明らかにこれが、このデータ構造から欲しかったことです。
Dialogue: 0,0:20:18.99,0:20:22.98,Default,,0000,0000,0000,,ただ、このデータ構造を実際に実装しないといけない哀れな者どもは、
Dialogue: 0,0:20:22.98,0:20:26.75,Default,,0000,0000,0000,,データ構造が変化しても不変条件を維持するための労力をかけることになります。
Dialogue: 0,0:20:26.75,0:20:31.08,Default,,0000,0000,0000,,ここでの問題は動的であること、挿入と削除に対応することです。
Dialogue: 0,0:20:31.08,0:20:35.66,Default,,0000,0000,0000,,挿入と削除は4つの不変条件を台なしにするかもしれないので、
Dialogue: 0,0:20:35.66,0:20:40.02,Default,,0000,0000,0000,,コードを書き換えて条件を満たすようにすることで、ツリーを
Dialogue: 0,0:20:40.02,0:20:44.38,Default,,0000,0000,0000,,平衡に保ち、どんな挿入と削除の順番でも高さを保つ必要が
Dialogue: 0,0:20:44.38,0:20:46.77,Default,,0000,0000,0000,,あります。この部分は、このビデオでは扱いません。
Dialogue: 0,0:20:46.77,0:20:49.02,Default,,0000,0000,0000,,操作のどれも明らかに遅くすることなしに実現できます。
Dialogue: 0,0:20:49.02,0:20:53.05,Default,,0000,0000,0000,,これはとても複雑で、面白いアイデアを使います。
Dialogue: 0,0:20:53.05,0:20:57.05,Default,,0000,0000,0000,,有名なアルゴリズムがいくつかあり、教科書に詳しく書いてあります。
Dialogue: 0,0:20:57.05,0:21:00.07,Default,,0000,0000,0000,,もしくは、オープンソースで平衡探索木のコードを探せば、
Dialogue: 0,0:21:00.07,0:21:02.61,Default,,0000,0000,0000,,実装するコードを読むこともできます。
Dialogue: 0,0:21:02.61,0:21:07.15,Default,,0000,0000,0000,,ともあれ、現実的に実現でき、しかも赤黒木は
Dialogue: 0,0:21:07.15,0:21:11.51,Default,,0000,0000,0000,,豊富な操作をサポートするので、
Dialogue: 0,0:21:11.51,0:21:15.28,Default,,0000,0000,0000,,数学アプリケーションでよく見かけます。また同じ理由から、
Dialogue: 0,0:21:15.28,0:21:17.05,Default,,0000,0000,0000,,平衡木はプログラミングツールボックスの一部となっています。