The complexity of finite-valued CSPs

<p>Let Γ be a set of rational-valued functions on a fixed finite domain; such a set is called a finite-valued constraint language. The valued constraint satisfaction problem, VCSP(Γ), is the problem of minimising a function given as a sum of functions from Γ. We establish a dichotomy theorem w...

全面介绍

书目详细资料
Main Authors: Thapper, J, Živný, S
格式: Conference item
出版: Association for Computing Machinery 2013