AVL樹(平衡二叉樹):
AVL樹本質上是一顆二叉查找樹,但是它又具有以下特點:它是一棵空樹或它的左右兩個子樹的高度差的絕對值不超過1,並且左右兩個子樹都是一棵平衡二叉樹。在AVL樹中任何節點的兩個子樹的高度最大差別為一,所以它也被稱為平衡二叉樹。下面是平衡二叉樹和非平衡二叉樹對比的例圖:
平衡因子(bf):結點的左子樹的深度減去右子樹的深度,那么顯然-1<=bf<=1;
AVL樹的作用:


由上圖可知,同樣的結點,由於插入方式不同導致樹的高度也有所不同。特別是在帶插入結點個數很多且正序的情況下,會導致二叉樹的高度是O(N),而AVL樹就不會出現這種情況,樹的高度始終是O(lgN).高度越小,對樹的一些基本操作的時間復雜度就會越小。這也就是我們引入AVL樹的原因
AVL樹的基本操作:
AVL樹的操作基本和二叉查找樹一樣,這里我們關注的是兩個變化很大的操作:插入和刪除!
我們知道,AVL樹不僅是一顆二叉查找樹,它還有其他的性質。如果我們按照一般的二叉查找樹的插入方式可能會破壞AVL樹的平衡性。同理,在刪除的時候也有可能會破壞樹的平衡性,所以我們要做一些特殊的處理,包括:單旋轉和雙旋轉!
AVL樹的插入,單旋轉的第一種情況---右旋:
由上圖可知:在插入之前樹是一顆AVL樹,而插入之后結點T的左右子樹高度差的絕對值不再 < 1,此時AVL樹的平衡性被破壞,我們要對其進行旋轉。由上圖可知我們是在結點T的左結點的左子樹上做了插入元素的操作,我們稱這種情況為左左情況,我們應該進行右旋轉(只需旋轉一次,故是單旋轉)。具體旋轉步驟是:
T向右旋轉成為L的右結點,同時,Y放到T的左孩子上。這樣即可得到一顆新的AVL樹,旋轉過程圖如下:
左左情況的右旋舉例:
AVL樹的插入,單旋轉的第一種情況---左旋:
由上圖可知:在插入之前樹是一顆AVL樹,而插入之后結點T的左右子樹高度差的絕對值不再 < 1,此時AVL樹的平衡性被破壞,我們要對其進行旋轉。由上圖可知我們是在結點T的右結點的右子樹上做了插入元素的操作,我們稱這種情況為右右情況,我們應該進行左旋轉(只需旋轉一次,故事單旋轉)。具體旋轉步驟是:
T向右旋轉成為R的左結點,同時,Y放到T的左孩子上。這樣即可得到一顆新的AVL樹,旋轉過程圖如下:
右右情況的左旋舉例:
以上就是插入操作時的單旋轉情況!我們要注意的是:誰是T誰是L,誰是R還有誰是X,Y,Z!T始終是開始不平衡的左右子樹的根節點。顯然L是T的左結點,R是T的右節點。X、Y、Y是子樹當然也可以為NULL.NULL歸NULL,但不能破壞插入時我上面所說的左左情況或者右右情況。
AVL樹的插入,雙旋轉的第一種情況---左右(先左后右)旋:
由 上圖可知,我們在T結點的左結點的右子樹上插入一個元素時,會使得根為T的樹的左右子樹高度差的絕對值不再 < 1,如果只是進行簡單的右旋,得到的樹仍然是不平衡的。我們應該按照如下圖所示進行二次旋轉:
左右情況的左右旋轉實例:
AVL樹的插入,雙旋轉的第二種情況---右左(先右后左)旋:
由上圖可知,我們在T結點的右結點的左子樹上插入一個元素時,會使得根為T的樹的左右子樹高度差的絕對值不再 < 1,如果只是進行簡單的左旋,得到的樹仍然是不平衡的。我們應該按照如下圖所示進行二次旋轉:
右左情況的右左旋轉實例:
AVL樹的插入代碼實現:(僅供參考)
懂了以上單旋轉和雙旋轉的原理之后,那么代碼寫起來也就比較簡單了,以下是我寫的代碼,如果有錯還望大家不吝指正。(參考數據結構與算法分析-Weiss著)
1 #include <iostream> 2 3 using namespace std; 4 5 #define DataType int 6 7 /* 8 定義AVL樹的結構體,鏈式 9 */ 10 typedef struct AvlNode{ 11 DataType data; 12 AvlNode * m_pLeft; 13 AvlNode * m_pRight; 14 int height; 15 }*AvlTree,*Position,AvlNode; 16 17 //求兩個數的最大值 18 int Max(int a,int b) 19 { 20 return a>b?a:b; 21 } 22 //求樹的高度 23 int Height( AvlTree T) 24 { 25 if(NULL == T) 26 return -1; 27 else 28 return T->height; 29 } 30 31 //單旋轉右旋 32 AvlTree singleRotateWithRight(AvlTree T) 33 { 34 AvlTree L = T->m_pLeft; 35 T->m_pLeft = L->m_pRight; 36 L->m_pRight = T; 37 T->height = Max( Height(T->m_pLeft),Height(T->m_pRight) ) + 1; 38 L->height = Max( Height(L->m_pLeft),Height(L->m_pRight) ) + 1; 39 return L; //此時L成為根節點了(可參考AVL的插入的左左情況的右旋圖) 40 } 41 //單旋轉左旋 42 AvlTree singleRotateWithLeft(AvlTree T) 43 { 44 AvlTree R = T->m_pRight; 45 T->m_pRight = R->m_pLeft; 46 R->m_pLeft = T; 47 T->height = Max( Height(T->m_pLeft),Height(T->m_pRight) ) + 1; 48 R->height = Max( Height(R->m_pLeft),Height(R->m_pRight) ) + 1; 49 return R; //此時R成為根節點了(可參考AVL的插入的左左情況的左旋圖) 50 } 51 //雙旋轉,先左后右 52 AvlTree doubleRotateWithLeft(AvlTree T) //先左后右 53 { 54 T->m_pLeft = singleRotateWithLeft(T->m_pLeft); 55 return singleRotateWithRight(T); 56 } 57 //雙旋轉,先右后左 58 AvlTree doubleRotateWithRight(AvlTree T) //先右后左 59 { 60 T->m_pRight = singleRotateWithRight(T->m_pRight); 61 return singleRotateWithLeft(T); 62 } 63 AvlTree AvlTreeInsert(AvlTree T, DataType x) 64 { 65 if(T == NULL) //如果樹為空 66 { 67 T = (AvlNode *)malloc(sizeof(struct AvlNode)); 68 if(T) 69 { 70 T->data = x; 71 T->m_pLeft = NULL; 72 T->m_pRight = NULL; 73 T->height = 0; 74 } 75 else 76 { 77 cout << "空間不夠" << endl; 78 exit(0); 79 } 80 } 81 else if( x < T->data) //如果插入到T結點的左子樹上 82 { 83 T->m_pLeft = AvlTreeInsert(T->m_pLeft,x); //先插入,后旋轉 84 if(Height(T->m_pLeft) - Height(T->m_pRight) == 2) //只有可能是這個 85 { 86 if(x < T->m_pLeft->data) //左左情況,只需要右旋轉 87 { 88 T = singleRotateWithRight( T ); 89 } 90 else //左右情況,雙旋轉,先左 91 { 92 T = doubleRotateWithLeft( T ); 93 } 94 } 95 } 96 else if( x > T->data ) 97 { 98 T->m_pRight = AvlTreeInsert(T->m_pRight,x); 99 if(Height(T->m_pRight) - Height(T->m_pLeft) == 2) 100 { 101 if(x > T->m_pRight->data) //右右情況,進行左旋 102 { 103 T = singleRotateWithLeft( T ); 104 } 105 else //左右情況,雙旋轉,先右 106 { 107 T = doubleRotateWithRight( T ); 108 } 109 } 110 } 111 //如果這個數已經存在,那么不進行插入 112 T->height = Max(Height(T->m_pLeft),Height(T->m_pRight)) + 1; 113 return T; 114 } 115 //遞歸實現中序遍歷 116 void inOrderVisitUseRecur(const AvlTree pCurrent) 117 { 118 if(pCurrent) 119 { 120 inOrderVisitUseRecur(pCurrent->m_pLeft); 121 cout << pCurrent->data << " "; 122 if(pCurrent->m_pLeft) 123 cout << " leftChild: "<<pCurrent->m_pLeft->data; 124 else 125 cout << " leftChild: "<<"NULL" ; 126 if(pCurrent->m_pRight) 127 cout << " rightChild: "<<pCurrent->m_pRight->data; 128 else 129 cout << " rightChild: "<< "NULL"; 130 cout << endl; 131 inOrderVisitUseRecur(pCurrent->m_pRight); 132 } 133 } 134 int main() 135 { 136 AvlTree root = NULL; 137 root = AvlTreeInsert(root,1); 138 root = AvlTreeInsert(root,2); 139 root = AvlTreeInsert(root,3); 140 root = AvlTreeInsert(root,4); 141 root = AvlTreeInsert(root,5); 142 root = AvlTreeInsert(root,6); 143 root = AvlTreeInsert(root,7); 144 root = AvlTreeInsert(root,8); 145 root = AvlTreeInsert(root,9); 146 root = AvlTreeInsert(root,10); 147 root = AvlTreeInsert(root,11); 148 root = AvlTreeInsert(root,12); 149 root = AvlTreeInsert(root,13); 150 root = AvlTreeInsert(root,14); 151 root = AvlTreeInsert(root,15); 152 inOrderVisitUseRecur(root); 153 return 0; 154 }