Introduce topological ordering to RG

april-tools / cirkit

a python framework to build, learn and reason about probabilistic circuits and tensor networks

https://cirkit-docs.readthedocs.io/en/latest/

GNU General Public License v3.0

71 stars 1 forks source link

Closed lkct closed 10 months ago

lkct commented 10 months ago

This PR introduced two new util classes:

Scope: A class that replaces frozenset to be used as the scope. The main difference is that total ordering is introduced.
OrderedSet: A data structure that combines set for de-duplication and list for fixed ordering.

This PR also changed the comparison of RGNode, so that topo sort can be very easily done.

TODO: not yet added ordering to SymbC. Possible issues: See #164.