一些奇妙的思考

如题，注意到将 low[v]>=dfn[u] 换为 low[v]==dfn[u]||low[v]==dfn[v] 一样可以通过本题，想问一下这个改动是否对代码的正确性产生了影响。

我这边有一些分析，但是我不能确定他对不对：

显然，把栈内+割点全部搞进去就好了。

那么，其实会有第二个问题，为什么不是 low[v]==dfn[u] 呢？难道不可以吗？

注意到这个时候，这些点集显然会被 $v$ 处理，所以到 $u$ 这里，就剩个光杆司令 $v$ 了。

所以只会产生只包含 $u$ 和 $v$ 的强连通分量，而这个时候 $low_v=dfn_v$。