神秘結論記錄

排列 \(p\) 是 dfs 序的充要條件：

1. 記 \(pos_{p_i}=i\)，對於每個 \(i\)，\(dfn_{i}\) 與 \(dfn_{i}+siz_{i}-1\) 分別是陣列在 \([pos_i,pos_i+siz_{i}-1]\) 中最小和最大的元素。愛來自鴿巢。

2. 對於每個 \(i\)，\(p_{i-1}\) 是 \(p_i\) 的父親或父親子樹內的葉子。愛來自歸納。