Abstract:The Valued Constraint Satisfaction Problem (VCSP) is a generic optimization problem defined by a network of local cost functions defined over discrete variables. It has applications in Artificial Intelligence, Operations Research, Bioinformatics and has been used to tackle optimization problems in other graphical models (including discrete Markov Random Fields and Bayesian Networks). The incremental lower bounds produced by local consistency filtering are used for pruning inside Branch and Bound search.In this paper, we extend the notion of arc consistency by allowing fractional weights and by allowing several arc consistency operations to be applied simultaneously. Over the rationals and allowing simultaneous operations, we show that an optimal arc consistency closure can theoretically be determined in polynomial time by reduction to linear programming. This defines Optimal Soft Arc Consistency (OSAC).To reach a more practical algorithm, we show that the existence of a sequence of arc consistency operations which increases the lower bound can be detected by establishing arc consistency in a classical Constraint Satisfaction Problem (CSP) derived from the original cost function network. This leads to a new soft arc consistency method, called, Virtual Arc Consistency which produces improved lower bounds compared with previous techniques and which can solve submodular cost functions.These algorithms have been implemented and evaluated on a variety of problems, including two difficult frequency assignment problems which are solved to optimality for the first time. Our implementation is available in the open source toulbar2 platform.

A Parameterized Arc Consistency Based Constraint Propagation Algorithm

Parameterized Arc Consistency Constraint Propagation

Fail First Principle for Constraint Propagation

Research Progress on Max Restricted Path Consistency Constraint Propagation Algorithms

A New Adaptive Parameterized Consistency Algorithm

Performance Comparison of Arc Consistency Algorithms

A New Bidirectional Arc Consistency Algorithm

Improving on the Restricted Path Consistency Constraint Propagation Algorithms Based on the Bitwise

Optimization of greedy singleton arc consistency

Saving Constraint Checks in Maintaining Coarse-Grained Generalized Arc Consistency

A Propagation Approach To Geometric Constraint Solving

A Branching-Cutting Cultural Algorithm for Weak-Constraints Optimization

Adaptive Constraint Propagation Solving Based on AC and LmaxRPC

On the speed of constraint propagation and the time complexity of arc consistency testing

A parallel algorithm for unit commitment including AC power flow constraints

Effects of Adding Arcs on the Consensus Convergence Rate of Leader-Follower Multi-Agent Systems.

Arc and path consistency revisited

A Parallel Unit Commitment Algorithm Including Optimal Power Flow Constraints

Soft arc consistency revisited

Graph Constraints Refined for Transitive Relations

Underestimating the Cost of a Soft Constraint is Dangerous: Revisiting the Edit-Distance Based Soft Regular Constraint