P6275 [USACO20OPEN]Sprinklers 2: Return of the Alfalfa P 题解

一道很妙的 DP 题，一眼过去感觉这好像是个轮廓线 DP，然后这道题确实是轮廓线 DP 但不是 $2^n$ 那种的。

本篇题解参照了其他题解的思路 （我从来没写过这种套路的题），在此表示感谢。

直接进入正解。

首先规定一下本文中的 $(i,j)$ 不是指第 $i$ 行第 $j$ 列，而是指网格线的第 $i$ 行第 $j$ 列这个点，如下图所示：

红色点就是 $(4,5)$。

这道题的轮廓线就是从 $(0,0)$ 到 $(n,n)$ 的一条往右下线。

设 $f_{i,j,0/1}$ 表示前面 $i$ 行都全部覆盖，当前轮廓线终止在 $(i,j)$，轮廓线的最后一根方向是往右还是往下时的方案数。

---

首先看几个结论：

1. 轮廓线的拐点数就是必须要放的洒水器数。

比如说下图，有 5 个拐点，那么就要放 5 个洒水器。

2. 假设上图必须要放 $k$ 个洒水器，整张图能放洒水器的面积为 $S$，那么对于当前轮廓线的总方案数为 $2^{S-k}$。
   这个结论还是很明显的吧，就是因为剩下的点可放可不放，而且每个点能放的洒水器数量只有一种。

---

好的又设 $su{m}_i$ 表示这一行的能放洒水器的数量（空地数），可以开始推方程了。

对于 $f_{i,j,0}$：

我们发现其需要从 $f_{i,j-1,0/1}$ 转移。

1. 从 $f_{i,j-1,0}$ 转移。

此时是这样的：

发现拐点数没变，覆盖总面积也没变，因此 $f_{i,j-1,0}$ 的贡献是 $f_{i,j-1,0}$。

2. 从 $f_{i,j-1,1}$ 转移。

发现新增了一个红色的洒水器，总面积没变，对应的 $2^{S-k}$ 变为 $2^{S-k-1}$，因此 $f_{i,j-1,1}$ 的贡献是 $\frac{f_{i,j-1,1}}{2}$。

综上，$f_{i,j,0}=f_{i,j-1,0}+\frac{f_{i,j-1,1}}{2}$。

对于 $f_{i,j,1}$：

注意 $f_{i,j,1}$ 需要从 $f_{i-1,j,0/1}$ 转移过来，因此面积数和拐点数都有变动。

$f_{i-1,j,0}$ 的贡献：面积数增加 $su{m}_i$，拐点数增加 1，方案数变化为 $2^{S-k}\to 2^{S-k+su{m}_i-1}$，因此贡献是 $f_{i-1,j,0}\times 2^{su{m}_i-1}$。

$f_{i-1,j,1}$ 的贡献：面积数增加 $su{m}_i$，拐点数不变，方案数变化为 $2^{S-k}\to 2^{S-k+su{m}_i}$，因此贡献是 $f_{i-1,j,1}\times 2^{su{m}_i}$。

所以 $f_{i,j,1}=f_{i-1,j,0}\times 2^{su{m}_i-1}+f_{i-1,j,1}\times 2^{su{m}_i}$。

这一组转移可以参考下面两幅图：

注意 DP 的时候 $i:\text{0}\to n,j:\text{0}\to n$，整体代码还是很好写的。

Code：GitHub CodeBase-of-Plozia P6275 [USACO20OPEN]Sprinklers 2 Return of the Alfalfa P.cpp