tarjan求有向图强连通分量

y被访问过且y在栈中时

low[x]=min(low[x],dfn[y])

为什么要用dfn[y]呢？