A Primal Approach to the Stable Set Problem
We present a new “primal” algorithm for the stable set problem. It is based on a purely combinatorial construction that can transform every graph into a perfect graph by replacing nodes with sets of new nodes. The transformation is done in such a way that every stable set in the perfect graph corresponds to a stable set in the original graph. The algorithm keeps a formulation of the stable set problem in a simplex-type tableau whose associated basic feasible solution is the incidence vector of the best known stable set. The combinatorial graph transformations are performed by substitutions in the generators of the feasible region. Each substitution cuts off a fractional neighbor of the current basic feasible solution. We show that “dual-type” polynomial-time separation algorithms carry over to our “primal” setting. Eventually, either a non-degenerate pivot leading to an integral basic feasible solution is performed, or the optimality of the current solution is proved.
KeywordsGraph Transformation Node Variable Perfect Graph Basic Feasible Solution Nonbasic Variable
Unable to display preview. Download preview PDF.
- Egon Balas, Sebastián Ceria, Gérard Cornuéjols, and Gabor Pataki, Polyhedral methods for the maximum clique problem, In Johnson and Trick , pp. 11–28.Google Scholar
- Claude Berge, Färbung von Graphen, deren sämtliche bzw. deren ungerade Kreise starr sind, Wiss. Z. Martin-Luther-Univ. Halle-Wittenberg, Math.-Natur. Reihe (1961), 114–115.Google Scholar
- Immanuel M. Bomze, Marco Budinich, Panos M. Pardalos, and Marcello Pelillo, The maximum clique problem, Handbook of Combinatorial Optimization (Supplement Volume A) (D.-Z. Du and P.M. Pardalos, eds.), vol. 4, Kluwer Academic Publishers, Boston, MA, 1999.Google Scholar
- Ralf Borndörfer, Aspects of set packing, partitioning, and covering, Dissertation, Technische Universität Berlin, 1998, published by Shaker-Verlag, Aachen.Google Scholar
- Maria Chudnovski, Neil Robertson, Paul Seymour, and Robin Thomas, Talk given at the Oberwolfach meeting on Geometric Convex Combinatorics, June 2002.Google Scholar
- Gérard Cornuéjols, Combinatorial optimization: Packing and covering, CBMSNSF Regional Conference Series in Applied Mathematics, no. 74, SIAM, Philadelphia, 2001.Google Scholar
- Martin Grötschel, László Lovász, and Alexander Schrijver, Geometric algorithms and combinatorial optimization, Algorithms and Combinatorics, vol. 2, Springer, Berlin, 1988.Google Scholar
- —, A primal all-integer algorithm based on irreducible solutions, To appear in Mathematical Programming Series B, preprint available from URL http://www.math.uni-magdeburg.de/~mkoeppe/art/haus-koeppe-weismantel-ibm-theory-rr.ps, 2001.
- D. S. Johnson and M.A. Trick (eds.), Clique, coloring, and satisfiability: Second DIMACS implementation challenge, DIMACS, vol. 26, American Mathematical Society, 1996.Google Scholar
- L. Lovász, Normal hypergraphs and the weak perfect graph conjecture, Topics on perfect graphs, North-Holland, Amsterdam, 1984, pp. 29–42.Google Scholar
- G. L. Nemhauser and G. L. Sigismondi, A strong cutting plane / branch and bound algorithm for node packing, Journal of the Operational Research Society (1992), 443–457.Google Scholar
- Manfred W. Padberg and Saman Hong, On the symmetric travelling salesman problem: a computational study, Math. Programming Stud. (1980), no. 12, 78–107.Google Scholar