The equivalence package
This is an implementation of Tarjan's Union-Find algorithm (Robert E. Tarjan. Efficiency of a Good But Not Linear Set Union Algorithm, JACM 22(2), 1975) in order to maintain an equivalence relation. This implementation is a port of the union-find package using the ST monad transformer (instead of the IO monad).
Properties
| Versions | 0.1, 0.1.1, 0.2.0, 0.2.1, 0.2.2, 0.2.3 |
|---|---|
| Dependencies | base (4.*), containers, mtl, STMonadTrans |
| License | BSD3 |
| Author | Patrick Bahr <paba@diku.dk> |
| Maintainer | Patrick Bahr <paba@diku.dk> |
| Stability | provisional |
| Category | Algorithms, Data |
| Upload date | Wed Jul 21 13:16:08 UTC 2010 |
| Uploaded by | PatrickBahr |
| Build failure | ghc-6.12 (log) |
Modules
- Data
- Equivalence
- Data.Equivalence.Monad
- Data.Equivalence.STT
- Equivalence
Downloads
- equivalence-0.1.tar.gz (Cabal source package)
- package description (included in the package)