题意:
给你n个数,前一半的数是不规则的,后一半的数是相同的,现在要让你确定一个k,使得 ( ∀ i ∈ [ 1 , n − k ] ) ∑ x = i i + k a [ x ] > 0 (∀i∈[1,n-k])\sum_{x=i}^{i+k}{a[x]}>0 (∀i∈[1,n−k])∑x=ii+ka[x]>0
题解:
一开始没有什么头绪,后来转念一想,为什么题目告诉我后一半的数是相同的,于是从这方面着手。将x分成两种情况:
x>0:
这种情况下,k=n或者k=-1,为什么
我们假设k=n的时候是非正数的,那么意味着
并且前面的负数的绝对值大于等于后面的正数。
那么我们为了找出答案,一定要选择一个k使得数从1到k是正数,那么图就变成了这样:
此时负数的绝对值比两个正数加起来要大,那么至少存在一个绿色长度为k的区间使得这个区间的值的和是负数。
因此k要么等于n,要么等于-1
x<=0
这种情况,k>n/2
那么有没有一种办法使得我们可以一边增大k,一边查看是否可能呢
那么我们可以发现,由于k>n/2,所以一定是蓝色区域的值最小的后缀,加上红色区域对应的一小段前缀,这样值的答案最小。
那么我们怎么确定值最小的后缀要减掉多少个x呢,此时我们可以在蓝色区域的每个位置-x,这样绿色区域的前面一段就对应后面少掉的部分了
然后由于要取最小值,所以我们用一个线段树维护后缀和即可。
时间复杂度尚可:
我就很奇怪为什么好像每道题目都有大神做到几十毫秒,他们的脑回路和正常人就是不一样的吗。
#include<bits/stdc++.h>
using namespace std;
const int N=5e5+5;
#define ll long long
ll suf[N*4],f[N*4];
void push_down(int root){
if(!f[root])return ;
suf[root<<1]+=f[root];
suf[root<<1|1]+=f[root];
f[root<<1]+=f[root];
f[root<<1|1]+=f[root];
f[root]=0;
}
void update(int l,int r,int root,int ql,int qr,ll v){
if(l>=ql&&r<=qr){
suf[root]+=v;
f[root]+=v;
return ;
}
push_down(root);
int mid=l+r>>1;
if(mid>=ql)
update(l,mid,root<<1,ql,qr,v);
if(mid<qr)
update(mid+1,r,root<<1|1,ql,qr,v);
suf[root]=min(suf[root<<1],suf[root<<1|1]);
}
ll a[N];
int main()
{
int n;
scanf("%lld",&n);
int mid=n/2+n%2;
ll x,sum=0;
for(int i=1;i<=mid;i++)
scanf("%lld",&a[i]),sum+=a[i];
scanf("%lld",&x);
if(x>0){
if(sum+x*(n-mid)<=0)
printf("-1\n");
else
printf("%d\n",n);
return 0;
}
sum=x*(n-mid);
int p=mid;
while(p&&sum<=0)
sum+=a[p--];
if(sum<=0)return 0*printf("-1\n");
for(int i=p;i;i--)
update(1,n,1,1,i,a[i]-x);
for(int i=p;i;i--){
if(sum<=0){
update(1,n,1,1,i,-a[i]+x);
sum+=a[i];
continue;
}
if(suf[1]+sum>0)return 0*printf("%d\n",n-i);
update(1,n,1,1,i,-a[i]+x);
sum+=a[i];
}
if(sum<=0)printf("-1\n");
else printf("%d\n",n);
return 0;
}