[洛谷P3261] [JLOI2015]城池攻占(左偏树)

不得不说，这道题目是真的难，真不愧它的“省选/NOI-”的紫色大火题！！！

花了我晚自习前半节课看题解，写代码，又花了我半节晚自习调代码，真的心态爆炸。基本上改得和题解完全一样了我才过了这道题！真的烦。没事，那接下来我来完全把这道题搞透。

左偏树总结

Part 1 理解题目

至少我一开始不知道为什么要用左偏树，甚至我看题解一开始也都没弄懂，所以先把题目弄清楚。

首先我们由题可以知道，这要求我们从建好的树的叶子节点开始往上推，有些骑士到特定的点才会出现，check一下骑士能否攻占城池，再记录进答案，更新战斗力，这就很容易想到左偏树可并堆了。

Part 2 解题思想

既然每到一个点会出现一堆的新骑士，所以我们可以在那些点连一些“隐藏边”，到这个点时用链式前向星扫一遍加到一个小根堆中，然后把这个点以下的所有剩下的骑士合并到这个堆中(板子)，然后在check时挨个弹出堆顶，如果不能占领就记入答案，能占领我们就要考虑更新骑士，我们不可能直接更新整个堆中的骑士，这样会被硬生生卡成O(n)的修改，所以我们考虑放一个lazy标记在堆顶，每一次合并和删除的时候再下放就可以了。

part 3 code

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

    int n,m,cnt;
    bool type[N];
    int fir[N],deep[N],up[N],dead[N];
    lst key[N],def[N],v[N],mul[N],plu[N];
    struct edge{
        int to,nxt;
    }a[N],b[N];
    int head[N],ft[N],ls[N],rs[N],dis[N];  

    inline lst read()
    {
        rg lst s=,m=;rg 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;
    }  

    void cover(rg int A,rg lst c,rg lst j)
    {
        if(!A)return;
        key[A]*=c,key[A]+=j;
        mul[A]*=c,plu[A]*=c,plu[A]+=j;
    }  

    void pushdown(rg int A)
    {
        cover(ls[A],mul[A],plu[A]);
        cover(rs[A],mul[A],plu[A]);
        mul[A]=,plu[A]=;
    }  

    int Merge(rg int A,rg int B)
    {
        if(!A||!B)return A+B;
        if(key[A]>key[B])swap(A,B);
        pushdown(A),pushdown(B);
        rs[A]=Merge(rs[A],B);
        if(dis[ls[A]]<dis[rs[A]])swap(ls[A],rs[A]);
        dis[A]=dis[rs[A]]+;
        return A;
    }  

    int Delete(rg int A)
    {
        pushdown(A);
        return Merge(ls[A],rs[A]);
    }  

    int dfs(rg int now,rg int fm)
    {
        rg int A=,B;
        deep[now]=deep[fm]+;
        for(rg int i=ft[now];i;i=b[i].nxt)A=Merge(A,b[i].to);
        for(rg int i=head[now];i;i=a[i].nxt)
        {
            B=dfs(a[i].to,now);
            A=Merge(A,B);
        }
        while(key[A]<def[now]&&A)
        {
            dead[now]++;up[A]=deep[now];
            A=Delete(A);
        }
        if(type[now])cover(A,v[now],);
        else cover(A,,v[now]);
        return A;
    }  

    int main()
    {
        n=read(),m=read();
        for(rg int i=;i<=n;++i)def[i]=read();
        for(rg int i=;i<=n;++i)
        {
            rg int go=read();
            a[++cnt]=(edge){i,head[go]};head[go]=cnt;
            type[i]=read(),v[i]=read();
        }cnt=;
        for(rg int i=;i<=m;++i)
        {
            key[i]=read(),fir[i]=read();
            b[++cnt]=(edge){i,ft[fir[i]]};ft[fir[i]]=cnt;
        }
        dfs(,);
        for(rg int i=;i<=n;++i)printf("%d\n",dead[i]);
        for(rg int i=;i<=m;++i)printf("%d\n",deep[fir[i]]-up[i]);
        return ;
    }  

到此为止，顺便膜拜一下大佬zsy，这是他的城池攻占: