An Algebraic Approach Towards the Fine-Grained Complexity of Graph Coloring Problems - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2022

An Algebraic Approach Towards the Fine-Grained Complexity of Graph Coloring Problems

Résumé

In this paper we are interested in the finegrained complexity of determining whether there is an homomorphism from an input graph G to a fixed graph H (the H-coloring problem). The starting point is that these problems can be viewed as constraint satisfaction problems (CSPs), and that (partial) polymorphisms of binary relations are of paramount importance in the study of complexity classes of such CSPs. Thus, we first investigate the expressivity of binary symmetric relations EH and their corresponding (partial) polymorphisms pPol(EH). For irreflexive graphs we observe that there is no pair of graphs H and H such that pPol(EH) ⊆ pPol(E H), unless E H = ∅ or H =H. More generally we show the existence of an nary relation R whose partial polymorphisms strictly subsume those of H and such that CSP(R) is N Pcomplete if and only if H contains an odd cycle of length at most n. Motivated by this we also describe the sets of total polymorphisms of every nontrivial clique, every odd cycle, as well as certain cores. We finish the paper with some noteworthy questions for future research.
Fichier principal
Vignette du fichier
Article_ISMVL (3).pdf (503.65 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03739617 , version 1 (27-07-2022)

Identifiants

  • HAL Id : hal-03739617 , version 1

Citer

Ambroise Baril, Miguel Couceiro, Victor Lagerkvist. An Algebraic Approach Towards the Fine-Grained Complexity of Graph Coloring Problems. Proceedings of the 52nd IEEE International Symposium on Multiple-Valued Logic, ISMVL 2022, May 2022, Dallas, TX, United States. pp.94-99. ⟨hal-03739617⟩
31 Consultations
24 Téléchargements

Partager

More