Strongly Connected Components — Kosaraju
Kosaraju finds strongly connected components in a directed graph using two DFS passes and the transposed graph.
先从这个心智模型开始
Kosaraju finds strongly connected components in a directed graph using two DFS passes and the transposed graph.
它如何工作，不堆砌不必要的术语
First DFS records vertices by finishing time.
Reverse all edges, then DFS in decreasing finish-time order; each traversal forms one SCC.
把算法读成一连串决策
Define directed/undirected and weighted/unweighted assumptions.
Choose the graph representation.
Track algorithm state and handle disconnected/cyclic cases explicitly.
Read a tiny input by hand and write down the state after every important operation. For Strongly Connected Components — Kosaraju, the goal is to make the invariant visible rather than to memorize code.
Varies by implementation / input constraints
Do not quote this complexity mechanically. Ask which operation or input dimension it describes, then derive the cost from the loops, recursion depth, data-structure operations and any preprocessing assumptions.
适用场景
- Use the algorithm only when its graph assumptions match the problem.
通常哪里会出错
- Forgetting disconnected components.
- Mixing weighted and unweighted shortest-path algorithms.
- Not protecting against revisits/cycles.
专业回答结构
Explain why transpose preserves nodes inside each SCC while reversing the edges between SCCs; that is the intuition behind the two passes.
What problem does Strongly Connected Components — Kosaraju solve?
Kosaraju finds strongly connected components in a directed graph using two DFS passes and the transposed graph.
关于复杂度应该提到什么？
Its typical cost here is Varies by implementation / input constraints, but a complete answer should connect that cost to the representation, input constraints and the dominant operations.
最常见的错误是什么？
Forgetting disconnected components.