Autour des Triangles Cassés

Résumé : Une instance CSP binaire qui satisfait la propriété des triangles cassés (BTP) peut etre résolue en temps polynomial. Malheureusement, en pratique, peu d'ins-tances satisfont cette propriété. Nous montrons qu'une version locale de BTP permet de fusionner des valeurs dans les domaines d'instances binaires quelconques. Des expérimentations démontrent la diminution significative de la taille de l'instance pour certaines classes de pro-bì emes. Ensuite, nous proposons une généralisation de cette fusion a des contraintes d'arité quelconque. En-fin, une version orientée nous permet d'´ etendre la classe polynomiale BTP. Ce papier est un résumé de l'article M. C. Cooper, A. El Mouelhi, C. Terrioux et B. Zanuttini. On Broken Triangles In Proceedings of CP,LNCS 8656, 9–24, 2014.
Complete list of metadatas

Cited literature [12 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01356093
Contributor : Mad Greyc <>
Submitted on : Wednesday, August 24, 2016 - 5:54:30 PM
Last modification on : Thursday, October 17, 2019 - 8:54:35 AM
Long-term archiving on : Friday, November 25, 2016 - 1:18:04 PM

File

Cooper.JFPC.2015.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01356093, version 1

Citation

Martin Cooper, Achref El Mouelhi, Cyril Terrioux, Bruno Zanuttini. Autour des Triangles Cassés. 11es Journées Francophones de Programmation par Contraintes (JFPC 2015), Jun 2015, Bordeaux, France. pp.57-58. ⟨hal-01356093⟩

Share

Metrics

Record views

362

Files downloads

68