Greedy, with a Certificate: Spanning Trees & Shortest Paths
A lightweight execution-visualization book.
The Minimum Spanning Tree
The Graph and Its Tree
Kruskal, Edge by Edge
The Cut Property
Prim, Same Tree
Shortest Paths
Dijkstra, Label by Label
Distances as a Certificate
Two Certificates
Two Greedy Algorithms