379.增减序列

1.首先我们先要知道的是用差分的思想，每次对差分数组的两个点做加或减的操作，最后使得b[2]到b[n]都为0,。
疑点一：为什么是从2到n而不是从1到n：
我们可以回想一下差分数组是怎么来的，是原始数组a[i]减去a[i-1];那么b[1]呢，b[1]是不是就等于a[1],(a[0]=0)
所以如果这个数列的值都是一样的，最后我们的差分数组一定是b[1] = 一个常数，b[2]-b[n] 都等于0（这个点在求数列种数的时候也会用到）

2.如何保证操作次数最小：
一个数列可能有负数也可能有正数，利用贪心的思想 差分数组数组的操作b[l] += 1,b[r+1] -= 1的特性可以使正负两个数相消，所以最后差分就只剩同符号的数，此时操作数为min(pos,neg)//pos为差分数组中正数的个数，neg为负数的个数。剩下的同符号的数只能通过b[1]或者b[n+1]两个对差分数组没有影响的来一个一个的把自己减为0，
所以操作次数为个数的总和，abs(pos-neg);
3.种类数量为什么是abs(pos-neg)+1
根据疑点一最后得出来的性质我们可以想到数列的值就是b[1]的值，因为根据逆推，原数组(也就是我们的数列)是差分数组的前缀和，根据前缀和的公式，s[i] = s[i-1] + b[i];由于b[2]-b[n]都为0，故s[i] = s[i-1] = b[1]；所以我们对b[1]的操作次数也就是种类数量，由于贪心的去操作，我们一开始是对负数和正数两个点进行操作，所以b[1]没有变，之后数组就只剩下同符号的数，此时我们有两种方案，假设此时数组只剩下正数，
方案一1.b[1] += 1,b[i+1] -=1
方案2.b[i] -= (-1),b[n+1] += (-1);
因为最后的效果相同均是将2-n的数减为0，故两种方案均可，举例两个边界情况，如果只采取方案二，b[1]不变，如果只采取方案一，即需要操作abs(pos-neg)次，b[1] += abs(pos-neg);我们可以假设一开始b[1]为2，abs(pos-neg)为3，b[1]的取值可能为2,3,4,5，即abs(pos-neg)+1
代码如下

#include<iostream>
#include<algorithm>
using namespace std;
const int N  = 1e5+10;
int b[N],a[N];
long long pos,neg;
int main(){
    int n;
    cin>>n;
    for(int i = 1;i <= n;i++){
        cin>>a[i];
        b[i] = a[i] - a[i-1];
    }
    for(int i = 2;i <= n;i++){
        if(b[i] > 0) pos += b[i];
        else  neg -=b[i];
    }
    cout<<min(pos,neg)+abs(pos-neg)<<endl;
    cout<<abs(pos-neg) + 1;

}

作者：7164
来源：AcWing