Skip to Main content Skip to Navigation
Conference papers

Une approche gloutonne pour établir la singleton consistance d'arc

Résumé : Dans cet article, nous proposons une nouvelle approche pour établir la singleton consistance d'arc (SAC) d'un réseau de contraintes. Tandis que le principe des algorithmes SAC existants consiste à réaliser un parcours en largeur d'abord jusqu'à une profondeur égale à 1, le principe des deux algorithmes que nous introduisons consiste à réaliser plusieurs exécutions d'une recherche gloutonne (telle que la consistance d'arc soit maintenue à chaque étape). Il s'agit d'une illustration originale d'inférence (i.e. établir la singleton consistance d'arc) par la recherche. Utiliser une approche gloutonne permet de bénéficier de l'incrémentalité de la consistance d'arc, d'apprendre des informations pertinentes à partir des conflits et de, potentiellement, trouver des solutions pendant le processus d'inférence. De plus, les complexités temporelle et spatiale sont tout à fait compétitives.
Complete list of metadata

Cited literature [19 references]  Display  Hide  Download

https://hal.inria.fr/inria-00000049
Contributor : Christine Solnon <>
Submitted on : Tuesday, May 24, 2005 - 6:45:03 PM
Last modification on : Thursday, January 11, 2018 - 6:19:28 AM
Long-term archiving on: : Thursday, April 1, 2010 - 9:31:21 PM

Files

Identifiers

  • HAL Id : inria-00000049, version 1

Collections

Citation

Stephane Cardon, Christophe Lecoutre. Une approche gloutonne pour établir la singleton consistance d'arc. Premières Journées Francophones de Programmation par Contraintes, CRIL - CNRS FRE 2499, Jun 2005, Lens, pp.99-108. ⟨inria-00000049⟩

Share

Metrics

Record views

161

Files downloads

154