1: \begin{abstract}

2: The cutting plane approach to finding minimum-cost perfect matchings has been discussed by

3: several authors

4: %(e.g., Padberg and Rao \cite{Padberg82}, Lov\'asz and

5: %Plummer \cite{Lovasz86}, Gr\"otschel and Holland \cite{Grotschel85},

6: %Trick \cite{Trick87}, Fischetti and Lodi \cite{fischetti07})

7: over past decades \cite{Padberg82,Grotschel85,Lovasz86,Trick87,fischetti07}, and

8: its convergence has been an open question.

9: We give a cutting plane algorithm that converges in polynomial-time using only Edmonds' blossom inequalities; it maintains 

10: half-integral intermediate LP solutions supported by a disjoint union of odd cycles and edges.  

11: % that provably converges in polynomial-time. 

12: %Our main insight is an LP-based method to retain/drop candidate cutting planes. 

13: Our main insight is a method to retain only a subset of the previously added cutting planes based on their dual values. 

14: This allows us to quickly find violated blossom inequalities and argue convergence by tracking the number of odd cycles in the support of intermediate solutions.

15: %We implement this cut retention procedure along with a cut addition procedure that is motivated by laminarity in a way that enables us to maintain

16: %Our main insight is a method to retain only a specific subset of the previously added cutting planes, in a way that enables us to maintain

17: %cut retention procedure leads to 

18: %a sequence of intermediate linear programs with a linear number of constraints whose

19: %optima are half-integral and supported by a disjoint union of odd cycles and edges.

20: %\knote{Rephrased more}

21: %This structural property of the optima is instrumental in efficient cut generation---our algorithm finds violated blossom

22: %inequalities (cuts) in linear time. Further, the number of cycles in the support of the

23: %half-integral optima acts as a potential function to show efficient convergence to an

24: %integral solution.

25: \end{abstract}