The complexity of general-valued CSPs seen from the other side
2018 IEEE 59TH ANNUAL SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIENCE (FOCS), pp. 236.0-246, 2018.
valued constraint satisfactionhomomorphism problemsfractional homomorphismtreewidthSherali-Adams LP relaxation
The constraint satisfaction problem (CSP) is concerned with homomorphisms between two structures. For CSPs with restricted left-hand side structures, the results of Dalmau, Kolaitis, and Vardi [CP'02], Grohe [FOCS'03/JACM'07], and Atserias, Bulatov, and Dalmau [ICALP'07] establish the precise borderline of polynomial-time solvability (sub...More
Full Text (Upload PDF)
PPT (Upload PPT)