A Family of Stochastic Methods For Constraint Satisfaction and Optimisation

Abstract

Constraint satisfaction and optimisation is NP-complete by nature. The combinatorial explosion problem prevents complete constraint programming methods from solving many real-life constraint problems. In many situations, stochastic search methods, many of which sacrifice completeness for efficiency, are needed. This paper reports a family of stochastic algorithms for constraint satisfaction and optimisation. Developed with hardware implementation in mind, GENET is a class of computation models for constraint satisfaction. Genet is a connectionist approach. A problem is represented by a network with inhibitory connections. The network is designed to converge, in a fashion that resembles the min-conflict repair method. Reinforcement learning is used to bring GENET out of local optima. Building upon GENET as well as ideas from operations research, Guided Local Search (GLS) and Fast Local Search are novel meta-heuristic search methods for constraint optimisation. GLS sits on top of other l..