[graph-tool] Postdominator

Tiago de Paula Peixoto tiago at skewed.de
Thu Jan 16 12:50:28 CET 2020


Am 16.01.20 um 02:13 schrieb Gerion Entrup:
> Hi,
> 
> I have seen the algorithm for the dominator tree in graph_tool.
> Is there an algorithm present that calculates the postdominator tree [1] as well?

Yes, just reverse the graph and obtain the dominator tree.


-- 
Tiago de Paula Peixoto <tiago at skewed.de>


More information about the graph-tool mailing list