algorithm - 确定是否可以将一组节点视为有向无环图的孤立子图

Question

我有一个有向无环图。我正在尝试确定是否可以将此图的一部分分组并将其视为有向无环图中的单个节点。这个单个节点可以有多个输入或输出。

是否有算法解决方案可以帮助我确定这一点？

为了说明，这是一个简单的图表，其中排除 b 的所有多节点组都将被视为无效，而所有其他组将是有效的：

    a -> b -> c
         |
         v
         d

标签： algorithmgraphgraph-algorithmdirected-acyclic-graphs