ERA is a multi-agent oriented method for solving constraint satisfaction problems [5]. In this method, agents make decisions based on the information obtained from their environments in the process of solving a problem. Each agent has three basic behaviors: least-move, better-move, and random-move. The random-move is the unique behavior that may help the multi-agent system escape from a local minimum. Although random-move is effective, it is not efficient. In this paper, we introduce the notion of agent compromise into ERA and evaluate its effectiveness and efficiency through solving some benchmark Graph Coloring Problems (GCPs). When solving a GCP by ERA, the edges are transformed into two types of constraints: local constraints and neighbor constraints. When the system gets stuck in a local minimum, a compromise of two neighboring agents that have common violated neighbor constraints may be made. The compromise can eliminate the original violated neighbor constraints and make the two agents act as a single agent. Our experimental results show that agent compromise is an effective and efficient technique for guiding a multi-agent system to escape from a local minimum.
[1]
Alexander Nareyek.
Using global constraints for local search
,
1998,
Constraint Programming and Large Scale Discrete Optimization.
[2]
Bart Selman,et al.
Heavy-Tailed Phenomena in Satisfiability and Constraint Satisfaction Problems
,
2000,
Journal of Automated Reasoning.
[3]
Benjamin W. Wah,et al.
A Discrete Lagrangian-Based Global-Search Method for Solving Satisfiability Problems
,
1996,
J. Glob. Optim..
[4]
Richard J. Wallace,et al.
Constraint Programming and Large Scale
Discrete Optimization
,
2001
.
[5]
Jun Gu,et al.
Efficient local search for very large-scale satisfiability problems
,
1992,
SGAR.
[6]
Thomas Stützle,et al.
Systematic vs. Local Search for SAT
,
1999,
KI.
[7]
Yuan Yan Tang,et al.
Multi-agent oriented constraint satisfaction
,
2002,
Artif. Intell..
[8]
Makoto Yokoo,et al.
The Distributed Constraint Satisfaction Problem: Formalization and Algorithms
,
1998,
IEEE Trans. Knowl. Data Eng..
[9]
Vahid Lotfi,et al.
A graph coloring algorithm for large scale scheduling problems
,
1986,
Comput. Oper. Res..