English
Related papers

Related papers: Three-Element Min-Sol and Conservative Min-Cost-Ho…

200 papers

In this paper we study the computational complexity of the (extended) minimum cost homomorphism problem (Min-Cost-Hom) as a function of a constraint language, i.e. a set of constraint relations and cost functions that are allowed to appear…

Computational Complexity · Computer Science 2013-10-01 Hannes Uppman

We report new results on the complexity of the valued constraint satisfaction problem (VCSP). Under the unique games conjecture, the approximability of finite-valued VCSP is fairly well-understood. However, there is yet no characterisation…

Computational Complexity · Computer Science 2011-04-29 Peter Jonsson , Fredrik Kuivinen , Johan Thapper

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

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

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-25 Vladimir Kolmogorov

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

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

The constraint satisfaction probem (CSP) is a well-acknowledged framework in which many combinatorial search problems can be naturally formulated. The CSP may be viewed as the problem of deciding the truth of a logical sentence consisting…

Logic in Computer Science · Computer Science 2007-05-23 Hubie Chen

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

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

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 computational complexity of planar valued constraint satisfaction problems (VCSPs), which require the incidence graph of the instance be planar. First, we show that intractable Boolean VCSPs have to be self-complementary to be…

Computational Complexity · Computer Science 2017-04-12 Peter Fulla , Stanislav Zivny

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

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

Assume $D$ is a finite set and $R$ is a finite set of functions from $D$ to the natural numbers. An instance of the minimum $R$-cost homomorphism problem ($MinHom_R$) is a set of variables $V$ subject to specified constraints together with…

Computational Complexity · Computer Science 2012-10-09 Rustem Takhanov

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

In the Constraint Satisfaction Problem (CSP for short) the goal is to decide the existence of a homomorphism from a given relational structure $G$ to a given relational structure $H$. If the structure $H$ is fixed and $G$ is the only input,…

Logic in Computer Science · Computer Science 2025-10-14 Andrei A. Bulatov , Amirhossein Kazeminia

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

We study the complexity of the valued constraint satisfaction problem (VCSP) for every valued structure with the domain ${\mathbb Q}$ that is preserved by all order-preserving bijections. Such VCSPs will be called temporal, in analogy to…

Logic · Mathematics 2026-01-21 Manuel Bodirsky , Édouard Bonnet , Žaneta Semanišinová
‹ Prev 1 2 3 10 Next ›