Nice! I'd imagine that defining a cut as simply a partition of the vertices (rather than a subset of edges) may simplify things slightly.