Logo image
Se connecter
La programmation par contraintes à l'attaque d'Eternity II
Acte de colloque   Open Access

La programmation par contraintes à l'attaque d'Eternity II

Thierry Benoist et Eric Bourreau
JFPC 2008 - 4es Journées Francophones de Programmation par Contraintes, pp.105-114
JFPC 2008 - 4es Journées Francophones de Programmation par Contraintes (Nantes, France, 04/06/2008–06/06/2008)

Résumé

D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.3: Language Constructs and Features/D.3.3.3: Constraints
Nous nous intéressons dans cet article à l'énumération de toutes les solutions d'un puzzle de type edge-matching. Nous montrons qu'une modélisation adaptée du problème combinée à l'utilisation de structures algorithmiques efficaces permet d'obtenir un filtrage efficace et global, de complexité O(1). Nous vérifions expérimentalement la pertinence du compromis filtrage/complexité proposé par comparaison avec un des meilleurs algorithmes arborescents disponibles.

Fichiers et liens (1)

url
Find in HALAfficher

Indicateurs

1 Consultations de la notice

Détails

Logo image