• 树状数组


    这是一种实用并且代码极短的高级数据结构。

    能在O(lgn)内完成修改,和询问。解决了普通数组的询问长,前缀和的修改长的问题。

    它提供两种操作:

    • 将A[i]叫上D;
    • 求出A[i]的前缀和。

    那么怎么实现呢?

    我们新增一个数组c[],其中c[i]=A[i-2^k+1]+……+A[i](k为i在二进制形式下末尾0的个数)。

    那怎么求出2^k呢,我们就可以用lowbit(i),lowbit(i)=i&(-i);

    首先是修改操作,将所有包含它的数都加上要加的数。

    1 void add(int x){
    2     for (int i=x;i<=N;i+=lowbit(i)) c[i]++;
    3 }
    View Code

    求和就是把它未包含的数加上。

    1 long long sum(int x){
    2     long long Sum=0;
    3     for (int i=x;i>0;i-=lowbit(i)) Sum+=c[i];
    4     return Sum;
    5 }
    View Code

    这就是基本的树状数组了。

    接下来是一些基本的求和模型。

    1.改点求段:

      修改操作:将A[x]的值加上v;

      求和操作:求此时A[l..r]的和。

    十分简单:

    1 void add(int x){
    2     for (int i=x;i<=N;i+=lowbit(i)) c[i]++;
    3 }
    4 long long sum(int x){
    5     long long Sum=0;
    6     for (int i=x;i>0;i-=lowbit(i)) Sum+=c[i];
    7     return Sum;
    8 }
    View Code

      修改操作:add(x,v);

      求和操作:sum(r)-sum(l-1);

    s2.改段求点:

      修改操作:将A[l..r]之间的全部元素值加上v;

      求和操作:求此时A[x]的值。

    这回就用差分法A[i]表示原意义一下的A[i]-A[i-1];

    1 void add(int x){
    2     for (int i=x;i<=N;i+=lowbit(i)) c[i]++;
    3 }
    4 long long sum(int x){
    5     long long Sum=0;
    6     for (int i=x;i>0;i-=lowbit(i)) Sum+=c[i];
    7     return Sum;
    8 }
    View Code

      修改操作:add(l,v),add(r+1,-v);

      求和操作:sum(x);

    3.改段求段:

      修改操作:将A[l..r]之间的全部元素值加上v;

      求和操作:求此时A[l..r]的和。

    关于这种模型需要一个辅助数组:存(当前位置-1)*v的值。

    因为Sum(1,x)在差分意义下是(Sigma(i<=x)(A[i]*(x-(i-1))))

    做出A[i]*(i-1)的辅助数组就可以了。

     1 void Add(ll *T,int x,ll v){
     2     for (int i=x;i<=n;i+=lowbit(i)) T[i]+=v; 
     3 }
     4 void Update(ll a,ll b,ll c){
     5     Add(T1,a,c); Add(T1,b+1,-c);
     6     Add(T2,a,(a-1)*c); Add(T2,b+1,b*(-c));
     7 }
     8 ll Sum_(ll *T,int x){
     9     ll ans=0;
    10     for (int i=x;i>0;i-=lowbit(i)) ans+=T[i];
    11     return ans;
    12 }
    13 ll Sum(int a,int b){
    14     ll tot=(a-1)*(Sum_(T1,a-1))-Sum_(T2,a-1);
    15     ll tot_=(b)*(Sum_(T1,b))-Sum_(T2,b);
    16     return tot_-tot;
    17 }
    View Code

      修改操作:模板内Update;

      求和操作:模板内Sum;

    还有二维树状数组的使用,

     1 int sum(int x,int y)  
     2 {  
     3     int Sum=0;  
     4     for(int i=x;i>0;i-=(i&(-i))) {  
     5         for(int j=y;j>0;j-=(j&(-j))) {  
     6             Sum+=c[i][j];  
     7         }  
     8     }  
     9     return Sum;  
    10 }  
    11   
    12 void add(int x,int y,int d)  
    13 {  
    14     for(int i=x;i<=n;i+=(i&(-i))) {  
    15         for(int j=y;j<=n;j+=(j&(-j))) {  
    16             c[i][j]+=d;  
    17         }  
    18     }  
    19 }  
    View Code

     通过考试考挂的教训,我就在这重推,二维改段求段。A是差分意义下。

    sum(x,y)=Sigma(i<=x)Sigma(j<=y)(A[i][i]*(x-(i-1))*(y-(j-1)))

            =Sigma(i<=x)Sigma(j<=y)(A[i][j]*x*y-A[i][j]*x*(j-1)-A[i][j]*y*(i-1)+A[i][j]*x*y);

     1 void add(int x,int y,int v_1,int v_2,int v_3,int v_4){
     2     for (int i=x;i<=n;i+=lowbit(i))
     3         for (int j=y;j<=m;j+=lowbit(j)) t_1[i][j]+=v_1,t_2[i][j]+=v_2,t_3[i][j]+=v_3,t_4[i][j]+=v_4;
     4 } 
     5 int sum(int x,int y){
     6     int Sum1=0,Sum2=0,Sum3=0,Sum4=0;
     7     for (int i=x;i>0;i-=lowbit(i))
     8         for (int j=y;j>0;j-=lowbit(j)) Sum1+=t_1[i][j],Sum2+=t_2[i][j],Sum3+=t_3[i][j],Sum4+=t_4[i][j];
     9     return Sum1*x*y-Sum2*x-Sum3*y+Sum4;
    10 }
    View Code

      修改操作:

    add(a,b,v,v*(b-1),v*(a-1),v*(a-1)*(b-1)); add(a,d+1,-v,(-v)*d,(-v)*(a-1),(-v)*d*(a-1));
    add(c+1,b,-v,(-v)*(b-1),(-v)*c,(-v)*c*(b-1));add(c+1,d+1,v,v*d,v*c,v*d*c);

      求和操作:

    sum(c,d)-sum(a-1,d)-sum(c,b-1)+sum(a-1,b-1)

     均摊logn的清零。

    struct Bit{
    int ts,b[SZ],t[SZ]; void clr() {++ts;}
    Bit() {ts=0; memset(t,0,sizeof t);}
    void edt(int x,int y)
    {
        for(;x<=n;x+=x&-x)
        {if(t[x]!=ts) t[x]=ts,b[x]=0; (b[x]+=y)%=MOD;}
    }
    int sum(int x)
    {
        int s=0;
        for(;x>=1;x-=x&-x)
        {if(t[x]!=ts) t[x]=ts,b[x]=0; (s+=b[x])%=MOD;}
        return s;
    }
    }ba,bb;
  • 相关阅读:
    算法沉思录之算法的结构
    OSSpinLockLock加锁机制,保证线程安全并且性能高
    iOS 开源库系列 Aspects核心源码分析---面向切面编程之疯狂的 Aspects
    代码阅读沉思录:代码的灵、肉与骨
    iOS AOP框架Aspects实现原理
    最近还是太浮躁了,一周阅读一个开源库是值得的
    performSelector 多参调用的实现方案
    oc消息转发:forwardInvocation、签名、参量个数、SEL 相关测试
    isa class superclass metaclass
    ARC与Toll-Free Bridging
  • 原文地址:https://www.cnblogs.com/SXia/p/6784652.html
Copyright © 2020-2023  润新知