今天考了个模拟赛，虚树的题我拿(LCT)粗暴卡过，然后被各路神仙疯狂嘲讽，然后就奋发图强，来学了个虚树。
虚树的概念
先放一个例题吧：[SDOI 2011]消耗战
例题单个询问的树形DP可以说是非常简单了，但是多个询问就会(GG)，于是我们痛定思痛，发现其实我们并不需要整棵树来转移，我们只需要得到每一个目标节点和他们的(LCA)所构成的树即可，而树的边权即为树上两点在原树上的路径中的最小值。
那么像这种由目标节点和他们的(LCA)所构成的树即为虚树。
虚树的构造
既然知道了啥是虚树，那么就让我们再来看看虚树应该怎么构造吧。
其实虚树的构造过程类似(dfs)。
我们先整个类似(dfs)的栈，这个栈里存的只有虚树上需要的节点。
那么对于一个新加入的目标节点 (x)（显然目标节点要按(dfs)序排序再加入），我们分两种情况讨论：
-
(x) 在以(stk[top])为根的子树中
-
(x) 不在以(stk[top])为根的子树中
第一种情况很简单，直接把 (x) 加入栈即可。
让我们来具体研究一下第二种情况：
我们找到次栈顶结点((stak[top-1]))与 (x) 的 (LCA) ，我们只需要一直把次栈顶与(LCA)比较，若 (dep[stk[top-1]]>dep[LCA]) ,那么便将给栈顶((stk[top]))和次栈顶((stk[top-1]))之间连一条边。
如果某一时刻(dep[stk[top-1]]<dep[LCA]&&dep[stk[top]]==dep[LCA])，那么就说明(LCA)就是(stk[top])，我们只需要连上((stk[top],x))这条边即可。
那么如果(dep[stk[top]]>dep[LCA])呢？
这就说明(LCA)并不在虚树中，我们需要连上((stk[top],LCA))，然后将(LCA)和 (x) 加入栈中。
最后，给出建虚树代码：
void ins(int x){
int l=lca(x,stk[top],0);
while (top>1&&dep[l]<dep[stk[top-1]]){
E[stk[top]].push_back(stk[top-1]);
E[stk[top-1]].push_back(stk[top]);
--top;
}
if (dep[stk[top]]>dep[l]){
E[stk[top]].push_back(l);
E[l].push_back(stk[top]);
--top;
}
if (stk[top]!=l) stk[++top]=l;
stk[++top]=x;
}