Edge-coloring problems with forbidden patterns and planted colors
This answers an open question from Bienvenu et al. (2014) for specific forbidden families, providing a dichotomy result for these cases.
The authors resolve the complexity classification for edge-coloring problems with forbidden patterns and precolored edges for certain forbidden families (odd cycles and cliques), showing they are either polynomial-time solvable or NP-complete, via a reduction to finite constraint satisfaction problems.
Edge-coloring problems with forbidden patterns are decision problems asking to find an edge-coloring of the input graph which avoids a homomorphism from a fixed forbidden family of edge-colored graphs. In the precolored version of these problems, some of the edges of the input graph are already colored, and the goal is to find an extension of this coloring which omits a homomorphism from a forbidden graph. The existence of a complexity classification for such problems is an open question of Bienvenu, ten Cate, Lutz, and Wolter (ACM TODS'14) and we answer it for certain forbidden families consisting of odd cycles and cliques. The proof consists of two main stages. First, we combine the techniques from infinite constraint satisfaction and finite Ramsey theory in order to show that the edge-coloring problem is poly-time equivalent to its precolored version. After that, we show that the precolored version is poly-time equivalent to a finite constraint satisfaction problem, which has a P vs.\ NP-complete dichotomy by the seminal results of Bulatov (FOCS'17) and Zhuk (FOCS'17).