Topology and adjunction in promise constraint satisfaction

03/25/2020
by   Andrei Krokhin, et al.
0

The approximate graph colouring problem concerns colouring a k-colourable graph with c colours, where c≥ k. This problem naturally generalises to promise graph homomorphism and further to promise constraint satisfaction problems. Complexity analysis of all these problems is notoriously difficult. In this paper, we introduce two new techniques to analyse the complexity of promise CSPs: one is based on topology and the other on adjunction. We apply these techniques, together with the previously introduced algebraic approach, to obtain new NP-hardness results for a significant class of approximate graph colouring and promise graph homomorphism problems.

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset