A cut (S, V-S) of an undirected graph G = (V, E) is a partition of V.
An edge (u,v) E crosses the cut (S, V-S) if u S and v V-S.