Graph library
#1139
Replies: 1 comment
-
|
I would also like to mention Han & Jan's (1, 2) masterstheses for this list. |
Beta Was this translation helpful? Give feedback.
0 replies
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
-
We have had multiple case studies relating to graphs, such as the Ford-Fulkerson algorithm and Kahn's topological sorting algorithm. Each defined their own graph data structure. It would be nice to have a (verified) graph library implementing the general structure, as well as functions like
getSuccessors, to simplify getting started on new graph algorithms, and unify the case studies.Beta Was this translation helpful? Give feedback.
All reactions