A simple python package for graph theory that supports multi-edges, hyper-edges, looped-edges and every other combination of these. This package is an exercise in defining statically-typed, functional implementations of graphs that have the following features:
- Each vertex of the graph is a characted. For example
'ab,bc,ac'"is a triangle graph with vertices{'a', 'b', 'c'}. - Multi-edges are allowed.
'ab,ab'is a valid graph. - Hyper-edges are allowed.
'abc'is a valid graph. - Self-loops are allowed.
'aa'is a valid graph. - Collapsed edges are allowed.
'aab'is a valid graph
Check out the wikipedia entries for Hypergraph and Multigraph. Think of this package as happy marriage between the two.
pip install multihypergraph
- Almost all the code is functional.
- Mutability of data types is never used.
- All types are explicitly mentioned using static-typing (and checked courtesy
mypy). - The above mentioned feature makes it easier to reason mathematically about the code.
- The emphasis is on mathematical understanding and soundness rather than algorithmic efficiency.
- The top-level scripts are divided into
objects/andmorphisms/to emphasize the category-theoretic structure of multihypergraphs. - Functional programming allows us to write easy-to-decipher tests using
pytest.