对于一已知流图,只要求出各结点的必经结点集,就可以求出流图中所有的回边。
例
求图11.12中流图的所有回边。
由流图可以看出,有向边6→6、7→4、4→2是回边。因为根据前例的结果有6 DOM 6,4 DOM 7,2 DOM 4,其它有向边都不是回边。
对于图11.12流图中的例子,我们很容易看出。由回边6→6组成的循环就是{6},由回边7→4组成的循环是{4,5,6,7};由回边4→2组成的循环是{2,3,4,5,6,7}。