digraph_utils

digraph_utils

Module

digraph_utils

Module summary

Algorithms for Directed Graphs

Description

The digraph_utils module implements some algorithms based on depth-first traversal of directed graphs. See the digraph module for basic functions on directed graphs.

A directed graph (or just "digraph") is a pair (V, E) of a finite set V of vertices and a finite set E of directed edges (or just "edges"). The set of edges E is a subset of V × V (the Cartesian product of V with itself).

Digraphs can be annotated with additional information. Such information may be attached to the vertices and to the edges of the digraph. A digraph which has been annotated is called a labeled digraph, and the information attached to a vertex or an