public class StrongConnectivityInspector<V,E>
extends java.lang.Object
Complements the ConnectivityInspector
class with
the capability to compute the strongly connected components of a directed
graph. The algorithm is implemented after "Cormen et al: Introduction to
agorithms", Chapter 22.5. It has a running time of O(V + E).
Unlike ConnectivityInspector
, this class does not
implement incremental inspection. The full algorithm is executed at the first
call of stronglyConnectedSets()
or isStronglyConnected()
.
Constructor and Description |
---|
StrongConnectivityInspector(DirectedGraph<V,E> directedGraph)
The constructor of the StrongConnectivityInspector class.
|
Modifier and Type | Method and Description |
---|---|
DirectedGraph<V,E> |
getGraph()
Returns the graph inspected by the StrongConnectivityInspector.
|
boolean |
isStronglyConnected()
Returns true if the graph of this
StronglyConnectivityInspector instance is strongly connected. |
java.util.List<java.util.Set<V>> |
stronglyConnectedSets()
Computes a
List of Set s, where each set contains vertices
which together form a strongly connected component within the given
graph. |
java.util.List<DirectedSubgraph<V,E>> |
stronglyConnectedSubgraphs()
Computes a list of
DirectedSubgraph s of the given graph. |
public StrongConnectivityInspector(DirectedGraph<V,E> directedGraph)
directedGraph
- the graph to inspectjava.lang.IllegalArgumentException
public DirectedGraph<V,E> getGraph()
public boolean isStronglyConnected()
StronglyConnectivityInspector
instance is strongly connected.public java.util.List<java.util.Set<V>> stronglyConnectedSets()
List
of Set
s, where each set contains vertices
which together form a strongly connected component within the given
graph.List
of Set
s containing the strongly
connected componentspublic java.util.List<DirectedSubgraph<V,E>> stronglyConnectedSubgraphs()
Computes a list of DirectedSubgraph
s of the given graph. Each
subgraph will represent a strongly connected component and will contain
all vertices of that component. The subgraph will have an edge (u,v) iff
u and v are contained in the strongly connected component.
NOTE: Calling this method will first execute stronglyConnectedSets()
. If you don't need
subgraphs, use that method.