Suppose, reductio ad absurdum, that v∈ C' and there is a scc C with C→ C', so an x∈ C,y∈ C' with y∈ Adj[x]. Consider DFS[G]. Let z be the first point ...
確定! 回上一頁