洛谷3261，可并堆打标记

这题网上题解到处都是。
但有一个关键处

void dfs(int x,int fa){    dep[x]=dep[fa]+1;    for(int i=h[x];i;i=e[i].next){        int y=e[i].to;        dfs(y,x);        r[x]=merge(r[x],r[y]);    }    while(r[x] && a[r[x]].v<hh[x]){        ++ans1[x];        ans2[r[x]]=dep[c[r[x]]]-dep[x];        pop(r[x]);    }    if(aa[x] && r[x])cov(r[x],vv[x],0);        else cov(r[x],1,vv[x]);}

void dfs(int x,int fa){    dep[x]=dep[fa]+1;    for(int i=h[x];i;i=e[i].next){        int y=e[i].to;        dfs(y,x);        while(r[x] && a[r[x]].v<hh[x]){            ++ans1[x];            ans2[r[x]]=dep[c[r[x]]]-dep[x];            pop(r[x]);        }        r[x]=merge(r[x],r[y]);    }    if(aa[x] && r[x])cov(r[x],vv[x],0);        else cov(r[x],1,vv[x]);}

这两份代码那个对哪个错？答案是第一个对。因为第二个会让叶子结点的骑士活下来（鸣谢ww140142）

#pra\gma GCC optimize("O2")#include <bits/stdc++.h>using namespace std;typedef long long LL;const int maxn=1000005;int xb,r[maxn],h[maxn],n,m,i,c[maxn],ans1[maxn],ans2[maxn],dep[maxn],aa[maxn],y;LL hh[maxn],vv[maxn],s[maxn],x;struct node{    int l,r,d;    LL ch,ji,v;//cheng,jia    node(LL _v=0):v(_v){        l=r=d=ji=0;        ch=1;    }    bool operator>(const node&rhs){        return v>rhs.v;    }    bool operator<(const node&rhs){        return v<rhs.v;    }}a[maxn];void cov(int i,LL x,LL y){    if(!i)return;    a[i].v*=x;    a[i].v+=y;    a[i].ch*=x;    a[i].ji*=x;    a[i].ji+=y;}void pushdown(int i){    cov(a[i].l,a[i].ch,a[i].ji);    cov(a[i].r,a[i].ch,a[i].ji);    a[i].ch=1;    a[i].ji=0;}int merge(int x,int y){    if(!x || !y)return x|y;    pushdown(x);    pushdown(y);    if(a[x]>a[y])swap(x,y);    a[x].r=merge(a[x].r,y);    if(a[a[x].r].d>a[a[x].l].d)swap(a[x].l,a[x].r);    if(a[x].r)a[x].d=a[a[x].r].d+1;        else a[x].d=0;    return x;}struct edge{    int to,next;    edge(int _to=0,int _next=0):to(_to),next(_next){}}e[maxn];void addedge(int x,int y){    e[++xb]=edge(y,h[x]);    h[x]=xb;}void pop(int&x){    pushdown(x);    x=merge(a[x].l,a[x].r);}void dfs(int x,int fa){    dep[x]=dep[fa]+1;    for(int i=h[x];i;i=e[i].next){        int y=e[i].to;        dfs(y,x);        r[x]=merge(r[x],r[y]);    }    while(r[x] && a[r[x]].v<hh[x]){        ++ans1[x];        ans2[r[x]]=dep[c[r[x]]]-dep[x];        pop(r[x]);    }    if(aa[x] && r[x])cov(r[x],vv[x],0);        else cov(r[x],1,vv[x]);}inline int getint(){    int x=0,y=1;    char c=getchar();    while(!isdigit(c)){        if(c=='-')y=-1;        c=getchar();    }    for(;isdigit(c);c=getchar())x=x*10+c-48;    return x*y;}inline LL getl(){    LL x=0,y=1;    char c=getchar();    while(!isdigit(c)){        if(c=='-')y=-1;        c=getchar();    }    for(;isdigit(c);c=getchar())x=x*10+c-48;    return x*y;}int buf[100];inline void putint(int x){    if(!x)putchar('0');        else{            int xb=0;            for(;x;x/=10)buf[++xb]=x%10;            for(;xb;--xb)putchar(buf[xb]+48);        }}int main(){    scanf("%d%d",&n,&m);    for(i=1;i<=n;++i)hh[i]=getl();    for(i=2;i<=n;++i){        y=getint();        aa[i]=getint();        vv[i]=getl();        addedge(y,i);    }    for(i=1;i<=m;++i){        x=getl();        c[i]=getint();        a[i]=node(x);        r[c[i]]=merge(r[c[i]],i);    }    dfs(1,0);    while(r[1]){        ans2[r[1]]=dep[c[r[1]]];        pop(r[1]);    }    for(i=1;i<=n;++i)putint(ans1[i]),putchar('\n');    for(i=1;i<=m;++i)putint(ans2[i]),putchar('\n');    return 0;}