【模板】动态DP&对于树链剖分的一些思考&全局平衡二叉树

---

链分治

链分治就是树链剖分。

在需要回答在子树/或结点到根路径查询时，由于$dfs$序的连续性，可以用到树链剖分将复杂度降到$lo{g}^{2}n$。

先不考虑具体如何维护每个点的$dp$值，假设转移是$O(1)$的，可以用线段树维护，那么修改某个点的$dp$值实际上就是修改了它到根路径上的值，查询答案即为根结点上的值。

在链分治后，只会跳$logn$次链，每次链内/链与链交接处都可以$logn$修改。

---

动态DP

查询操作

求树上的最大权独立集的权值大小。

设$f[x][1/0]$分别表示选/不选点$x$时，$x$子树上的最大权独立集的权值大小，

正常的$DP$转移：
$f[x][0]=ma{x}_{y\in so{n}_x}(f[y][0],f[y][1])$
$f[x][1]=va{l}_x+ma{x}_{y\in so{n}_x}f[y][0]$

为了达到每次链内/链与链交接处都可以$logn$修改，我们显然不能对于每个点逐个儿子的转移，而需要把信息压成重儿子和轻儿子两部分。

设$g[x][1/0]$分别表示不考虑重儿子情况下，选/不选点$x$时，$x$子树上的最大权独立集的权值大小。

现在的$DP$转移：
$f[x][0]=g[x][0]+max(f[so{n}_x[0],f[so{n}_x][1]])$
$f[x][1]=g[x][1]+f[so{n}_x][0]$

似乎可以$O(1)$合并了，线性的加和取$max$。

考虑维护连续的一段线性的加和取$max$的方法，我们联想到了矩阵。

上述转移可以仿照$Floyd$的形式写成矩阵乘法：
$$\left[\begin{array}{c}f[x][0]\\ f[x][1]\end{array}\right]=[\begin{array}{c}g[x][0]\\ \end{array}$$