la_20可以到达的节点的集合，然后从formula_47到formula_50的其余部分的网络一方面等于我们找到的从formula_20到formula_21的所有流的总流量，另一方面所有这样的流量组成了一个上限。这说明我们找到的流是最大的。参见最大流最小割定理。如果图formula_1有多个源点和汇点，可以按如下方法处理：设formula_54，formula_55。 添加一个新源点formula_56与所有源点有一条边formula_57相连，容量formula_58。添加一个新汇点formula