English
Related papers

Related papers: The power of linear programming for general-valued…

200 papers

We study the computational complexity of exact minimisation of rational-valued discrete functions. Let $\Gamma$ be a set of rational-valued functions on a fixed finite domain; such a set is called a finite-valued constraint language. The…

Computational Complexity · Computer Science 2016-09-22 Johan Thapper , Stanislav Zivny

A class of valued constraint satisfaction problems (VCSPs) is characterised by a valued constraint language, a fixed set of cost functions on a finite domain. An instance of the problem is specified by a sum of cost functions from the…

Computational Complexity · Computer Science 2015-03-20 Vladimir Kolmogorov

A class of valued constraint satisfaction problems (VCSPs) is characterised by a valued constraint language, a fixed set of cost functions on a finite domain. An instance of the problem is specified by a sum of cost functions from the…

Computational Complexity · Computer Science 2015-11-24 Johan Thapper , Stanislav Zivny

In this paper we study the approximability of (Finite-)Valued Constraint Satisfaction Problems (VCSPs) with a fixed finite constraint language {\Gamma} consisting of finitary functions on a fixed finite domain. An instance of VCSP is given…

Computational Complexity · Computer Science 2018-03-22 Victor Dalmau , Andrei Krokhin , Rajsekar Manokaran

A Valued Constraint Satisfaction Problem (VCSP) provides a common framework that can express a wide range of discrete optimization problems. A VCSP instance is given by a finite set of variables, a finite domain of labels, and an objective…

Computational Complexity · Computer Science 2019-04-23 Vladimir Kolmogorov

We consider Sherali-Adams linear programming relaxations for solving valued constraint satisfaction problems to optimality. The utility of linear programming relaxations in this context have previously been demonstrated using the lowest…

Computational Complexity · Computer Science 2015-11-24 Johan Thapper , Stanislav Zivny

In a valued constraint satisfaction problem (VCSP), the goal is to find an assignment of labels to variables that minimizes a given sum of functions. Each function in the sum depends on a subset of variables, takes values which are rational…

Computational Complexity · Computer Science 2015-07-08 Robert Powell , Andrei Krokhin

In the constraint satisfaction problem (CSP) corresponding to a constraint language (i.e., a set of relations) $\Gamma$, the goal is to find an assignment of values to variables so that a given set of constraints specified by relations from…

Computational Complexity · Computer Science 2014-01-21 Andrei A. Bulatov , Dániel Marx

We study the complexity of valued constraint satisfaction problems (VCSP). A problem from VCSP is characterised by a \emph{constraint language}, a fixed set of cost functions over a finite domain. An instance of the problem is specified by…

Computational Complexity · Computer Science 2010-08-10 Vladimir Kolmogorov , Stanislav Zivny

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…

Logic in Computer Science · Computer Science 2022-04-04 Manuel Bodirsky , Marcello Mamino , Caterina Viola

An instance of the Valued Constraint Satisfaction Problem (VCSP) is given by a finite set of variables, a finite domain of labels, and a sum of functions, each function depending on a subset of the variables. Each function can take finite…

Computational Complexity · Computer Science 2017-02-14 Vladimir Kolmogorov , Andrei Krokhin , Michal Rolinek

Valued constraint satisfaction problems with ordered variables (VCSPO) are a special case of Valued CSPs in which variables are totally ordered and soft constraints are imposed on tuples of variables that do not violate the order. We study…

Artificial Intelligence · Computer Science 2023-05-30 Rustem Takhanov

It has been shown that for a general-valued constraint language $\Gamma$ the following statements are equivalent: (1) any instance of $\operatorname{VCSP}(\Gamma)$ can be solved to optimality using a constant level of the Sherali-Adams LP…

Computational Complexity · Computer Science 2018-05-28 Johan Thapper , Stanislav Zivny

Finite valued constraint satisfaction problems are a formalism for describing many natural optimization problems, where constraints on the values that variables can take come with rational weights and the aim is to find an assignment of…

Logic in Computer Science · Computer Science 2015-04-15 Anuj Dawar , Pengming Wang

We study the complexity of valued constraint satisfaction problems (VCSP). A problem from VCSP is characterised by a \emph{constraint language}, a fixed set of cost functions over a finite domain. An instance of the problem is specified by…

Computational Complexity · Computer Science 2015-03-19 Vladimir Kolmogorov , Stanislav Zivny

A constraint satisfaction problem (CSP) is a problem of computing a homomorphism ${\bf R} \rightarrow {\bf \Gamma}$ between two relational structures. Analyzing its complexity has been a very fruitful research direction, especially for…

Computational Complexity · Computer Science 2017-08-29 Rustem Takhanov

For a large class of optimization problems, namely those that can be expressed as finite-valued constraint satisfaction problems (VCSPs), we establish a dichotomy on the number of levels of the Lasserre hierarchy of semi-definite programs…

Logic in Computer Science · Computer Science 2016-09-27 Anuj Dawar , Pengming Wang

We study optimisation problems that can be formulated as valued constraint satisfaction problems (VCSP). A problem from VCSP is characterised by a \emph{constraint language}, a fixed set of cost functions taking finite and infinite costs…

Computational Complexity · Computer Science 2010-08-19 Vladimir Kolmogorov , Stanislav Zivny

Valued constraint satisfaction problems (VCSPs) are a large class of combinatorial optimisation problems. It is desirable to classify the computational complexity of VCSPs depending on a fixed set of allowed cost functions in the input.…

Logic · Mathematics 2018-04-06 Manuel Bodirsky , Marcello Mamino , Caterina Viola

We study parameterized Constraint Satisfaction Problem for infinite constraint languages. The parameters that we study are weight of the satisfying assignment, number of constraints, maximum number of occurrences of a variable in the…

Computational Complexity · Computer Science 2017-08-10 Ruhollah Majdoddin
‹ Prev 1 2 3 10 Next ›