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.
Origine | Accord explicite pour ce dépôt |
---|
Loading...