combine : une bibliothèque OCaml pour la combinatoire

Résumé : Cet article présente combine1, une bibliothèque OCaml pour la combinatoire2. Elle fournit deux solutions algorithmiquement très différentes au problème de la couverture exacte d'une matrice (EMC) : les liens dansants de Knuth et une variante des diagrammes de décision binaire appelée ZDD. De très nombreux problèmes de combinatoire peuvent être ramenés au problème EMC. La bibliothèque combine l'illustre notamment sur l'exemple du pavage rectangulaire en dimension 2.
Document type :
Conference papers
Complete list of metadatas

Cited literature [5 references]  Display  Hide  Download

https://hal.inria.fr/hal-00779431
Contributor : Ist Inria Saclay <>
Submitted on : Tuesday, January 22, 2013 - 11:13:47 AM
Last modification on : Thursday, October 3, 2019 - 2:04:03 PM
Long-term archiving on : Saturday, April 1, 2017 - 8:10:16 AM

File

jfla2013-05.pdf
Explicit agreement for this submission

Identifiers

  • HAL Id : hal-00779431, version 1

Collections

Citation

Rémy El Sibaïe, Jean-Christophe Filliâtre. combine : une bibliothèque OCaml pour la combinatoire. JFLA - Journées francophones des langages applicatifs, Damien Pous and Christine Tasson, Feb 2013, Aussois, France. ⟨hal-00779431⟩

Share

Metrics

Record views

406

Files downloads

362