Autour des Triangles Cassés

Martin Cooper (1, 2) , Achref El Mouelhi (3) , Cyril Terrioux (3) , Bruno Zanuttini (4)

1 IRIT-ADRIA - Argumentation, Décision, Raisonnement, Incertitude et Apprentissage
2 UT3 - Université Toulouse III - Paul Sabatier
3 LSIS - Laboratoire des Sciences de l'Information et des Systèmes
4 Equipe MAD - Laboratoire GREYC - UMR6072

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.

Domaines: Intelligence artificielle [cs.AI]; Complexité [cs.CC]; Logique en informatique [cs.LO]

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⟩