（CCF202112-2）序列查询新解（思维）

题目链接：计算机软件能力认证考试系统

分析：这道题目难点就在于需要处理的边界太多，比较容易出错

还是先观察f函数和g函数具有哪些特点，首先f函数的本质特点就是每两个连续的a数组的数中的f函数值是相同的，这也是我们选择枚举a[i]的一个最重要的因素，g函数根据其函数形式就可以知道其具备的特点：每r个数增加1，所以我们依旧可以枚举相邻的a数组，来处理每两个a数组数差值部分的f数组和g数组的差值绝对值的和，有一个显著特征就是g函数单调不减，而f函数值不变，那么我们就可以通过枚举g左右边界和f的关系来判断两者是否有交集，如果没有交集，必然有f恒大于或者g恒大于f，这都是我们希望看到的，因为求出连续个f值之和或者连续个g值之和都是比较简单的，而如果我们知道了一段区间上f和g的大小关系我们就可以去掉绝对值了。我们最不希望看到的就是f和j在我们所讨论的区间上存在交点，但即使存在交点，有两种函数的单调性我们也不难发现两者只会有一个交点p，在小于等于p的部分g小于等于f，但是在大于p的地方g大于f，所以我们可以分成两个区间来去掉绝对值求出两者的区间和的差，然后相加即可，利用这个思路我们就可以通过本题了

下面是代码：

#include<cstdio>
#include<cstring>
#include<algorithm>
#include<iostream>
#include<queue>
using namespace std;
long long a[100003];
int r;
long long sum(long long ll,long long rr)
{
	long long ans=0;
	long long pos1=(ll-1)/r+1,pos2=rr/r-1;
	ans+=r*(pos1+pos2)*(pos2-pos1+1)/2;
	ans+=(pos1*r-ll)*(pos1-1)+(rr-(pos2+1)*r+1)*(pos2+1);
	return ans;
}
int main()
{
	int n,N;
	cin>>n>>N;
	for(int i=1;i<=n;i++)
		scanf("%lld",&a[i]);
	a[n+1]=N;
	r=N/(n+1);
	long long ans=0;
	for(int i=1;i<=n+1;i++)
	{
		if((a[i-1]/r<=i-1)&&((a[i]-1)/r<=i-1))
			ans+=(i-1)*(a[i]-a[i-1])-sum(a[i-1],a[i]-1);
		else if((a[i-1]/r>=i-1)&&((a[i]-1)/r>=i-1))
			ans+=sum(a[i-1],a[i]-1)-(i-1)*(a[i]-a[i-1]);
		else
		{
			int pos=i*r-1;
			ans+=(pos-a[i-1]+1)*(i-1)-sum(a[i-1],pos)+sum(pos+1,a[i]-1)-(a[i]-pos-1)*(i-1);
		}
		 
	}
	printf("%lld",ans);
	return 0;
}