On the Practical use of Variable Elimination in Constraint Optimization Problems: 'Still-life' as a Case Study

09/09/2011
by   J. Larrosa, et al.
0

Variable elimination is a general technique for constraint processing. It is often discarded because of its high space complexity. However, it can be extremely useful when combined with other techniques. In this paper we study the applicability of variable elimination to the challenging problem of finding still-lifes. We illustrate several alternatives: variable elimination as a stand-alone algorithm, interleaved with search, and as a source of good quality lower bounds. We show that these techniques are the best known option both theoretically and empirically. In our experiments we have been able to solve the n=20 instance, which is far beyond reach with alternative approaches.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
05/10/2019

Variable elimination in binary CSPs

We investigate rules which allow variable elimination in binary CSP (con...
research
01/15/2014

Solving Weighted Constraint Satisfaction Problems with Memetic/Exact Hybrid Algorithms

A weighted constraint satisfaction problem (WCSP) is a constraint satisf...
research
02/12/2015

Variable and value elimination in binary constraint satisfaction via forbidden patterns

Variable or value elimination in a constraint satisfaction problem (CSP)...
research
05/01/2021

Generalized Kings and Single-Elimination Winners in Random Tournaments

Tournaments can be used to model a variety of practical scenarios includ...
research
12/24/2019

Finite-State Extreme Effect Variable

We generalize to the finite-state case the notion of the extreme effect ...
research
04/18/2013

Feature Elimination in Kernel Machines in moderately high dimensions

We develop an approach for feature elimination in statistical learning w...
research
05/27/2023

Context-Aided Variable Elimination for Requirement Engineering

Deriving system-level specifications from component specifications usual...

Please sign up or login with your details

Forgot password? Click here to reset