kb-07线段树--11--区间多重该值多种查询

 /*
    lazy思想的运用，因为查询多种，如果全记录就太繁了，lazy就是如果该区间的每一个叶子的状态都相同就不用深入下去该值，只要暂时标记下，查询的时候也不用下去，直接计算；

  */
 #include<iostream>
 #include<cstdio>
 #include<cstring>
 #include<algorithm>
 #define MAX_N 100005
 #define mod 10007
 #define ll long long
 using namespace std;
 struct tree
 {
     ll l,r,la[];
     ll same,s;//s表示该区间的值都是s；
 }tr[MAX_N*];
 ll ans=;
 void build(int rt,int l,int r)
 {
     tr[rt].l=l;
     tr[rt].r=r;
     tr[rt].same=;
     tr[rt].s=;
     memset(tr[rt].la,,sizeof(tr[rt].la));
     tr[rt].la[]=;
     if(l==r)
         return ;
     int mid=(l+r)/;
     build(rt<<,l,mid);
     build(rt<<|,mid+,r);
 }
 void Pushdown(int rt)
 {
     if(tr[rt].same==)
     {
     int L=rt<<,R=rt<<|;
     tr[L].la[]+=tr[rt].la[];
     tr[L].la[]*=tr[rt].la[];
     tr[L].la[]=tr[rt].la[];
     tr[L].s=tr[R].s=tr[rt].s;
     tr[R].la[]+=tr[rt].la[];
     tr[R].la[]*=tr[rt].la[];
     tr[R].la[]=tr[rt].la[];
     tr[L].same=tr[R].same=;
     tr[rt].la[]=;
     tr[rt].la[]=;
     tr[rt].la[]=;
     tr[rt].same=;
     }
     return;
 }
 void Update(int rt,int l,int r,int x,int t)
 {
     if(t==)
     {
         if(tr[rt].l==l&&tr[rt].r==r&&tr[rt].same==)
         {
             tr[rt].la[]+=x;//关键；
             tr[rt].la[]%=mod;
             tr[rt].s=tr[rt].s+x;
             return ;
         }
     }
     else if(t==)
     {
         if(tr[rt].l==l&&tr[rt].r==r&&tr[rt].same==)
         {
             tr[rt].la[]*=x;
             tr[rt].la[]%=mod;
             tr[rt].s=tr[rt].s*x%mod;
             return ;
         }
     }
     else
     {
         if(tr[rt].l==l&&tr[rt].r==r)
         {
             tr[rt].la[]=x;
             tr[rt].s=x;
             tr[rt].same=;
             return;
         }
     }
     if(tr[rt].same==)
         Pushdown(rt);
     int L=rt<<,R=rt<<|;
     if(l<=tr[L].r)
     {
         if(r<=tr[L].r)
             Update(L,l,r,x,t);
         else
             Update(L,l,tr[L].r,x,t);
     }
     if(r>=tr[R].l)
     {
         if(l>=tr[R].l)
             Update(R,l,r,x,t);
         else
             Update(R,tr[R].l,r,x,t);
     }
 }
 void Query(int rt,int l,int r,int x)
 {
     if(tr[rt].l==l&&tr[rt].r==r&&tr[rt].same==)
     {
         ll n=r-l+,temp=;
         for(int i=;i<=x;i++)
         {
             temp*=tr[rt].s%mod;
             temp%=mod;
         }
         ans+=(temp*n%mod)%mod;
         return ;
     }
     if(tr[rt].same==)
         Pushdown(rt);
     int L=rt<<,R=rt<<|;
     if(l<=tr[L].r)
     {
         if(r<=tr[L].r)
             Query(L,l,r,x);
         else
             Query(L,l,tr[L].r,x);
     }
     if(r>=tr[R].l)
     {
         if(l>=tr[R].l)
             Query(R,l,r,x);
         else
             Query(R,tr[R].l,r,x);
     }
 }
 int main()
 {
     int n,m;
     while(scanf("%d%d",&n,&m)!=EOF&&(n||m))
     {
         memset(tr,,sizeof(tr));
         build(,,n);
         for(int i=;i<m;i++)
         {
             int x,y,ty,c;
             scanf("%d%d%d%d",&ty,&x,&y,&c);
             if(ty==)
             {
                 ans=;
                 Query(,x,y,c);
                 cout<<ans%mod<<endl;
             }
             else
             {
                 Update(,x,y,c,ty);
             }

         }
     }
     return ;
 }