Compilation de CSPs : carte de complexité des MDDs non-déterministes - Archive ouverte HAL Access content directly
Conference Papers Year : 2013

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

Abstract

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é.
Fichier principal
Vignette du fichier
amilhastre_12767.pdf (326.44 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01217173 , version 1 (19-10-2015)

Identifiers

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

Cite

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), Laboratoire des Sciences de l’Information et des Syst`emes (LSIS); Laboratoire d’Informatique Fondamentale de Marseille (LIF); AFPC : Association Française pour la Programmation par Contraintes, Jun 2013, Aix en Provence, France. pp.21-30. ⟨hal-01217173⟩
134 View
40 Download

Share

Gmail Facebook X LinkedIn More