AcWing 4262. 空调（差分，贪心）

Farmer John 的 $N$ 头奶牛对他们牛棚的室温非常挑剔。

有些奶牛喜欢温度低一些，而有些奶牛则喜欢温度高一些。

Farmer John 的牛棚包含一排 $N$ 个牛栏，编号为 $1\dots N$，每个牛栏里有一头牛。第 $i$ 头奶牛希望她的牛栏中的温度是 $p_i$，而现在她的牛栏中的温度是 $t_i$。

为了确保每头奶牛都感到舒适，Farmer John 安装了一个新的空调系统。

该系统进行控制的方式非常有趣，他可以向系统发送命令，告诉它将一组连续的牛栏内的温度升高或降低 $1$ 个单位——例如「将牛栏 $5\dots 8$ 的温度升高 $1$ 个单位」。

一组连续的牛栏最短可以仅包含一个牛栏。

请帮助 Farmer John 求出他需要向新的空调系统发送的命令的最小数量，使得每头奶牛的牛栏都处于其中的奶牛的理想温度。

输入格式
输入的第一行包含 $N$。

下一行包含 $N$ 个非负整数 $p_1\dots p_N$，用空格分隔。

最后一行包含 $N$ 个非负整数 $t_1\dots t_N$。

输出格式
输出一个整数，为 Farmer John 需要使用的最小指令数量。

数据范围
$1\le N\le 10^5,$
$0\le p_i,t_i\le 10000$
输入样例：

5
1 5 3 3 4
1 2 2 2 1

输出样例：

5

样例解释
一组最优的 Farmer John 可以使用的指令如下：

初始温度     ：1 2 2 2 1
升高牛棚 2..5：1 3 3 3 2
升高牛棚 2..5：1 4 4 4 3
升高牛棚 2..5：1 5 5 5 4
降低牛棚 3..4：1 5 4 4 4
降低牛棚 3..4：1 5 3 3 4

---

此题是一种很新奇的思考方式。

首先我们需要让p[]数组和t[]相等，也就是说要让p[] - t[]每一个元素都为0。

我们的操作是一段段的进行加减1，那么就必然要使用差分数组的做法，也就是说每一步都要对差分数组的两个点进行操作，但是这里可以不使用最原始的差分数组方法。

这里理解，差分数组与原始数组是一种互相对应的关系，原始数组的段对应了差分数组的点，就像是原函数对应于导函数。

假如我们现在有一个“0”数组，长度为p[] - t[]的长度并且每一个元素都为0。
定义b[]数组为p[] - t[]差分数组，并且对“0”数组也做差分处理（最终同样也还是全都是0），如果我们想要让p[] - t[]每一个元素都变为0，那么就需要让“0”差分数组变为b[]数组。
这时候我们的操作就由需要对一段段的操作变成了对一个个点的操作，换句话说我们需要让b[]上的每一个点在每一步操作时同时选一个点+1然后再选一个点-1。

注意，差分数组的长度为原数组长度+1，并且差分数组的每个元素相加的话，到最后一定是0，这是由差分数组的定义决定的。
所以我们一定会有一种方法能够使得最终b[]数组的元素全部变为0，并且这个最少操作次数一定与b[]数组中的正数个数相等。
首先差分数组正负数一定是相等的，因为他的所有元素相加最后一定为0，所以我们想要让差分数组元素变为全部为0，就一定要经历让所有正数一次次-1，让所有负数一次次+1的过程，那么操作次数就一定是所有正数的个数（同样也等于负数的个数）。

代码：

#include <iostream>
#include <cstring>
#include <algorithm>
using namespace std;
const int N = 1e5+10;

int p[N],t[N];

int main()
{
    int n;cin >> n;
    for(int i = 1;i <= n;i++)cin >> p[i];
    
    for(int i = 1;i <= n;i++){
        int x;cin >> x;
        p[i] -= x;	//直接求p[] - t[]，不再新开数组
    }
    
    //避免元素影响，倒序求差分数组
    for(int i = n+1;i >= 1;i--)p[i] = p[i] - p[i-1];
    
    int res= 0;
    for(int i = 1;i <= n+1;i++)
        if(p[i] > 0)
            res += p[i];
            
    cout << res;
    return 0;
}