支配树(Dominator tree)学习笔记 及HDU4694Important Sisters

前置技能： 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=