A 2-level cactus model for the system of minimum and minimum+1 edge-cuts in a graph and its incremental maintenance.