Sur la réductibilité des graphes de contraintes géométriques

Samy Ait Aoudia (1) , Dominique Michelucci (2) , Adel Moussaoui (1)

1 ESI - École Nationale Supérieure d'Informatique [Alger]
2 Le2i - Laboratoire Electronique, Informatique et Image [UMR6306]

La modélisation géométrique par contraintes dont les applications intéressent des communautés issues de divers domaines tels l'ingénierie mécanique, la conception assistée par ordinateur, le calcul symbolique ou la chimie moléculaire est maintenant intégré dans les outils standards de modélisation. Dans cette discipline une forme géométrique est spécifiée par les relations que doivent vérifier les composants de cette forme au lieu de spécifier explicitement ces composants. Le but de la résolution est de déduire la forme répondant à toutes ces contraintes. Diverses méthodes ont été proposées pour résoudre ce problème. Nous nous intéresserons spécifiquement aux méthodes dites graphiques ou basées-graphes avec application à l'espace bidimensionnel.

Mots clés: Modélisation géométrique 2D; contraintes géométriques; réductibilité

Domaines: Géométrie algorithmique [cs.CG]

Samy Ait Aoudia, Dominique Michelucci, Adel Moussaoui. Sur la réductibilité des graphes de contraintes géométriques. 2017. ⟨hal-01489986v2⟩