Add algorithms::bfs_find_path

This commit is contained in:
2026-09-03 09:43:45 +02:00
parent a8b6f7591c
commit 73af8a16ca
2 changed files with 223 additions and 3 deletions
+114
View File
@@ -20,6 +20,14 @@ macro_rules! bfs_tests {
bfs_find_where_disconnected,
bfs_find_where_no_match,
bfs_find_where_nearest,
bfs_find_path_source_equals_target,
bfs_find_path_disconnected,
bfs_find_path_adjacent,
bfs_find_path,
bfs_find_path_where_source_matches,
bfs_find_path_where_disconnected,
bfs_find_path_where_no_match,
bfs_find_path_where,
);
};
@@ -227,3 +235,109 @@ where
vertices[8]
);
}
fn bfs_find_path_source_equals_target<G: MakeTestGraph>()
where
G::Edge: Debug,
{
let (graph, v) = G::single_vertex();
assert_eq!(
algorithms::bfs_find_path(&graph, v, v),
Some(vec![]),
"path from source to itself should be empty"
);
}
fn bfs_find_path_disconnected<G: MakeTestGraph>()
where
G::Edge: Debug,
{
let (graph, vertices) = G::disconnected();
assert_eq!(
algorithms::bfs_find_path(&graph, vertices[0], vertices[1]),
None,
"no path should exist to disconnected vertex"
);
}
fn bfs_find_path_adjacent<G: MakeTestGraph>()
where
G::Edge: Debug,
{
let (graph, vertices, e) = G::single_edge();
let path = algorithms::bfs_find_path(&graph, vertices[0], vertices[1])
.expect("path should exist between adjacent vertices");
assert_eq!(path, [e], "path should contain only the connecting edge");
}
fn bfs_find_path<G: MakeTestGraph>()
where
G::Vertex: Debug,
G::Edge: Debug,
{
let (graph, vertices, _, _) = G::standard();
fixtures::assert_standard_unweighted_distances_v0(
|v| {
let result = algorithms::bfs_find_path(&graph, vertices[0], v);
let path = fixtures::assert_valid_path(&graph, result, vertices[0], &[v]);
Some(u32::try_from(path.len()).unwrap())
},
&vertices,
);
}
fn bfs_find_path_where_source_matches<G: MakeTestGraph>()
where
G::Edge: Debug,
{
let (graph, v) = G::single_vertex();
assert_eq!(
algorithms::bfs_find_path_where(&graph, v, |u| u == v),
Some(vec![]),
"path from source to itself should be empty"
);
}
fn bfs_find_path_where_disconnected<G: MakeTestGraph>()
where
G::Edge: Debug,
{
let (graph, vertices) = G::disconnected();
assert_eq!(
algorithms::bfs_find_path_where(&graph, vertices[0], |v| v == vertices[1]),
None,
"no path should exist to disconnected vertex"
);
}
fn bfs_find_path_where_no_match<G: MakeTestGraph>()
where
G::Edge: Debug,
{
let (graph, vertices, _, _) = G::standard();
assert_eq!(
algorithms::bfs_find_path_where(&graph, vertices[0], |_| false),
None,
"no path should exist when predicate never matches"
);
}
fn bfs_find_path_where<G: MakeTestGraph>()
where
G::Vertex: Debug,
G::Edge: Debug,
{
let (graph, vertices, _, _) = G::standard();
// vertices[7] and vertices[8] are at distance 3 from vertices[0]; vertices[9] is at distance 4.
// BFS must return one shortest path, so it must lead to one of the distance-3 matches.
let result = algorithms::bfs_find_path_where(&graph, vertices[0], |v| {
v == vertices[7] || v == vertices[8] || v == vertices[9]
});
let path =
fixtures::assert_valid_path(&graph, result, vertices[0], &[vertices[7], vertices[8]]);
assert_eq!(
path.len(),
3,
"BFS should return shortest path to a matching vertex"
);
}