Three indians' algorithm

General information

Algorithmic problem: Blocking flow.

Type of algorithm: loop.

Invariant: The current flow is feasible.

Variant: The number of nodes strictly decreases.

Abstract view: The flow is initialized to be feasible, for example, the zero flow.

Proof: Obvious.

The algorithm is named after three indian researchers, V. M. Malhotra, M. Pramodh Kumar, and S. N. Mahashwari.
Of course, the nodes need not really be removed from the graph. However, "removed" nodes must be hidden from the algorithm to ensure the asymptotic complexity; a Boolean lable "is removed" does not suffice for that.