连接来自几个强连接组件的子图

Question

假设给定一个连通的有向图G，其中有几个强连通分量：G1，G2，......所有这些都是已知的，并且有一个函数f：Gi - ＆gt; bool对于其中一些返回true而对其他人返回false。

现在让我们取所有Gi，这样f（Gi）为真，忽略其他。是否有一些简单的方法可以在G中构建连接的子图，包含所有这些子图，以及G中其他边的最小数量？

Answer 1

进行冷凝，然后在此缩合的子f(Gi) = true子中生成生成树。提示，冷凝总是部分有序，这使得生成树构造更容易。