14 / reference

Reachability reference

Traversal, connected-component, and shortcut-set entry points for directed graphs.

Edit this pageUpdated with the source

from reachq.reachability import (
    bfs_reachability,
    parallel_bfs,
    strongly_connected_components,
)
from reachq.shortcut import build_shortcut_set_for_reachability

bfs_reachability traverses the original graph. parallel_bfs accepts optional shortcut edges but currently executes a sequential traversal. The construction wrapper returns (shortcuts, beta, realised_bound).