Tarjan判断为什么不能把dfn写成low

Tarjan，我相信大多数人是这么写的： 那么，在else句中，为什么是low[x]=min(low[x],dfn[u])而非low[x]=min(low[x],low[u])呢？ ...