August 2001
Intermediate to advanced
512 pages
15h 41m
English
Property 22.13 The worst-case running time of the FIFO queue implementation of the preflow-push algorithm is proportional to V2E.![]()
Proof: We bound the number of phases using a potential function. This argument is a simple example of a powerful technique in the analysis of algorithms and data structures that we examine in more detail in Part 8.
Define the quantity φ to be 0 if there are no active vertices and to be the maximum height of the active vertices otherwise, then consider the effect of each phase on the value of φ. Let h0 (s) be the initial height of the source. At the beginning, φ =h0 (s); at the end, φ = 0.
First, we note that the number ...
Read now
Unlock full access