Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Building counterexamples - MaRDI portal

Building counterexamples (Q1363703)

From MaRDI portal





scientific article; zbMATH DE number 1047090
Language Label Description Also known as
English
Building counterexamples
scientific article; zbMATH DE number 1047090

    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
    perfect graph
    0 references
    even pair
    0 references
    stable cutset
    0 references
    diamond-free
    0 references
    minimal imperfect graph
    0 references

    Identifiers