see also the index (by topic, by tool, by reference, by year)

## Graph Algorithms

Examples involving graphs

- Bellman-Ford algorithm
- Checking that a word is a Dyck word
- Depth-First Search
- Dijkstra's shortest path algorithm
- Find the shortest path in a directed graph using BFS
- Maze building from the VACID-0 benchmarks
- Schorr-Waite algorithm
- Topological sorting
- VerifyThis 2016: Schorr-Waite algorithm, proof via recursion
- Warshall algorithm

see also the index (by topic, by tool, by reference, by year)