前置技能: LCA (Tarjan)
今年冬令营上讲的东西现在才学 惭愧惭愧。。
首先做出图G的dfs树T 其中S为起点
定义T中节点 u 的半必经点sdom[u] 为 u的祖先中能经过若干条非树边到达u的(除了sdom[u]直接引出的边 其余边必须为非树边) 深度最小的节点
则对于任意一条边 (v->u)
这里我们默认sdom idom 记录的是dfn
则有
1.dfn[v]<dfn[u] 即(v->u)为一条树边或前向边 有sdom[u]=Min(dfn[u],sdom[u]);
2.dfn[v]>dfn[u] 即(v->u)为横插边或反组边 则有sdom[u]=Min(sdom[u],sdom[x]),x为v->LCA(v,u)的路径节点中sdom最小的节点
以上的式子我们可以利用tarjan的LCA 从dfn为n的节点倒推来做
对于idom我们怎么求呢?
令x为u->sdom[u]路径中sdom最小的节点
1. sdom[u]=sdom[x] idom[u]=sdom[x]
2. sdom[u]!= sdom[x] idom[u]=idom[sdom[u]]
同样x的求解过程我们也可以用tarjan的lca求
至此问题完美解决
至于证明。。
sdom的求解可以感性理解一下
idom嘛。。。我也不会
HDU4694
就是很裸的Dominator Tree了。。
就当是模板练习
#include<cstdio>
#include<iostream>
#include<cstring>
#include<cstdlib>
using namespace std;
char c;
inline bool read(int&a)
{a=