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.
Document type :
Conference papers
Complete list of metadatas

Cited literature [11 references]  Display  Hide  Download

Contributor : Gilles Chabert <>
Submitted on : Friday, October 30, 2009 - 10:51:23 AM
Last modification on : Friday, June 22, 2018 - 9:34:28 AM
Long-term archiving on : Thursday, June 17, 2010 - 6:46:37 PM


Files produced by the author(s)


  • HAL Id : hal-00428967, version 1


Gilles Chabert, Luc Jaulin, Xavier Lorca. A Constraint on the Number of Distinct Vectors with Application to Localization. CP'09 (15th International Conference on Principles and Practice of Constraint Programming), Sep 2009, Lisbon, Portugal. p. 196-210. ⟨hal-00428967⟩



Record views


Files downloads