支配 (圖論) 在计算机科学中控制流图的一个节点基本块 d 支配节点 n当且仅当从开始节点可以理解为源到节点 n的每一条路径均要经过节点d写作d dom n 一写作d  displaystyle gg  n根据上述定义容易得到每个节点均支配其自身 一些相關概念 说一个节点 d 严格支配节点n当且仅当 d支配 n 而不等于 n 节点 n 的直接支配节点immediate dominator简称 idom 是一个独特的节点它严格支配节点 n却不严格支配任何严格支配节点n的其他节点不是所有的节点均有直接支配节点如开始节点就没有 一个节点 d 的可支配边界是一个点集其中任意节点n均满足 d 能支配 n 的前驱结点却不能严格支配 n就是 d 支配能力的极限 一个支配树是一棵树它的所有节点儿子是被其直接支配的所有节点由于直接支配节点是唯一的故其为一棵树开始节点即为树根 求解支配树一般使用 Tarjan 算法