# condensation
图凝聚
函数库: TyMath
# 语法
C = condensation(G)
# 说明
C = condensation(G) 返回一个有向图 C，其节点表示 G 中的强连通分量。示例
# 示例
将强连通分量压缩为单个节点
创建包含多个强连通分量的图。
using TyMath
s = [1 1 2 3 3 4 4 4 4 5 5 6 6 6 7 8 8 9 9 10 10 10 11 11 12 13 13 14 15];
t = [1 3 1 2 5 1 2 12 13 6 8 7 8 10 10 9 10 5 11 9 11 14 12 14 13 11 15 13 14];
G = DiGraph(s[:],t[:]);
使用 condensation 将每个分量表示为单个节点。
C = condensation(G);
# 输入参数
G - 输入图DiGraph 对象
输入图，指定为 DiGraph 对象。可使用 DiGraph 创建有向图对象。
示例： G = DiGraph([1,2],[2,3])
# 输出参数
C - 凝聚图DiGraph 对象
凝聚图，以 DiGraph 对象形式返回。C 是有向无环图 (DAG)，并且以拓扑方式进行排序。C 中的节点数对应于 conncomp 返回的 bin 数。
condensation 通过 G 中的分量和连通性确定 C 中的节点和边：
C 包含 G 中每个强连通分量的节点。
如果存在从分量 I 中任何节点到 G 的分量 J 中任何节点的边，则 C 包含节点 I 和节点 J 之间的一条边。