我记得有向图缩点时，不论是否为森林都从1遍历到N依此Tarjan。但是无论森林还是树，关于下面这种情况：1<-2<-3<-4<-5每个点都更新的很少。
问dfn和low标记和stack是否还正确，并请给出证明。