Least You Need to Know: Condensation DAGs and Component-Level Ordering
Les openen
If each SCC is contracted to one node, the resulting graph is a **DAG**. This condensation DAG captures the one-way flow between strongly connected regions and is often the right object for topological reasoning after SCC decomposition.