支配树(dominator tree)学习笔记

一些定义

• $\hbox{idom(w)}=\max\{v\mid 删掉v后没有从起点到w的路径 \}$

​ 记最近支配点$idom(w)$为$iw$，其意义如定义。

• $\hbox{sdom(w)}=\min\{v\mid 有一条路径v=v_0,v_1,\cdots v_k=w 使得对于i\in [1,k)有v_i>w\}$

​ 记最远半支配点$sdom(w)$为$sw$，则$sw$的意义是dfs树上$w$的一个“最高分叉点”，也就是最浅的能够从“另一外一条路”绕到$w$的点。(这里我后来想了想感觉这么说也不太对。。。但是演算法笔记里面又是这么说的。。。有点不太懂sdom的意义了。。。可能的确只是一个辅助计算的东西吧。。。)

• 记图的起点为$r$。接下来讨论的图都是在有向图$G=(V,E)$的dfs树上的，点按照dfs序重标号。
• $u\dot \rightarrow v$表示$u$是$v$的祖先，$u\xrightarrow{+} v$表示$u \dot \rightarrow v$且$u\neq v$。
• 路径$P(u,v)$表示沿着树边从$u$走到$v$中间遇到的点的集合（不包括$u,v$）。
• 路径$P[u,v]$表示沿着树边从$u$走到$v$中间遇到的点的集合（包括$u,v$）。
• 路径$P(u,v],P[u,v)$同理。

---

一些性质

1. $sw\xrightarrow{+} w$。
   
   • 首先至少$w$的父亲是一个半支配点，则$sw$不可能是比$fa_w$大的点。若$sw$不在祖先里，此时有一条$sw\rightarrow w$的路径，与dfs树的性质矛盾。
2. $iw\dot \rightarrow sw$。
   
   • 若$iw$不是$w$的祖先，则可以直接从$r$沿树边到$w$而不用经过$w$；若$iw$不是$sw$祖先，则$sw$处分出至少两条不相交路径，其中$iw$最多只能占一条，因此均矛盾。