It is a long standing open problem to find an explicit description of the stable set polytope of claw-free graphs. Yet more than 20 years after the discovery of a polynomial algorithm for the maximum stable set problem for claw-free graphs, there is even no conjecture at hand today. Such a conjecture exists for the class of quasi-line graphs. This class of graphs is a proper superclass of line graphs and a proper subclass of claw-free graphs for which it is known that not all facets have 0/1 normal vectors. Ben Rebea's conjecture states that the stable set polytope of a quasi-line graph is completely described by clique-family inequalities. Chudnovsky and Seymour recently provided a decomposition result for claw-free graphs and proved that Ben Rebea's conjecture holds, if the quasi-line graph is not a fuzzy circular interval graph. In this paper, we give a proof of Ben Rebea's conjecture by showing that it also holds for fuzzy circular interval graphs. Our result builds upon an algorithm of Bartholdi, Orlin and Ratliff which is concerned with integer programs defined by circular ones matrices.

Eisenbrand, F., Oriolo, G., Stauffer, G., & Ventura, P. (2005). Circular ones matrices and the stable set polytope of quasi-line graphs. In Integer programming and combinatorial optimization, proceedings (pp.291-305). Berlin : Springer- Verlag [10.1007/11496915_22].

Circular ones matrices and the stable set polytope of quasi-line graphs

ORIOLO, GIANPAOLO;
2005

Abstract

It is a long standing open problem to find an explicit description of the stable set polytope of claw-free graphs. Yet more than 20 years after the discovery of a polynomial algorithm for the maximum stable set problem for claw-free graphs, there is even no conjecture at hand today. Such a conjecture exists for the class of quasi-line graphs. This class of graphs is a proper superclass of line graphs and a proper subclass of claw-free graphs for which it is known that not all facets have 0/1 normal vectors. Ben Rebea's conjecture states that the stable set polytope of a quasi-line graph is completely described by clique-family inequalities. Chudnovsky and Seymour recently provided a decomposition result for claw-free graphs and proved that Ben Rebea's conjecture holds, if the quasi-line graph is not a fuzzy circular interval graph. In this paper, we give a proof of Ben Rebea's conjecture by showing that it also holds for fuzzy circular interval graphs. Our result builds upon an algorithm of Bartholdi, Orlin and Ratliff which is concerned with integer programs defined by circular ones matrices.
11th International integer programming and combinatorial optimization
Berlin
2005
DFG Research Center Matheon;DFG Research Group Algorithms, Structure, Randomness;IBM;Luthansa Systems;ILOG
Rilevanza internazionale
Settore MAT/09 - Ricerca Operativa
English
Algorithms; Integer programming; Matrix algebra; Optimization; Polynomials; Problem solving; Set theory; Claw-free graphs; Polynomial algorithms; Polytopes; Quasi-line graphs; Graph theory
Intervento a convegno
Eisenbrand, F., Oriolo, G., Stauffer, G., & Ventura, P. (2005). Circular ones matrices and the stable set polytope of quasi-line graphs. In Integer programming and combinatorial optimization, proceedings (pp.291-305). Berlin : Springer- Verlag [10.1007/11496915_22].
Eisenbrand, F; Oriolo, G; Stauffer, G; Ventura, P
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/2108/39127
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact