1. CLRS-Lean
  2. Chapter 26. Maximum Flow
  3. 26.5. Relabel-to-Front
Imports
import CLRSLean.FourthEdition.Chapter_24.Section_24_5_Relabel_To_Front

Section 26.5 - Relabel-to-front (legacy compatibility path)

Third-edition-numbered compatibility path for the relabel-to-front operation count and the generic push-relabel O(V²E) bound. The canonical fourth-edition source is CLRSLean.FourthEdition.Chapter_24.Section_24_5_Relabel_To_Front; this module forwards to it so legacy imports keep working during the compatibility period (see docs/migrations/clrs4.md).