Les triangles cassés, encore et encore

Abstract : Les triangles cassés représentent un concept important, non seulement pour la résolution en temps polynomial des problèmes de satisfaction de contraintes, mais aussi pour l'élimination de variables ou encore la réduction de la taille des domaines par la fusion des valeurs. Plus précisément, pour une variable donnée d'un CSP binaire arc-cohérent, si aucun triangle cassé ne se produit sur aucun couple de valeurs, alors cette variable peut être éliminée tout en préservant la satisfiabilité. Plus récemment, il a été démontré qu'en cas de non applicabilité de cette règle à cause de l'existence d'au moins un triangle cassé, il se peut qu'il existe deux valeurs de cette même variable sur lesquelles aucun triangle cassé ne s'est produit. Dans ce cas, ces deux valeurs peuvent être fusionnées en une seule tout en préservant la satisfiabilité. Dans ce papier, nous montrons que sous certaines conditions, et même en cas d'existence de quelques triangles cassés sur un couple de valeurs d'une variable donnée, les deux valeurs peuvent être fusionnées sans changer la satisfiabilité de l'instance.
Keywords : Triangles cassés
Complete list of metadatas

Cited literature [15 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01671343
Contributor : Open Archive Toulouse Archive Ouverte (oatao) <>
Submitted on : Friday, December 22, 2017 - 10:50:12 AM
Last modification on : Thursday, June 27, 2019 - 4:27:52 PM

File

cooper_18765.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01671343, version 1
  • OATAO : 18765

Citation

Martin Cooper, Achref El Mouelhi, Cyril Terrioux. Les triangles cassés, encore et encore. 12emes Journees Francophones de Programmation par Contraintes (JFPC 2016), Jun 2016, Montpellier, France. pp. 133-141. ⟨hal-01671343⟩

Share

Metrics

Record views

144

Files downloads

40