判断流网络中最大流是否饱和源点所有出边的正确性

该陈述为假，以下是反例：

构造一个简单的流网络：

• 源点s，汇点t，中间节点v
• 边s→v的带宽c(s,v)=3
• 边s→t的带宽c(s,t)=2
• 边v→t的带宽c(v,t)=1

计算最大流：

• s→t可以满流2单位；
• s→v最多只能流1单位（受限于v→t的带宽）；
  总最大流为2+1=3单位。

此时，源点s出发的边s→v并未被饱和（实际流量1，带宽3），但这已经是该网络的最大流——因为汇点t能接收的总流量上限就是3。这直接证明原陈述不成立。

内容的提问来源于stack exchange，提问作者Абдул Абдуллае