【深入理解Java集合框架】紅黑樹講解(上)
來源:史上最清晰的紅黑樹講解(上) - CarpenterLee作者:CarpenterLee(轉載已獲得作者許可,如需轉載請與原作者聯系)
文中所有圖片點擊之後均可查看大圖!
史上最清晰的紅黑樹講解(上)
本文github地址
本文以Java TreeMap為例,從源代碼層面,結合詳細的圖解,剝繭抽絲地講解紅黑樹(Red-Black tree)的插入,刪除以及由此產生的調整過程。
總體介紹
Java TreeMap實現了SortedMap接口,也就是說會按照key的大小順序對Map中的元素進行排序,key大小的評判可以通過其本身的自然順序(natural ordering),也可以通過構造時傳入的比較器(Comparator)。
TreeMap底層通過紅黑樹(Red-Black tree)實現,也就意味著containsKey(), get(), put(), remove()都有著log(n)的時間復雜度。其具體算法實現參照了《算法導論》。
出於性能原因,TreeMap是非同步的(not synchronized),如果需要在多線程環境使用,需要程序員手動同步;或者通過如下方式將TreeMap包裝成(wrapped)同步的:
SortedMap m = Collections.synchronizedSortedMap(new TreeMap(...));
紅黑樹是一種近似平衡的二叉查找樹,它能夠確保任何一個節點的左右子樹的高度差不會超過二者中較低那個的一陪
- 每個節點要麽是紅色,要麽是黑色。
- 根節點必須是黑色
- 紅色節點不能連續(也即是,紅色節點的孩子和父親都不能是紅色)。
- 對於每個節點,從該點至null(樹尾端)的任何路徑,都含有相同個數的黑色節點。
在樹的結構發生改變時(插入或者刪除操作),往往會破壞上述條件3或條件4,需要通過調整使得查找樹重新滿足紅黑樹的條件。
預備知識
前文說到當查找樹的結構發生改變時,紅黑樹的條件可能被破壞,需要通過調整使得查找樹重新滿足紅黑樹的條件。調整可以分為兩類:一類是顏色調整,即改變某個節點的顏色;另一類是結構調整,集改變檢索樹的結構關系。結構調整過程包含兩個基本操作:左旋(Rotate Left),右旋(RotateRight)
左旋
左旋的過程是將x的右子樹繞x逆時針旋轉,使得x的右子樹成為x的父親,同時修改相關節點的引用。旋轉之後,二叉查找樹的屬性仍然滿足。
TreeMap中左旋代碼如下:
//Rotate Left
private void rotateLeft(Entry<K,V> p) {
if (p != null) {
Entry<K,V> r = p.right;
p.right = r.left;
if (r.left != null)
r.left.parent = p;
r.parent = p.parent;
if (p.parent == null)
root = r;
else if (p.parent.left == p)
p.parent.left = r;
else
p.parent.right = r;
r.left = p;
p.parent = r;
}
}
右旋
右旋的過程是將x的左子樹繞x順時針旋轉,使得x的左子樹成為x的父親,同時修改相關節點的引用。旋轉之後,二叉查找樹的屬性仍然滿足。
TreeMap中右旋代碼如下:
//Rotate Right
private void rotateRight(Entry<K,V> p) {
if (p != null) {
Entry<K,V> l = p.left;
p.left = l.right;
if (l.right != null) l.right.parent = p;
l.parent = p.parent;
if (p.parent == null)
root = l;
else if (p.parent.right == p)
p.parent.right = l;
else p.parent.left = l;
l.right = p;
p.parent = l;
}
}
方法剖析
- get()
get(Object key)方法根據指定的key值返回對應的value,該方法調用了getEntry(Object key)得到相應的entry,然後返回entry.value。因此getEntry()是算法的核心。算法思想是根據key的自然順序(或者比較器順序)對二叉查找樹進行查找,直到找到滿足k.compareTo(p.key) == 0的entry。
具體代碼如下:
//getEntry()方法
final Entry<K,V> getEntry(Object key) {
......
if (key == null)//不允許key值為null
throw new NullPointerException();
Comparable<? super K> k = (Comparable<? super K>) key;//使用元素的自然順序
Entry<K,V> p = root;
while (p != null) {
int cmp = k.compareTo(p.key);
if (cmp < 0)//向左找
p = p.left;
else if (cmp > 0)//向右找
p = p.right;
else
return p;
}
return null;
}
- put()
put(K key, V value)方法是將指定的key, value對添加到map裏。該方法首先會對map做一次查找,看是否包含該元組,如果已經包含則直接返回,查找過程類似於getEntry()方法;如果沒有找到則會在紅黑樹中插入新的entry,如果插入之後破壞了紅黑樹的約束,還需要進行調整(旋轉,改變某些節點的顏色)。
public V put(K key, V value) {
......
int cmp;
Entry<K,V> parent;
if (key == null)
throw new NullPointerException();
Comparable<? super K> k = (Comparable<? super K>) key;//使用元素的自然順序
do {
parent = t;
cmp = k.compareTo(t.key);
if (cmp < 0) t = t.left;//向左找
else if (cmp > 0) t = t.right;//向右找
else return t.setValue(value);
} while (t != null);
Entry<K,V> e = new Entry<>(key, value, parent);//創建並插入新的entry
if (cmp < 0) parent.left = e;
else parent.right = e;
fixAfterInsertion(e);//調整
size++;
return null;
}
上述代碼的插入部分並不難理解:首先在紅黑樹上找到合適的位置,然後創建新的entry並插入(當然,新插入的節點一定是樹的葉子)。難點是調整函數fixAfterInsertion(),前面已經說過,調整往往需要1.改變某些節點的顏色,2.對某些節點進行旋轉。
調整函數fixAfterInsertion()的具體代碼如下,其中用到了上文中提到的rotateLeft()和rotateRight()函數。通過代碼我們能夠看到,情況2其實是落在情況3內的。情況4~情況6跟前三種情況是對稱的,因此圖解中並沒有畫出後三種情況,讀者可以參考代碼自行理解。
//紅黑樹調整函數fixAfterInsertion()
private void fixAfterInsertion(Entry<K,V> x) {
x.color = RED;
while (x != null && x != root && x.parent.color == RED) {
if (parentOf(x) == leftOf(parentOf(parentOf(x)))) {
Entry<K,V> y = rightOf(parentOf(parentOf(x)));
if (colorOf(y) == RED) {//如果y為null,則視為BLACK
setColor(parentOf(x), BLACK); // 情況1
setColor(y, BLACK); // 情況1
setColor(parentOf(parentOf(x)), RED); // 情況1
x = parentOf(parentOf(x)); // 情況1
} else {
if (x == rightOf(parentOf(x))) {
x = parentOf(x); // 情況2
rotateLeft(x); // 情況2
}
setColor(parentOf(x), BLACK); // 情況3
setColor(parentOf(parentOf(x)), RED); // 情況3
rotateRight(parentOf(parentOf(x))); // 情況3
}
} else {
Entry<K,V> y = leftOf(parentOf(parentOf(x)));
if (colorOf(y) == RED) {
setColor(parentOf(x), BLACK); // 情況4
setColor(y, BLACK); // 情況4
setColor(parentOf(parentOf(x)), RED); // 情況4
x = parentOf(parentOf(x)); // 情況4
} else {
if (