[CCO2017] 接雨滴
题目描述
晚上，夜黑风高，大雨疯狂地从天而降。
Lucy 想要接住一些雨滴，但她只有有限的工具。她有一套不同高度的柱子来接住雨滴。每根柱子的高度为整数，宽度为 \(1\)。她排列好柱子之后，就会用其他器具夹紧柱子，来让雨滴顺利地储存在柱子的间隙里。你可以认为雨滴的数量是无限的。
举个例子，如果 Lucy 有高度分别为 \((1,5,2,1,4)\) 的五根柱子，她可以这样排列柱子。
*
* *
* *
** *
*****
这样会接住 \(5r\) 雨滴（\(r\) 代表 \(1\) 个单位的雨滴）。
为了方便表述，我们定义 \(r\) 为雨滴的单位。
*
*RR*
*RR*
**R*
*****
当然了，她也可以这样摆放柱子，这样可以接住 \(6r\) 雨滴。
*
*RR*
*RR*
**RR*
*****
再举一个例子，如果柱子的高度分别为 \((5,1,5,1,5)\)，Lucy 可以接住 \(8r\) 雨滴。
*R*R*
*R*R*
*R*R*
*R*R*
*****
最后一个例子，如果柱子的高度分别为 \((5,1,4,1,5)\)，她可以接住 \(9r\) 雨滴。
*RRR*
*R*R*
*R*R*
*R*R*
*****
Lucy 有 \(n\) 个高度为 \(h_1,h_2,...,h_n\) 的柱子。她想知道，在所有可能的摆放方案中，所有可能的雨滴量（以 \(r\) 为单位）是多少。（具体可看样例解释）
slove
结论：对于某个柱子 x 上方的积水体积，可能产生的所有体积都是合法的。
证明：
首先，形成积水肯定需要两个高柱子，即最高柱和次高柱。我们先放好。接着，我们要插入一个柱子\(x\)，考虑\(x\)上方能增加多少积水体积。
1）若我们想让x上方没有积水
我们找到柱子\(y\)，使得\(Hy <= Hx\)，\(Hy\)最小并且y上方没有积水。
我们再找一个比\(y\)更高的柱子\(z\)
https://excalidraw.com/
将\(x\)插在\(y\)和\(z\)之间且紧贴着\(z\)。
因为我们找到的 \(y\) 是所有高度不大于 \(x\) 号柱子、且上方没有积水的柱子里最低的那一个，因此 \(z\) 高度一定大于等于 \(x\) （不然找到的就该是 \(z\) 了），于是这么插入不会产生新的积水。
在\(y\)存在的情况下，由于有最高峰，所以\(z\)一定存在。如果y不存在，那么不被积水覆盖的柱子都比x高，直接把x放在边界。
因此，一定有一种方案使得插入x后总共先不变。
2)设有一个比他高的柱子\(y\)，要使得总贡献增加\((a{_y}-a{_x})\)
1.如果y没有被积水覆盖
除非\(y\)是最高峰，一定可以插到y的一侧满足总贡献增加\((a{_y}-a{_x})\)
2.如果\(y\)被覆盖了。
找到一个离\(y\)最近的，最低的且没有被积水覆盖的柱子\(z\).
我们把\(y\)换为\(x\)，贡献变为了\((a{_y}-a{_x})\), 把\(y\)抽出来，按照1)处理即可。
3)如果\(y\)未被插入，从大到小插入就可以。
综上，对于某个柱子 $
x $上方的积水体积，可能产生的所有体积都是合法的。
背包转移，bitset优化。
using namespace std;
const int maxN=5e2+5,maxH=5e1+5;
int a[maxN];
bitset<maxN*maxH>dp,tem;
int main()
{
int n;
scanf("%d",&n);
for(int i=1;i<=n;++i)
{
scanf("%d",&a[i]);
}
sort(a+1,a+1+n);
dp[0]=true;
for(int j=1;j<n;++j)
{
for(int st=j+1;st<n;++st)
{
tem|=(dp<<(a[st]-a[j]));
}
dp|=tem;
}
for(int i=0;i<=25000;++i)
{
if(dp[i])
{
printf("%d ",i);
}
}
}