An Optimal Arc Consistency Algorithm for a Particular Case of Sequence Constraint - Archive ouverte HAL
Article Dans Une Revue Constraints Année : 2014

An Optimal Arc Consistency Algorithm for a Particular Case of Sequence Constraint

Résumé

The AtMostSeqCard constraint is the conjunction of a cardinality constraint on a sequence of n variables and of n − q + 1 constraints AtMost u on each subsequence of size q. This constraint is useful in car-sequencing and crew-rostering problems. In van Hoeve et al. (Constraints 14(2):273-292, 2009), two algorithms designed for the AmongSeq constraint were adapted to this constraint with an O(2^q n) and O(n^3) worst case time complexity, respectively. In Maher et al. (2008), another algorithm similarly adaptable to filter the AtMostSeqCard constraint with a time complexity of O(n^2) was proposed. In this paper, we introduce an algorithm for achieving arc consistency on the AtMostSeqCard constraint with an O(n) (hence optimal) worst case time complexity. Next, we show that this algorithm can be easily modified to achieve arc consistency on some extensions of this constraint. In particular, the conjunction of a set of m AtMostSeqCard constraints sharing the same scope can be filtered in O(nm). We then empirically study the efficiency of our propagator on instances of the car-sequencing and crew-rostering problems.
Fichier principal
Vignette du fichier
paper.pdf (247.85 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00876594 , version 1 (25-10-2013)

Identifiants

Citer

Mohamed Siala, Emmanuel Hébrard, Marie-José Huguet. An Optimal Arc Consistency Algorithm for a Particular Case of Sequence Constraint. Constraints, 2014, 19 (1), pp.30-56. ⟨10.1007/s10601-013-9150-6⟩. ⟨hal-00876594⟩
146 Consultations
257 Téléchargements

Altmetric

Partager

More