CSP2019 划分

全网首证，洛谷题解同步发布

CSP-S惊现两道黑题，第一届CSPer跪求改回NOIP( 这到底是人性的扭曲，还是道德的沦丧)

首先，这道题需要一个结论 （打表大法好）:
对于任何 $i$ ,最后一块尽量小，平方和越小
若成立：
$su{m}_i={\sum }_{j=1}^i{a}_j$
令$d{p}_i$为最大且满足$su{m}_{d{p}_i}-su{m}_{d{p}_{d{p}_i}}\le su{m}_i-su{m}_{d{p}_i}$

INT ans=0;
for(int i=n;i;i=dp[i])
	ans+=(sum[i]-sum[dp[i]])*(sum[i]-sum[dp[i]]);
print(ans);

单调队列优化可O(n)
再打一个压位高精即可AC

本题解良(hei)心提供证明：

part1:

当$i\le 2$时，一定成立。。。
太显然了，就不证了。。。

part2:

前方高能

考虑数学归纳法
假设已证当$i<x$时成立

令$an{s}_x=\sum (su{m}_i$