[luogu5665]划分

暴力dp，用f[i][j]表示前i个数，最后一个区间是(j,i]的最小答案，转移方程用可以用前缀和来优化，复杂度为$o(n^3)$
（然后可以各种优化到$o(n^2)$，但这不需要）
输出f[i][j]，可以发现若f[i][j-1]和f[i][j]合法，那么$f[i][j]le f[i][j-1]$
证明：数归，考虑令f[i][j]和f[i][j-1]都合法，设f[i][j-1]由f[j-1][k]转移，f[i][j]由f[i][k']转移，必然有$kle k'$，即在左边可以删掉若干个数（可以为0个）来保证合法
按照这样的策略划分f[i][j-1]，设划分出的区间和分别是$S1le S2le ……le St$，然后分别在左边删除Li，右边加入Ri，显然有$L1=Rt=0$且$R_{i-1}=Li$，那么区间和从$sum_{i=1}^{t}Si^{2}$变成$sum_{i=1}^{t}(Si+Ri-Li)^2=sum_{i=1}^{t}Si^2+sum_{i=1}^{t}(Ri-R_{i-1})^{2}+2sum_{i=1}^{t}Si(Ri-R_{i-1})le sum_{i=1}^{t}Si^2+2sum_{i=1}^{t}Ri(Si-S_{i-1})le sum_{i=1}^{t}Si^2$
通过证明，同时也可以得到最优方案如何构造，用优先队列来维护出最后一个合法的，然后从n往前选择即可
考场上需要写高精度（比较懒就用__int128了）

#include<bits/stdc++.h>
using namespace std;
#define mod (1<<30)
#define N 40000007
#define ll long long
#define lll __int128
int n,type,m,x,y,z,q[N],f[N],b[N];
ll ans,a[N];
ll calc(int k){
    return 2*a[k]-a[f[k]];
}
void write(lll k){
    if (k>9)write(k/10);
    putchar(k%10+'0');
}
int main(){
    scanf("%d%d",&n,&type);
    if (!type)
        for(int i=1;i<=n;i++){
            scanf("%d",&x);
            a[i]=a[i-1]+x;
        }
    else{
        scanf("%d%d%d%d%d%d",&x,&y,&z,&b[1],&b[2],&m);
        for(int i=3;i<=n;i++)b[i]=(1LL*x*b[i-1]+1LL*y*b[i-2]+z)%mod;
        int xx=1;
        for(int i=1;i<=m;i++){
            scanf("%d%d%d",&x,&y,&z);
            for(int j=xx;j<=x;j++)a[j]=a[j-1]+b[j]%(z-y+1)+y;
            xx=x+1;
        }
    }
    x=1;
    y=0;
    for(int i=1;i<=n;i++){
        while ((x<=y)&&(calc(q[x])<=a[i]))x++;
        f[i]=q[x-1];
        while ((x<=y)&&(calc(q[y])>=calc(i)))y--;
        q[++y]=i;
    }
    lll ans=0,o=1;
    for(int i=n;i;i=f[i])ans+=o*(a[i]-a[f[i]])*(a[i]-a[f[i]]);
    write(ans);
}