第一篇题解这个部分:

else{
    if(instack[y])low[x]=min(low[x],low[y]);
}

应该是 $dfn_y$ 吧。