rt.

既然违规，就问个学术的问题：为什么两个 dfs 树中的节点 a 和 b（a 为 b 的祖先），求 a 和 b 是否强连通就是求 b 能否到达 a？