SCC Simulation (Kosaraju)

Directed Graph & Controls

Click two nodes successively to cycle edge states: none → a→b → b→a → none. Drag nodes. Colors: Blue=current DFS vertex, Yellow=active recursion stack, Green=finished order (first pass) or assigned component (second pass, tinted). Edge highlight during exploration. Stages: First DFS, Transpose, Second DFS.

State