rustworkx icon indicating copy to clipboard operation
rustworkx copied to clipboard

Add function to compute the maximum bisimulation of a graph

Open sander-hergarten opened this issue 2 years ago • 2 comments

What is the expected enhancement?

Compute the maximum bisimulation natively in rust. A native rust implementation of algorithms such as Paige-Tarjan would be significantly faster than anything in python.

There are decent native python implementation i have found but unfortunately they don't scale well to large graphs: https://github.com/fandreuz/BisPy

sander-hergarten avatar Jan 31 '24 14:01 sander-hergarten

Since i need this functionality for a project i am working on i would implement this anyways. This is more to see if this is something i can make a pull request for afterwords.

sander-hergarten avatar Jan 31 '24 15:01 sander-hergarten

Pull requests are welcome! I think if you submit Paige-Tarjan to rustworkx it will get merged.

You already have the algorithm you want to implement in mind. Check the contributing guide and once you have a draft feel free to start the request

IvanIsCoding avatar Feb 02 '24 03:02 IvanIsCoding

Closed by #1089

IvanIsCoding avatar Jun 22 '24 02:06 IvanIsCoding