5 个版本 (3 个重大更新)
| 0.4.0 | 2022年1月11日 |
|---|---|
| 0.3.0 | 2022年1月5日 |
| 0.2.0 | 2022年1月4日 |
| 0.1.1 | 2022年1月3日 |
| 0.1.0 | 2022年1月3日 |
#2146 in 数据结构
80KB
1.5K SLoC
congruence
同构闭包的实现，CongruenceClosure，驱动对实现 UnionFind 特质的任意并查集 ADT 的修改。基于 Nieuwenhuis 和 Oliveras 的 产生证明的同构闭包，但不包括证明生成。
提供了一个最小化且具有密集 usize 节点的 不相交集合森林 实现，DisjointSetForest。
lib.rs:
同构闭包的实现，CongruenceClosure，驱动对实现 UnionFind 特质的任意并查集 ADT 的修改。基于 Nieuwenhuis 和 Oliveras 的 产生证明的同构闭包，但不包括证明生成。
提供了一个最小化且具有密集 usize 节点的 不相交集合森林 实现，DisjointSetForest。
依赖项
~1MB
~18K SLoC