Authors:
Wael Korani
and
Malek Mouhoub
Affiliation:
University of Regina, 3737 Wascana Parkway, Regina, Canada
Keyword(s):
Constraint Satisfaction, Swarm Intelligence, Nature Inspired Techniques, Metaheuristics.
Abstract:
The Constraint Satisfaction Problem (CSP) is a powerful framework for a wide variety of combinatorial problems. The CSP is known to be NP-complete, and many algorithms have been developed to tackle this challenge in practice. These algorithms include the backtracking technique, improved with constraint propagation and variable ordering heuristics. Despite its success, backtracking still suffers from its exponential time cost, especially for large to solve problems. Metaheuristics, including local search and nature-inspired methods, can be an alternative that trades running time for the quality of the solution. Indeed, these techniques do not guarantee to return a complete solution, nor can they prove the inconsistency of the problem. They are, however time-efficient, thanks to their polynomial running time. In particular, nature-inspired techniques can be very effective if designed with a good exploitation/exploration balance during the search. To solve CSPs, we propose two discrete
variants of two known nature-inspired algorithms. The first one is an adaptation of the Mother Tree Optimization (MTO). In contrast, the second is an extension of the Particle Swarm Optimization (PSO) with a new operator that we propose. Both variants rely on a heuristic that gathers information about constraints violations during the search. The latter will then be used to update candidate solutions, following a given topology for MTO, and position/velocity equations for PSO. To assess the performance of both methods, we conducted several comparative experiments, considering other known systematic methods and metaheuristics. The results demonstrate the effectiveness of both methods.
(More)