« Combinatorial Problem Solving Using Randomized Dynamic Composition of Production Rules | Main | Constraint Satisfaction Using Neural Networks with a Local and Autonomous Annealing Technique »

Constraint Satisfaction by Parallel Optimization of Local Evaluation Functions with Annealing

Kanada, Y., Unpublished, 1996.

[ 日本語のページ ]
[ Paper PDF file ] [ Paper postscript file ]

[ Several constraint satisfaction problem demos in Java (You can change catalysts, rules, and frustration.) ]

Abstract: A method for solving large-scale constraint satisfaction problems is proposed in the present paper. This method is stochastic (or randomized) and uses local information only, i.e., no global plan is expressed in the program and the computation refer to no global information. This method uses CCM (Chemical Casting Model) as a basis, which is a model for emergent computation proposed by the author. The original CCM-based method minimizes the number of constraint violations not directly but throught optimization of local functions, which are called LODs (local order degrees). This method sometimes falls into a "local maximum." This difficulty is solved by a type of annealing, which we call the frustration accumulation method (FAM). FAM also works only with local information. No global functions is used in FAM, No global parameters such as temperature are used, and global control is thus unnecessary. Experiments show that the performance of this method is not very sensitive to parameter values. This means that parameter tuning is easy. In several problems, the performance is comparable to conventional simulated annealing or GSAT, which are based on global evaluation functions. Because of the nonexistence of global information reference, CCM with FAM can be parallelized very easily. Thus, the performance is improved and is almost linear in certain cases.

Introduction to this research theme: CCM: Chemical-Computation Model

Keywords: CCM, Constraint satisfaction problem, Parallel Processing, Randomized computation, Randomized problem solving, Annealing, Rule-based computation, Rule-based problem solving, Function optimization, Local information, Localized computation, Local evaluation function, FAM, Frustration accumulation method

Post a comment


This page contains a single entry from the blog posted on January 1, 1996 12:00 AM.

Many more can be found on the main index page or by looking through the archives.

(C) Copyright 2007 by Yasusi Kanada
Powered by
Movable Type 3.36