Sur une classe polynomiale relationnelle pour les CSP binaires - Archive ouverte HAL Access content directly
Conference Papers Year : 2015

Sur une classe polynomiale relationnelle pour les CSP binaires

Abstract

Trouver une solution à un probl ème de satisfaction de contraintes est en g én éral un probl ème NP-diffi cile. Ainsi, identifier une nouvelle classe polynomiale de CSP, en d'autres termes, une classe de probl èmes de satisfaction de contraintes pour lesquelles il existe une m éthode de réconnaissance et de r ésolution de complexit é polynomiale, constitue un axe de recherche fondamental dans l' étude des CSPs. Dans cet article, nous pr ésentons une nouvelle classe polynomiale relationnelle pour les CSPs binaires. Tout d'abord nous pr ésentons un nouvel op érateur ternaire que nous avons appel é mjx. Nous d écrivons ensuite les relations ferm ées par cet op érateur en proposant un algorithme d'identification de ces relations. Afin de r éduire la complexit é spatiale et temporelle des traitements, nous d éfinissons une nouvelle m éthode de stockage de ces relations qui permet de r éduire la complexit é de chemin consistance, ce dernier niveau de consistance étant suffi sant pour r ésoudre les instances de la classe propos ée.
Fichier principal
Vignette du fichier
jguirim_15302.pdf (334.41 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01375395 , version 1 (03-10-2016)

Identifiers

  • HAL Id : hal-01375395 , version 1
  • OATAO : 15302

Cite

Wafa Jguirim, Wady Naanaa, Martin Cooper. Sur une classe polynomiale relationnelle pour les CSP binaires. 11eme Journees Francophones de Programmation par Contraintes (JFPC 2015), Jun 2015, Bordeaux, France. pp. 130-139. ⟨hal-01375395⟩
52 View
70 Download

Share

Gmail Facebook X LinkedIn More