One doc tagged with "connectivity-check"

In the applications described below we will assume that the graph is undirected.