tarjan

    tarjan在遞歸求low的時候，有一個爭議。就是x的子節點y，如果y的dfn值已經知道，那麼說明x與y之間的邊不在搜索樹上，更新low【x】的時候我們用的是dfn【y】而不是low【x】。但是你在寫割邊的時候並不受影響，兩個都可以。而割點就必須是dfn【y】。爲什麼呢，我之前一直想不到反例，今天就舉一個反例吧。     首先，我們需要明確，如果此時y已經有了dfn值，那麼這個y一定是搜索

>>阅读原文<<