Decomposing complete edge-chromatic graphs and hypergraphs. Revisited

A d-graph G=(V;E"1,...,E"d) is a complete graph whose edges are colored by d colors, that is, partitioned into d subsets some of which might be empty. We say that a d-graph G is complementary connected (CC) if the complement to each chromatic component of G is connected on V. We prove that every such d-graph contains a sub-d-graph @P or @D, where @P has four vertices and two non-empty chromatic components each of which is a P"4, while @D is a three-colored triangle. This statement implies that each @P- and @D-free d-graph is uniquely decomposable in accordance with a tree T=T(G) whose leaves are the vertices of V and the interior vertices of T are labeled by the colors 1,...d. Such a tree is naturally interpreted as a positional game form (with perfect information and without moves of chance) of d players I={1,...,d} and n outcomes V={v"1,...,v"n}. Thus, we get a one-to-one correspondence between these game forms and @P- and @D-free d-graphs. As a corollary, we obtain a characterization of the normal forms of positional games with perfect information and, in case d=2, several characterizations of the read-once Boolean functions. These results are not new; in fact, they are 30 and, in case d=2, even 40 years old. Yet, some important proofs did not appear in English. Gyarfas and Simonyi recently proved a similar decomposition theorem for the @D-free d-graphs. They showed that each @D-free d-graph can be obtained from the d-graphs with only two non-empty chromatic components by successive substitutions. This theorem is based on results by Gallai, Lovasz, Cameron and Edmonds. We obtain some new applications of these results.

[1]  H. Moulin The strategy of social choice , 1983 .

[2]  J. Edmonds,et al.  A note on perfect graphs , 1986 .

[3]  Vladimir Gurvich,et al.  Minimal and locally minimal games and game forms , 2009, Discret. Math..

[4]  Thomas Eiter,et al.  Exact Transversal Hypergraphs and Application to Boolean µ-Functions , 1994, J. Symb. Comput..

[5]  T. Gallai Transitiv orientierbare Graphen , 1967 .

[6]  Rolf H. Möhring,et al.  A Fast Algorithm for the Decomposition of Graphs and Posets , 1983, Math. Oper. Res..

[7]  Michel Habib,et al.  On the X-join decomposition for undirected graphs , 1979, Discret. Appl. Math..

[8]  A. Brandstädt,et al.  Graph Classes: A Survey , 1987 .

[9]  D. Seinsche On a property of the class of n-colorable graphs , 1974 .

[10]  Vladimir Gurvich,et al.  On effectivity functions of game forms , 2010, Games Econ. Behav..

[11]  L. Lovász Normal Hypergraphs and the Weak Perfect Graph Conjecture , 1984 .

[12]  V. Gurvich The solvability of positional games in pure strategies , 1975 .

[13]  Vladimir Gurvich,et al.  On theory of multistep games , 1973 .

[14]  Wenan Zang,et al.  Generalizations of Grillet's theorem on maximal stable sets and maximal cliques in graphs , 1995, Discret. Math..

[15]  Thomas Eiter Generating Boolean $\mu$-expressions , 1995, Acta Informatica.

[16]  Xiaotie Deng,et al.  Proof of Chvátal's conjecture on maximal stable sets and maximal cliques in graphs , 2004, J. Comb. Theory, Ser. B.

[17]  Vladimir Gurvich,et al.  Vertex- and edge-minimal and locally minimal graphs , 2009, Discret. Math..

[18]  David P. Sumner Graphs indecomposable with respect to the X-join , 1973, Discret. Math..

[19]  Pierre Ille Indecomposable graphs , 1997, Discret. Math..

[20]  Jeremy P. Spinrad,et al.  Modular decomposition and transitive orientation , 1999, Discret. Math..

[21]  Petr Vojtechovský,et al.  Colored graphs without colorful cycles , 2007, Comb..

[22]  C. Dubey Indecomposable Graphs , .

[23]  Vladimir Gurvich,et al.  Not complementary connected and not CIS d-graphs form weakly monotone families , 2010, Discret. Math..

[24]  Xiaotie Deng,et al.  Corrigendum to Proof of Chvátal's conjecture on maximal stable sets and maximal cliques in graphs: [J. Combin. Theory Ser. B 91 (2004) 301-325] , 2005, J. Comb. Theory, Ser. B.

[25]  Jeremy P. Spinrad,et al.  Incremental modular decomposition , 1989, JACM.

[26]  Vladimir Gurvich,et al.  On split and almost CIS-graphs , 2009, Australas. J Comb..

[27]  László Lovász,et al.  Normal hypergraphs and the perfect graph conjecture , 1972, Discret. Math..

[28]  H. Moulin,et al.  Cores of effectivity functions and implementation theory , 1982 .

[29]  András Gyárfás,et al.  Edge colorings of complete graphs without tricolored triangles , 2004 .

[30]  Zsolt Tuza,et al.  Perfect couples of graphs , 1992, Comb..

[31]  Russell Merris,et al.  Split graphs , 2003, Eur. J. Comb..

[32]  Thomas Eiter Generating Boolean μ-expressions , 2005, Acta Informatica.

[33]  Kathie Cameron,et al.  Lambda composition , 1997, J. Graph Theory.

[34]  Gábor Simonyi,et al.  Graph Pairs and their Entropies: Modularity Problems , 2000, Comb..

[35]  Fan Chung Graham,et al.  Edge-colored complete graphs with precisely colored subgraphs , 1983, Comb..

[36]  L. Lovász A Characterization of Perfect Graphs , 1972 .

[37]  B. Peleg Effectivity functions, game forms, games, and rights , 1997 .

[38]  R. Möhring Algorithmic aspects of the substitution decomposition in optimization over relations, set systems and Boolean functions , 1985 .

[39]  P. Hammer,et al.  Dual subimplicants of positive Boolean functions , 1998 .

[40]  Michael E. Saks,et al.  Combinatorial characterization of read-once formulae , 1993, Discret. Math..