【bzoj1798】[Ahoi2009]Seq 维护序列seq 线段树

Description

老师交给小可可一个维护数列的任务，现在小可可希望你来帮他完成。 有长为N的数列，不妨设为a1,a2,…,aN 。有如下三种操作形式： (1)把数列中的一段数全部乘一个值; (2)把数列中的一段数全部加一个值; (3)询问数列中的一段数的和，由于答案可能很大，你只需输出这个数模P的值。

Input

第一行两个整数N和P(1≤P≤1000000000）。第二行含有N个非负整数,从左到右依次为a1,a2,…,aN, (0≤ai≤1000000000,1≤i≤N)。第三行有一个整数M，表示操作总数。从第四行开始每行描述一个操作，输入的操作有以下三种形式： 操作1：“1 t g c”(不含双引号)。表示把所有满足t≤i≤g的ai改为ai×c (1≤t≤g≤N,0≤c≤1000000000)。 操作2：“2 t g c”(不含双引号)。表示把所有满足t≤i≤g的ai改为ai+c (1≤t≤g≤N,0≤c≤1000000000)。 操作3：“3 t g”(不含双引号)。询问所有满足t≤i≤g的ai的和模P的值 (1≤t≤g≤N)。 同一行相邻两数之间用一个空格隔开，每行开头和末尾没有多余空格。

Output

对每个操作3，按照它在输入中出现的顺序，依次输出一行一个整数表示询问结果。

Sample Input

7 43

1 2 3 4 5 6 7

5

1 2 5 5

3 2 4

2 3 7 9

3 1 3

3 4 7

Sample Output

2

35

8

HINT

【样例说明】

初始时数列为(1,2,3,4,5,6,7)。
经过第1次操作后，数列为(1,10,15,20,25,6,7)。
对第2次操作，和为10+15+20=45，模43的结果是2。
经过第3次操作后，数列为(1,10,24,29,34,15,16}
对第4次操作，和为1+10+24=35，模43的结果是35。
对第5次操作，和为29+34+15+16=94,模43的结果是8。

测试数据规模如下表所示

数据编号 1 2 3 4 5 6 7 8 9 10
N= 10 1000 1000 10000 60000 70000 80000 90000 100000 100000
M= 10 1000 1000 10000 60000 70000 80000 90000 100000 100000

Source

Day1

---

很简单看出来是线段树，但需要维护两个标记。

先统一一下change操作：
加add的操作变为：乘1+add
乘c的操作变为：乘c+0

这样问题就成了如何同时更新两个标记。

设当前区间长度为$len$，当前区间需要乘$c$加$add$，当前区间原有标记为$c'$和$add'$，当前区间和为$sum$。

很明显：

$$sum = c * sum + add * len$$

如何更新$c'$和$add'$呢？

设原区间和为$sum'$。

$$sum = c * sum + add * len = c * (c' * sum' + add' * len) + add * len$$

所以

$$sum = c * c' * sum' + (c * add' + add) * len$$

这样就得出：

$$c' = c *c'$$ $$add' = c * add' + add$$

别忘了模

代码：

#include<cstdio>
#include<cstring>
#include<iostream>
#include<algorithm>
using namespace std;

typedef long long LL;

const int SZ = 150000;

LL mod;

struct segment{
    int l,r;
    LL sum,add,c;
}tree[SZ << 2];

void update(int p)
{
    tree[p].sum = tree[p << 1].sum + tree[p << 1 | 1].sum;
}

void build(int p,int l,int r)
{
    tree[p].l = l; tree[p].r = r;
    tree[p].add = 0; tree[p].c = 1;
    if(l == r)
    {
        scanf("%lld",&tree[p].sum);
        return ;
    }
    int mid = (l + r) >> 1;
    if(l <= mid) build(p << 1,l,mid);
    if(mid < r) build(p << 1 | 1,mid + 1,r);
    update(p);
}

void pushac(int p,LL c,LL add)
{
    LL len = (tree[p].r - tree[p].l + 1) % mod; 
    tree[p].c = ((tree[p].c % mod) * c) % mod;
    tree[p].add = (c * (tree[p].add % mod) + add) % mod;
    tree[p].sum = (((tree[p].sum % mod) * c) % mod + add * len) % mod;  
}

void spread(int p)
{
    if(tree[p].c != 1 || tree[p].add)
    {
        int lch = p << 1,rch = p << 1 | 1;
        pushac(lch,tree[p].c,tree[p].add);
        pushac(rch,tree[p].c,tree[p].add);
        tree[p].c = 1; tree[p].add = 0; 
    }
}

void change(int p,int l,int r,LL c,LL add)
{
    if(l <= tree[p].l && tree[p].r <= r)
    {
        pushac(p,c,add);
        return ;
    }
    spread(p);
    int mid = (tree[p].l + tree[p].r) >> 1;
    if(l <= mid) change(p << 1,l,r,c,add);
    if(mid < r) change(p << 1 | 1,l,r,c,add);
    update(p);
}

LL ask_sum(int p,int l,int r)
{
    if(l <= tree[p].l && tree[p].r <= r)    
    {
//      printf("%d %d %lld\n",tree[p].l,tree[p].r,tree[p].sum);
        return tree[p].sum;
    }
    spread(p);
    int mid = (tree[p].l + tree[p].r) >> 1;
    LL ans = 0;
    if(l <= mid) ans = (ans % mod + ask_sum(p << 1,l,r)) % mod;
    if(mid < r) ans = (ans % mod + ask_sum(p << 1 | 1,l,r)) % mod;
    return ans;
}


int main()
{
    int n;
    scanf("%d%lld",&n,&mod);

    build(1,1,n);

    int m;
    scanf("%d",&m);
    while(m --)
    {
        int opt;
    //  for(int i = 1;i <= n;i ++)
    //      cout<<ask_sum(1,i,i)<<" ";puts("");
        scanf("%d",&opt);
        if(opt == 1)
        {
            int l,r;
            LL c;
            scanf("%d%d%lld",&l,&r,&c);
            c %= mod;
            change(1,l,r,c,0);
        }
        else if(opt == 2)
        {
            int l,r;
            LL c;
            scanf("%d%d%lld",&l,&r,&c);
            c %= mod;
            change(1,l,r,1,c);          
        }
        else
        {
            int l,r;
            scanf("%d%d",&l,&r);
            printf("%lld\n",ask_sum(1,l,r));
        }
    }
    return 0;
}

/*

7 2333

1 2 3 4 5 6 7

5

1 2 5 5

3 2 4

2 3 7 9

3 1 3

3 4 7

*/