今天本蒟蒻学了Tarjan缩点
在Tarjan缩点的标程中,有一句
if(ins[y]) low[x]=min(low[x],dfn[y]);
其中ins[y]表示y是否在栈中,然后窝百思不得其解,为什么是min(low[x],dfn[y])而不是min(low[x],low[y])呢?求各位dalao解答!