The complexity of the list homomorphism problem for graphs
Abstract
We completely classify the computational complexity of the list H-colouring problem for graphs (with possible loops) in combinatorial and algebraic terms: for every graph H the problem is either NP-complete, NL-complete, L-complete or is first-order definable; descriptive complexity equivalents are given as well via Datalog and its fragments. Our algebraic characterisations match important conjectures in the study of constraint satisfaction problems.
- Publication:
-
arXiv e-prints
- Pub Date:
- December 2009
- DOI:
- 10.48550/arXiv.0912.3802
- arXiv:
- arXiv:0912.3802
- Bibcode:
- 2009arXiv0912.3802E
- Keywords:
-
- Computer Science - Computational Complexity
- E-Print:
- 12 pages, STACS 2010