Solving Weighted Constraint Satisfaction Problems with Memetic/Exact Hybrid Algorithms

by   José Enrique Gallardo, et al.

A weighted constraint satisfaction problem (WCSP) is a constraint satisfaction problem in which preferences among solutions can be expressed. Bucket elimination is a complete technique commonly used to solve this kind of constraint satisfaction problem. When the memory required to apply bucket elimination is too high, a heuristic method based on it (denominated mini-buckets) can be used to calculate bounds for the optimal solution. Nevertheless, the curse of dimensionality makes these techniques impractical on large scale problems. In response to this situation, we present a memetic algorithm for WCSPs in which bucket elimination is used as a mechanism for recombining solutions, providing the best possible child from the parental set. Subsequently, a multi-level model in which this exact/metaheuristic hybrid is further hybridized with branch-and-bound techniques and mini-buckets is studied. As a case study, we have applied these algorithms to the resolution of the maximum density still life problem, a hard constraint optimization problem based on Conways game of life. The resulting algorithm consistently finds optimal patterns for up to date solved instances in less time than current approaches. Moreover, it is shown that this proposal provides new best known solutions for very large instances.


page 1

page 2

page 3

page 4


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

Variable elimination is a general technique for constraint processing. I...

Variable and value elimination in binary constraint satisfaction via forbidden patterns

Variable or value elimination in a constraint satisfaction problem (CSP)...

Improving Constraint Satisfaction Algorithm Efficiency for the AllDifferent Constraint

Combinatorial problems stated as Constraint Satisfaction Problems (CSP) ...

Training Recurrent Neural Networks as a Constraint Satisfaction Problem

This paper presents a new approach for training artificial neural networ...

Generating News-Centric Crossword Puzzles As A Constraint Satisfaction and Optimization Problem

Crossword puzzles have traditionally served not only as entertainment bu...

A Hybrid APM-CPGSO Approach for Constraint Satisfaction Problem Solving: Application to Remote Sensing

Constraint satisfaction problem (CSP) has been actively used for modelin...

On Solving Cycle Problems with Branch-and-Cut: Extending Shrinking and Exact Subcycle Elimination Separation Algorithms

In this paper, we extend techniques developed in the context of the Trav...

Please sign up or login with your details

Forgot password? Click here to reset