Function ADS::feasibleCirculation

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)