浅谈动态dp

动态DP主要用来解决对蒟蒻们（比如我）本来比较友好的树上DP问题（静态树），但是被一些毒瘤出题人（惊现lxl！）硬套上了对点权的修改操作，比如洛谷上的这道题（P4719 【模板】“动态 DP”&动态树分治）：

给定一棵 $n$ 个点的树，点带点权。有 $m$ 次操作，每次操作给定 $x,y$，表示修改点 $x$ 的权值为 $y$。你需要在每次操作之后求出这棵树的最大权独立集的权值大小。

首先概述一下独立集的概念：对于集合中的任意两元素 $u,v$ ，满足：$u$ 与 $v$ 间没有边连接。

若忽略“动态”这一属性，即没有修改操作，则可以得到与Luogu P1352 没有上司的舞会类似的题意。

做法如下：

设函数 $f(x,y)$ ( y ∈ { 0 , 1 } ) \Big(y\in\{0,1\}\Big) (y∈{0,1}) ：

1. $f(x,0)$ 表示以 $x$ 为根的子树中，不取 $x$ 时的最大权独立集的权值大小；

2. $f(x,1)$ 表示以 $x$ 为根的子树中，取 $x$ 时的最大权独立集的权值大小。

则很容易推出：

$$f(x,y)=\{\begin{array}{ll}{\sum }_{p\in so{n}_x}\max (f(p,1),f(p,0))& y=0\\ ({\sum }_{p\in so{n}_x}f(p,0))+v_x& y=1\end{array}$$

即意为：不若选 $x$ ，$x$ 的孩子可以选也可以不选，可以贪心求最大值。

​ 若选 $x$ ，$x$ 的孩子绝对不选，别忘了加上本来的权值。

可以发现，若求 $f(x,y)$ ，必须求出所有的 $f(p,y)$ $(p\in so{n}_x)$

所以我们先递归达到底部，在回溯的过程中维护 $dp$ 的值。

时间复杂度$O(n)$

那么看看加上“动态“性质后的做法：

Solution 1 暴力

每次修改暴力重建 $dp$ 值，时间复杂度 $O(nm)$ 会炸。

Solution 2 暴力优化

每次修改影响到的 $dp$ 值只在修改点 $P$ 到根的路径上，复杂度 $O(\sum len)$

可以发现，我们的瓶颈在于每次修改时都需要暴力遍历一遍，即使优化后若图是链状的，那你就优化了个寂寞。

那我们想要什么呢？我们想要 polylog​ ！

那一般什么有 polylog 呢？明显是线段树/平衡树/二分。

那我比较菜只会线段树怎么办？ 树链剖分！

子问题 solution

在搞树链剖分之前，我们先讨论一个子问题：

给你一个序列，每次对其中的单个数字进行修改，每次操作后在序列中选出若干个数，使其两两不相邻且权值最大，求出权值最大值。

朴素的方法：

设函数 $f(x,y)$ ( y ∈ { 0 , 1 } ) \Big(y\in\{0,1\}\Big) (y∈{0,1}) ：

1. $f(x,0)$ 表示前 $x$ 个数中不取 $x$ 时的最大值

2. $f(x,1)$ 表示前 $x$ 个数中取 $x$ 时的最大值

$f(x,y)=\{\begin{array}{ll}\max (f(x-1,1),f(x-1,0))& y=0\\ f(x-1,0)+v_x& y=1\end{array}$

可以根据上文自行推导。

此时我们要想维护这样一个函数值，可以写成$\left|\begin{array}{c}f(x,0)\\ f(x,1)\end{array}\right|$

重定义矩阵乘法：$$\begin{gathered} A\ast B=C \\ {C}_{i,j}=max(A_{i,k}+B_{k,j}) \end{gathered}$$

那么把转移写成矩阵乘法，则为

$\left|\begin{array}{cc}0& 0\\ v_i& -\infty \end{array}\right|\times \left|\begin{array}{c}f(x-1,0)\\ f(x-1,1)\end{array}\right|=\left|\begin{array}{c}f(x,0)\\ f(x,1)\end{array}\right|$

很容易发现，在知道 $v_i$ 和 $f(x-1,1)$ 与 $f(x-1,0)$ 时， $f(x,1)$ 与 $f(x,0)$ 都是可求的

因为 $max$ 具有结合律的，易证此矩阵乘法也有结合律。所以我们使用线段树维护，每次修改操作遍历到底就好了。

push_up 即为：$an{s}_p=an{s}_{l{c}_p}\ast an{s}_{r{c}_p}$

想要得到答案 query 根节点即可。

复杂度$O(m\log n)$ ，欧耶 polylog !（）

所以树链剖分能做什么呢？树链剖分能做的是把树划分成一个个这样的序列，只不过对每一个点还需要考虑一下其连接轻链的值。

为了降低复杂度，我们把当前线段树的根储存在链顶即可。

Solution 正解

设函数 $f(x,y)$，$g(x,y)$ ( y ∈ { 0 , 1 } ) \Big(y\in\{0,1\}\Big) (y∈{0,1})：

1. $f(x,0)$ 表示以 $x$ 为根的子树中，不取 $x$ 时的最大权独立集的权值大小；

2. $f(x,1)$ 表示以 $x$ 为根的子树中，取 $x$ 时的最大权独立集的权值大小。

3. $g(x,0)$ 表示以 $x$ 为根的轻链子树中，不取 $x$ 时的最大权独立集的权值大小；

4. $g(x,1)$ 表示以 $x$ 为根的轻链子树中，取 $x$ 时的最大权独立集的权值大小；

则很容易推出：$$g(x,y)=\{\begin{array}{ll}{\sum }_{p\in lightso{n}_x}\max (f(p,1),f(p,0))& y=0\\ ({\sum }_{p\in lightso{n}_x}f(p,0))+v_x& y=1\end{array}$$

​ $$f(x,y)=\{\begin{array}{ll}g(x,0)+\max (f(heavyso{n}_x,0),f(heavyso{n}_x,1))& y=0\\ g(x,1)+f(heavyso{n}_x,0)& y=1\end{array}$$

那么我们可以推得新矩阵转移方程：

​ $$\left|\begin{array}{cc}g(u,0)& g(u,0)\\ g(u,1)& -\infty \end{array}\right|\times \left|\begin{array}{c}f(heavyso{n}_x,0)\\ f(heavyso{n}_x,1)\end{array}\right|=\left|\begin{array}{c}f(x,0)\\ f(x,1)\end{array}\right|(u\in lightso{n}_x)$$

先对树进行树链剖分，同时建里线段树维护$f(i,j)$的值即可，线段树维护同上一样。

就不给贴代码了、