可以说是 DP 乱做。
先做几道真题。
1.P7077 [CSP-S2020] 函数调用
很明显各个函数的调用关系是一张 DAG。假如只有函数 2,我们就只需要 dfs 一遍就可以求出所有函数的 $mul_i$。我们并不好处理先进行函数 1 再进行函数 2 的情况。于是我们考虑再求出一个 $add_i$ 表示调用完所有函数后第 $i$ 个数的增量。
容易想到在拓扑序 DP 来求这个东西。其实想要求 $add$ 数组很简单,乘 $k$ 也看作将该函数被执行 $k$ 次,我们只需要求出每个函数被执行了多少次,这个我们用 $f_i$ 表示函数 $i$ 被执行了多少次。
因为我们是按照拓扑序来考虑每个函数,而非函数本来的执行顺序。所以我们需要先考虑 $f$ 的初值。$res$ 是一个动态维护的值,表示在第 $i$ 个执行的函数被执行了 $res$ 次(注意上文所说的“被执行”)。对于三种类型的函数分开讨论:1.直接加上 $res$;2.用 $res$ 乘上 $mul_{fuc_i}$(不用加上 $res$,因为我们们根本不关心函数 2 的 $f$ 值);3.先加上 $res$ ,再用 $res$ 乘上 $mul_{fuc_i}$。
接着我们考虑 DP,设当前节点为 $x$。还是对于三种类型的函数分开讨论:1.直接计算 $add_{pos_x}$;2.根本不用管;3.我们尝试倒序遍历其所有出点,就像上面求初值一样来处理所有出点的 $f$ 值,只不过不需要讨论类型,还有最开始的 $res$ 的值应该为 $f_x$ 。
似乎就这样做完了。。。
Code
1 |
|
2.P7961 [NOIP2021] 数列
注意到 $n,m$ 的范围,应该是个高维 DP。
先设计状态,将我们不太好处理的东西直接记录入状态:比如 $1$ 的个数和进位的问题,设 $f_{i,j,k,p}$,意为前 $i$ 个数选取 $j$,$1$ 的个数为 $k$,先高一位进位 $p$ 的方案数。
从之前的状态转移到当前状态显然不好搞,所以考虑从当前状态向之后的状态进行转移。同时最后一层枚举 $t$,表示选 $t$ 个 $i$。似乎很容易得到状态的转移:
因为权值是一个乘积和的形式,我们也可以尝试拆贡献,也可以比较容易得到:$v_i^t\times C_{n-j}^{t}$。然后就转移就可以了。时间复杂度$\mathcal O(n^4m)$。
其实还可以用滚动数组优化一下,但影响不大。
Code
1 |
|
3.P3953 [NOIP2017 提高组] 逛公园
我们很容易想到用 DP,并且注意观察 $k$ 的值很小,考虑可以将其记录进状态。设 $f_{x,k}$ 表示从 $1$ 走到点 $x$ ,长度为最短路 $+k$ 的路径数量。 考虑建反图然后记忆化搜索。设边为 $(x,y,z)$,转移很显然有:
如何判 $0$ 环呢,只需要开一个数组判断一下会不会递归到我们需要求解的状态就可以了。
其实似乎也可以递推求解,状态与上面相似,需要按照 $dis$ 从小到大的顺序转移。只不过对于有 $0$ 的边,需要以拓扑序为第二关键字进行转移。稍微麻烦一点。
下面是记忆化搜索的代码。
Code
1 |
|