Dominance

支配算法。

immediate_dominators(G, start)	返回有向图中所有节点的直接支配者。
dominance_frontiers(G, start)	返回有向图中所有节点的支配边界。