【题解】iai430 平分数字（二）

序

看上去像简单背包，实则不简单。

题面

暴力

有的时候不会做，想想暴力也有启发

首先考虑到背包 $dp$，设 $f(i,j,k)$，表示决策到第 $i$ 人，两人分别选了 $j,k$ 是否可行。
$$f(i,j,k)=or\{\begin{array}{l}f(i-1,j,k)\\ f(i-1,j,k-a_i)\\ f(i-1,j-a_i,k)\end{array}$$
时间上 $\mathcal{O}(n(\sum a_i{)}^2)$。

正解

考虑去减少状态，将最有用的信息精简出来。用 $j,k$ 的差值代替 $j,k$。然后为了知道 $j,k$，将它们的较小值存入 $f(i,j)$（这里 $j$ 表示差值），即 $f(i,j)$ 表示决策到第 $i$ 人，现在两人分别选的和的差值为 $j$ 时，选的和最小的最大值。答案是 $f(n,0)$，继而考虑转移方法：
$$f(i,j)=max\{\begin{array}{l}f(i-1,j)\\ f(i-1,j+a_i)+a_i\\ f(i-1,j-a_i)\\ f(i-1,a_i-j)+a_i-j\end{array}$$
以下分别解释四种转移：

1. 不选，直接转
2. 原来的和小的选取 $a_i$，并且现在没有超过大的
3. 原来的和大的选取 $a_i$
4. 原来的和小的选取 $a_i$，并且现在超过原来大的，参考下图：（根据图推一下就很容易了）
   

时间上 $\mathcal{O}(n\sum a_i)$，足以通过本题。

code

总结

最近做 $dp$ 发现一些容易忽略的地方，比如子问题是否能推出当前问题，子问题是否在后续推导中具有唯一代表性？在注意以上条件下，合理地简化状态中的信息，便可以提升代码的性能（更有效地压榨计算机）。