先考虑这个问题的弱化版(貌似与解题无关),我们把这个问题放到数组上。
考虑贪心。将区间排序以后,去掉有包含关系的,会得到一坨横纵坐标均单调递增的区间。这时只要每次取最右边那个就可以了。
然后再考虑这题。一次性把lca搞出来,然后按深度从大到小枚举。把链会伸到它的子树里的询问全部删掉。易知这是对的。
代码:
#include<cstdio>
#include<iostream>
#include<cstring>
#include<algorithm>
#include<vector>
#include<queue>
#include<cmath>
#include<cstdlib>
#include<bitset>
using namespace std;
#define rep(i,j,k) for(i=j;i<=k;++i)
#define per(i,j,k) for(i=j;i>=k;--i)
#define sqr(x) ((x)*(x))
#define G getchar()
#define LL long long
#define pdi pair<double,int>
#define mkp make_pair
#define X first
#define Y second
#define N 10005
#define NN 50005
struct QUERY{int a,b,c;}qu[NN];
int n,k,sa[NN],ans;
int to[N<<1],ne[N<<1],he[N],tot;
int qto[NN<<1],qne[NN<<1],qhe[NN],qtot;
int par[N];
int dep[N],pre[N];bool vis[N];
int read(){
int x=0;char ch=G;
while(ch<48||ch>57)ch=G;
for(;ch>47&&ch<58;ch=G)x=x*10+ch-48;
return x;
}
void add(int x,int y){
to[++tot]=y;ne[tot]=he[x];he[x]=tot;
}
void qadd(int x,int y){
qto[++qtot]=y;qne[qtot]=qhe[x];qhe[x]=qtot;
}
int getpar(int x){
if(par[x]!=x)par[x]=getpar(par[x]);
return par[x];
}
void tarjan(int x){
int y,i;
dep[par[x]=x]=dep[pre[x]]+1;
for(i=qhe[x];i;i=qne[i])
if(par[y=qto[i]])qu[i>>1].c=getpar(y);
for(i=he[x];i;i=ne[i])if((y=to[i])!=pre[x]){
pre[y]=x;tarjan(y);par[y]=x;
}
}
bool cmp(int x,int y){
return dep[qu[x].c]<dep[qu[y].c];
}
void DFS(int x){
int y,i;
for(i=qhe[x];i;i=qne[i])qu[i>>1].c=0;
for(i=he[x];i;i=ne[i])if((y=to[i])!=pre[x]&&!vis[y])
DFS(y);
}
int main(){
int _,__,x,y,i;
__=read();
rep(_,1,__){
n=read()+1;
tot=1;memset(he,0,sizeof he);
rep(i,2,n){
x=read()+1;y=read()+1;
add(x,y);add(y,x);
}
k=read();
qtot=1;memset(qhe,0,sizeof qhe);
rep(i,1,k){
qu[i].a=read()+1;qu[i].b=read()+1;
qadd(qu[i].a,qu[i].b);qadd(qu[i].b,qu[i].a);
}
tarjan(1);
rep(i,1,k)sa[i]=i;
sort(sa+1,sa+k+1,cmp);
ans=0;
memset(vis,0,sizeof vis);
per(i,k,1)if((x=qu[sa[i]].c)&&!vis[x]){
vis[x]=1;DFS(x);++ans;
}
printf("Case #%d: %d\n",_,ans);
}
return 0;
}