终于把区间操作的Splay搞明白了……

Splay的大致框架是这样的:

【代码中的Zig-Zig和Zig-Zag操作其实是可以优化的,实际只需要3次passDown和3次update】

 template <class T>
 struct SplayNode
 {
     typedef SplayNode<T> Node;
     Node* lch;
     Node* rch;
     Node* parent;
     T val;

     SplayNode(const T& _val,Node* _parent):
             lch(),rch(),parent(_parent),val(_val) {}

     void passDown() {}
     void update() {}

     void lRotate()
     {
         if(parent->parent)
         {
             if(parent==parent->parent->lch)
                 parent->parent->lch=this;
             else parent->parent->rch=this;
         }

         parent->passDown();
         passDown();

         parent->rch=this->lch;
         if(lch) lch->parent=this->parent;

         lch=parent;
         parent=parent->parent;
         lch->parent=this;

         lch->update();
         update();
     }

     void rRotate()
     {
         if(parent->parent)
         {
             if(parent==parent->parent->lch)
                 parent->parent->lch=this;
             else parent->parent->rch=this;
         }

         parent->passDown();
         passDown();

         parent->lch=this->rch;
         if(rch) rch->parent=this->parent;

         rch=parent;
         parent=parent->parent;
         rch->parent=this;

         rch->update();
         update();
     }

     Node* splay()
     {
         while(parent)
         {
             ;
             ; ;
             if(parent->parent)
             {
                 ;
                 ;
             }

             switch(status)
             {
             :  rRotate(); break;
             :  lRotate(); break;
             :  parent->rRotate(); this->rRotate(); break;
             :  lRotate(); rRotate(); break;
             :  rRotate(); lRotate(); break;
             : parent->lRotate(); this->lRotate(); break;
             }
         }
         return this;
     }
 };

注意双旋的Zig-Zig(Zag-Zag)和Zig-Zag(Zag-Zig),后者可以分解成两次单旋,而前者不能。

借教室一题的85分代码(Vijos):

(Splay果然常数大……当然很可能是我写萎了……)

 #include <algorithm>

 using std::max;
 using std::min;

 struct SplayNode
 {
     typedef SplayNode Node;
     Node* lch;
     Node* rch;
     Node* parent;

     int idx;
     int val;
     int minVal;
     int lazyTag;

     SplayNode() {}

     SplayNode(int _idx,int _val,Node* _parent):
             lch(),rch(),parent(_parent),idx(_idx),val(_val),
             minVal(_val),lazyTag() {}

     void assign(int _idx,int _val,int _minVal,Node* _rch,Node* _parent)
     {
         idx=_idx;
         val=_val;
         minVal=_minVal;
         lazyTag=;
         lch=;
         rch=_rch;
         parent=_parent;
     }

     int actual() { return minVal + lazyTag; }

     void passDown()
     {
         if(!lazyTag) return;

         if(lch) lch->lazyTag += this->lazyTag;
         if(rch) rch->lazyTag += this->lazyTag;

         val += lazyTag;
         minVal += lazyTag;
         lazyTag = ;
     }

     void update()
     {
         minVal = lch ?
             ( rch ? min(min(lch->actual(),rch->actual()),this->val) :
                     min(lch->actual(),this->val) ) :
             ( rch ? min(rch->actual(),this->val) : this->val );
     }

     void lRotate()
     {
         if(parent->parent)
         {
             if(parent==parent->parent->lch)
                 parent->parent->lch=this;
             else parent->parent->rch=this;
         }

         parent->passDown();
         passDown();

         parent->rch=this->lch;
         if(lch) lch->parent=this->parent;

         lch=parent;
         parent=parent->parent;
         lch->parent=this;

         lch->update();
         update();
     }

     void rRotate()
     {
         if(parent->parent)
         {
             if(parent==parent->parent->lch)
                 parent->parent->lch=this;
             else parent->parent->rch=this;
         }

         parent->passDown();
         passDown();

         parent->lch=this->rch;
         if(rch) rch->parent=this->parent;

         rch=parent;
         parent=parent->parent;
         rch->parent=this;

         rch->update();
         update();
     }

     Node* splay()
     {
         while(parent)
         {
             ;
             ; ;
             if(parent->parent)
             {
                 ;
                 ;
             }

             switch(status)
             {
             :  rRotate(); break;
             :  lRotate(); break;
             :  parent->rRotate(); this->rRotate(); break;
             :  lRotate(); rRotate(); break;
             :  rRotate(); lRotate(); break;
             : parent->lRotate(); this->lRotate(); break;
             }
         }
         return this;
     }
 };

 ;

 SplayNode node[maxN];
 int n,m;

 int change(int d,int s,int t)
 {
     ;
     ) status |= ;
     ;

     switch(status)
     {
     :
         node[s-].splay();
         node[s-].rch->parent=;
         node[t+].splay();
         node[s-].rch=&node[t+];
         node[t+].parent=&node[s-];

         node[t+].lch->lazyTag -= d;
         node[t+].update();
         node[s-].update();
         ;
     :
         node[t+].splay();
         node[t+].lch->lazyTag -= d;
         node[t+].update();
         ;
     :
         node[s-].splay();
         node[s-].rch->lazyTag -= d;
         node[s-].update();
         ;
     :
         node[].splay();
         node[].val -= d;
         node[].minVal -= d;
         ].rch) node[].rch->lazyTag -= d;
         ;
     }
 }

 #include <cstdarg>
 #include <cstdio>
 #include <cctype>

 void readInt(int argCnt,...)
 {
     va_list va;
     va_start(va,argCnt);

     while(argCnt--)
     {
         int* dest=va_arg(va,int*);
         ;
         char curDigit;

         do curDigit=getchar(); while(!isdigit(curDigit));
         while(isdigit(curDigit))
         {
             destVal = destVal *  + curDigit - ';
             curDigit=getchar();
         }
         *dest=destVal;
     }

     va_end(va);
 }

 int avai[maxN];

 int main()
 {
     readInt(,&n,&m);

     ;i<=n;++i) readInt(,avai+i);

     for(int i=n;i;--i)
     {
         ,&node[i-]);
         ) node[i].assign(n,avai[i],min(avai[i],node[i+].minVal),&node[i+],);
         ].minVal),&node[i+],&node[i-]);
     }

     ;i<=m;i++)
     {
         int d,s,t;
         readInt(,&d,&s,&t);
         int rt=change(d,s,t);
         )
         {
             printf("-1\n%d",i);
             ;
         }
     }
     printf(");
     ;
 }

修正了一点失误+改成了静态内存

(也许出题人没想到有人会用splay写这道题,所以之前的错误居然没被查出来……)

对于这道题,我们需要给每个Node额外设立3个域:idx(教室的标号,作为键值),minVal(子树中val的最小值),和lazyTag(修改的懒惰标记)

对区间[L,R]进行修改时,首先将L-1提到根,然后将R+1提到根的右孩子处,那么R+1的左孩子就是待修改的区间

当然要特判L==1和R==n(即左/右端为边界的情况)

注意旋转过程中要不断下传lazyTag并对节点的minVal值更新

(这个超级麻烦,一定要把每个细节都想全了,稍有一点疏忽就会出错,而且很不好查)

询问时直接询问根节点的minVal值即可(注意要让根节点的lazyTag传下去)

NOIP2012 借教室 Splay初探的更多相关文章

  1. NOIP2012借教室[线段树|离线 差分 二分答案]

    题目描述 在大学期间,经常需要租借教室.大到院系举办活动,小到学习小组自习讨论,都需要 向学校申请借教室.教室的大小功能不同,借教室人的身份不同,借教室的手续也不一样. 面对海量租借教室的信息,我们自 ...

  2. NC16564 [NOIP2012]借教室

    NC16564 [NOIP2012]借教室 题目 题目描述 ​ 在大学期间,经常需要租借教室.大到院系举办活动,小到学习小组自习讨论,都需要向学校申请借教室.教室的大小功能不同,借教室人的身份不同,借 ...

  3. NOIP2012 借教室

    描述 在大学期间,经常需要租借教室.大到院系举办活动,小到学习小组自习讨论,都需要向学校申请借教室.教室的大小功能不同,借教室人的身份不同,借教室的手续也不一样.面对海量租借教室的信息,我们自然希望编 ...

  4. NOIP2012借教室

    题目描述 Description 在大学期间,经常需要租借教室.大到院系举办活动,小到学习小组自习讨论,都需要 向学校申请借教室.教室的大小功能不同,借教室人的身份不同,借教室的手续也不一样. 面对海 ...

  5. 【洛谷P1083】[NOIP2012]借教室

    借教室 [题目描述] 在n天中每天有一个可以借出的教室数,有m个订单,每个订单从第l天到第r天要借用x个教室.问能否满足所有的订单,若不能,输出第一个不能满足的订单编号. 思路: 1.1 ≤ n,m ...

  6. [NOIP2012]借教室 题解

    题目大意: 有一个n个数的数列,m个操作,第i个操作使[li,ri]区间建di,问第几个操作使数列中出现负数. 思路: 暴力显然过不了,那么就可以优化了,不难想到线段树,显然需要良好的姿势,那么就差分 ...

  7. luogu1083 [NOIp2012]借教室 (二分答案+差分)

    先二分一个答案x,然后通过差分来看有没有不满足的 #include<bits/stdc++.h> #define pa pair<int,int> #define lowb(x ...

  8. NOIP2012 借教室 题解 洛谷P1083

    一看就是暴力 好吧,其实是线段树或差分+二分,这里用的是差分+二分的做法. 二分部分的代码,套个二分板子就行 ,right=m; while(left<right)//二分 { ; ; else ...

  9. 洛谷 1083 (NOIp2012) 借教室——标记永久化线段树 / 差分+二分

    题目:https://www.luogu.org/problemnew/show/P1083 听说线段树不标记永久化会T一个点. 注意mn记录的是本层以下.带上标记的min! #include< ...

随机推荐

  1. 了解 Windows Azure 存储计费 – 带宽、事务和容量

     我们收到关于如何估算 Windows Azure存储成本,以便了解如何更好地构建一个经济有效的应用程序的问题.在本文中,我们将从带宽.事务和容量这三种存储成本的角度探讨这一问题. 使用 Wind ...

  2. 【转】Ubuntu下搭建SVN环境-Apache

    原文网址:http://www.cnblogs.com/candle806/archive/2012/12/20/2826280.html 环境描述:ubuntu server 12.04  / sv ...

  3. Am命令

    Am.java中: Override public void onRun() throws Exception { mAm = ActivityManagerNative.getDefault(); ...

  4. apache 服务发布多个项目,只需要更改配置文件(需要设定虚拟主机)

    http://www.php186.com/content/article/apache/24609.html http://blog.sina.com.cn/s/blog_6b689d5901013 ...

  5. TCP Connection Establishment and Termination

    Three-Way Handshake The following scenario occurs when a TCP connection is established: The server m ...

  6. 在word 2013中输入latex公式

    注意:版权所有,转载请注明出处 向word输入LaTeX公式,插件有很多,前面在使用的是一个叫做Aurora的插件,结果不是免费的,用了一段时间就要收费是,所以就不用了,从网上找到别人的介绍,可以使用 ...

  7. 《A First Course in Probability》-chaper5-连续型随机变量-随机变量函数的期望

    在关于离散型随机变量函数的期望的讨论中,我们很容易就得到了如下的等式: 那么推广到连续型随机变量,是否也存在类似的规律呢? 即对于连续型随机变量函数的期望,有: 这里给出一个局部的证明过程,完整的证明 ...

  8. Windows 安装Django并创建第一个应用

    学习python 也有一段时间了,语法也学得差不多了,突然就想学一学python的web开源开源框架Django,我用的是Django-1.6.2.tar.gz,可以在官网https://www.dj ...

  9. XML文件操作指南

    一.XML简介 XML的全名是eXtensible Markup Language(可以扩展的标记语言),它的语法类似HTML,都是用标签来描述数据.HTML的标签是固定的,我们只能使用.不能修改: ...

  10. Oracle Hint 详解

    Hint 是Oracle 提供的一种SQL语法,它允许用户在SQL语句中插入相关的语法,从而影响SQL的执行方式. 因为Hint的特殊作用,所以对于开发人员不应该在代码中使用它,Hint 更像是Ora ...