In Lecture 12, Gusfield talks about the proof of correctness of Kruskal's algorithm.
See All 30 Episodes of "Algorithm Design and Analysis"