vector<pair<int,int>>imp;
vector<int>G[MAX];
int s[MAX],s_top;
void build()
{
sort(imp.begin(),imp.end());
//为了方便处理,为我们把树根固定当做关键点
s[s_top=1]=1;
//按照dfs序遍历每个点
for (int i=0;i<imp.size();i++){
int v=imp[i].second;
int t=lca(v,s[s_top]);
//t的dfs序肯定小于栈顶元素(因为他是v和栈顶元素的LCA)
while (dfn[t]<dfn[s[s_top]]){
//直到栈顶的元素的前一个元素的dfs序小于当前的LCA,停止循环,如果当前的LCA不在栈中,那么入栈
if(dfn[t]>=dfs[s[s_top-1]]){
G[t].push_back(s[s_top]);
if (s[--s_top]!=t) s[++s_top]=t;
break;
}
//进入循环以为着栈顶元素dfs小于当前的LCA,并且沃恩是按照dfs序遍历的,那么栈顶的元素的子树肯定已经构建完毕,需要出栈并对当前的LCA建边
G[s[s_top-1]].push_back(s[s_top]);
s_top--;
}
s[++s_top]=v;
}
while (s_top--) G[s[s_top]].push_back(s[s_top+1]);
}
虚树模板
最新推荐文章于 2020-07-30 23:06:09 发布