可行流

可行流(feasible flow)圖論的一個重要概念。它是滿足一定條件的網路流。

對一個網路的某些點指定為發點，規定出提供能力；某些點指定為收點，規定出接收能力。

若一個流對每一發點滿足總流出量與總流入量之差不大於提供能力，對每一收點滿足總流入量與總流出量之差不小於接收能力，則稱這個流為可行流。

可行流存在的充分必要條件：對所有頂點子集s都滿足:由s到s的弧的總容量，不小於s中的收點總接收能力與s中的發點的總提供能力之差。

這個定理在圖論中有許多套用。