# Underestimating the cost of a soft constraint is dangerous: revisiting the edit-distance based soft regular constraint

@article{He2013UnderestimatingTC, title={Underestimating the cost of a soft constraint is dangerous: revisiting the edit-distance based soft regular constraint}, author={Jun He and Pierre Flener and Justin Pearson}, journal={Journal of Heuristics}, year={2013}, volume={19}, pages={729-756} }

Many real-life problems are over-constrained, so that no solution satisfying all their constraints exists. Soft constraints, with costs denoting how much the constraints are violated, are used to solve these problems. We use the edit-distance based SoftRegular constraint as an example to show that a propagation algorithm that sometimes underestimates the cost may guide the search to incorrect (non-optimal) solutions to an over-constrained problem. To compute correctly the cost for the edit…

## 7 Citations

String Variables for Constraint-Based Local Search

- Computer Science
- 2016

String variables occur as a natural part of many computationally challenging problems and are solved using problem-specific algorithms implemented from first principles.

Malicious Domain Names Detection Algorithm Based on Lexical Analysis and Feature Quantification

- Computer ScienceIEEE Access
- 2019

A malicious domain names detection algorithm based on lexical analysis and feature quantification is proposed and the effectiveness of the proposed detection method has been demonstrated by experiments on public available data.

Analysis, synthesis and application of automaton-based constraint descriptions

- Computer Science
- 2017

Constraint programming (CP) is a technology in which a combinatorial problem is modelled as a conjunction of constraints on variables ranging over given initial domains, and optionally an objective…

Propagators and Violation Functions for Geometric and Workload Constraints Arising in Airspace Sectorisation

- Mathematics, PhysicsArXiv
- 2014

Propagators and violation functions for geometric and workload constraints arising in airspace sectorisation are compared with previous work on similar topics in the context of air traffic regulation.

Soft-Regular with a Prefix-Size Violation Measure

- Computer ScienceCPAIOR
- 2018

A variant of the global constraint soft-regular is proposed by introducing a new violation measure that relates a cost variable to the size of the longest prefix of the assigned variables, which is consistent with the constraint automaton.

Contractibility for open global constraints

- Computer ScienceTheory and Practice of Logic Programming
- 2017

This paper provides a simple characterization, called contractibility, of the constraints, where filtering remains sound when the constraint is open, and formulates two general classes of soft constraints.

## References

SHOWING 1-10 OF 28 REFERENCES

On global warming: Flow-based soft global constraints

- Computer ScienceJ. Heuristics
- 2006

This work proposes a generic method to soften global constraints that can be represented by a flow in a graph, and presents efficient propagation algorithms, based on different violation measures, achieving domain consistency for the alldifferent constraint, the global cardinality constraints, the regular constraint and the same constraint.

Improved Algorithm for the Soft Global Cardinality Constraint

- Computer ScienceCPAIOR
- 2006

We propose two algorithms achieving generalized arc consistency for the soft global cardinality constraint with variable-based violation and with value-based violation. They are based on graph theory…

Sequencing and Counting with the multicost-regular Constraint

- Business, Computer ScienceCPAIOR
- 2009

The comparative empirical results show how multicost-regular can significantly outperform a decomposed model with regular and global-cardinality constraints.

On Global Warming (Softening Global Constraints)

- Computer ScienceArXiv
- 2004

We describe soft versions of the global cardinality constraint and the regular constraint, with efficient filtering algorithms maintaining domain consistency. For both constraints, the softening is…

On matrices, automata, and double counting in constraint programming

- Computer ScienceConstraints
- 2012

The cardinality automaton is introduced, which abstracts the overall behaviour of all the row automata and can be encoded by a set of linear constraints.

Deriving Filtering Algorithms from Constraint Checkers

- Computer ScienceCP
- 2004

For a restricted class of automata this article provides a filtering algorithm for the relaxed case, where the violation cost is the minimum number of variables to unassign in order to get back to a solution.

Global Grammar Constraints

- Computer ScienceCP
- 2006

This paper considers how to propagate grammar constraints and a number of extensions to specify global constraints via grammars or automata and to propagate this constraint specification efficiently and effectively.

Grammar constraints

- Computer ScienceConstraints
- 2009

A time- and space-efficient incremental arc-consistency algorithm for context-free grammars, investigate when logic combinations of grammar constraints are tractable, and show how to exploit non-constant size Grammars and reorderings of languages.

Restricted Global Grammar Constraints

- Computer ScienceCP
- 2009

We investigate the global GRAMMAR constraint over restricted classes of context free grammars like deterministic and unambiguous context-free grammars. We show that detecting disentailment for the…

The weighted Grammar constraint

- Computer ScienceAnn. Oper. Res.
- 2011

It is proposed that the WNNF constraint can be decomposed into a set of primitive arithmetic constraint without hindering propagation, and it is proved that the correctness and complexity of these algorithms are correct.