combine : une bibliothèque OCaml pour la combinatoire - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2013

combine : une bibliothèque OCaml pour la combinatoire

Abstract

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.
Fichier principal
Vignette du fichier
jfla2013-05.pdf (465.85 Ko) Télécharger le fichier
Origin : Explicit agreement for this submission
Loading...

Dates and versions

hal-00779431 , version 1 (22-01-2013)

Identifiers

  • HAL Id : hal-00779431 , version 1

Cite

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⟩
258 View
272 Download

Share

Gmail Facebook X LinkedIn More