在遇到了横向边和后向边时我们要用low[u]= min(low[u],pre[v]);，但是从直观上来讲用low[u]= min(low[u],low[v]);更合理，也确实能过。但是为什么tarjan用了前者呢？