[ library(max_flow) | Reference Manual | Alphabetic Index ]

max_flow_with_lb(+Graph, +LowerBoundArg, +CapacityArg, +SourceNode, +SinkNode, -MaxFlowValue)

Finds rhe maximum flow for a network with non-negative lower-bounds imposed on the edge flows,using an adapted Ford-Fulkerson maximum flow algorithm
Graph
a graph structure, no parallel edges, e(Src,Dest,EdgeData)
LowerBoundArg
which argument of EdgeData to use as the minimum flow (lower bound) for edge (integer)
CapacityArg
which argument of EdgeData to use as edge capacity (integer),
SourceNode
source node number (integer)
SinkNode
sink node number (integer)
MaxFlowValue
value of the maximum flow

Description

This predicate provides an implementation of the Ford-Fulkerson max-flow algorithm between two nodes in a graph, modified to allow edges to have non-negative minimum flows. It returns the maximal achievable flow allowed by the capacities in the network.

Fail Conditions

There is no feasible flow between Source and Sink nodes.

See Also

max_flow_with_lb / 8, max_flow / 5, max_flow / 7, feas_flow_with_lb / 8, all_min_cuts : all_min_cuts / 8, all_min_cuts : all_min_cuts / 9, all_min_cuts : all_min_cuts_list / 5