DFS 樹是一顆深搜樹, 它滿足對於任意一條非樹邊 \((u, v)\) 在 DFS 樹上是祖先的關係。
假設當前已經搜到了 \(u\) 節點。
-
v 沒有被遍歷到, u 和 v 肯定是祖先關係。
-
v 被遍歷到了, u 肯定在 v 的子樹中, 不然可以從 \(v \to u\) 這條邊遍歷到它。
DFS 樹是一顆深搜樹, 它滿足對於任意一條非樹邊 \((u, v)\) 在 DFS 樹上是祖先的關係。
假設當前已經搜到了 \(u\) 節點。
v 沒有被遍歷到, u 和 v 肯定是祖先關係。
v 被遍歷到了, u 肯定在 v 的子樹中, 不然可以從 \(v \to u\) 這條邊遍歷到它。