【学习笔记】支配树

0.概述

用来求一张图中，从某个定点 $s$ 出发，到达某一点 $e$ 的路径上，必须经过哪些点。

这玩意儿有什么用呢？没什么用。 我只是个普及组选手啊😓

1.有关 $\mathrm{d}\mathrm{f}\mathrm{s}$ 树

1.1.定义

在一个图中，以某一点为起点，进行深度优先遍历，将所有走过的边当作树边，形成的 树 。

注意：边可能是有向的。所以这并非一个传统意义上的树。

1.2.性质

记 $\mathrm{dfn}(u)$ 为 $u$ 是第几个被访问的（回溯不计入访问次数）。

1.2.1.非树边

在有向图中，对于任意非树边 $⟨u,v⟩$，要么 $u$ 是 $v$ 的祖先，要么 $\text{dfn}(u)>\text{dfn}(v)$ 。

证明是轻松的。在 $u$ 回溯时，对于所有已经访问的节点 $x$，要么 $\text{dfn}(x)<\text{dfn}(u)$，要么 $x$ 为 $u$ 的子树内一点。而 $v$ 都不满足，则此时必将 $\mathrm{d}\mathrm{f}\mathrm{s}$ 到 $v$，进而 $(u,v)$ 为树边，出现矛盾。

1.2.2.$\text{dfn}$ 推论

对于任意两个点 $u,v(u\ne v)$，不妨设 $\text{dfn}(u)<\text{dfn}(v)$，记 $lca(u,v)=x$ 。

• 对于 $v$ 到 $x$ 的树上路径中一点 $y$，一定有 $\text{dfn}(u)<\text{dfn}(y)$ 。
• 对于 $u$ 到 $x$ 的树上路径中一点 $y$，一定有 $\text{dfn}(y)<\text{dfn}(v)$ 。

其正确性是显然的；只需要画一张图就可以领会其中真谛了。用大白话来说就是，两个点的 $\mathrm{d}\mathrm{f}\mathrm{n}$ 比较，在不超过 $lca$ 的位置都是一样的。

2.有关支配树

如果图是无向图，无向边转化为两条有向边。故以下内容均讨论有向图。

为了表述方便，$u\Rightarrow v$ 表示 $u$ 通过一条原图中存在的有向边 $⟨u,v⟩$ 到达 $v$，即二者直接相连。而 $u\to v$ 表示 $u\Rightarrow \cdots \Rightarrow v$ 或 $u\Rightarrow v$ 。

2.1.半支配点与 $semi$

对于一个点 $u$，若存在一条路径 $v\to u(v\ne u)$，使得路径上除 $u$ 和 $v$ 的点 $x$ 都满足 $\text{dfn}(x)>\text{dfn}(u)$，则 $v$ 为 $u$ 的半支配点。

规定 $semi(x)$ 为 $x$ 的所有半支配点中 $\text{dfn}$ 最小的一个。

2.1.1.性质

$semi(x)$ 是 $x$ 在 $\mathrm{d}\mathrm{f}\mathrm{s}$ 树上的祖先。我尽量用简洁的方式证明它。

首先，$x$ 的父节点是 $x$ 的半支配点，故
$$\text{dfn}[semi(x)]\le \text{dfn}(f{a}_x)<\text{dfn}(x)$$

这是比较核心的关系。有了这个，考虑 $semi(x)\to x$ 路径上经过的第一个点 $y$（即路径为 $semi(x)\Rightarrow y\to x$，显然 $y$ 是存在的，否则 $semi(x)$ 已经是 $x$ 的祖先），显然有 $\mathrm{d}\mathrm{f}\mathrm{n}(y)>\mathrm{d}\mathrm{f}\mathrm{n}(x)$ 。

仔细思考一下，$\mathrm{d}\mathrm{f}\mathrm{n}(y)>\mathrm{d}\mathrm{f}\mathrm{n}(x)>\mathrm{d}\mathrm{f}\mathrm{n}[semi(x)]$，那么 $semi(x)\Rightarrow y$ 应当为祖先到儿子的边。即 $semi(x)$ 是 $y$ 的祖先。

根据 1.2.2.dfn推论，$semi(x)$ 至少要达到 $lca(x,y)$ 才可以满足 $\mathrm{d}\mathrm{f}\mathrm{n}[semi(x)]<\mathrm{d}\mathrm{f}\mathrm{n}(x)$，于是它就是 $x$ 的祖先了。

2.1.2.求 $semi$

求 $semi(x)$ 其实就是求半支配点。更新的时候，用 $semi$ 更新（而非集合取并集）即可。

枚举 $semi(x)\to x$ 中 $x$ 的前驱 $y$，如果 $\mathrm{d}\mathrm{f}\mathrm{n}(y)<\mathrm{d}\mathrm{f}\mathrm{n}(x)$，那就只能直接用 $y$ 更新 $semi(x)$ 了。否则，假设第一次走到 $lca(x,y)\to y$ 的点为 $z$，显然所有不到 $lca(x,y)$ 的 $y$ 的祖先都可以作为 $z$，也都可以用 $semi(z)$ 更新 $semi(x)$ 。

形式化的，候选 $semi$ 点的集合为 $S_x$，那么有
$$S_x=\bigcup _{⟨y,x⟩}\bigcup _{z\in path(y,root)}^{\mathrm{d}\mathrm{f}\mathrm{n}(z)>\mathrm{d}\mathrm{f}\mathrm{n}(x)}{S}_z$$

显然 $S_z$ 是合法的，因为 $semi(z)$ 到 $z$ 的路径上的点的 $\mathrm{d}\mathrm{f}\mathrm{n}>\mathrm{d}\mathrm{f}\mathrm{n}(z)>\mathrm{d}\mathrm{f}\mathrm{n}(x)$ 。不过它是否有所遗漏呢？即 $\mathrm{d}\mathrm{f}\mathrm{n}$ 介于 $\mathrm{d}\mathrm{f}\mathrm{n}(x)$ 和 $\mathrm{d}\mathrm{f}\mathrm{n}(z)$ 之间的点？

并没有呢。那些点想要走到 $z$，那就是让 $\mathrm{d}\mathrm{f}\mathrm{n}$ 增加，那么这样的点必须是 $z$ 的祖先。而 $z$ 的祖先是不会先于 $z$ 走到的！——比 $lca(x,z)$ 更深的，根据定义，不应该在 $z$ 之前访问；比那更浅的，不能出现在路径上，因为其 $\mathrm{d}\mathrm{f}\mathrm{n}$ 小于 $\mathrm{d}\mathrm{f}\mathrm{n}(x)$ 了。

2.2.支配点

在一张图中设立一个源点 $s$ 。

若对于某一点 $e(e\ne s)$ 满足所有从 $s$ 到 $e$ 的路径中都经过 $u$（即，在图中删去 $u$ 之后，不存在 $s$ 到 $e$ 的路径），则称 $u$ 为 $e$ 的支配点，或 $u$ 支配 $e$ 。

显然一个点的支配点可能有很多个。一个生动形象的例子是链。

2.3.支配树

2.3.1.定义

对于一张图和其源点 $s$，支配树是满足该条件的树：

• 包含图中的每一个节点。
• 对于任意一点 $u(u\ne s)$，其祖先（包括 $u$ 本身）均为其支配点。
• 对于任意一点 $u(u\ne s)$，其支配点均为其祖先（包括 $u$ 本身）。

$s$ 会是树的根节点。

2.3.2.存在性

我们要说明，为什么它会是一颗树？就像 $\mathtt{S}\mathtt{A}\mathtt{M}$ 要说明，为什么存在合法的自动机状态转移。

先证明一个小结论：若 $v$ 到 $u$ 的每一条路径都经过 $x$，则存在一条从 $x$ 到 $u$ 的路径不含 $v$ 。

证明很简单。用一点 $\text{C++}$ 的想法。反证法，若不成立，其函数应该像这样：

void x_goto_u(){
	x_goto_v(); // 由假设，必须先到达v
	v_goto_u(); // 调用下面的函数
}
void v_goto_u(){
	v_goto_x(); // 由假设，必须先到达x
	x_goto_u(); // 调用上面的函数
}

这样就死递归了呀！而路径是客观存在的，所以归谬了。类似的，两个点互相支配也是不可能的。

现在，我们可以说明一些支配点之间的性质。若 $u$ 有两个支配点 $v$ 和 $x$，但是 $v$ 和 $x$ 没有支配关系（即支配关系非 “树形”），则存在两条从 $s$ 到 $u$ 的路径，一个是 $s\to v\to u$，另一个是 $s\to x\to u$ 。

对于前者，令 $s\to v$ 不经过 $x$（由于 $v$ 和 $x$ 没有支配关系，该路径必然存在）。为了使 $x$ 支配 $u$，必须让 $v\to u$ 总是经过 $x$ 。根据上面的结论，$x\to u$ 可以不经过 $v$，同理，$s\to x$ 可以不经过 $v$，于是 $s\to x\to u$ 完全不会经过 $v$，说明 $v$ 不支配 $u$ 啦，矛盾！

有了这一条，你会发现，一个点的所有支配点的导出子图是完全图。这个完全图又不能存在有向环（否则存在两个点互相支配，这是荒谬的），所以存在一个点被其他所有点支配。那么当前点就以这个点作为支配树上的父节点即可。

有点归纳法的感觉，对吗？对。按照 支配关系有向图 的拓扑序建树即可。

2.3.3.建支配树

据说又是 $tarjan$ 发明的算法……

我们要 $semi$ 有什么用？ 去掉所有非树边，连边 $⟨semi(x),x⟩$，支配关系不改变！

其实这个原因挺简单的。理解一下 $semi$ 到底是什么：越过树边上的点。如果 $u$ 是 $v$ 的祖先，并且 $u\to v$，路径上 不需要 有 $\mathrm{d}\mathrm{f}\mathrm{n}<\mathrm{d}\mathrm{f}\mathrm{n}(v)$ 的点——如果有，那其实还是 $v$ 的祖先，没有飞越树上的点。

支配点肯定是 $\mathrm{d}\mathrm{f}\mathrm{s}$ 树上的祖先（否则树边构成一条路径）。其树上祖先，如果不是支配点，只可能是被跨过了。而跨过就是 $semi$ 嘛。如果感性的理解一下，$semi$ 已经建好了所有桥，不需要更多的边了。

这样有什么好处呢？至少有一个：原图变为了 $DAG$！

其实 $DAG$ 已经可以搞定了。对于所有前驱，求支配点交集，在支配树上体现为 $lca$ 的祖先。按照 $\mathrm{d}\mathrm{f}\mathrm{n}$ 排序后，使用带权并查集，倍增维护 $lca$ 。时间复杂度 $O(n\log n)$ 。

可是人总是精益求精的。令 $idom(x)$ 为 $x$ 的支配点中 $\text{dfn}$ 最大的点，寻找 $idom(x)$ 的方法是：

记 $P$ 为从 $semi(x)$ 到 $x$ 的树上路径点集（不包括 $semi(x)$ 本身），找一个 $z\in P$ 满足 $\text{dfn}[semi(z)]$ 最小。

若 $semi(z)=semi(x)$，则有 $idom(x)=semi(x)$；否则有 $idom(x)=idom(z)$ 。

对于前半句性感的证明就是，没有 $semi(x)$ 的祖先连到 $P$ 中的边，则删去 $semi(x)$ ，$x$ 就不可达。毕竟 $P$ 以内的所有点都连接 $⟨semi(p),p⟩$ 之后也不能跨过 $semi(x)$ 。别忘了 $z$ 的定义哦！

对于后半句性感的证明（见下图）就是：

假设删掉 $idom(z)$ ，$x$ 依旧可达，则说明在 $dfs$ 树上，$idom(z)$ 有一个祖先，可以走一条非树边（也就是通过 $semi$ 连出来的边，图中红边）到达 $x$ 到 $idom(z)$ 中间的一个点 $k$ 。

若 $z$ 不是 $k$ 的祖先，则删掉 $idom(z)$ 后 $z$ 仍可达，与支配点定义不符，所以 $z$ 是 $k$ 的祖先。那么因为 $z\in P$ ，所以 $k\in P$ 。因为删除 $idom(z)$ 后 $semi(z)$ 不可达，所以 $\text{dfn}[semi(k)]<\text{dfn}[idom(z)]<\text{dfn}[semi(z)]$，与 $z$ 的定义矛盾，所以该假设不可能成立。

版权声明：本文为CSDN博主「litble」的原创文章，遵循CC 4.0 by-sa版权协议，转载请附上原文出处链接及本声明。
原文链接：https://blog.csdn.net/litble/article/details/83019578

这一小节是摘录的，进行了部分修改。

2.4.代码实现

我们要 $idom$ 来干嘛呢？在支配树上，$x$ 的父亲就是 $idom(x)$ 呗。

发现 $semi$ 需要用到 $\text{dfn}$ 值更大的点的 $semi$ 。那就按照 $\text{dfn}$ 从大到小处理。

用 带权并查集 好像可以做。用 $mi(x)$ 存该点到根节点的路径中，$\text{dfn}[semi(z)]$ 值最小的一个 $z$ 。毕竟也就用 $y$ 的祖先中比 $x$ 的 $\text{dfn}$ 大的点呗！

求 $idom$ 该怎么办呢？它要用到 $semi(x)$ 与 $x$ 之间的信息。那就等到 $semi(x)$ 处理完的时候处理吧！——那个时候，中间的所有点都处理了。

很巧的是，恰好此时 $semi(x)$ 的祖先还没处理！可以一并使用并查集，因为根节点就是 $semi(x)$ 。

3.例题

3.1.板题

传送门 to HDU

#include<bits/stdc++.h>
using namespace std;
#define RI register int
int read() {
	int q=0;char ch=' ';
	while(ch<'0'||ch>'9') ch=getchar();
	while(ch>='0'&&ch<='9') q=q*10+ch-'0',ch=getchar();
	return q;
}
typedef long long LL;
const int N=50005,M=100005;
int n,m,tim;
int dfn[N],repos[N],mi[N],fa[N],f[N],semi[N],idom[N],ans[N];
struct graph{
	int tot,h[N],ne[M],to[M];
	void clear() {tot=0;for(RI i=0;i<=n;++i) h[i]=0;}//此题数据有误所以应从i=0开始清空
	void add(int x,int y) {to[++tot]=y,ne[tot]=h[x],h[x]=tot;}
}g,rg,ng,tr;

void init() {
	tim=0;g.clear(),rg.clear(),ng.clear(),tr.clear();
	for(RI i=1;i<=n;++i)
		repos[i]=dfn[i]=idom[i]=fa[i]=ans[i]=0,mi[i]=semi[i]=f[i]=i;
}
void tarjan(int x) {
	dfn[x]=++tim,repos[tim]=x;
	for(RI i=g.h[x];i;i=g.ne[i])
		if(!dfn[g.to[i]]) fa[g.to[i]]=x,tarjan(g.to[i]);
}
int find(int x) {
	if(x==f[x]) return x;
	int tmp=f[x];f[x]=find(f[x]);
	if(dfn[semi[mi[tmp]]]<dfn[semi[mi[x]]]) mi[x]=mi[tmp];
	return f[x];
}
void dfs(int x,LL num) {
	ans[x]=num+x;
	for(RI i=tr.h[x];i;i=tr.ne[i]) dfs(tr.to[i],num+x);
}
void work() {
	for(RI i=n;i>=2;--i) {
		int x=repos[i],tmp=n;
		for(RI j=rg.h[x];j;j=rg.ne[j]) {
			if(!dfn[rg.to[j]]) continue;//此题数据有误
			if(dfn[rg.to[j]]<dfn[x]) tmp=min(tmp,dfn[rg.to[j]]);
			else find(rg.to[j]),tmp=min(tmp,dfn[semi[mi[rg.to[j]]]]);
		}
		semi[x]=repos[tmp],f[x]=fa[x],ng.add(semi[x],x);
		
		x=repos[i-1];
		for(RI j=ng.h[x];j;j=ng.ne[j]) {
			int y=ng.to[j];find(y);
			if(semi[mi[y]]==semi[y]) idom[y]=semi[y];
			else idom[y]=mi[y];//此时idom[mi[y]]可能并未找到
		}
	}
	for(RI i=2;i<=n;++i) {
		int x=repos[i];
		if(idom[x]!=semi[x]) idom[x]=idom[idom[x]];
		tr.add(idom[x],x);
	}
	dfs(n,0);
}
int main()
{
	int x,y;
	while(~scanf("%d%d",&n,&m)) {
		init();
		for(RI i=1;i<=m;++i)
			x=read(),y=read(),g.add(x,y),rg.add(y,x);
		tarjan(n);work();
		for(RI i=1;i<n;++i) printf("%d ",ans[i]);
		printf("%d\n",ans[n]);
	}
    return 0;
}

4.后记

再次鸣谢：litble的感性理解支配树，提供了思路与代码！

支配树为作者自学，如有错误之处，还请大佬斧正！