A graph G is perfect if for every induced subgraph H of G the chromatic number x(H) equals the largest number w ( H ) of pairwise adjacent vertices in H. Berge's famous Strong Perfect Graph Conjecture asserts that a graph G is perfect if and only if neither G nor its complement C contains an odd cho
Families of graphs complete for the strong perfect graph Conjecture
β Scribed by D. G. Corneil
- Publisher
- John Wiley and Sons
- Year
- 1986
- Tongue
- English
- Weight
- 381 KB
- Volume
- 10
- Category
- Article
- ISSN
- 0364-9024
No coin nor oath required. For personal study only.
β¦ Synopsis
The Strong Perfect Graph Conjecture states that a graph is perfect iff neither it nor its complement contains an odd chordless cycle of size greater than or equal to 5. In this article it is shown that many families of graphs are complete for this conjecture in the sense that the conjecture is true iff it is true on these restricted families. These appear to be the first results of this type.
π SIMILAR VOLUMES
A 1-factorisation of a graph is perfect if the union of any two of its 1-factors is a Hamiltonian cycle. Let n=p 2 for an odd prime p. We construct a family of ( p -1)/2 non-isomorphic perfect 1-factorisations of K n, n . Equivalently, we construct pan-Hamiltonian Latin squares of order n. A Latin s
## Abstract We consider various edge disjoint partitions of complete bipartite graphs. One case is where we decompose the edge set into edge disjoint paths of increasing lengths. A graph __G__ is __pathβperfect__ if there is a positive integer __n__ such that the edge set __E__(__G__) of the graph
## Abstract Generalizing the wellβknown concept of an __i__βperfect cycle system, Pasotti [Pasotti, in press, Australas J Combin] defined a Ξβdecomposition (Ξβfactorization) of a complete graph __K__~__v__~ to be __iβperfect__ if for every edge [__x__, __y__] of __K__~__v__~ there is exactly one bl
## Abstract Let __G__ be a simple graph of order __n__ with Laplacian spectrum {Ξ»~__n__~, Ξ»~__n__β1~, β¦, Ξ»~1~} where 0=Ξ»~__n__~β€Ξ»~__n__β1~β€β β€Ξ»~1~. If there exists a graph whose Laplacian spectrum is __S__={0, 1, β¦, __n__β1}, then we say that __S__ is Laplacian realizable. In 6, Fallat et al. posed