AVL树是绝对的平衡二叉树。(貌似很吸引人的样子……)
不过增删的操作复杂度过高,应用不如红黑树广,故而很少有详细分析AVL树操作的文章。我花了两天时间还有好几页纸终于是把这货整出来了。
基本的二叉树操作,如查找前驱后继,左旋右旋不再赘述,只讨论AVL的插入删除。(我已经假设你看过AVL树,只是有些操作不太清楚……)当然,平衡因子左加右减。
实现AVL树时,最好也像红黑树一样设置哨兵叶子,以便调整恢复AVL性质时的归一化而不需要在去做复杂的判定。(当然在某些查找或修改时注意判断,不要操作失效……)
注:设子树X的平衡因子为F(X),高度为H(X),左子树为L(X),右子树为R(X)
AVL树——插入:
1).像世界上所有排序二叉树一样,把新的结点的平衡因子设置为0,然后插入当前保持AVL性质的二叉树T中。(千万注意不要插到哨兵后面去……)
2).从插入的结点开始,递归向上回溯(记得判断是否到树根),过程如下:
a).判断当前结点是父结点的左孩子还是右孩子:如果是左孩子则给父结点平衡因子+1,否则对平衡因子-1,代表当前插入结点对所在子树平衡性的影响
b).如果父亲结点的平衡因子为0,说明插入节点后以父节点为根的子树高度没有发生变化且该子树没有失衡,直接结束处理;如果父亲结点的平衡因子在[-1,1]中,说明当前子树仍然保持平衡,但子树高度发生变化,递归向上处理父结点;否则此时以此父结点为根的子树失去平衡,需要平衡处理
此过程直到遇到根直接返回原树T或者遇到失衡子树返回调整后的树T‘!之所以调平最小失衡子树后平衡调整过程就可以结束,是因为在调整失衡子树后整棵子树的高度恢复到了插入结点之前的高度,不再影响其他部分。
插入平衡处理: (注:后面分析均以失衡结点因子=2为例,即失衡子树左偏)
对于左偏失衡的情况,基本的方法是右旋失衡子树。不过由于树旋转的特性,右旋树时树根左子的右孩子会挂到根结点左孩子的位置,如下图子树2:
如果F(B)>=0,那么直接旋转树A做平衡调整!
若此时F(B)<0(右偏),即H(2)>H(C),那么直接旋转树A将导致树A右偏失衡,所以此时需要对右偏的子树B进行左旋调整。
不过此时的调整并非是为了调平的旋转,而是为了防止这种平衡性逆转的情况出现而做的处理,我称其为“偏置旋转”(相对于"平衡旋转")。
树旋转本身没什么技术含量,不过因为AVL树旋转时需要考虑平衡因子的修正,故而略麻烦一点。所以在每次树旋转之前,需要先行一步平衡因子的矫正(这才是在关键所在啊……)
当然此处我先说一下偏置右旋的平衡因子调整,如下图:
F(A)==1,即进行偏置右旋。分情况讨论:
1).F(B)==1: 显然有H(2)-H(3)==1,R(A)没有变化,L(A)的高度从H(2)+1( 因为H(2)>H(3) )变为H(3),子树A旋转后L(A)高度减小了2,所以F(A)修正F(A)-=2;L(B)没有变化,R(B)的高度从H(3)变为H(1)+1( 因为H(2)==H(1)>H(3) ),子树A旋转后R(B)的高度增加了2,所以F(B)修正F(B)-=2
2).F(B)==0: 显然有H(2)==H(3),L(A)的高度从H(2)+1变为H(2)( 因为H(2)==H(3)),F(A)修正F(A)--;R(B)的高度从H(3)变为H(3)+1,F(B)修正F(B)--
3).F(B)==-1: 显然有H(3)-H(2)==1( 此时有H(3)==H(1)>H(2)),L(A)的高度从H(3)+1变为H(3),F(A)修正F(A)--;R(B)的高度从H(3)变为H(3)+1,F(B)修正F(B)--
按此调整平衡因子后,可保证接下来的右旋操作后子树平衡因子的正确性……(左旋偏置同理……)
接着再说平衡右旋~~~如下图:
继续分情况讨论,此时F(A)==2,F(B)有以下三种情况(可能对B做过偏置左旋):
1).F(B)==0: 显然H(2)==H(C),L(A)的高度从H(2)+1变为H(2),F(A)修正F(A)--;R(B)的高度从H(2)变为H(2)+1(因为H(2)==H(C)==H(B)-1==H(1)+1),F(B)修正F(B)--
2).F(B)==1: 显然H(C)-H(2)==1,L(A)的高度从H(C)+1变为H(2),F(A)修正F(A)-=2( 因为H(2)+1==H(C)==H(B)-1==H(1)+1);R(B)的高度从H(2)变为H(2)+1,F(B)修正F(B)--
3).F(B==2): 偏置旋转可能导致这种情况,不用管之~显然H(C)-H(2)==2,L(A)从H(C)+1变为H(2),F(A)修正F(A)-=3;R(B)从H(2)变为max{ H(2),H(1) }+1,因为H(C)-H(2)==2,H(C)-H(1)==1,所以H(1)-1==H(2),R(B)变为H(1)+1,F(B)修正F(B)-=2
先于平衡旋转进行因子调整后,平衡旋转即可恢复AVL树的性质!平衡左旋同理!
AVL树——删除:
1).按一般的二叉树删点,删除目标结点。二叉树删除特性——最终删除的点至少有一个孩子为空。
2).以移到被删除结点位置的结点P为起点(因为有哨兵叶子,所以P不会为NULL),递归向上回溯
a). 判断P是其父结点的左孩子还是右孩子:如果是左孩子则给父结点平衡因子-1,否则对平衡因子+1,代表删除结点对所在子树平衡性的影响
b). 如果父结点的平衡因子为-1或者1,说明子树的删点没有影响到以父结点为根的子树的高度,可以直接返回。 如果父结点平衡因子为0,说明不需要调整以父结点为根的子树,继续向上回溯。如果父结点平衡因子为-2或者2,则根据不同情况按上面的方法调整,然后继续向上回溯
C++实现代码:(后面的display能打印出子字符界面的二叉树树型)
#include<iostream>
#include<string>
#include<queue>
#include<cstdlib>
using namespace std;
class Node
{
public:
Node(int x,Node* f)
{
value=x;father=f;
handle=1;balance=0;
lchild=rchild=NULL;
}
int id,value,handle,balance;
Node *father,*lchild,*rchild;
};
Node* NewNode(int x,Node* f)
{
Node* T=new Node(x,f);
T->lchild=new Node(0,T);
T->rchild=new Node(0,T);
}
bool IsLeaf(Node* p)
{
if(p->lchild==NULL&&p->rchild==NULL)
return true;
else return false;
}
Node* LRotate(Node* T,Node* p)
{
Node* f=p->father;
Node* r=p->rchild;
if(r==NULL) return T;
p->rchild=r->lchild;
if(r->lchild!=NULL) r->lchild->father=p;
r->lchild=p; p->father=r;
if(f==NULL)
{
r->father=NULL;
return r;
}
else
{
if(f->lchild==p) f->lchild=r;
else f->rchild=r;
r->father=f;
return T;
}
}
Node* RRotate(Node* T,Node* p)
{
Node* f=p->father;
Node* l=p->lchild;
if(l==NULL) return T;
p->lchild=l->rchild;
if(l->rchild!=NULL) l->rchild->father=p;
l->rchild=p; p->father=l;
if(f==NULL)
{
l->father=NULL;
return l;
}
else
{
if(f->lchild==p) f->lchild=l;
else f->rchild=l;
l->father=f;
return T;
}
}
void LRAdjust(Node* p)
{
if(p->balance== -2)
{ //平衡左旋
if(p->rchild->balance==0)
{
p->balance++;
p->rchild->balance++;
}
else if(p->rchild->balance==-1)
{
p->balance+=2;
p->rchild->balance++;
}
else
{
p->balance+=3;
p->rchild->balance+=2;
}
}
else
{ //偏置左旋
if(p->rchild->balance<0)
{
p->balance+=2;
p->rchild->balance+=2;
}
else
{
p->balance++;
p->rchild->balance++;
}
}
}
void RRAdjust(Node* p)
{
if(p->balance== 2)
{ //平衡右旋
if(p->lchild->balance==0)
{
p->balance--;
p->lchild->balance--;
}
else if(p->lchild->balance==1)
{
p->balance-=2;
p->lchild->balance--;
}
else
{
p->balance-=3;
p->lchild->balance-=2;
}
}
else
{ //偏置右旋
if(p->lchild->balance>0)
{
p->balance-=2;
p->lchild->balance-=2;
}
else
{
p->balance--;
p->lchild->balance--;
}
}
}
Node* IAdjust(Node* T,Node* p)
{
if(p==NULL) return T;
if(p->balance>=2) //左偏
{
if(p->lchild->balance<0) //右偏
{
LRAdjust(p->lchild);
T=LRotate(T,p->lchild);
}
RRAdjust(p);
return RRotate(T,p);
}
else if(p->balance<=-2) //右偏
{
if(p->rchild->balance>0) //左偏
{
RRAdjust(p->rchild);
T=RRotate(T,p->rchild);
}
LRAdjust(p);
return LRotate(T,p);
}
else
{
if(p->father==NULL) return T;
if(p==p->father->lchild)
p->father->balance++;
else p->father->balance--;
if(p->father->balance!=0)
return IAdjust(T,p->father);
else return T;
}
}
Node* Insert(Node* T,int x)
{
Node *f=NULL,*p=NULL;
if(T==NULL) T=NewNode(x,NULL);
else
{
f=p=T;
while(!IsLeaf(p))
{
f=p;
if(x<p->value) p=p->lchild;
else if(x>p->value) p=p->rchild;
else {p->handle++;return T;}
}
delete p;p=NewNode(x,f);
if(x<f->value) f->lchild=p;
else f->rchild=p;
}
T=IAdjust(T,p);
return T;
}
Node* Build(int* array,int size)
{
if(size==0) return NULL;
Node* T=NULL;
for(int i=0;i<size;i++) T=Insert(T,array[i]);
return T;
}
Node* Find(Node* T,int x)
{
if(IsLeaf(T)) return NULL;
if(x==T->value) return T;
else if(x>T->value)
return Find(T->rchild,x);
else return Find(T->lchild,x);
}
Node* pre(Node* x)
{
Node* p=x;
if(!IsLeaf(p->lchild))
{
p=p->lchild;
while(!IsLeaf(p->rchild)) p=p->rchild;
return p;
}
else
{
while(p->father!=NULL&&p->father->rchild!=p) p=p->father;
return p->father;
}
}
Node* next(Node* x)
{
Node* p=x;
if(!IsLeaf(p->rchild))
{
p=p->rchild;
while(!IsLeaf(p->lchild)) p=p->lchild;
return p;
}
else
{
while(p->father!=NULL&&p->father->lchild!=p) p=p->father;
return p->father;
}
}
Node* DAdjust(Node* T,Node* p)
{
if(p==NULL) return T;
if(p->balance>=2) //左偏
{
if(p->lchild->balance<0) //右偏
{
LRAdjust(p->lchild);
T=LRotate(T,p->lchild);
}
RRAdjust(p);
T=RRotate(T,p);
p=p->father;
}
else if(p->balance<=-2) //右偏
{
if(p->rchild->balance>0) //左偏
{
RRAdjust(p->rchild);
T=RRotate(T,p->rchild);
}
LRAdjust(p);
T=LRotate(T,p);
p=p->father;
}
if(p->father==NULL) return T;
if(p==p->father->lchild) p->father->balance--;
else p->father->balance++;
if(p->father->balance==1||p->father->balance==-1) return T;
else return DAdjust(T,p->father);
}
Node* Delete(Node* T,int x)
{
Node *p=Find(T,x),*n=NULL;
if(p==NULL) return NULL;
if(--p->handle) return T;
if(IsLeaf(p->lchild)&&IsLeaf(p->rchild))
{ //双子空
if(p->father==NULL) return NULL;
if(p->father->lchild==p)
n=p->father->lchild=p->lchild;
else n=p->father->rchild=p->lchild;
p->lchild->father=p->father;
delete p->rchild;
}
else if(IsLeaf(p->lchild))
{ //左空
if(p->father==NULL)
{
n=T=p->rchild;
n->father=NULL;
}
else
{
if(p==p->father->lchild)
n=p->father->lchild=p->rchild;
else n=p->father->rchild=p->rchild;
n->father=p->father;
}
delete p->lchild;
}
else if(IsLeaf(p->rchild))
{ //右空
if(p->father==NULL)
{
n=T=p->lchild;
n->father=NULL;
}
else
{
if(p->father->lchild==p)
p->father->lchild=p->lchild;
else p->father->rchild=p->lchild;
n->father=p->father;
}
delete p->rchild;
}
else
{
n=next(p);
if(n==n->father->lchild)
n->father->lchild=n->rchild;
else n->father->rchild=n->rchild;
n->rchild->father=n->father;
p->value=n->value;
p->handle=n->handle;
delete n->lchild;
n=n->rchild;
}
return DAdjust(T,n);
}
int depth(Node* T)
{
if(IsLeaf(T)) return 0 ;
int a=depth(T->lchild)+1;
int b=depth(T->rchild)+1;
return a>b?a:b;
}
string space(int n)
{
string s=string("");
for(int i=0;i<n;i++) s+=" ";
return s;
}
void Display(Node* T,int mode)
{
if(IsLeaf(T)) return ;
queue<Node> Q;
int pl=0,pid=0,H=depth(T),h=0; //pl,之前打印所在层数
T->id=1;
Q.push(*T); //pid,之前打印结点的编号
while(!Q.empty())
{
Node& p=Q.front();
for(h=0;;h++) //当前结点在树中所在的层数
if((1<<h)>=p.id+1) break;
int offset=(1<<(H-h+1))-1;//本层两个结点之间的偏移量
if(h==pl)
{ //加上了结点本身的占位,当结点打印值超过1个字符位时会导致混乱
cout<<space((p.id-pid)*offset)<<space(p.id-pid-1);
if(mode) cout<<p.value;
else cout<<p.balance;
pid=p.id;
}
else
{
pid=1<<(h-1); //前一次结点编号
int of=(1<<(H-h))-1; //本层总偏移量
cout<<endl<<space(of)<<space((p.id-pid)*offset)<<space(p.id-pid);
if(mode) cout<<p.value;
else cout<<p.balance;
pid=p.id;pl=h;
}
Q.pop();
if(!IsLeaf(p.lchild))
{
p.lchild->id=p.id*2;
Q.push(*p.lchild);
}
if(!IsLeaf(p.rchild))
{
p.rchild->id=p.id*2+1;
Q.push(*p.rchild);
}
}
cout<<endl<<endl;
}
int main(int argc,char* argv[])
{
// int array[9]={5,3,4,7,6,1,2,9,8};
int array[9]={1,2,3,4,5,6,7,8,9};
// int array[6]={3,2,8,5,9,6};
Node* T=Build(array,atoi(argv[1]));
Display(T,1);
Display(T,0);
if(argc==3)
{
T=Delete(T,atoi(argv[2]));
Display(T,1);
Display(T,0);
}
return 0;
}