We describe an implementation of a cutting plane algorithm for the minimum weight perfect 2-matching problem. This algorithm is based on Edmonds' complete description of the perfect 2-matching polytope and uses the simplex algorithm for solving the LP-relaxations coming up. Cutting planes are determined by fast heuristics, or, if these fail, by an efficient implementation of the Padberg-Rao procedure, specialized for 2-matching constraints. With this algorithm 2-matching problems on complete graphs with up to 1000 nodes (i.e., 499,500 variables) have been solved in less than 1 hour CPU time on a medium speed computer.ZusammenfassungWir beschreiben die Implementierung eines Schnittebenenverfahrens zur Bestimmung minimaler gewichteter perfekter 2-Matchings. Der Algorithmus baut auf der vollständigen Beschreibung des perfekten 2-Matching-Polytops, die Edmonds angegeben hat, auf und verwendet die Simplexmethode zur Lösung der im Verfahren auftretenden LP-Relaxierungen. Schnittebenen werden entweder mit schnellen Heuristiken bestimmt, oder, falls diese nicht erfolgreich sind, mit einer effizienten und auf 2-matching-Ungleichungen abgestimmten Implementierung des Padberg-Rao-Verfahrens. Mit diesem Algorithmus konnten 2-Matching-Probleme in vollständigen Graphen mit bis zu 1000 Knoten, d. h. mit bis zu 499.500 Variablen, in weniger als einer Stunde CPU-Zeit auf einem Rechner mittlerer Leistung gelöst werden.
[1]
M. R. Rao,et al.
Odd Minimum Cut-Sets and b-Matchings
,
1982,
Math. Oper. Res..
[2]
H. Crowder,et al.
Solving Large-Scale Symmetric Travelling Salesman Problems to Optimality
,
1980
.
[3]
Martin Grötschel,et al.
Polyedrische Charakterisierungen kombinatorischer Optimierungsprobleme
,
1977
.
[4]
M. Grötschel,et al.
Solving matching problems with linear programming
,
1985,
Math. Program..
[5]
T. C. Hu,et al.
Multi-Terminal Network Flows
,
1961
.
[6]
Martin Grötschel,et al.
The ellipsoid method and its consequences in combinatorial optimization
,
1981,
Comb..
[7]
Jack Edmonds,et al.
Maximum matching and a polyhedron with 0,1-vertices
,
1965
.