Codeforces 718C Sasha and Array(线段树维护矩阵)

线段树上区间加和，求和时候值变成斐波那契数列下标，对斐波那契数列求和
首先想到循环节，但是应该很大，所以GG
然后就是想到对于斐波那契数列啊，有矩阵递推
比如这里是x，值就是f(x),那么然后加a，就是f(x+a)
f(x+a)和f(x)就是多成了a次系数矩阵
再考虑到区间求和，对于矩阵B∗A+C∗A=(B+C)∗A,有结合律
所以直接每个节点维护系数矩阵，列向量初始是[f1,f0]
然后每个节点的矩阵就是Ax−1
线段树nlogn的复杂度，矩阵乘法取模，常数巨大
所以如果lazy标记存值，那么复杂度就是nlognlogn，就T了
所以lazy也存矩阵，然后区间加和的时候，一定要在外面算好矩阵，进去乘一下就行了
如果在线段树里做快速幂，如果分成的段数较多，那么就常数巨大
比赛时候完全没考虑这么多，就T了

---

代码：

#include 
#include 
#include 
#include 
#include 
#include 
#include 
#include 
#include 
#include 
#include 
#include 
#include 
#include 
#pragma comment(linker,"/STACK:102400000,102400000")

using namespace std;
#define   MAX           100010
#define   MAXN          500005
#define   maxnode       5
#define   sigma_size    30
#define   lson          l,m,rt<<1
#define   rson          m+1,r,rt<<1|1
#define   lrt           rt<<1
#define   rrt           rt<<1|1
#define   middle        int m=(r+l)>>1
#define   LL            long long
#define   ull           unsigned long long
#define   mem(x,v)      memset(x,v,sizeof(x))
#define   lowbit(x)     (x&-x)
#define   pii           pair
#define   bits(a)       __builtin_popcount(a)
#define   mk            make_pair
#define   limit         10000

//const int    prime = 999983;
const int    INF   = 0x3f3f3f3f;
const LL     INFF  = 0x3f3f;
const double pi    = acos(-1.0);
const double inf   = 1e18;
const double eps   = 1e-6;
const LL     mod   = 1e9+7;
const ull    mx    = 133333331;

/*****************************************************/
inline void RI(int &x) {
      char c;
      while((c=getchar())<'0' || c>'9');
      x=c-'0';
      while((c=getchar())>='0' && c<='9') x=(x<<3)+(x<<1)+c-'0';
 }
/*****************************************************/

struct Matrix{
    int n;
    LL maze[maxnode][maxnode];

    void init(int n){
        this->n = n;
        mem(maze,0);
    }
    Matrix operator + (Matrix &rhs){
        Matrix m;
        m.init(n);
        for(int i=0;ifor(int j=0;jif(m.maze[i][j]>=mod) m.maze[i][j]-=mod;
            }
                    //mod可以在二重循环的地方模
        return m;///
    }

    Matrix operator * (Matrix &rhs){
        Matrix m;
        m.init(n);
        for(int i=0;ifor(int j=0;jfor(int k=0;k//mod可以在二重循环的地方模
                }
                m.maze[i][j]%=mod;
            }
        return m;///
    }
}A;

Matrix qpow(Matrix a,LL n){
    Matrix ans;
    ans.init(a.n);
    for(int i=0;i1;
    while(n){
        if(n&1) ans = ans * a;
        a = a*a;
        n >>= 1;
    }
    return ans;
}

Matrix ma[MAX<<2];
int a[MAX];
Matrix col[MAX<<2];
Matrix xx;
void pushup(int rt){
    ma[rt]=ma[lrt]+ma[rrt];
}

void pushdown(int rt){
    if(col[rt].maze[0][0]!=1||col[rt].maze[0][1]!=0||col[rt].maze[1][0]!=0||col[rt].maze[1][1]!=1){
        col[lrt]=col[lrt]*col[rt];
        col[rrt]=col[rrt]*col[rt];
        ma[lrt]=ma[lrt]*col[rt];
        ma[rrt]=ma[rrt]*col[rt];
        col[rt].maze[0][0]=1;col[rt].maze[0][1]=0;
        col[rt].maze[1][0]=0;col[rt].maze[1][1]=1;
    }
}
void build(int l,int r,int rt){
    ma[rt].init(2);
    col[rt].init(2);
    col[rt].maze[0][0]=1;col[rt].maze[0][1]=0;
    col[rt].maze[1][0]=0;col[rt].maze[1][1]=1;
    if(l==r){
        ma[rt]=qpow(A,a[l]-1);
        return;
    }
    middle;
    build(lson);
    build(rson);
    pushup(rt);
}

void update(int l,int r,int rt,int L,int R){
    if(L<=l&&r<=R){
        Matrix tmp;
        col[rt]=col[rt]*xx;
        ma[rt]=ma[rt]*xx;
        return;
    }
    middle;
    pushdown(rt);
    if(L<=m) update(lson,L,R);
    if(R>m) update(rson,L,R);
    pushup(rt);
}

Matrix query(int l,int r,int rt,int L,int R){
    if(L<=l&&r<=R) return ma[rt];
    pushdown(rt);
    Matrix ret;
    ret.init(2);
    middle;
    if(L<=m){
        Matrix tmp;
        tmp.init(2);
        tmp=query(lson,L,R);
        ret=ret+tmp;
    }
    if(R>m){
        Matrix tmp;
        tmp.init(2);
        tmp=query(rson,L,R);
        ret=ret+tmp;
    }
    return ret;
}
int main(){
    //freopen("in.txt","r",stdin);
    int n,m;
    while(cin>>n>>m){
        for(int i=1;i<=n;i++) scanf("%d",&a[i]);
        A.init(2);
        A.maze[0][0]=1;A.maze[0][1]=1;
        A.maze[1][0]=1;A.maze[1][1]=0;
        build(1,n,1);
        while(m--){
            int op,l,r;
            scanf("%d%d%d",&op,&l,&r);
            if(op==1){
                int x;
                scanf("%d",&x);
                xx.init(2);
                xx=qpow(A,x);
                update(1,n,1,l,r);
            }
            else{
                Matrix ret=query(1,n,1,l,r);
                printf("%I64d\n",ret.maze[0][0]);
            }
        }
    }
    return 0;
}