伸展树

伸展树(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
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值