graph: edge cuts