Graphical properties related to minimal imperfection

Say that graph G is partitionable if there exist integers @a>=2, @w>= 2, such that |V(G)| = @[email protected] + 1 and for every @[email protected](G) there exist partitions of V(G)\ @u into stable sets of size @a and into eliques of size @w. An immediate consequence of Lovasz' characterization of perfect graphs is that every minimal imperfect graph G is partitionable with @a = @a (G) [email protected] = @w(G). Padberg has shown that in every minimal imperfect graph G the cliques and stable sets of maximum size satisfy a series of conditions that reflect extraordinary symmetry G. Among these conditions are: the number of cliques of size @w(G) is exactly |V(G)|; the number of stable sets of size @a(G) is exactly |V(G)|: every vertex of G is contained in exactly @w(G) cliques of size @w(G) and @a(G) stable sets of size @a(G): for every clique Q (respectively, stable set S) of maximum size there is a unique stable set S (clique O) of maximum size such that [email protected]?S = O. Let C"n^k denote the graph whose vertices can be enumerated as @u"1,...,@u"n in such a way that @u"1 and @u"1 are adjacent in G if and only if i and j differ by at most k, modulo n. Chvatal has shown that Berge's Strong Perfect graph Conjecture is equivalent to the conjecture that if G is minimal imperfect with @a(G) = @[email protected](G) = @w, then G has a spanning subgraph isomorphic to C"@a"@w"+"1^@w. Padberg's conditions are sufficiently restrictive to suggest the possibility of establishing the Strong Perfect Graph Conjecture by proving that any graph G satisfying these conditions must contain a spanning subgraph isomorphic to C"@a"@w"+"1^@w, [email protected](G) = @[email protected](G) = @w. It is shown here, using only elementary linear algebra, that all partitionable graphs satisfy Padberg's conditions, as well as additional properties of the same spirit. Then examples are provided of partitionable graphs which contain no spanning subgraph isomorphic to C"@a"@w"+"1^@w, [email protected](G) = @a and @w(G) = @w.