Abstract:As an important technique to solve distributed constraint optimization problems, Max-sum has drawn a lot of attention and successfully been deployed in real applications. Unfortunately, Max-sum fails to converge in cyclic problems and usually traverses states with low quality. Max-sum_AD and Max-sum_ADVP were proposed to guarantee the single phase convergence and the cross phase convergence respectively, and greatly improve the solution quality of Max-sum. However, the solution quality is closely related to the timing for starting value propagation in Max-sum_ADVP. In other words, low-quality initial assignments will lead to a poor result. In this paper, we prove that value propagation could restrict the exploration ability brought by Max-sum and eventually makes Max-sum_ADVP equivalent to a sequential greedy local search algorithm. For getting a balance between exploration and exploitation, several non-consecutive value propagation strategies are proposed to relax the restriction caused by value propagation: single-side value propagation which executes value propagation and Max-sum_AD in an interleaved way, probabilistic value propagation which performs value propagation stochastically and hybrid belief/value propagation where agents perform Max-sum_AD and value propagation in one round. We illustrate that agents in our algorithms can make decisions beyond local functions. Our empirical evaluations demonstrate the superiority of our methods over Max-sum and its variants. It also can be found that our methods are independent of the value propagation timing which is a major concern in Max-sum_ADVP.

Fail First Principle for Constraint Propagation

Parameterized Arc Consistency Constraint Propagation

A Parameterized Arc Consistency Based Constraint Propagation Algorithm

A Propagation Approach To Geometric Constraint Solving

Towards "Propagation = Logic + Control"

Research Progress on Max Restricted Path Consistency Constraint Propagation Algorithms

A Branching-Cutting Cultural Algorithm for Weak-Constraints Optimization

Solving String Constraints: The Case for Constraint Programming

Multi-level Strategy for Maintaining Arc Consistency in Problem Solving and Its Implementation

Constraint problem solving based on geometric abstraction

Parallel Construction Heuristic Combined with Constraint Propagation for the Car Sequencing Problem

Consistency-preserving Propagation for SMT Solving of Concurrent Program Verification.

Exhaustive and Efficient Constraint Propagation: A Graph-Based Learning Approach and Its Applications

Geometric Constraint Satisfaction Using Genetic Simulated Annealing Algorithm

Graph Constraints Refined for Transitive Relations

Two Spatial Constraint Solving Algorithms

Adaptive Constraint Propagation Solving Based on AC and LmaxRPC

Change Propagation Approach Based on Feature Constraint in Concurrent Design

Constraint Propagation for Linear Recursive Rules

A Class of Iterative Refined Max-sum Algorithms Via Non-Consecutive Value Propagation Strategies

Half-checking propagators