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