算法学习笔记（10）：各种序的美好性质

合集 - 算法(31)

1.算法学习笔记（1）：CDQ分治2023-11-172.算法学习笔记（2）：分块2023-11-303.算法学习笔记（3）：莫队算法2024-01-014.算法学习笔记（4）：FHQ平衡树（无旋平衡树）2024-01-015.算法学习笔记（5）：AC自动机2024-01-016.算法学习笔记（6）：优秀trick和性质合集2024-03-097.算法学习笔记（7）：数论2024-03-098.算法学习笔记（9）：第k大问题合集2024-03-16

9.算法学习笔记（10）：各种序的美好性质2024-03-16

10.算法学习笔记（11）：历史版本和线段树2024-03-3111.算法学习笔记（12）：左偏树2024-04-0812.算法学习笔记（13）：同余最短路2024-04-1213.算法学习笔记（14）：区间最值操作和历史最值问题2024-04-2814.算法学习笔记（15）： Splay树2024-05-0615.算法学习笔记（16）：Link Cut Tree2024-05-0716.算法学习笔记（17）：Slope trick2024-05-1017.算法学习笔记（18）：珂朵莉树2024-05-1318.算法学习笔记（20）：网络流2024-05-1719.算法学习笔记（21）：数论分块2024-06-0620.算法学习笔记（22）：莫比乌斯反演2024-06-0621.算法学习笔记（23）：杜教筛2024-06-0722.算法学习笔记（24）：筛法2024-06-0823.暑假集训学习笔记（1）：lxl DS Day 12024-07-0224.暑假集训学习笔记（2）：lxl DS Day 22024-07-0225.暑假集训学习笔记（3）：lxl DS Day 32024-07-0426.多项式笔记2024-07-0827.生成函数笔记2024-07-0828.插头DP2024-07-2529.DP选讲做题记录 by 付乙淼2024-07-2630.拓展摩尔投票2024-09-1831.图论知识总结2024-09-25

收起

dfs序

定义

dfs序是指：每个节点在dfs深度优先遍历中的进出栈的时间序列。

序列

树上路径

任意子树都是连续的。例如假设有个子树$BEFK$，在序列中对应的部分是：$BEEFKKFB$；子树 $CGHI$ ，在序列中对应的部分是：$CGGHHIIC$ 。
任意点对 $(a,b)$ 之间的路径，可分为两种情况，首先是令 $lca$ 是 $a、b$ 的最近公共祖先：
1.若 $lca$ 是 $a、b$ 之一，则 $a、b$ 之间的 $in$ 时刻的区间或者 $out$ 时刻区间就是其路径。例如$AK$之间的路径就对应区间 $ABEEFK$ 或者 $KFBCGGHHIICA$。
2.若 $lca$ 另有其人，则a、b之间的路径为 $In[a]、Out[b]$ 之间的区间或者$In[b]、Out[a]$ 之间的区间。另外，还需额外加上lca！！！考虑 $EK$ 路径，对应为$EFK$再加上 $B$ 。考虑 $EH$ 之间的路径，对应为 $EFKKFBCGGH$ 再加上 $A$ 。

考虑这些性质， 可以用dfs序做树上括号序莫队。

子树

性质： 以 $u$ 为根的子树de所有的节点， 在dfs序中是连续的一段。
应用： 可以利用dfs序和差分， 将路径加， 单点查问题转化成单点加， 子树和问题。
同时子树和可以转化成序列区间问题， 这样就可以上数据结构了。

链

最经典的应用就是树链剖分， 优先访问重链， 使重链在dfs序中为连续的一段， 从而通过数据结构可以维护整棵树的信息。

树

dfs序对于树本身也有很多美好性质。

极小生成子树（自己命名的）

给定一些关键点， 我们怎么得到最小的包括所有关键点的子树的信息呢。

将每个关键点按 $dfs$序排序， 得到$a[k]$数组。
这颗子树的边权和 $sum=((\sum dis(a[i],a[i-1]))+dis(a[1],a[k]))/2$
这里的 $dis$ 仅仅是一个例子， 还可以改成各种想维护的信息。

虚树： 实际上就是建出极小生成子树， 将相邻两点的 $lca$ 加入序列， 去重后， 根据父子关系建树即可。

欧拉序

定义：进入节点时记录，每次遍历完一个子节点时，返回到此节点记录，得到的 2 ∗ N − 1 长的序列；

性质：节点 x 第一次出现与最后一次出现的位置之间的节点均为 x 的子节点；
任意两个节点的 LCA 是欧拉序中两节点第一次出现位置中深度最小的节点。两个节点第一次出现的位置之间一定有它们的LCA，并且，这个LCA一定是这个区间中深度最小的点。
所以欧拉序可以做到 $O(nlogn)$ 预处理， $O(1)$查询 $lca$;