Cut-homotopies and the complexity of edge-coloring problems

2026-07-10Computational Complexity

Computational Complexity
AI summary

AI summary is being generated…

Authors
Alexey Barsukov, Roman Feller, Maximilian Hadek, Davide Perinti
Abstract
We study the computational complexity of problems that ask if a given graph admits an edge-coloring that does not contain an edge-colored clique from some fixed finite family. We show that every such problem is poly-time equivalent to a Constraint Satisfaction Problem, yielding a P vs. NP-complete dichotomy. Our main contribution lies in the reduction from the CSP to the coloring problem where we apply methods from Ramsey theory and a novel notion of cut-homotopy.