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… 
String Variables for Constraint-Based Local Search
TLDR
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
TLDR
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
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
TLDR
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
TLDR
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
TLDR
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
TLDR
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
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
TLDR
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)
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
TLDR
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
TLDR
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
TLDR
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
TLDR
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
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
TLDR
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.
...
...