显性

优势算法。

immediate_dominators (g,开始)

返回有向图的所有节点的直接支配者。

dominance_frontiers (g,开始)

返回有向图中所有节点的优势边界。