P4552 [Poetize6] IncDec Sequence （差分）

原题链接

[Poetize6] IncDec Sequence

题目描述

给定一个长度为 $n$ 的数列 $a_1,a_2,\cdots ,a_n$，每次可以选择一个区间$[l,r]$，使这个区间内的数都加 $1$ 或者都减 $1$。

请问至少需要多少次操作才能使数列中的所有数都一样，并求出在保证最少次数的前提下，最终得到的数列有多少种。

输入格式

第一行一个正整数 $n$
接下来 $n$ 行,每行一个整数,第 $i+1 $行的整数表示 $a_i$。

输出格式

第一行输出最少操作次数
第二行输出最终能得到多少种结果

样例 #1

样例输入 #1

4
1
1
2
2

样例输出 #1

1
2

提示

对于 $100\%$ 的数据，$n\le 100000,0\le a_i\le 2^{31}$。

---

解题思路

通过差分我们可以知道在一段区间里面加上一个数或减去一个数的方法是 $f[l]+d,f[r+1]-d$，（没学过差分的建议去学习一下）。
针对这道题，我们的差分数组的结果一定是 0 … 0，也就是全部为零。所以我们可以反向去思考这道题目：如何从全部为零变为题目给你的差分数组。也就是区间改变的操作方法。所以就可以正负相消，然后多的直接改变（右区间是n + 1，不用管的 ）。
所以最少次数就是差分数组的正数相加与负数的绝对值相加的最大值。有几种情况就是我上面说的正负相消以后多出来的部分再加上全部为第一个数的情况。

代码：

#include <bits/stdc++.h>

using namespace std;

#define IOS                      \
    ios::sync_with_stdio(false); \
    cin.tie(0);                  \
    cout.tie(0);
//#define For(i, k, n) for (int i = k; i < n; i ++)
//#define FOR(i, k, n) for (int i = k; i <= n; i ++)
#define P acos(-1);
typedef long long LL;
#define PII pair<int, int>
#define PDD pair<double, double>
#define Pll pair<LL, LL>
typedef unsigned long long ULL;
const double eps = 1e-7;
const int N = 1e5 + 10, M = 1e6 + 10, mod = 1000000007;
const int inf = 0x3f3f3f3f;
int dx[4] = {0, 1, -1, 0}, dy[4] = {1, 0, 0, -1};
int lowbit(int x) { return (x & -x); };

int f[N];

void solve()
{
    int n;
    cin >> n;
    for (int i = 1; i <= n; i ++ ) cin >> f[i];

    LL p = 0, q = 0, ans = 0;
    for (int i = 2; i <= n; i ++ )
    {
        LL c = f[i] - f[i - 1];
        if (c > 0) p += c;
        else q += abs(c);
        ans += c;
    }

    cout << max(p, q) << '\n' << abs(ans) + 1 << '\n';
}

int main()
{
    IOS 
    int T = 1;
    // cin >> T;
    while (T -- )
    {
        solve();
    }
    return 0;
}