View
426
Download
0
Category
Preview:
DESCRIPTION
Explanation for Purely Functional Data Structure (C. Okasaki) Exercise 3.9
Citation preview
PFDS EX. 3.9 竹井（@shtaag）
2011年12月17日土曜日
FROMORDLIST
•連続した値のlistからRedBlackTreeを形成すると、、
2011年12月17日土曜日
こうなる
Z
Y
X
Z
Y
X
連続したKeyのインサートではこのバランスが連続で呼ばれる（これ違うかもしれません...木の伸びる方向が逆？）
この図は左右反転している？？？
2011年12月17日土曜日
これを、基数2で表してみる
2011年12月17日土曜日
PENNANT
rank = 2
•完全木と一つのNodeから成る• rank r のpennantは、2rのNodeを持つ
2011年12月17日土曜日
EXPRESSION WITH PENNANTS
2011年12月17日土曜日
EXPRESSION WITH PENNANTS
※ 0,1ではなく、1,2を使用する
2011年12月17日土曜日
EXPRESSION WITH PENNANTS
(22)2
(21 x 2, 20 x 2)2
==
2011年12月17日土曜日
(21{N})だと高さを抑えられる
(23 x 2, 22 x 1, 21 x 1, 20 x 1)
2011年12月17日土曜日
実装
2011年12月17日土曜日
実装
s1 + 1 = s2, s2 + 1 = (s + 1)1を表現
2011年12月17日土曜日
実装
2011年12月17日土曜日
Recommended