Skip to content

combin · ShortestPath

3 accepted declarations. Python and Rust forms, contracts, evidence, failure boundaries, and checked usages are kept together below.

combin.ShortestPath

The result of Graph.shortest_path — total weight and the vertex sequence.

Detailed contract

The result of Graph.shortest_path — total weight and the vertex sequence.

class ShortestPath

noether::combin::ShortestPath · Direct Rust declaration

pub struct ShortestPath { pub distance: i64, pub path: Vec<u32>, }
Contract Value
Guarantee checked deterministic result
Determinism deterministic
Availability default CPU build
Domain implementation crates noether, graph-core, perm-core
GIL attached / bounded

Executable usage: validation/unit/combin/test_graph_facade.py:12 · validation/unit/combin/test_graph_facade.py:47

combin.ShortestPath.distance

The total weight of the path (sum of edge weights); equals the number of edges for an unweighted graph.

Detailed contract

The total weight of the path (sum of edge weights); equals the number of edges for an unweighted graph.

(self) -> int

noether::combin::ShortestPath · Python projection

Python projection convenience over this Rust mathematical type
Contract Value
Guarantee checked deterministic result
Determinism deterministic
Availability default CPU build
Domain implementation crates noether, graph-core, perm-core
GIL attached / bounded

Executable usage: validation/unit/combin/test_graph_facade.py:105 · validation/unit/combin/test_graph_facade.py:48 · validation/unit/geometry/test_geometry_facade.py:25 · validation/unit/geometry/test_geometry_facade.py:48 · validation/unit/topology/test_filtration_builders.py:100 · validation/unit/topology/test_filtration_builders.py:112

combin.ShortestPath.path

The path's vertex sequence — list[int], from s (first) to t (last).

Detailed contract

The path's vertex sequence — list[int], from s (first) to t (last). A single-vertex [s] when s == t.

(self) -> list[VertexId]

noether::combin::ShortestPath · Python projection

Python projection convenience over this Rust mathematical type
Contract Value
Guarantee checked deterministic result
Determinism deterministic
Availability default CPU build
Domain implementation crates noether, graph-core, perm-core
GIL attached / bounded

Executable usage: validation/unit/combin/test_acceptance_workload.py:90 · validation/unit/combin/test_acceptance_workload.py:92 · validation/unit/combin/test_acceptance_workload.py:93 · validation/unit/combin/test_acceptance_workload.py:94 · validation/unit/combin/test_acceptance_workload.py:95 · validation/unit/combin/test_acceptance_workload.py:96