No-Rainbow Problem and the Surjective Constraint Satisfaction Problem

03/26/2020
by   Dmitriy Zhuk, et al.
0

Surjective Constraint Satisfaction Problem (SCSP) is the problem of deciding whether there exists a surjective assignment to a set of variables subject to some specified constraints. In this paper we show that one of the most popular variants of the SCSP, called No-Rainbow Problem, is NP-Hard. Additionally, we disprove the conjecture saying that SCSP over a constraint language Γ is equivalent to CSP over the same language with constants. Our counter example also shows that the complexity of SCSP cannot be described in terms of polymorphisms of the constraint language.

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset