A Generalized Arc-Consistency Algorithm for a Class of Counting Constraints:Revised Edition that Incorporates One Correction - Archive ouverte HAL
Rapport Année : 2011

A Generalized Arc-Consistency Algorithm for a Class of Counting Constraints:Revised Edition that Incorporates One Correction

Résumé

This paper introduces the SEQ BIN meta-constraint with a polytime algorithm achieving generalized arc-consistency according to some properties. SEQ BIN can be used for encoding counting constraints such as CHANGE, SMOOTH or INCREASING NVALUE. For some of these constraints and some of their variants GAC can be enforced with a time and space complexity linear in the sum of domain sizes, which improves or equals the best known results of the literature.
Fichier non déposé

Dates et versions

hal-00754032 , version 1 (20-11-2012)

Identifiants

  • HAL Id : hal-00754032 , version 1

Citer

Thierry Petit, Nicolas Beldiceanu, Xavier Lorca. A Generalized Arc-Consistency Algorithm for a Class of Counting Constraints:Revised Edition that Incorporates One Correction. 2011. ⟨hal-00754032⟩
198 Consultations
0 Téléchargements

Partager

More