Complexity of solving a system of difference constraints with variables restricted to a finite set

11/09/2022
by   Santiago Cifuentes, et al.
0

Fishburn developed an algorithm to solve a system of m difference constraints whose n unknowns must take values from a set with k real numbers [Solving a system of difference constraints with variables restricted to a finite set, Inform Process Lett 82 (3) (2002) 143–144]. We provide an implementation of Fishburn's algorithm that runs in O(n+km) time.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
01/12/2020

Computational Hardness of Multidimensional Subtraction Games

We study algorithmic complexity of solving subtraction games in a fixed ...
research
05/27/2011

Order of Magnitude Comparisons of Distance

Order of magnitude reasoning - reasoning by rough comparisons of the siz...
research
11/16/2020

Polynomial-time Tests for Difference Terms in Idempotent Varieties

We consider the following practical question: given a finite algebra A i...
research
01/23/2017

Criteria for Finite Difference Groebner Bases of Normal Binomial Difference Ideals

In this paper, we give decision criteria for normal binomial difference ...
research
07/08/2016

Solving finite-domain linear constraints in presence of the alldifferent

In this paper, we investigate the possibility of improvement of the wide...
research
08/14/2022

Analogical proportions in monounary algebras and difference proportions

This paper studies analogical proportions in monounary algebras consisti...
research
06/04/2023

Overlap Splines and Meshless Finite Difference Methods

We consider overlap splines that are defined by connecting the patches o...

Please sign up or login with your details

Forgot password? Click here to reset