Clique family inequalities for the stable set polytope of quasi-line graphs

In one of fundamental works in combinatorial optimization, Edmonds gave a complete linear description of the matching polytope. Matchings in a graph are equivalent to stable sets in its line graph. Also the neighborhood of any vertex in a line graph partitions into two cliques: graphs with this latter property are called quasi-line graphs. Quasi-line graphs are a subclass of claw-free graphs, and as for claw-free graphs, there exists a polynomial algorithm for finding a maximum weighted stable set in such graphs, but we do not have a complete characterization of their stable set polytope (SSP). In the paper, we introduce a class of inequalities, called clique-family inequalities, which are valid for the SSP of any graph and match the odd set inequalities defined by Edmonds for the matching polytope. This class of inequalities unifies all the known (non-trivial) facet inducing inequalities for the SSP of a quasi-line graph. We, therefore, conjecture that all the non-trivial facets of the SSP of a quasi-line graph belong to this class. We show that the conjecture is indeed correct for the subclasses of quasi-line graphs for which we have a complete description of the SSP. We discuss some approaches for solving the conjecture and a related problem.

[1]  Jaakob Kind,et al.  Mobilitätsmodelle für zellulare Mobilfunknetze : Produktformen und Blockierung , 2000 .

[2]  George J. Minty,et al.  On maximal independent sets of vertices in claw-free graphs , 1980, J. Comb. Theory, Ser. B.

[3]  Vasek Chvátal,et al.  Edmonds polytopes and a hierarchy of combinatorial problems , 1973, Discret. Math..

[4]  Manfred W. Padberg,et al.  On the facial structure of set packing polyhedra , 1973, Math. Program..

[5]  Najiba Sbihi Etude des stables dans les graphes sans étoile , 1978 .

[6]  A. Tamura,et al.  A revision of Minty's algorithm for finding a maximum weight stable set of a claw-free graph , 2001 .

[7]  K. R. Parthasarathy,et al.  The strong perfect-graph conjecture is true for K1, 3-free graphs , 1976, J. Comb. Theory, Ser. B.

[8]  Geir Dahl,et al.  Stable Set Polytopes for a Class of Circulant Graphs , 1999, SIAM J. Optim..

[9]  F. Bruce Shepherd,et al.  Applying Lehman's theorems to packing problems , 1995, Math. Program..

[10]  George L. Nemhauser,et al.  Algorithms for minimum covering by cliques and maximum clique in claw-free perfect graphs , 1981, Discret. Math..

[11]  Jean-Claude Bermond,et al.  Graphe représentaif des arêtes d'un multigraphe , 1973 .

[12]  Jack Edmonds,et al.  Maximum matching and a polyhedron with 0,1-vertices , 1965 .

[13]  Claude Berge,et al.  Graphs and Hypergraphs , 2021, Clustering.

[14]  Antonio Sassano,et al.  The Rank Facets of the Stable Set Polytope for Claw-Free Graphs , 1997, J. Comb. Theory, Ser. B.

[15]  Nick Roussopoulos,et al.  A MAX{m, n} Algorithm for Determining the Graph H from Its Line Graph C , 1973, Inf. Process. Lett..

[16]  L. Lovász,et al.  Geometric Algorithms and Combinatorial Optimization , 1981 .

[17]  Leslie E. Trotter,et al.  A class of facet producing graphs for vertex packing polyhedra , 1975, Discret. Math..

[18]  N. Biggs MATCHING THEORY (Annals of Discrete Mathematics 29) , 1988 .

[19]  George L. Nemhauser,et al.  Polyhedral Characterizations, Perfection of Line Graphs , 1998, Discret. Appl. Math..

[20]  Hong-Jian Lai,et al.  Line Graphs and Forbidden Induced Subgraphs , 2001, J. Comb. Theory, Ser. B.

[21]  William R. Pulleyblank,et al.  Formulations for the stable set polytope of a claw-free graph , 1993, IPCO.

[22]  Leslie E. Trotter,et al.  On stable set polyhedra for K1, 3-free graphs , 1981, J. Comb. Theory, Ser. B.

[23]  Najiba Sbihi,et al.  Algorithme de recherche d'un stable de cardinalite maximum dans un graphe sans etoile , 1980, Discret. Math..

[24]  V. Chvátal On certain polytopes associated with graphs , 1975 .