Compilation de CSPs : carte de complexité des MDDs non-déterministes

Jérôme Amilhastre 1 Hélène Fargier 2 Alexandre Niveau 3 Cédric Pralet 4
1 Caméléon Software, Labège
2 IRIT - Institut de recherche en informatique de Toulouse
3 CRIL - Centre de Recherche en Informatique de Lens
4 ONERA - The French Aerospace Lab [Toulouse]
Résumé : Les CSPs fournissent un cadre puissant pour la représentation de problèmes très divers. La difficulté est que la plupart des requêtes associées aux CSPs sont NP-difficiles, mais doivent dans certains contextes être traitées « en ligne ». C’est pour cette raison que les diagrammes de décision multivalués (MDDs) ont été proposés pour la compilation de CSPs. Cet article dresse une carte de compilation des MDDs, dans l’esprit de la carte de la famille des NNFs de Darwiche et Marquis, en analysant les MDDs selon leur compacité et les requêtes et transformations qu’ils supportent en temps polynomial. Les MDDs déterministes et ordonnés généralisant les diagrammes de décision binaire ordonnes à des variables non-booléennes, le fait que leurs propriétés soient similaires n’est pas surprenant. Cependant, notre étude met en avant l’intérêt des MDDs ordonnes non déterministes : restreint aux variables booléennes, ce fragment est strictement plus compact que ceux des OBDDs et des DNFs, et admet des performances proches de celles des DNNFs. La comparaison aux MDDs classiques montre que relâcher la contrainte du déterminisme améliore la compacité et permet a plus de transformations d’être supportées en temps polynomial. Des expériences sur des problèmes aléatoires confirment le gain en compacité.
Mots-clés : Logique
Type de document :
Communication dans un congrès
Neuvièmes Journées Francophones de Programmation par Contraintes (JFPC 2013), Jun 2013, Aix en Provence, France. pp. 21-30, 2013
Liste complète des métadonnées

Littérature citée [13 références]  Voir  Masquer  Télécharger
https://hal.archives-ouvertes.fr/hal-01217173
Contributeur : Open Archive Toulouse Archive Ouverte (oatao) <>
Soumis le : lundi 19 octobre 2015 - 10:47:14
Dernière modification le : mardi 26 mars 2019 - 14:28:03
Document(s) archivé(s) le : mercredi 20 janvier 2016 - 11:52:11

Fichier

amilhastre_12767.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01217173, version 1
  • OATAO : 12767

Collections

UNIV-ARTOIS | UNIV-TLSE2 | UNIV-TLSE3 | ONERA | SMS

Citation

Jérôme Amilhastre, Hélène Fargier, Alexandre Niveau, Cédric Pralet. Compilation de CSPs : carte de complexité des MDDs non-déterministes. Neuvièmes Journées Francophones de Programmation par Contraintes (JFPC 2013), Jun 2013, Aix en Provence, France. pp. 21-30, 2013. 〈hal-01217173〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

149

Téléchargements de fichiers

49

Contact

support.ccsd.cnrs.fr
hal.support@ccsd.cnrs.fr
Logo CCSD