Domaines de congruence pour la programmation par contraintes - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2007

Domaines de congruence pour la programmation par contraintes

Michel Leconte
  • Fonction : Auteur
  • PersonId : 840307

Résumé

Dans un système de Programmation par Contraintes (PPC), une \emph{convergence lente} se produit lorsque la propagation prend un temps proportionnel à la taille des domaines des variables. Ce phénomène survient par exemple sur des équations entières aussi simples que $x = 2y + 1$ et $x = 2z$. Les contraintes qui interviennent dans l'analyse de programmes portent souvent sur des variables dont les domaines s'étendent à tous les entiers représentables en machine. Dans ce cas, la convergence lente empêchera en pratique d'atteindre le point fixe de réduction des domaines. Pour lutter contre ce phénomène de convergence lente, nous proposons d'utiliser les \emph{domaines de congruence} pour enrichir les domaines de la PPC. Cette id ée a été introduite par Ph. Granger~\cite{Granger89} dans la communauté de l'interprétation abstraite; nous montrons ici comment un système de PPC peut en tirer parti, par exemple pour découvrir que $12x + |y| = 3$ et $4x + 7y = 0$ n'ont pas de solution entière.
Fichier principal
Vignette du fichier
43.pdf (156.58 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

inria-00150755 , version 1 (31-05-2007)

Identifiants

  • HAL Id : inria-00150755 , version 1

Citer

Michel Leconte, Bruno Berstel. Domaines de congruence pour la programmation par contraintes. Troisièmes Journées Francophones de Programmationpar Contraintes (JFPC07), Jun 2007, INRIA, Domaine de Voluceau, Rocquencourt, Yvelines France. ⟨inria-00150755⟩

Collections

JFPC07
103 Consultations
130 Téléchargements

Partager

Gmail Facebook X LinkedIn More