luoguP3391[模板]文艺平衡树(Splay) 题解

链接一下题目：luoguP3391[模板]文艺平衡树(Splay)

平衡树解析

这里的Splay维护的显然不再是权值排序

现在按照的是序列中的编号排序（不过在这道题目里面就是权值诶。。。）

那么，继续考虑，其实最终的结果也就是整颗Splay的中序遍历（平衡树的性质诶）

那么，现在如果按照权值来维护显然是不正确的

继续找找规律，发现，如果一个点在序列中的位置为第K个

那么，他就是平衡树的第K大（就当做普通的Splay来看的话）

所以，序列中的位置就变成了区间的第K大点

继续考虑如何翻转

翻转也就是整颗子树的每一个节点的左右儿子交换

因此，只要在根节点的地方打一个标记

在旋转之前下方一下标记就行了

最后输出的时候输出的就是Splay的中序遍历

至于初始的Splay怎么建立，可以直接构造完美的Splay

像我这种比较懒得，直接弄了一个insert。。。

#include<iostream>
#include<cstdlib>
#include<cstdio>
#include<cmath>
#include<cstring>
#include<iomanip>
#include<algorithm>
#include<ctime>
#include<queue>
#include<stack>
#define rg register
#define lst long long
#define N 1000050
using namespace std;

int n,m,tot,root;
struct Node{
    int ch[];
    int v,fa;
    int size;
    int lazy;
}ljl[N];

inline int read()
{
    rg int s=,m=;char ch=getchar();
    while(ch!='-'&&(ch<''||ch>''))ch=getchar();
    if(ch=='-')m=,ch=getchar();
    while(ch>=''&&ch<='')s=(s<<)+(s<<)+ch-'',ch=getchar();
    return m?s:-s;
}

inline void Pushup(rg int now)
{
    ljl[now].size=ljl[ljl[now].ch[]].size+ljl[ljl[now].ch[]].size+;
}

inline void Pushdown(rg int now)
{
    if(ljl[now].lazy)
    {
        ljl[ljl[now].ch[]].lazy^=;
        ljl[ljl[now].ch[]].lazy^=;
        swap(ljl[now].ch[],ljl[now].ch[]);
        ljl[now].lazy=;
    }
}

inline void rotate(rg int x)
{
    rg int y=ljl[x].fa,z=ljl[y].fa;
    rg int k=ljl[y].ch[]==x;
    ljl[z].ch[ljl[z].ch[]==y]=x;
    ljl[x].fa=z;
    ljl[y].ch[k]=ljl[x].ch[k^];
    ljl[ljl[x].ch[k^]].fa=y;
    ljl[x].ch[k^]=y;
    ljl[y].fa=x;
    Pushup(x),Pushup(y);
}

inline void splay(rg int x,rg int goal)
{
    while(ljl[x].fa!=goal)
    {
        rg int y=ljl[x].fa,z=ljl[y].fa;
        if(z!=goal)(x==ljl[y].ch[])^(y==ljl[z].ch[])?rotate(x):rotate(y);
        rotate(x);
    }
    if(goal==)root=x;
}

inline void Insert(rg int x)
{
    int now=root,fa=;
    while(now)fa=now,now=ljl[now].ch[x>ljl[now].v];
    now=++tot;
    if(fa)ljl[fa].ch[x>ljl[now].v]=now;
    ljl[now].ch[]=ljl[now].ch[]=;
    ljl[now].v=x;ljl[now].fa=fa;
    ljl[now].size=;
    splay(now,);
}

inline int Kth(rg int x)
{
    rg int now=root;
    while()
    {
        Pushdown(now);
        if(x>ljl[ljl[now].ch[]].size+)
            x-=ljl[ljl[now].ch[]].size+,now=ljl[now].ch[];
        else if(ljl[ljl[now].ch[]].size>=x)now=ljl[now].ch[];
        else return now;
    }
}

inline void Work(rg int le,rg int ri)
{
    rg int qq=Kth(le);
    rg int hj=Kth(ri+);
    splay(qq,),splay(hj,qq);
    ljl[ljl[ljl[root].ch[]].ch[]].lazy^=;
}

void Write(rg int now)
{
    Pushdown(now);
    if(ljl[now].ch[])Write(ljl[now].ch[]);
    if(ljl[now].v>&&ljl[now].v<n+)printf("%d ",ljl[now].v-);
    if(ljl[now].ch[])Write(ljl[now].ch[]);
}

int main()
{
    n=read(),m=read();
    for(rg int i=;i<=n+;++i)Insert(i);
    for(rg int i=;i<=m;++i)
    {
        rg int le=read(),ri=read();
        Work(le,ri);
    }
    Write(root);
    return ;
}