IncDec Sequence(差分）

差分

差分数列：B[1]=A[1],B[i]=A[i]-A[i-1],($2\le n\le 1e5$)

性质：把A序列中区间[l,r]加上d，其差分序列B变为$B_l$加d，$B_r{+}_1$减d，其他位置不变

用途：解决多次A序列中区间[l,r]加上d，导致计算过大，超时的问题。

题目描述

题目链接:

https://ac.nowcoder.com/acm/contest/999/B

思考

每次对A序列的区间进行加1减1，相当于每次选出差分序列$b_1,\dots ,b_n$中任意两个数进行加1减1操作。
目标是把$b_2,\dots ,b_n$全部变成0；

设$b_2,\dots ,b_n$正整数总和为p，负整数总和为q,正负配对，可以执行min(p,q)次，剩下|p-q|不能配对。

故，最少操作数：min(p,q)+|p-q|=max(p,q);

操作结果种数：
剩下|p-q|能进行对$b_1$或$b_n{+}_1$进行配对，能产生$|p-q|+1$种不同$b_1$的值
故最终a的结果种数有$|p-q|+1$种。

AC代码

#include <cmath>
#include <cstdio>
#include <cstring>
#include <iostream>
#include<stdio.h>
#include<math.h>
#define Inf 1000000
using namespace std;

long long a[500000],b[505000];

int main(){
  int n;
  cin>>n;
  for(int i=0;i<n;i++) cin>>a[i];
  b[0]=a[0];
  long long z=0,f=0;
  for(int i=1;i<n;i++){
    b[i]=a[i]-a[i-1];
    if(b[i]>0) z+=b[i];
    else f+=(-1)*b[i];
  }
  cout<<max(z,f)<<endl;
  cout<<abs(z-f)+1<<endl;
return 0;
}