有没有算法可以找到控制流图中所有具有单个输入/输出的子控制流图？

Question

这是一个控制流图，有入口点（A）、主体和出口点（H）

https://i.sstatic.net/rCb941kZ.png

我想找到所有子控制流图

在图中我想找到：

1. 入口点(B)和出口点(D2)
2. 主体（设置[A2，B2，C2]）

将这组[A2,B2,C2]作为一个整体节点N，N有从外部B到A2的单一输入，从C2到外部D2的单一输出，并且N之外没有其他输入/输出节点连接到N

有什么算法可以做到这一点吗？ 该算法应该能够正确找到子入口点和子出口点对，并相应地找到合适的集合

Answer 1

是的，有一个算法

Yen 的算法 https://en.wikipedia.org/wiki/Yen%27s_algorithm