16 Jan
2020
16 Jan
'20
1:13 a.m.
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? Best, Gerion [1] https://en.wikipedia.org/wiki/Dominator_(graph_theory)#Postdominance
16 Jan
16 Jan
11:50 a.m.
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@skewed.de>
2162
Age (days ago)
2162
Last active (days ago)
1 comments
2 participants
participants (2)
-
Gerion Entrup -
Tiago de Paula Peixoto