Graph-Builder

一种具有后过滤和边组合的图生成算法。

此算法被用于自动定理证明器解决典型的群/范畴问题。例如，研究代数或路径语义。

此算法的优势在于它利用了范畴理论的对称性。对于每个形如 A -> B 和 B -> C 的形态，存在一个形态 A -> C。这意味着对于大量对象，只需要保留邻居形态。

使用小操作构建图可以最小化从一个节点到另一个节点所需的工作。

有关如何使用此库的信息，请参阅各种函数的文档。

lib.rs:

Graph-Builder

一种具有后过滤和边组合的图生成算法。

此算法被用于自动定理证明器解决典型的群/范畴问题。例如，研究代数或路径语义。

此算法的优势在于它利用了范畴理论的对称性。对于每个形如 A -> B 和 B -> C 的形态，存在一个形态 A -> C。这意味着对于大量对象，只需要保留邻居形态。

使用小操作构建图可以最小化从一个节点到另一个节点所需的工作。

有关如何使用此库的信息，请参阅各种函数的文档。