Extension des QuadTrees pour la représentation et le filtrage des contraintes numériques définies par des fonctions par morceaux - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2005

Extension des QuadTrees pour la représentation et le filtrage des contraintes numériques définies par des fonctions par morceaux

Élise Vareilles
Michel Aldanondo
Paul Gaborit

Abstract

Cette communication présente une approche de représentation de contraintes continues. La méthode de discrétisation dynamique des domaines des variables définit une représentation de l'espace de recherche sous la forme d'un arbre appelé QuadTree dans le cas de contraintes binaires. Nous proposons une extension de cette méthode pour prendre en compte les contraintes continues exprimées comme des fonctions par morceaux. La première section introduit la méthode de génération de QuadTrees. La seconde section propose une définition des contraintes définies par des fonctions par morceaux. Enfin, la troisième section propose une extension de la méthode de QuadTree permettant de prendre en compte ce type de contraintes.
Fichier principal
Vignette du fichier
49.pdf (249.68 Ko) Télécharger le fichier

Dates and versions

inria-00000084 , version 1 (26-05-2005)

Identifiers

  • HAL Id : inria-00000084 , version 1

Cite

Élise Vareilles, Khaled Hadj-Hammou, Michel Aldanondo, Paul Gaborit. Extension des QuadTrees pour la représentation et le filtrage des contraintes numériques définies par des fonctions par morceaux. Premières Journées Francophones de Programmation par Contraintes, CRIL - CNRS FRE 2499, Jun 2005, Lens, France. pp.219-228. ⟨inria-00000084⟩
84 View
19 Download

Share

Gmail Facebook X LinkedIn More