记 \(f\) 为任意最大流，令 \(G_f\) 为 \(f\) 的残量网络。记 \(G_f\) 中 \(s\) 可达的点集合为 \(S\)，\(t\) 可达的点集合为 \(T\)。
-
判断一个图的最小割是否唯一。最小割唯一 \(\iff\) \(S\cup T=V\)。
-
若 \((u,u^C)\) 是最小割，则 \(G_f\) 中没有 \(u\rightarrow u^C\) 的边。
-
判断一条边 \((x,y)\) 与最小割的关系。
-
若 \((x,y)\) 在 \(f\) 中不满流，一定不在任意最小割。不然回溯上去割，更好。（但不是判断的唯一标准）下面假定满流。
-
若 \(x\in S,y\in T\)，\((x,y)\) 在所有最小割中。
-
若 \((x,y)\) 在某最小割中，等价于 \(G_f\) 中 \(x\) 不可达 \(y\) 且 \(x\not\in T\) 且 \(y\not\in S\)。
再简化一下，等价于 \(G_f\) 中 \(x,y\) 在不同的 SCC 中且 \(x\not\in T,y\not\in S\)。（因为满流）
-