P15 差分 离散

差分的原理和特点

diff[i]=a[i]-a[i-1]{原数组}

对差分数组做前缀可以还原为原数组:diff[1]=a[1] diff[2]=a[2]-a[1]

diff[1]+diff[2]+.....diff[i]

=a[1]+(a[2]-a[1])+.....a[i]-a[i-1]

=a[i]

利用差分数组可以实现快速的区间修改，下面将[l,r]都加上x的方法：

diff[l]+=x;diff[r+1]-=x表示将区间[l,n]都加上x, 但是[r+1,n]完美并不想加x,所以再将[r+1,n]减取x即可

差分的实现：

for(int i=1;i<=n;++i) diff[i]=a[i]-a[i-1] diff[l]+=x;diff[r+1]-=x 

#include<bits/stdc++.h>
const int N=1e5+9;
using namespace std;
int a[N],diff[N];
int main(){
    ios::sync_with_stdio(0);
    cin.tie(0),cout.tie(0);
    int n,m;
    while(cin>>n>>m){
        for(int i=1;i<=n;i++)
            cin>>a[i];
        for(int i=1;i<=n;i++)
            diff[i]=a[i]-a[i-1];
        while(m--){
            int x,y,z;
            cin>>x>>y>>z;
            diff[x]+=z;
            diff[y+1]-=z;
        }
        for(int i=1;i<=n;i++)
            a[i]=diff[i]+a[i-1];
        for(int i=1;i<=n;i++)
            cout<<a[i]<<' ';
        cout<<endl;
    }



    return 0;
}

离散把无限空间中有限的个体映射到有限的空间中取，以此提高算法的时空效率

例如原数组的范围是[1,1e9]，而数组大小仅为1e5，那么元素值的“种类”最多也就1e5种，从而可以利用一个数组来表示某个元素的排名

离散化数组要求内部是有序（一般是去重）可以直接通过离散化下标得到值，当然也可以通过值得到离散化下标