DFS序详解：原理、应用与实现

1. 什么是DFS序

DFS序（Depth-First Search Order）是指对一棵树进行深度优先遍历时，按照访问顺序给每个节点分配的编号序列。它是树结构的一种线性化表示方法，在算法竞赛和数据结构中有着广泛的应用。

2. DFS序的生成方式

DFS序通常有两种常见的生成方式：

进入时间戳：记录每个节点第一次被访问的时间
欧拉序：记录DFS过程中每个节点的进入和离开时间

3. DFS序的基本性质

DFS序具有以下重要性质：

子树连续性：任意节点的子树在DFS序中对应一段连续区间
祖先关系：如果节点u是节点v的祖先，那么u的DFS序一定在v之前
区间包含：子树对应的区间完全包含其所有后代节点对应的区间

4. DFS序的代码实现

以下是使用C++实现DFS序的示例代码：

cpp 复制代码

#include <iostream>
#include <vector>
using namespace std;

const int MAXN = 100005;
vector<int> graph[MAXN];
int tin[MAXN], tout[MAXN];  // 进入和离开时间
int timer = 0;

void dfs(int u, int parent) {
    tin[u] = ++timer;  // 记录进入时间
    
    for (int v : graph[u]) {
        if (v != parent) {
            dfs(v, u);
        }
    }
    
    tout[u] = timer;  // 记录离开时间
}

int main() {
    int n;  // 节点数
    cin >> n;
    
    // 构建树（无向图）
    for (int i = 1; i < n; i++) {
        int u, v;
        cin >> u >> v;
        graph[u].push_back(v);
        graph[v].push_back(u);
    }
    
    // 从根节点1开始DFS
    dfs(1, 0);
    
    // 输出每个节点的DFS序区间
    for (int i = 1; i <= n; i++) {
        cout << "节点" << i << ": [" << tin[i] << ", " << tout[i] << "]" << endl;
    }
    
    return 0;
}

5. DFS序的应用场景

5.1 子树查询与更新

利用子树在DFS序中的连续性，可以将树上的子树操作转化为区间操作：

子树求和：查询子树所有节点的权值和
子树更新：给子树所有节点增加某个值
子树最值：查询子树中的最大值或最小值

5.2 LCA（最近公共祖先）

DFS序结合RMQ（区间最小值查询）可以高效求解LCA问题。

5.3 树链剖分

DFS序是树链剖分的基础，用于将树分解为多条链，便于进行路径查询和更新。

5.4 离线查询处理

结合莫队算法，可以处理树上的离线查询问题。

6. DFS序的变体

6.1 欧拉序

记录DFS过程中每个节点的进入和离开，形成长度为2n-1的序列。

6.2 DFS序+时间戳

同时记录进入时间tin $u$ 和离开时间tout $u$ ，满足：

节点v在节点u的子树中 ⇔ tin $u$ ≤ tin $v$ ≤ tout $u$

6.3 重链剖分DFS序

优先遍历重儿子，使得每条重链在DFS序中连续，优化路径操作。

7. 实战例题分析

例题1：子树求和

给定一棵树，每个节点有一个权值，支持两种操作：

查询某个子树所有节点的权值和
修改某个节点的权值

解决方案：使用DFS序将树转化为数组，用树状数组或线段树维护。

例题2：路径查询

查询树上两个节点路径上的权值和。

解决方案：结合DFS序和树链剖分，将路径分解为若干条链的区间查询。

8. 时间复杂度分析

操作	时间复杂度	空间复杂度
生成DFS序	O(n)	O(n)
子树查询	O(log n)	O(n)
子树更新	O(log n)	O(n)
路径查询	O(log² n)	O(n log n)

9. 常见问题与注意事项

根节点的选择：DFS序的结果与根节点选择有关，但性质保持不变
有根树与无根树：DFS序通常用于有根树，需要先指定根节点
内存优化：对于大规模数据，可以使用时间戳代替完整的DFS序数组
边界处理：注意tin和tout数组的初始化，避免越界访问

10. 总结

DFS序是树结构线性化的重要工具，它将树上的操作转化为序列上的操作，大大简化了问题的复杂度。掌握DFS序及其应用，对于解决树相关算法问题具有重要意义。