摘要： 排列 \(p\) 是 dfs 序的充要条件： 记 \(pos_{p_i}=i\)，对于每个 \(i\)，\(dfn_{i}\) 与 \(dfn_{i}+siz_{i}-1\) 分别是数组在 \([pos_i,pos_i+siz_{i}-1]\) 中最小和最大的元素。爱来自鸽巢。 对于每个 \(i\) 阅读全文