摘要: ► The dual does not change when a column is newly matched.► But the dual may decrease when a column 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.