树链剖分 —— 详解+题目练习

树剖的东西就不在额外单列出来讲了，主要的知识点都穿插在例题中了，最基本的东西都放在第一题中了，大家可以自行观看 其实是我写完才发现应该单独列出来讲得，对不起，但我真的懒

1.【模板】lca

【模板】最近公共祖先（LCA）

题目描述

如题，给定一棵有根多叉树，请求出指定两个点直接最近的公共祖先。

输入格式

第一行包含三个正整数 $N,M,S$，分别表示树的结点个数、询问的个数和树根结点的序号。

接下来 $N-1$ 行每行包含两个正整数 $x,y$，表示 $x$ 结点和 $y$ 结点之间有一条直接连接的边（数据保证可以构成树）。

接下来 $M$ 行每行包含两个正整数 $a,b$，表示询问 $a$ 结点和 $b$ 结点的最近公共祖先。

输出格式

输出包含 $M$ 行，每行包含一个正整数，依次为每一个询问的结果。

样例 #1

样例输入 #1

5 5 4
3 1
2 4
5 1
1 4
2 4
3 2
3 5
1 2
4 5

样例输出 #1

4
4
1
4
4

提示

对于 $30\%$ 的数据，$N\le 10$，$M\le 10$。

对于 $70\%$ 的数据，$N\le 10000$，$M\le 10000$。

对于 $100\%$ 的数据，$N\le 500000$，$M\le 500000$。

样例说明：

该树结构如下：

第一次询问：$2,4$ 的最近公共祖先，故为 $4$。

第二次询问：$3,2$ 的最近公共祖先，故为 $4$。

第三次询问：$3,5$ 的最近公共祖先，故为 $1$。

第四次询问：$1,2$ 的最近公共祖先，故为 $4$。

第五次询问：$4,5$ 的最近公共祖先，故为 $4$。

故输出依次为 $4,4,1,4,4$。

题解

lca可以用倍增求，也可以用树剖求，这里详细讲解一下树剖。
定义:
重子节点 表示其子节点中子树最大的子结点。如果有多个子树最大的子结点，取其一。如果没有子节点，就无重子节点。

定义轻子节点表示剩余的所有子结点。

从这个结点到重子节点的边为重边。

到其他轻子节点的边为轻边。

若干条首尾衔接的重边构成重链。

把落单的结点也当作重链,那么整棵树就被剖分成若干条重链。

• $fa(x)$ 表示节点$x$在树上的父亲。
• $dep(x)$ 表示节点$x$在树上的深度。
• $siz(x)$ 表示节点$x$的子树的节点个数。
• $son(x)$ 表示节点$x$的重儿子。
• $top(x)$ 表示节点$x$在重链的顶部的节点（深度最小）
• $dfn(x)$ 表示节点x的$DFS$序，也是其在线段树的编号
• $rnk(x)$ 表示DFS序所对应的节点编号，即$rnk(dfn(x))=x$
  如图
  
  前面没有讲太多有用的东西，接下来把模板代码展示给大家，具体的细节可以看注释
  $code$

#include<bits/stdc++.h>
using namespace std;
const int N=1e5+10;
int l[N],len,fa[N],son[N],dep[N],top[N],siz[N];
int n,m,dfn[N],rnk[N];

struct nod
{
   
    int nxt;
    int y;
}e[N*2<