第十一章 代码优化要点.pptVIP

11.3.2 循环的查找 分析程序流图中结点间的关系 m DOM n 定义 在程序流图中,对任意两个结点m和n,如果从流图的首结点出发,到达n的任意通路都要经过m,则称m是n的必经结点,记为m DOM n (?a,a DOM a) 必经结点集 定义 结点n的所有必经结点的集合,称为结点n的必经结点集,记为D(n). 例 : 6 7 3 4 1 2 3 5 7 6 1 2 1 2 1 2 1 必经结点集 D(1)={1} D(2)={1,2} D(3)={1,2,3} D(4)={1,2,4} D(5)={1,2,4,5} D(6)={1,2,4,6} D(7)={1,2,4,7} 3 回边： 假设a→b是流图中的一条有向边，如果b DOM a，则a→b是流图中的一条回边。 对于一已知流图，只要求出各结点的必经结点集，就可以求出流图中所有的回边。 必经结点集 D(1)={1} D(2)={1,2} D(3)={1,2,3} D(4)={1,2,4} D(5)={1,2,4,5} D(6)={1,2,4,6} D(7)={1,2,4,7} 6 7 3 4 1 2 3 5 7 6 1 2 1 2 1 2 1 3 回边