module Goldberg: functor (G : G_GOLDBERG) -> functor (F : sig end) -> sig end
Parameters: |
|
val maxflow : G.t -> G.V.t -> G.V.t -> (G.E.t -> F.t) * F.t
maxflow g v1 v2
searchs the maximal flow from v1
to v2
using the Goldberg algorithm. It returns the new flows on each
edges and the growth of the flow.