Graph metric #
This module defines the
SimpleGraph.dist function, which takes
pairs of vertices to the length of the shortest walk between them.
Main definitions #
SimpleGraph.distis the graph metric.
Provide an additional computable version of
When directed graphs exist, a directed notion of distance, likely
graph metric, distance