A graph G is strongly connected if for each vertex u in G there is a path to every other vertex in G.  Note: a graph with one vertex is strongly connected.  If G is an undirected graph, then being strongly connected is equivalent to being connected.  An example of a strongly connected graph is the directed cycle graph.

The IsStronglyConnected('G') function returns true if the input graph is a strongly connected graph. It returns false otherwise.

The StronglyConnectedComponents command computes the maximal subgraphs of G which are strongly connected.  It returns them as a list of lists of vertices where the number of lists indicates the number of strongly connected components.

By default the result is sorted by size of the subgraph. The optional parameter sorted=false can be used to preserve the order as computed by the algorithm.