English

Piecewise Linear Valued CSPs Solvable by Linear Programming Relaxation

Logic in Computer Science 2022-04-04 v1 Computational Complexity Logic

Abstract

Valued constraint satisfaction problems (VCSPs) are a large class of combinatorial optimisation problems. The computational complexity of VCSPs depends on the set of allowed cost functions in the input. Recently, the computational complexity of all VCSPs for finite sets of cost functions over finite domains has been classified. Many natural optimisation problems, however, cannot be formulated as VCSPs over a finite domain. We initiate the systematic investigation of infinite-domain VCSPs by studying the complexity of VCSPs for piecewise linear homogeneous cost functions. Such VCSPs can be solved in polynomial time if the cost functions are improved by fully symmetric fractional operations of all arities. We show this by reducing the problem to a finite-domain VCSP which can be solved using the basic linear program relaxation. It follows that VCSPs for submodular PLH cost functions can be solved in polynomial time; in fact, we show that submodular PLH functions form a maximally tractable class of PLH cost functions.

Keywords

Cite

@article{arxiv.1912.09298,
  title  = {Piecewise Linear Valued CSPs Solvable by Linear Programming Relaxation},
  author = {Manuel Bodirsky and Marcello Mamino and Caterina Viola},
  journal= {arXiv preprint arXiv:1912.09298},
  year   = {2022}
}

Comments

45 pages. arXiv admin note: substantial text overlap with arXiv:1804.01710

R2 v1 2026-06-23T12:51:14.844Z