标签: Dominator Tree

1 篇文章

支配树
支配树 支配 称节点 $x$ 支配节点 $u$,当且仅当从起始点到 $u$ 的每一条路径都必须经过 $x$。根据定义,每个节点都支配它自身。 称节点 $x$ 严格支配节点 $u$,当且 $x$ 支配 $u$ 且 $x$ 不等于 $u$。 方便起见,只考虑从起始点开始能到达的节点。显然严格支配关系一定不存在环。 称节点 $u$ 的直接支配节点为 $x…