triska / scc

Strongly Connected Components of a Graph

Relation between a graph and its Strongly Connected Components (SCCs).

Usage:

nodes_arcs_sccs(+Ns, +As, -SCCs)

where:

• Ns is a list of nodes. Each node must be a ground term.
• As is a list of arc(From,To) terms where From and To are nodes.
• SCCs is a list of lists of nodes that are in the same strongly connected component.

Running time is O(|V| + log(|V|)*|E|).

Example:

?- nodes_arcs_sccs([a,b,c,d], [arc(a,b),arc(b,a),arc(b,c)], SCCs).
SCCs = [[a,b],[c],[d]].