看看缩点后建边时有没有这句话： if(Fa[i]==Fa[e[j].to]) continue;//Fa[i]代表i所属的强连通分量。