Function ADS::feasibleCirculation
Defined in File MaxFlow.h
Function Documentation
-
inline bool ADS::feasibleCirculation(int n, const std::vector<BoundedEdge> &E, std::vector<long long> *flows = nullptr)
whether the edges admit a circulation, a flow conserved at every node with low <= f( e ) <= high; then the flows in *flows, if given
- Pre:
n >= 0, the ends of the edges in [ 0 , n )
- Post:
the flows given are within the bounds and conserved (audit)