Minimum Cut Phase
w(A, v) keys
Phase: -
|A|: 0
s: -
t: -
Cut-of-phase: -
Global min: ∞
not in A
in A
just added (max key)
last vertex t (cut-of-phase)
merged super-vertex