NP-hardness of sortedness constraints

06/08/2015
by   Irena Rusu, et al.
0

In Constraint Programming, global constraints allow to model and solve many combinatorial problems. Among these constraints, several sortedness constraints have been defined, for which propagation algorithms are available, but for which the tractability is not settled. We show that the sort(U,V) constraint (Older et. al, 1995) is intractable for integer variables whose domains are not limited to intervals. As a consequence, the similar result holds for the sort(U,V, P) constraint (Zhou, 1996). Moreover, the intractability holds even under the stability condition present in the recently introduced keysorting(U,V,Keys,P) constraint (Carlsson et al., 2014), and requiring that the order of the variables with the same value in the list U be preserved in the list V. Therefore, keysorting(U,V,Keys,P) is intractable as well.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
05/03/2021

Bounds of MIN_NCC and MAX_NCC and filtering scheme for graph domain variables

Graph domain variables and constraints are an extension of constraint pr...
research
04/13/2011

Kernels for Global Constraints

Bessiere et al. (AAAI'08) showed that several intractable global constra...
research
08/01/2013

An n-ary Constraint for the Stable Marriage Problem

We present an n-ary constraint for the stable marriage problem. This con...
research
02/22/2018

The Clever Shopper Problem

We investigate a variant of the so-called "Internet Shopping Problem" in...
research
05/14/2016

Extended Hardness Results for Approximate Gröbner Basis Computation

Two models were recently proposed to explore the robust hardness of Gröb...
research
04/22/2015

Generalized Support and Formal Development of Constraint Propagators

Constraint programming is a family of techniques for solving combinatori...
research
04/07/2023

Replicability and stability in learning

Replicability is essential in science as it allows us to validate and ve...

Please sign up or login with your details

Forgot password? Click here to reset