tarjan

    tarjan在递归求low的时候，有一个争议。就是x的子节点y，如果y的dfn值已经知道，那么说明x与y之间的边不在搜索树上，更新low【x】的时候我们用的是dfn【y】而不是low【x】。但是你在写割边的时候并不受影响，两个都可以。而割点就必须是dfn【y】。为什么呢，我之前一直想不到反例，今天就举一个反例吧。     首先，我们需要明确，如果此时y已经有了dfn值，那么这个y一定是搜索

>>阅读原文<<