A Constraint on the Number of Distinct Vectors with Application to Localization

Abstract : This paper introduces a generalization of the "nvalue" constraint that bounds the number of distinct values taken by a set of variables.The generalized constraint (called "nvector") bounds the number of distinct (multi-dimensional) vectors. The first contribution of this paper is to show that this global constraint has a significant role to play with continuous domains, by taking the example of simultaneous localization and map building (SLAM). This type of problem arises in the context of mobile robotics. The second contribution is to prove that enforcing bound consistency on this constraint is NP-complete. A simple contractor (or propagator) is proposed and applied on a real application.
Type de document :
Communication dans un congrès
Ian P. Gent. CP'09 (15th International Conference on Principles and Practice of Constraint Programming), Sep 2009, Lisbon, Portugal. Springer Verlag, 5732, p. 196-210, 2009, LNCS (Lecture Notes in Computer Science)
Liste complète des métadonnées


https://hal.archives-ouvertes.fr/hal-00428967
Contributeur : Gilles Chabert <>
Soumis le : vendredi 30 octobre 2009 - 10:51:23
Dernière modification le : lundi 15 février 2010 - 16:33:12
Document(s) archivé(s) le : jeudi 17 juin 2010 - 18:46:37

Fichier

paper_35.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00428967, version 1

Citation

Gilles Chabert, Luc Jaulin, Xavier Lorca. A Constraint on the Number of Distinct Vectors with Application to Localization. Ian P. Gent. CP'09 (15th International Conference on Principles and Practice of Constraint Programming), Sep 2009, Lisbon, Portugal. Springer Verlag, 5732, p. 196-210, 2009, LNCS (Lecture Notes in Computer Science). <hal-00428967>

Partager

Métriques

Consultations de
la notice

140

Téléchargements du document

75