Binarisation for Valued Constraint Satisfaction Problems
Discrete Mathematics
2017-10-31 v3 Computational Complexity
Abstract
We study methods for transforming valued constraint satisfaction problems (VCSPs) to binary VCSPs. First, we show that the standard dual encoding preserves many aspects of the algebraic properties that capture the computational complexity of VCSPs. Second, we extend the reduction of CSPs to binary CSPs described by Bulin et al. [LMCS'15] to VCSPs. This reduction establishes that VCSPs over a fixed valued constraint language are polynomial-time equivalent to Minimum-Cost Homomorphism Problems over a fixed digraph.
Cite
@article{arxiv.1608.01628,
title = {Binarisation for Valued Constraint Satisfaction Problems},
author = {David A. Cohen and Martin C. Cooper and Peter G. Jeavons and Andrei Krokhin and Robert Powell and Stanislav Zivny},
journal= {arXiv preprint arXiv:1608.01628},
year = {2017}
}
Comments
Subsumes 1507.01776