[CodeForces613D]Kingdom and its Cities

题意:标记一些点,问使得所有标记点不连通最少要去掉多少点

首先如果一个点的父亲被标记了那么就可以直接返回$-1$了

考虑建出虚树然后树形$DP$

①:如果一个点被标记了,那么就要把他所有子树里有标记点的儿子都去掉

②:如果一个点没有被标记,但是这个点有两颗以上的子树里有标记点

那么这个点就要去掉,然后这棵子树就没有可标记点了

③:如果一个点子树里只有一个/没有标记点那么就标记点的贡献挪到这个点上面来

稍微$yy$一下就发现这道题难度真的就只在于建虚树

不然的话这题就是普及-了

#include<bits/stdc++.h>
#define fp(i,a,b) for(register int i=a,I=b+1;i<I;++i)
#define fd(i,a,b) for(register int i=a,I=b-1;i>I;--i)
#define go(u) for(register int i=fi[u],v=e[i].to;i;v=e[i=e[i].nx].to)
#define file(s) freopen(s".in","r",stdin),freopen(s".out","w",stdout)
template<class T>inline bool cmax(T&a,const T&b){return a<b?a=b,1:0;}
template<class T>inline bool cmin(T&a,const T&b){return a>b?a=b,1:0;}
using namespace std;
char ss[1<<17],*A=ss,*B=ss;
inline char gc(){return A==B&&(B=(A=ss)+fread(ss,1,1<<17,stdin),A==B)?-1:*A++;}
template<class T>inline void sd(T&x){
    char c;T y=1;while(c=gc(),(c<48||57<c)&&c!=-1)if(c==45)y=-1;x=c-48;
    while(c=gc(),47<c&&c<58)x=x*10+c-48;x*=y;
}
char sr[1<<21],z[20];int C=-1,Z;
inline void Ot(){fwrite(sr,1,C+1,stdout),C=-1;}
template<class T>inline void we(T x){
    if(C>1<<20)Ot();if(x<0)sr[++C]=45,x=-x;
    while(z[++Z]=x%10+48,x/=10);
    while(sr[++C]=z[Z],--Z);sr[++C]='\n';
}
const int N=3e5+5,M=19,inf=1e9;
typedef int arr[N];
struct eg{int nx,to;}e[N<<1];
int n,m,k,ce,dft;arr a,b,fi,fa,fg,sz,son,top,dep,dfn,S;
void dfs(int u){
    dep[u]=dep[fa[u]]+(sz[u]=1);dfn[u]=++dft;
    go(u)if(v^fa[u]){
        fa[v]=u,dfs(v),sz[u]+=sz[v];
        if(sz[v]>sz[son[u]])son[u]=v;
    }
}
void dfs(int u,int t){
    top[u]=t;if(son[u])dfs(son[u],t);
    go(u)if(v^fa[u]&&v^son[u])dfs(v,v);
}
inline int lca(int u,int v){
    for(;top[u]^top[v];dep[top[u]]>dep[top[v]]?u=fa[top[u]]:v=fa[top[v]]);
    return dep[u]<dep[v]?u:v;
}
inline void add(int u,int v){e[++ce]={fi[u],v},fi[u]=ce;}
inline bool cmp(const int&a,const int&b){return dfn[a]<dfn[b];}
int dp(int u){
    int ans=0,sum=0;
    go(u)ans+=dp(v),sum+=b[v];
    if(fg[u])b[u]=1,ans+=sum;
    else if(sum>1)b[u]=0,++ans;
    else b[u]=sum;return fi[u]=0,ans;
}
inline void sol(){
    sd(k);fp(i,1,k)sd(a[i]),fg[a[i]]=1;ce=0;
    fp(i,1,k)if(fg[fa[a[i]]])return we(-1);
    sort(a+1,a+k+1,cmp);static int top=1;S[1]=1;
    fp(i,1,k){
        int x=a[i],p=lca(S[top],x);
        while(dep[p]<dep[S[top]]){
            if(dep[p]>=dep[S[top-1]]){
                add(p,S[top--]);
                if(S[top]^p)S[++top]=p;
                break;
            }add(S[top-1],S[top]),--top;
        }if(S[top]^x)S[++top]=x;
    }while(top>1)add(S[top-1],S[top]),--top;
    we(dp(1));
}
int main(){
    #ifndef ONLINE_JUDGE
        file("s");
    #endif
    sd(n);int u,v;
    fp(i,2,n)sd(u),sd(v),add(u,v),add(v,u);
    dfs(1),dfs(1,1);sd(m);memset(fi,0,sizeof fi);
    while(m--){sol();fp(i,1,k)fg[a[i]]=0;}
return Ot(),0;
}