一些定义
- idom(w)=max{ v∣删掉v后没有从起点到w的路径}
记最近支配点 idom(w) 为 iw ,其意义如定义。
- sdom(w)=min{ v∣有一条路径v=v0,v1,⋯vk=w使得对于i∈[1,k)有vi>w}
记最远半支配点 sdom(w) 为 sw ,则 sw 的意义是dfs树上 w 的一个“最高分叉点”,也就是最浅的能够从“另一外一条路”绕到
- 记图的起点为 r 。接下来讨论的图都是在有向图
G=(V,E) 的dfs树上的,点按照dfs序重标号。 - u→˙v 表示 u 是
v 的祖先, u−→+v 表示 u→˙v 且$u\neq v$。 - 路径 P(u,v) 表示沿着树边从 u 走到
v 中间遇到的点的集合(不包括 u,v )。 - 路径 P[u,v] 表示沿着树边从 u 走到
v 中间遇到的点的集合(包括 u,v )。 - 路径 P(u,v],P[u,v) 同理。
一些性质
- sw−→+w 。
- 首先至少 w 的父亲是一个半支配点,则
sw 不可能是比 faw 大的点。若 sw 不在祖先里,此时有一条 sw→w 的路径,与dfs树的性质矛盾。
- 首先至少 w 的父亲是一个半支配点,则
- iw→˙sw 。
- 若 iw 不是 w 的祖先,则可以直接从
r 沿树边到 w 而不用经过w ;若 iw 不是 sw 祖先,则 sw 处分出至少两条不相交路径,其中 iw 最多只能占一条,因此均矛盾。
- 若 iw 不是 w 的祖先,则可以直接从