Tarjan's algorithm

Tarjan's algorithm is a graph theory algorithm used to find strongly connected components (SCCs) in a directed graph. A strongly connected component of a directed graph is a maximal subgraph where every vertex is reachable from every other vertex in that subgraph. The algorithm was developed by Robert Tarjan and operates in linear time, which is O(V + E), where V is the number of vertices and E is the number of edges in the graph.