AtCoder Regular Contest 100 B.Equal Cut(思维题 枚举+单增性质)

题目

给你一个n，4<=n<=2e5，

输入一个长度为n的数组a[]，

要求把数组分成四个连续的部分，

每一部分对应一部分的和，

使得最大的和-最小的和最小

思路来源

https://www.cnblogs.com/widsom/p/9279478.html

题解

最后分为四部分[1,l1][l1+1,i][i+1,l2][l2+1,n]

相当于对原数组插入三个右端点，使得数组被分成四分

那么枚举中间的右端点i，这样左右被分成两半

注意到对于一个长度不变的区间，

其中间点在单增的过程中，先是后半段和>前半段和，然后前半段和>后半段和

所以这两段的绝对值的差是先减后增存在最小值的，

 

而对于[1,i]来说若其最小值在j点取到，有[1,l1]和[l1+1,i]的绝对值差最小

那么对于[1,i+1]来说，如果l1点不变，就应该讨论[1,l1]和[l1+1,i+1]的绝对值差

注意到后半段已经补充了i+1，使得后半段更大了，那么j就不可能回退使后半段更大了

所以这个l1具有单调递增的性质，同理可以证明，后半段的l2具有单调递增的性质

证明

口胡证明越想越迷糊，于是我决定严格证一下

[1,i+1]的划分点l2较[1,i]的划分点l1不降，同理可证[i,n]与[i+1,n]的情形

显然(1)情况的p左移abs(q-p)就与q重合了

所以a[i+1]<=p-q且p>q算情况(1)，p<=q算情况(2)

a[i+1]>p-q且p>q可以把a[i+1]拆成(1)(2)两部分讨论

 

其实，也可以直观的感受到，

p在左移的过程中，离q+2k的距离一直增大，

离q的距离先减小后同步增大(图1)，或同步增大(图2)，

所以这个差值，是先增大后不变(图1)，或不变(图2)。

当作一个物理题口胡不就轻松多了么

补题五分钟，证明两小时

代码

#include<iostream>
#include<cstdio>
#include<cstring>
#include<algorithm>
using namespace std;
typedef long long ll;
const int maxn=2e5+10;
int n,a[maxn];
ll sum[maxn];
int l1,l2;
//[1,l1][l1+1,i][i+1,l2][l2+1,r]
//枚举中间分界点i 把区间划成左右两半
//再分别平推两半的分割点l1和l2 
ll mx,mn;
ll ans;
ll getsum(int l,int r)
{
	return sum[r]-sum[l-1];
}
ll update(int l,int r)
{
	mx=max(mx,getsum(l,r));
	mn=min(mn,getsum(l,r));
}
int main()
{ 
    scanf("%d",&n);
    for(int i=1;i<=n;++i)
	{
	 scanf("%d",&a[i]);
     sum[i]=sum[i-1]+a[i];
    }
    ans=1e18,l1=1,l2=3;
	//l1和l2最靠左是1和3，以后只增无减 
	for(int i=2;i<=n-2;++i)
	{
		mx=-1e18,mn=1e18;
		while(l1+2<=i&&abs(getsum(1,l1)-getsum(l1+1,i))>abs(getsum(1,l1+1)-getsum(l1+2,i)))l1++;
		while(l2+2<=n&&abs(getsum(i+1,l2)-getsum(l2+1,n))>abs(getsum(i+1,l2+1)-getsum(l2+2,n)))l2++;
		update(1,l1),update(l1+1,i);
		update(i+1,l2),update(l2+1,n);
		ans=min(ans,mx-mn);
	} 
	printf("%lld\n",ans);
	return 0;
}