作为熬夜恶补的蒟蒻，我对tarjan有个点不太理解：

就是在搜到一个点$x$时，它如果有一条边能到$y$，且$y$在栈中，那么low[x]是用low[y]更新还是用dfn[y]更新呢？我看两种写法都有人写，不太理解