Building counterexamples (Q1363703)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Building counterexamples
scientific article

    Statements

    Building counterexamples (English)
    0 references
    0 references
    22 October 1997
    0 references
    A conjecture concerning perfect graphs asserts that if for a Berge graph \(G\) (i.e., a graph without odd holes and odd antiholes) the following three conditions hold: (1) neither \(G\), nor \(\overline {G}\) has an even pair; (2) neither \(G\), nor \(\overline {G}\) has a stable cutset; (3) neither \(G\), nor \(\overline {G}\) has a star-cutset, then \(G\) or \(\overline {G}\) is diamond-free. Since the diamond-free Berge graphs are perfect [see \textit{A. Tucker}, J. Comb. Theory, Ser. B 42, 313-318 (1987; Zbl 0585.05007)], a proof of this conjecture would also be a proof of the strong perfect graph conjecture. This paper gives a counterexample not only for this conjecture, but also for every weaker version of it obtained by replacing the diamond (\(K_{4}-e\)) with any graph \(H\) which is the join of a clique and a stable set (that is, all possible edges between the two sets are present in \(H\)).
    0 references
    0 references
    0 references
    perfect graph
    0 references
    even pair
    0 references
    stable cutset
    0 references
    diamond-free
    0 references
    minimal imperfect graph
    0 references
    0 references