LP&CO 2026 Lecture-30: Formalizing the primal-dual algorithm for shortest path problem; correctness
Nishad-Kothari-IIT-Madras · 62:00 · Watch on YouTube
The lecture works through the primal-dual algorithm for the shortest s–t path problem on a worked example, then shows why it is correct. The algorithm keeps dual labels on s–t cuts and repeatedly raises the label of t...