petgraph/algo/
ford_fulkerson.rsuse std::{collections::VecDeque, ops::Sub};
use crate::{
data::DataMap,
visit::{
EdgeCount, EdgeIndexable, IntoEdges, IntoEdgesDirected, NodeCount, NodeIndexable, VisitMap,
Visitable,
},
};
use super::{EdgeRef, PositiveMeasure};
use crate::prelude::Direction;
fn residual_capacity<N>(
network: N,
edge: N::EdgeRef,
vertex: N::NodeId,
flow: N::EdgeWeight,
) -> N::EdgeWeight
where
N: NodeIndexable + IntoEdges,
N::EdgeWeight: Sub<Output = N::EdgeWeight> + PositiveMeasure,
{
if vertex == edge.source() {
flow
} else if vertex == edge.target() {
return *edge.weight() - flow;
} else {
let end_point = NodeIndexable::to_index(&network, vertex);
panic!("Illegal endpoint {}", end_point);
}
}
fn other_endpoint<N>(network: N, edge: N::EdgeRef, vertex: N::NodeId) -> N::NodeId
where
N: NodeIndexable + IntoEdges,
{
if vertex == edge.source() {
edge.target()
} else if vertex == edge.target() {
edge.source()
} else {
let end_point = NodeIndexable::to_index(&network, vertex);
panic!("Illegal endpoint {}", end_point);
}
}
fn has_augmented_path<N>(
network: N,
source: N::NodeId,
destination: N::NodeId,
edge_to: &mut [Option<N::EdgeRef>],
flows: &[N::EdgeWeight],
) -> bool
where
N: NodeCount + IntoEdgesDirected + NodeIndexable + EdgeIndexable + Visitable,
N::EdgeWeight: Sub<Output = N::EdgeWeight> + PositiveMeasure,
{
let mut visited = network.visit_map();
let mut queue = VecDeque::new();
visited.visit(source);
queue.push_back(source);
while let Some(vertex) = queue.pop_front() {
let out_edges = network.edges_directed(vertex, Direction::Outgoing);
let in_edges = network.edges_directed(vertex, Direction::Incoming);
for edge in out_edges.chain(in_edges) {
let next = other_endpoint(&network, edge, vertex);
let edge_index: usize = EdgeIndexable::to_index(&network, edge.id());
let residual_cap = residual_capacity(&network, edge, next, flows[edge_index]);
if !visited.is_visited(&next) && (residual_cap > N::EdgeWeight::zero()) {
visited.visit(next);
edge_to[NodeIndexable::to_index(&network, next)] = Some(edge);
if destination == next {
return true;
}
queue.push_back(next);
}
}
}
false
}
fn adjust_residual_flow<N>(
network: N,
edge: N::EdgeRef,
vertex: N::NodeId,
flow: N::EdgeWeight,
delta: N::EdgeWeight,
) -> N::EdgeWeight
where
N: NodeIndexable + IntoEdges,
N::EdgeWeight: Sub<Output = N::EdgeWeight> + PositiveMeasure,
{
if vertex == edge.source() {
flow - delta
} else if vertex == edge.target() {
flow + delta
} else {
let end_point = NodeIndexable::to_index(&network, vertex);
panic!("Illegal endpoint {}", end_point);
}
}
pub fn ford_fulkerson<N>(
network: N,
source: N::NodeId,
destination: N::NodeId,
) -> (N::EdgeWeight, Vec<N::EdgeWeight>)
where
N: NodeCount
+ EdgeCount
+ IntoEdgesDirected
+ EdgeIndexable
+ NodeIndexable
+ DataMap
+ Visitable,
N::EdgeWeight: Sub<Output = N::EdgeWeight> + PositiveMeasure,
{
let mut edge_to = vec![None; network.node_count()];
let mut flows = vec![N::EdgeWeight::zero(); network.edge_count()];
let mut max_flow = N::EdgeWeight::zero();
while has_augmented_path(&network, source, destination, &mut edge_to, &flows) {
let mut path_flow = N::EdgeWeight::max();
let mut vertex = destination;
let mut vertex_index = NodeIndexable::to_index(&network, vertex);
while let Some(edge) = edge_to[vertex_index] {
let edge_index = EdgeIndexable::to_index(&network, edge.id());
let residual_capacity = residual_capacity(&network, edge, vertex, flows[edge_index]);
path_flow = if path_flow > residual_capacity {
residual_capacity
} else {
path_flow
};
vertex = other_endpoint(&network, edge, vertex);
vertex_index = NodeIndexable::to_index(&network, vertex);
}
let mut vertex = destination;
let mut vertex_index = NodeIndexable::to_index(&network, vertex);
while let Some(edge) = edge_to[vertex_index] {
let edge_index = EdgeIndexable::to_index(&network, edge.id());
flows[edge_index] =
adjust_residual_flow(&network, edge, vertex, flows[edge_index], path_flow);
vertex = other_endpoint(&network, edge, vertex);
vertex_index = NodeIndexable::to_index(&network, vertex);
}
max_flow = max_flow + path_flow;
}
(max_flow, flows)
}