dfs+scc+dp