摘要: ► The dual does not change when a row is newly matched.► But the dual may decrease when a row is taken.► The dual decreases monotonically. Subtle part: If the dual doesn’t decrease...► It’s ok. Can show the new edge begins an augmenting path that increases the matching or an alternating path that decreases the dual.