在计算机科学中，控制流图的一个节点 d 支配节点 n，当且仅当从开始节点（可以理解为源）到节点 n的每一条路径均要经过节点d，写作d dom n (一写作d formula_1 n)。根据上述定义，容易得到每个节点均控制其自身。一些相关概念：
求解支配树的一般方法.一般而言，会使用 Tarjan 算法在 formula_2的时间内将其求出
大概步骤.首先来介绍一些这个算法的大概步骤
半必经点.用 idom[x] 表示点 f