支配_(圖論)

在計算機科學中 ， 控制流圖的一個節點 （ 基本塊 ） d 支配節點 n ， 當且僅當從開始節點 （ 可以理解爲源 ） 到節點 n的每一條路徑均要經過節點d ， 寫作d dom n ( 一寫作d n ) 。 根據上述定義 ， 容易得到每個節點均支配其自身 。 一些相關概念 ： 說一個節點 d 嚴格支配節點n ， 當且僅當 d支配 n 而不等於 n 。 節點 n 的直接支配節點 （ immediate dominator ） ， 簡稱 idom 是一個獨特的節點 ， 它嚴格支配節點 n ， 卻不嚴格支配任何嚴格支配節點n的其他節點 。 不是所有的節點均有直接支配節點 ， 如開始節點就沒有 。 一個節點 d 的可支配邊界是一個點集 ， 其中任意節點n均滿足 ， d 能支配 n 的前驅結點 ， 卻不能嚴格支配 n 。 就是 d 支配能力的極限 。 一個支配樹是一棵樹 ， 它的所有節點兒子是被其直接支配的所有節點 。 由於直接支配節點是唯一的 ， 故其爲一棵樹 ， 開始節點即爲樹根 。 求解支配樹一般使用 Tarjan 算法