[graph-tool] Postdominator

Gerion Entrup gerion.entrup at flump.de
Thu Jan 16 02:13:44 CET 2020


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?


[1] https://en.wikipedia.org/wiki/Dominator_(graph_theory)#Postdominance
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 659 bytes
Desc: This is a digitally signed message part.
URL: <https://lists.skewed.de/pipermail/graph-tool/attachments/20200116/feb6d6ee/attachment.asc>

More information about the graph-tool mailing list