English

Backdoors to Tractable Valued CSP

Data Structures and Algorithms 2016-12-20 v1

Abstract

We extend the notion of a strong backdoor from the CSP setting to the Valued CSP setting (VCSP, for short). This provides a means for augmenting a class of tractable VCSP instances to instances that are outside the class but of small distance to the class, where the distance is measured in terms of the size of a smallest backdoor. We establish that VCSP is fixed-parameter tractable when parameterized by the size of a smallest backdoor into every tractable class of VCSP instances characterized by a (possibly infinite) tractable valued constraint language of finite arity and finite domain. We further extend this fixed-parameter tractability result to so-called "scattered classes" of VCSP instances where each connected component may belong to a different tractable class.

Keywords

Cite

@article{arxiv.1612.05733,
  title  = {Backdoors to Tractable Valued CSP},
  author = {Robert Ganian and M. S. Ramanujan and Stefan Szeider},
  journal= {arXiv preprint arXiv:1612.05733},
  year   = {2016}
}

Comments

Accepted to CP 2016

R2 v1 2026-06-22T17:26:50.035Z