tarjan 缩完点不必要拓扑排序，可以倒序 dp，dfs 即可，tarjan 求出来的即为逆拓扑序

不必要建图时判重边，可以对点标记边 dp 时判

码量会小很多

记得判重边判重边判重边

$E'$ 是 $E$ 中所有跟 $V'$ 有关的边