Une famille de classes polynomiales de CSP basée sur la microstructure

Résumé : L’étude des classes polynomiales constitue une question importante en intelligence artificielle, en particulier au niveau des problèmes de satisfaction de contraintes. Dans ce contexte, la propriété BTP fournit une classe importante de l’état de l’art. Dans cet article, nous proposons d’étendre et de généraliser cette classe en introduisant la propriété k-BTP (et la classe des instances satisfaisant cette propriété) où le paramètre k est une constante donnée. Ainsi, nous avons 2-BTP = BTP, et pour k > 2, k-BTP est une relaxation de BTP au sens où k-BTP ( (k + 1)-BTP. En outre, nous montrons que si k-TW est la classe d’instances ayant une largeur arborescente bornée par une constante k, alors k-TW ((k+1)-BTP. Au niveau de la complexité, nous montrons que les instances satisfaisant k-BTP et qui vérifient la k-cohérence-forte sont reconnaissables et résolubles en temps polynomial. Nous étudions aussi la relation entre k-BTP et l’approche de W. Naanaa qui a proposé un outil théorique connu sous le vocable directional rank afin d’´étendre les classes polynomiales de manière paramétrée. Enfin, nous proposons une étude expérimentale de 3-BTP qui montre l’intérêt pratique de cette classe.
Complete list of metadatas

Cited literature [17 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01375398
Contributor : Open Archive Toulouse Archive Ouverte (oatao) <>
Submitted on : Monday, October 3, 2016 - 10:40:19 AM
Last modification on : Thursday, June 27, 2019 - 4:27:50 PM
Long-term archiving on : Friday, February 3, 2017 - 2:28:26 PM

File

cooper_15300.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01375398, version 1
  • OATAO : 15300

Citation

Martin Cooper, Philippe Jégou, Cyril Terrioux. Une famille de classes polynomiales de CSP basée sur la microstructure. 11eme Journees Francophones de Programmation par Contraintes (JFPC 2015), Jun 2015, Bordeaux, France. pp. 59-68. ⟨hal-01375398⟩

Share

Metrics

Record views

175

Files downloads

65