NEERC2017:L - Laminar Family

传送门

很容易想到，离线按路径长度从大到小排个序，用树链剖分加颗支持区间cover的线段树就好了
代码：

#include<cstdio>
#include<iostream>
#include<algorithm>
using namespace std;
void read(int &x){
    char ch; bool ok;
    for(ok=0,ch=getchar(); !isdigit(ch); ch=getchar()) if(ch=='-') ok=1;
    for(x=0; isdigit(ch); x=x*10+ch-'0',ch=getchar()); if(ok) x=-x;
}
#define rg register
const int maxn=1e5+1;
int n,m,f[maxn][20],dep[maxn],size[maxn],pre[maxn*2],nxt[maxn*2],h[maxn],top[maxn],id[maxn],idd,cnt;
struct oo{int l,r,v,la;}s[maxn*4];
struct o{int l,r,v;}a[maxn];
void add(int x,int y)
{
    pre[++cnt]=y,nxt[cnt]=h[x],h[x]=cnt;
    pre[++cnt]=x,nxt[cnt]=h[y],h[y]=cnt;
}
void build(int x,int l,int r)
{
    s[x].l=l,s[x].r=r;
    if(l==r)return ;int mid=(l+r)>>1;
    build(x<<1,l,mid),build(x<<1|1,mid+1,r);
}
void dfs(int x)
{
    size[x]=1;
    for(rg int i=1;i<20;i++)
    {
        if(dep[x]<(1<<i))break;
        f[x][i]=f[f[x][i-1]][i-1];
    }
    for(rg int i=h[x];i;i=nxt[i])
        if(pre[i]!=f[x][0])f[pre[i]][0]=x,dep[pre[i]]=dep[x]+1,dfs(pre[i]),size[x]+=size[pre[i]];
}
void dfs1(int x,int f)
{
    top[x]=f,id[x]=++idd;int k=0;
    for(rg int i=h[x];i;i=nxt[i])
        if(dep[pre[i]]>dep[x]&&size[pre[i]]>size[k])k=pre[i];
    if(k)dfs1(k,f);
    for(rg int i=h[x];i;i=nxt[i])
        if(dep[pre[i]]>dep[x]&&k!=pre[i])dfs1(pre[i],pre[i]);
}
int lca(int x,int y)
{
    if(dep[x]>dep[y])swap(x,y);
    int poor=dep[y]-dep[x];
    for(rg int i=19;i>=0;i--)if(poor&(1<<i))y=f[y][i];
    for(rg int i=19;i>=0;i--)if(f[x][i]!=f[y][i])x=f[x][i],y=f[y][i];
    return x==y?x:f[x][0];
}
void pushdown(int x)
{
    int l=x<<1,r=x<<1|1;
    s[l].la=s[r].la=s[l].v=s[r].v=s[x].la;
    s[x].la=0;
}
void update(int x){s[x].v=s[x<<1].v==s[x<<1|1].v?s[x<<1].v:-1;}
int get(int x,int l,int r)
{
    if(l<=s[x].l&&r>=s[x].r)return s[x].v;
    if(s[x].la)pushdown(x);
    int ans=0,mid=(s[x].l+s[x].r)>>1;
    if(l>mid)return get(x<<1|1,l,r);
    else if(r<=mid)return get(x<<1,l,r);
    else {ans=get(x<<1,l,r);return ans==get(x<<1|1,l,r)?ans:-1;}
    return ans;
}
bool check(int x,int y)
{
    int w=-2;
    while(top[x]!=top[y])
    {
        if(dep[top[x]]<dep[top[y]])swap(x,y);
        if(w==-2)w=get(1,id[top[x]],id[x]);
        else if(w!=get(1,id[top[x]],id[x]))return 1;
        x=f[top[x]][0];
    }
    if(id[x]>id[y])swap(x,y);
    if(w==-2)w=get(1,id[x],id[y]);
    else if(w!=get(1,id[x],id[y]))return 1;
    return w==-1?1:0;
}
void change(int x,int l,int r,int v)
{
    if(l<=s[x].l&&r>=s[x].r){s[x].la=s[x].v=v;return ;}
    if(s[x].la)pushdown(x);int mid=(s[x].l+s[x].r)>>1;
    if(l<=mid)change(x<<1,l,r,v);
    if(r>mid)change(x<<1|1,l,r,v);
    update(x);
}
void modify(int x,int y,int v)
{
    while(top[x]!=top[y])
    {
        if(dep[top[x]]<dep[top[y]])swap(x,y);
        change(1,id[top[x]],id[x],v);
        x=f[top[x]][0];
    }
    if(id[x]>id[y])swap(x,y);
    change(1,id[x],id[y],v);
}
bool cmp(o a,o b){return a.v>b.v;}
int main()
{
    read(n),read(m);
    for(rg int i=1,x,y;i<n;i++)read(x),read(y),add(x,y);
    dfs(1),dfs1(1,1),build(1,1,n);
    for(rg int i=1;i<=m;i++)read(a[i].l),read(a[i].r),a[i].v=dep[a[i].l]+dep[a[i].r]-2*dep[lca(a[i].l,a[i].r)];
    sort(a+1,a+m+1,cmp);
    for(rg int i=1;i<=m;i++)
    {
        if(check(a[i].l,a[i].r)){printf("No\n");return 0;}
        modify(a[i].l,a[i].r,i);
    }
    printf("Yes\n");
}