The -Conjecture for CIS -Graphs
arXiv:2608.08799
Abstract
We prove the -conjecture, which dates back to Gurvich's 1978 thesis. Specifically, let the edges of a complete graph be colored with colors , and for each let be the graph on the same vertex set formed by the edges of color . We prove that if every choice of a maximal stable set of , one for each , has nonempty intersection, then the coloring contains no rainbow triangle. Together with a result of Andrade, Boros, and Gurvich, this characterizes CIS -graphs as precisely the Gallai -graphs whose chromatic components are ordinary CIS graphs. We also show that every factor in the canonical modular decomposition of a CIS -graph is a CIS -graph whose edge-coloring uses at most two colors.
arXiv comment7 pages