手寫AVL平衡二叉搜尋樹
二叉搜尋樹的侷限性
先說一下什麼是二叉搜尋樹，二叉樹每個節點只有兩個節點，二叉搜尋樹的每個左子節點的值小於其父節點的值，每個右子節點的值大於其左子節點的值。如下圖：
二叉搜尋樹，顧名思義，它的搜尋效率很高，可以達到O(logn)。但這是理想狀況下的，即上圖所示。實際上，由於插入順序的原因，形成的二叉搜尋樹並不會像上圖這樣“工整”，最壞的情況的下，甚至可能會退化成連結串列了，如下圖：
這顯然不是我們想要看的結果，那麼我們必須要引入一套機制來避免這種事情的發生，也就是讓二叉搜尋樹帶上平衡條件。
AVL平衡二叉搜尋樹
幾個基本概念
-
葉子節點：既沒有左子節點，也沒有右左子節點的節點就是葉子節點。
-
樹的高度：葉子節點的高度為1，空節點的高度是-1，父節點的高度是其兩個子樹較高一棵子樹的高度加一。
-
平衡條件：每一個節點的左子樹與右子樹的高度差不超過1。
核心思想
因為AVL平衡二叉搜尋樹，父節點的兩顆子樹的高度差不能超過1。在AVL平衡二叉樹種，採用旋轉的機制來使不滿足平衡條件的二叉樹重新回到滿足平衡條件的狀態。在二叉搜尋樹中，需要被平衡的情況可以分為兩大類總共四種情況，
- 單旋轉
- 左旋轉
- 右旋轉
- 雙旋轉
- 先左旋，再右旋
- 先右旋，再左旋
如下圖所示：
通過圖片的形式我們很容易就可以寫出使二叉樹回到滿足平衡條件的程式碼
// 右旋轉
public TreeNode rightRotate(TreeNode root) {
TreeNode temp1 = root.left;
TreeNode temp2 = temp1.right;
temp1.right = root;
root.left = temp2;
return temp1;
}
// 左旋轉
public TreeNode leftRotate(TreeNode root) {
TreeNode temp1 = root.right;
TreeNode temp2 = temp1.left;
temp1.left = root;
root.right = temp2;
return temp1;
}
// 先右後左
public TreeNode rightLeftRotate(TreeNode root) {
root.right = rightRotate(root.right);
return leftRotate(root);
}
// 先左後右
public TreeNode leftRightRotate(TreeNode root) {
root.left = leftRotate(root.left);
return rightRotate(root);
}
我們必須再每一次插入節點後判斷樹是否需要平衡，也就是是否會出現兩顆子樹的高度差超過1的情況，首先編寫一個可以計算出傳入節點 高度的函式。
public int height(TreeNode root) {
if (root == null) {
return -1;
}
if (root.left == null && root.right == null) {
return 0;
}
return Math.max(height(root.right), height(root.left));
}
有了這個函式，我們就不僅可以判斷是否出現需要平衡的情況，還可以判斷需要平衡的情況是四種情況種的哪一種。
public TreeNode balance(TreeNode root) {
int l = height(root.left);
int r = height(root.right);
if (l - r >= 2) {
// rightRotate
if (height(root.left.left) - height(root.left.right) >= 1) {
// rightRotate
root = rightRotate(root);
} else if (height(root.left.right) - height(root.left.left) >= 1) {
// leftRightRotate
root = leftRightRotate(root);
}
} else if (r - l >= 2) {
// leftRotate
if (height(root.right.right) - height(root.right.left) >= 1) {
// leftRotate
root = leftRotate(root);
} else if (height(root.right.left) - height(root.right.right) >= 1){
root = rightLeftRotate(root);
}
}
return root;
}
以上就是AVL平衡二叉搜尋樹的精髓，並且已經用程式碼實現了。
完整程式碼
這是我完善後的功能相對完整的AVL二叉搜尋平衡樹。
class TreeNode {
int value;
TreeNode left;
TreeNode right;
int height;
public TreeNode(int value) {
this.value = value;
}
}
public class AVLBinarySearchTree {
public static void main(String[] args) {
AVLBinarySearchTree a = new AVLBinarySearchTree();
for (int i = 0; i < 10; i++) {
a.insert(i);
}
}
private TreeNode root;
private static final int ALLOWED_IMBALANCE = 1;
// 刪除元素
public void remove(int value) {
root = remove(value, root);
}
// 檢查是否包含某一元素，包含則返回該節點，不包含則返回null
public TreeNode contain(int value) {
TreeNode temp = root;
if (temp == null) {
return temp;
}
while (temp.value != value) {
if (value > temp.value) {
temp = temp.right;
} else if (value < temp.value) {
temp = temp.left;
}
}
return temp;
}
// 刪除指定子樹上的指定元素
private TreeNode remove(int value, TreeNode abn) {
if (abn == null) {
return abn;
}
if (value > abn.value) {
abn.right = remove(value, abn.right);
} else if (value < abn.value) {
abn.left = remove(value, abn.left);
} else {
if (abn.right == null && abn.left == null) {
abn = null;
return abn;
} else if (abn.right != null) {
abn.value = findMin(abn.right).value;
abn.right = remove(abn.value, abn.right);
} else {
abn.value = findMax(abn.left).value;
abn.left = remove(abn.value, abn.left);
}
}
return balance(abn);
}
// 找到指定子樹最大值
private TreeNode findMax(TreeNode abn) {
if (abn == null) {
return null;
}
TreeNode temp = abn;
while (temp.right != null) {
temp = temp.right;
}
return temp;
}
// 找到指定子樹最小值
private TreeNode findMin(TreeNode abn) {
if (abn == null) {
return null;
}
TreeNode temp = abn;
while (temp.left != null) {
temp = temp.left;
}
return temp;
}
// 插入節點
public void insert(int value) {
root = insert(value, root);
}
// 計算節點高度
private int height(TreeNode abn) {
if (abn == null) {
return -1;
}
return abn.height;
}
// 樹的高度
public int height() {
return height(root);
}
// 插入節點
private TreeNode insert(int value, TreeNode abn) {
if (abn == null) {
return new TreeNode(value);
}
if (value > abn.value) {
abn.right = insert(value, abn.right);
} else if (value < abn.value) {
abn.left = insert(value, abn.left);
}
return balance(abn);
}
// 平衡不平衡的樹
private TreeNode balance(TreeNode abn) {
if (height(abn.left) - height(abn.right) > ALLOWED_IMBALANCE) {
if (height(abn.left.left) >= height(abn.left.right)) {
abn = leftSingleRotate(abn);
} else if (height(abn.left.left) < height(abn.left.right)) {
abn = leftDoubleRotate(abn);
}
} else if (height(abn.right) - height(abn.left) > ALLOWED_IMBALANCE) {
if (height(abn.right.right) >= height(abn.right.left)) {
abn = rightSingleRotate(abn);
} else {
abn = rightDoubleRotate(abn);
}
}
abn.height = Math.max(height(abn.left), height(abn.right)) + 1;
return abn;
}
// 右單旋轉
private TreeNode rightSingleRotate(TreeNode abn) {
TreeNode temp = abn;
abn = abn.right;
temp.right = abn.left;
abn.left = temp;
temp.height = Math.max(height(temp.right), height(temp.left)) + 1;
abn.height = Math.max(height(abn.right), temp.height) + 1;
return abn;
}
// 左單旋轉
private TreeNode leftSingleRotate(TreeNode abn) {
TreeNode temp = abn;
abn = abn.left;
temp.left = abn.right;
abn.right = temp;
temp.height = Math.max(height(temp.right), height(temp.left)) + 1;
abn.height = Math.max(height(abn.right), temp.height) + 1;
return abn;
}
// 右雙旋轉
private TreeNode rightDoubleRotate(TreeNode abn) {
abn.right = leftSingleRotate(abn.right);
return rightSingleRotate(abn);
}
// 左雙旋轉
private TreeNode leftDoubleRotate(TreeNode abn) {
abn.left = rightSingleRotate(abn.left);
return leftSingleRotate(abn);
}
}