[APIO2014] 序列分割（斜率优化dp）

problem

luogu-P3648

你正在玩一个关于长度为 $n$ 的非负整数序列的游戏。这个游戏中你需要把序列分成 $k+1$ 个非空的块。

为了得到 $k+1$ 块，你需要重复下面的操作 $k$ 次：

• 选择一个有超过一个元素的块（初始时你只有一块，即整个序列）
• 选择两个相邻元素把这个块从中间分开，得到两个非空的块。
• 每次操作后你将获得那两个新产生的块的元素和的乘积的分数。

你想要最大化最后的总得分。

输出最后得分以及划分的任一方案。

solution

前提结论：得分与切的先后顺序无关。

假设要把 $abc$ 切成 $a\mid b\mid c$。

• 先切 $a\mid bc$，再切 $a\mid b\mid c$，$ans=a\ast (b+c)+b\ast c=ab+ac+bc$。
• 先切 $ab\mid c$，再切 $a\mid b\mid c$，$ans=(a+b)\ast c+a\ast b=ac+bc+ab$。

这样就可以从左到右 $dp$ 了。记 $su{m}_i={\sum }_{j=1}^i{a}_i$，即元素分数前缀和。

设 $f(i,j):$ 前 $i$ 个数切成 $j$ 段的最大得分。

则 $f(i,j)={\max }_{k<i}\{f(k,j-1)+sum(k)\ast (sum(i)-sum(k)\left)\right\}$。

$j$ 只跟 $j-1$ 有关，考虑提到最外面循环，内层简写 $f(i,j-1)=f(i)$。

假设 $k_1<k_2$，且 $k_1$ 决策优于 $k_2$。

则必定满足：
$$f(k_1)+su{m}_{k_1}\ast su{m}_i-su{m}_{k_1}^2>f(k_2)+su{m}_{k_2}\ast su{m}_i-su{m}_{k_2}^2$$

$$f(k_1)-su{m}_{k_1}^2-f(k_2)+su{m}_{k_2}^2>(su{m}_{k_2}-su{m}_{k_1})su{m}_i$$

$sum$ 是前缀和数组，所以 $su{m}_{k_2}\ge su{m}_{k_1}$，具有单调性。
$$\frac{(f(k_1)-su{m}_{k_1}^2)-(f(k_2)-su{m}_{k_2}^2)}{(-su{m}_{k_1})-(-su{m}_{k_2})}>sum(i)$$
标准斜率优化的式子，因为 $O(nk)$ 无法再接受一个 $\log$ ，所以我最热爱的李超树就被 $\text{pass}$ 掉了。

斜率优化想必最头疼的就是用队列维护首尾弹出时的大小于符号的定向问题。

网上一堆凸包图形，对于我这种平面几何感几乎为零的蒟蒻而言简直就是天方夜谭。

所以这里写一种判断方法吧，不保证正确性

• 队首的弹出很简单，因为上面的斜率优化式子已经化出来了，直接 $slope(q[head],q[head+1])$ 和 $sum(i)$ 比较。

  如果 $\le sum(i)$ 说明 $k_2$ 即后者 $q[head+1]$ 更优。

  就需要弹队首。

• 队尾的弹出较为复杂，考虑的是 $slope(q[tail-1],q[tail])$ 和 $slope(q[tail],i)$。

  准确而言是考虑 $q[tail]$ 可不可能做队首。

  那么当现在的队尾在后面某个枚举位置时变成了队首，

  就必须要满足 $slope(q[tail-1],q[tail])\le su{m}_p$，这样才能弹出 $q[tail-1]$。

  • 假设弹队尾的条件是 $slope(q[tail-1],q[tail])\le slope(q[tail],i)$。

    显然存在 $slope(q[tail-1],q[tail])\le su{m}_p<slope(q[tail],i)$ 的可能性。

    所以这么弹可能把答案取值点给弹出去。

  • 假设弹队尾的条件是 $slope(q[tail-1],q[tail])\ge slope(q[tail],i)$。

    因为 $slope(q[tail],i)\le slope(q[tail-1],q[tail])\le su{m}_p$，

    所以 $q[tail-1]$ 被 $q[tail]$ 弹出后，马上 $q[tail]$ 就会被 $i$ 弹出去。

    那么 $q[tail]$ 永远都不可能当队首。

  综上，我们确定了队尾判断的符号。

注意：前面的表述据说明 $su{m}_i$ 不是严格递增的，存在平台，所以遇到 $su{m}_i=su{m}_j$ 返回斜率极小值即可。

code

#include <bits/stdc++.h>
using namespace std;
#define int long long
#define maxn 100005
int n, k, d;
int a[maxn], sum[maxn], q[maxn];
int g[maxn][205], f[maxn][205];
double slope( int x, int y ) {
	if( sum[x] == sum[y] ) return -1e18;
	return (f[x][d] - sum[x] * sum[x] - f[y][d] + sum[y] * sum[y]) * 1.0 / (sum[y] - sum[x]);
}
void print( int n, int d ) {
	if( d == 1 ) return;
	print( g[n][d], d - 1 );
	printf( "%d ", g[n][d] );
}
signed main() {
	scanf( "%lld %lld", &n, &k );
	for( int i = 1;i <= n;i ++ ) scanf( "%lld", &a[i] );
	for( int i = 1;i <= n;i ++ ) sum[i] = sum[i - 1] + a[i];
	for( d = 1;d <= k;d ++ ) {
		int head = 1, tail = 0;
		for( int i = 1;i <= n;i ++ ) {
			while( head < tail and slope( q[head], q[head + 1] ) <= sum[i] ) head ++;
			f[i][d + 1] = f[q[head]][d] + sum[q[head]] * ( sum[i] - sum[q[head]] );
			g[i][d + 1] = q[head];
			while( head < tail and slope( q[tail - 1], q[tail] ) >= slope( q[tail], i ) ) tail --;
			q[++ tail] = i;
		}
	}
	printf( "%lld\n", f[n][d] );
	print( n, d );
	return 0;
}