有向图的闭包 - 最大闭包问题
Closure of a Directed Graph - The Maximum Closure Problem
我正在阅读这篇维基文章：https://en.wikipedia.org/wiki/Closure_problem 我有几个问题。
首先，文章一开始就说“有向图的闭包是一组顶点C，使得没有边离开C”。假设我有一个图 G=(V,E)，其中 V = {a,b,c} 和 E={(a,b),(b,c),(a,c)}。然后，根据闭包的定义，闭包 C(G) = {b,c}，因为没有边离开 C.
但是，在减少到最大流量部分下算法部分，它说“与 s 在切割同一侧的顶点集自动形成一个闭包 C”，边上的图显示 C={s,1,5,3,2} .但是，很明显，有边从闭包中出来，例如边 (2,t),(s,7).
那么，我在这里有什么理解不正确？谢谢！
顶点 s 和 t 被添加到初始图中，找到的最小割在初始图中是闭合的，而不是在修改后的图中。该算法严重依赖于 max-flow min-cut 定理。显然存在一个有限的切割，例如，用 {s} 切割，其他一切都是有限的。因此 min-cut 也是有限的，这意味着它不能有任何无限边，并且初始图中存在的所有边都是无限的。随后，修改图中的 min-cut 也是初始图中的闭包。
我正在阅读这篇维基文章：https://en.wikipedia.org/wiki/Closure_problem 我有几个问题。
首先，文章一开始就说“有向图的闭包是一组顶点C，使得没有边离开C”。假设我有一个图 G=(V,E)，其中 V = {a,b,c} 和 E={(a,b),(b,c),(a,c)}。然后，根据闭包的定义，闭包 C(G) = {b,c}，因为没有边离开 C.
但是，在减少到最大流量部分下算法部分，它说“与 s 在切割同一侧的顶点集自动形成一个闭包 C”，边上的图显示 C={s,1,5,3,2} .但是，很明显，有边从闭包中出来，例如边 (2,t),(s,7).
那么，我在这里有什么理解不正确？谢谢！
顶点 s 和 t 被添加到初始图中，找到的最小割在初始图中是闭合的，而不是在修改后的图中。该算法严重依赖于 max-flow min-cut 定理。显然存在一个有限的切割，例如，用 {s} 切割，其他一切都是有限的。因此 min-cut 也是有限的，这意味着它不能有任何无限边，并且初始图中存在的所有边都是无限的。随后，修改图中的 min-cut 也是初始图中的闭包。