伸展树

来源:互联网 发布:java acl访问控制列表 编辑:程序博客网 时间:2024/05/16 14:19

伸展树(Splay Tree,事实上在国内OI界常常被称作Spaly Tree,与此同理的还有Terap),也叫分裂树,是一种二叉排序树,它能在O(log n)内完成插入、查找和删除操作。它由Daniel Sleator和Robert Tarjan创造,后者对其进行了改进。它的优势在于不需要记录用于平衡树的冗余信息。在伸展树上的一般操作都基于伸展操作。

树的旋转总结:当一个节点绕着另一个节点旋转,保持要成为新的根节点的节点不动,如果遇到被旋转节点的左孩子节点,那么被旋转节点要将此孩子节点插入到旋转节点右孩子节点上.如果遇到被旋转节点的右孩子节点,那么被旋转节点要将此孩子节点插入到旋转节点左孩子节点上…..

这里写图片描述

自顶向下的旋转,从树根向下,一直把目的节点旋转到树根

自下向上的旋转,从目的节点开始,依次向上旋转,一直把目的节点旋转到树根

对于伸展树,一共有6种旋转方式….2*3种…(单旋转,一字型,之字形);

http://www.cnblogs.com/kernel_hcy/archive/2010/03/17/1688360.html

http://trophy.iteye.com/blog/1738309

http://blog.sina.com.cn/s/blog_b3511e8e0101dixg.html

http://www.tuicool.com/articles/IrymyqM 好文章

自顶向下的伸展:

伸展树的自顶向下伸展(top-down splay)
自顶向下伸展操作将伸展树分为三部分:
左树:包含所有已经知道比待查节点 X小的节点。
右树:包含所有已经知道比待查节点 X大的节点。
中树:包含所有其它节点。
在中树自根向下进行节点查找(每次向下比较两个节点),根据查找情况将中树中的节
点移动(此处的移动是指将节点和中树的连接断开,而将节点连接到左或右树的适当位置。)到左树或右树(如有必要则会先对中树进行旋转再进行节点移动)。
初始状态时,左树和右树都为空,而中树为整个原伸展树。随着查找的进行,左树和右
树会因节点的逐渐移入变大,中树会因节点的逐渐移出变小。最后查找结束(找到或遇到空
节点)时组合左中右树并是伸展树自顶向下伸展方法的最终结果。

伪代码: 其中的 L、R 分别表示左树和右树且初始值为空,M 为中树且初值为原伸展树;X为待查节点,T 为 M 的根节点。FUNC top-down-splay DO   IF X 小于 T THEN    IF X 等于 T 的左孩子 THEN       右连接    ELSEIF X 小于 T 的左孩子 THEN      右旋      右连接    ELSE X大于 T 的左孩子 THEN      右连接      左连接    ENDIF      ELSE X大于 T THEN    IF X 等于 T 的右孩子 THEN      左连接    ELSEIF X 大于 T 的右孩子 THEN      左旋      左连接    ELSE X小于 T 的右孩子 THEN      左连接      右连接    ENDIF   ENDIF WHILE  找到 X或遇到空节点   组合左中右树 ENDFUNC 

上面的代码的作用:将”键值为key的节点”旋转为根节点,并返回根节点。它的处理情况共包括:
(a):伸展树中存在”键值为key的节点”。
将”键值为key的节点”旋转为根节点。
(b):伸展树中不存在”键值为key的节点”,并且key < tree->key。
b-1) “键值为key的节点”的前驱节点存在的话,将”键值为key的节点”的前驱节点旋转为根节点。
b-2) “键值为key的节点”的前驱节点不存在的话,则意味着,key比树中任何键值都小,那么此时,将最小节点旋转为根节点。
(c):伸展树中不存在”键值为key的节点”,并且key > tree->key。
c-1) “键值为key的节点”的后继节点存在的话,将”键值为key的节点”的后继节点旋转为根节点。
c-2) “键值为key的节点”的后继节点不存在的话,则意味着,key比树中任何键值都大,那么此时,将最大节点旋转为根节点。

下面列举个例子分别对a进行说明。

在下面的伸展树中查找10,共包括”右旋” –> “右链接” –> “组合”这3步。

/*  * 旋转key对应的节点为根节点,并返回根节点。 * * 注意: *   (a):伸展树中存在"键值为key的节点"。 *        将"键值为key的节点"旋转为根节点。 *   (b):伸展树中不存在"键值为key的节点",并且key < tree->key。 *    b-1 "键值为key的节点"的前驱节点存在的话,将"键值为key的节点"的前驱节点旋转为根节点。 *    b-2 "键值为key的节点"的前驱节点存在的话,则意味着,key比树中任何键值都小,那么此时,将最小节点旋转为根节点。 *   (c):伸展树中不存在"键值为key的节点",并且key > tree->key。 *    c-1 "键值为key的节点"的后继节点存在的话,将"键值为key的节点"的后继节点旋转为根节点。 *    c-2 "键值为key的节点"的后继节点不存在的话,则意味着,key比树中任何键值都大,那么此时,将最大节点旋转为根节点。 */Node* splaytree_splay(SplayTree tree, Type key){  Node N, *l, *r, *c;  if (tree == NULL)     return tree;  N.left = N.right = NULL;  l = r = &N;  for (;;)  {    if (key < tree->key)    {      if (tree->left == NULL)        break;      if (key < tree->left->key)      {        c = tree->left;                        /* 01, rotate right */        tree->left = c->right;        c->right = tree;        tree = c;        if (tree->left == NULL)           break;      }      r->left = tree;                              /* 02, link right */      r = tree;      tree = tree->left;    }    else if (key > tree->key)    {      if (tree->right == NULL)         break;      if (key > tree->right->key)       {        c = tree->right;                          /* 03, rotate left */        tree->right = c->left;        c->left = tree;        tree = c;        if (tree->right == NULL)           break;      }      l->right = tree;                            /* 04, link left */      l = tree;      tree = tree->right;    }    else    {      break;    }  }  l->right = tree->left;                                /* 05, assemble */  r->left = tree->right;  tree->left = N.right;  tree->right = N.left;  return tree;}
0 0
原创粉丝点击