emm 不知道是不是我 naive 了。

有没有类似 $\rm LCT$ 动态维护树结构这种很强的数据结构去动态维护有向图的强联通分量，需要查询两个是否在一个强联通分量内。