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

Mohamed Siala (1) , Emmanuel Hébrard (2) , Marie-José Huguet (1)

1 LAAS-ROC - Équipe Recherche Opérationnelle, Optimisation Combinatoire et Contraintes
2 LAAS - Laboratoire d'analyse et d'architecture des systèmes

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.

Domaines: Intelligence artificielle [cs.AI]

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⟩