The question is in the title but essentially. If we’re given a SCC (strongly connected directed graph—there exists a path from any vertex to every other vertex) and we wish
