虚树(Kindom and its Cities，消耗战)

模板题引入

先来看一道模板题，CF上的。
这题的意思是给定一棵有$n$个节点的树，树上有一些关键点($key$)。接下来有$q$组询问，每次给出$k_i$个$key$，要求删去一些点，使得这些$key$不相连。要求删去的最少的点数。

模板题解析

第一眼看到这题，先想到的肯定是树形$dp$。毕竟是在树上嘛。但是接下来看了一眼范围$1\le n\le 100000$，而且$1\le q\le 100000$。如果对于每个$q$都跑一次完整的树，那么显然，$O(n\ast q)$一算就会$TLE$。
那么我们可以先不考虑这个，先想怎么$dp$。很简单，运用贪心，分类。
如果当前节点是关键点，那么查询它是否有子儿子是关键点，如果有，那么显然连向这个子节点的链上需要被截断，否则就不用。
如果不是关键点，那么如果子树中有关键点并且多于$2$个，那么显然，把当前节点删掉会最优，如果只有一个，那么留到后面和其他子树中的关键点分割更优。
因此，设当前节点是$x$，它的儿子是$son$，定义$dp[i]$表示以$i$为根的子树，使得所有的$key$都不连通的最小删点个数，$siz[i]$表示以$i$为根的子树里$key$的个数。则有：
$if(x是key)$
$dp[x]+=dp[son];$
$if(siz[son])ans[x]++;$
$else$
$ans[x]+=ans[son];$
$siz[x]+=siz[son];$
\qquad 在遍历完子节点后
$if(siz[x]>1)$
$siz[x]=0;$
a n s [ x ] + + ; \qquad\qquad ans[x]++;