有限极少的彻底更新——kuangbin线段树专题（5）

HDU 4027 Can you answer these queries?

感觉不能用一句短语总结这种题的特征
大概就是他的更新很奇怪，几乎必须对单点更新，也就是说一定要更新到叶子节点，也就是每次更新大概会有nlogn的复杂度（不太会算）
但是这种更新次数一定会很少，不是真的说更新次数很少，而是有效的更新次数很少

以HDU 4027为例
两种操作
①让区间中的每个数开方
②区间和

开方不像平方，前者不仅没有类似完全平方这样的递推公式，而且还是一种实数意义上的运算。几乎想不到合适的lazy标记
但从另一方面想，就算是long long 级别的整数，最多能开多少次呢？
咱也不知道大概20次以内？
也就是说每个叶子节点的有效更新次数不超过k次，k是使MAX_LONG_LONG开了k次平方根后等于1的次数

也就是说我们容忍一定量（且十分少量）的直到叶子节点的更新操作，我们判断的终止条件就可以写成

    if(stl==l && str==r && tree[id]==(str-stl+1))
    {
        return;
    }

这说明这个区间的每个数都是1，在开方已经没有意义了

//龟龟 又一次AC
//理解本质之后写题确实舒服

//由于long long 范围内 每个数最多开7次左右就会到1
//因此可以容忍一开始的更新到叶子节点
//之后如果sum等于长度就可以直接返回


#include<cstdio>
#include<algorithm>
#include<cstring>
#include<cmath>
#define ll long long
using namespace std;

const int maxn = 1e5+5;
ll tree[maxn<<2];
ll a[maxn];
int n;
void push_up(int id)
{
    tree[id] = tree[id<<1]+tree[id<<1|1];
}
void build(int id,int l,int r)
{
    if(l==r)
    {
        tree[id] = a[l];
        return ;
    }
    int mid = (l+r)>>1;
    build(id<<1,l,mid);
    build(id<<1|1,mid+1,r);
    push_up(id);
}
void update(int id,int stl,int str,int l,int r)
{
    //printf("%d %d %d %d %d\n",id,stl,str,l,r);
    if(stl==l && str==r && tree[id]==(str-stl+1))
    {
        return;
    }
    if(stl==str)
    {
        tree[id] = sqrt(tree[id]);
        return ;
    }
    int mid = (stl+str)>>1;
    if(r<=mid) update(id<<1,stl,mid,l,r);
    else if (l>mid) update(id<<1|1,mid+1,str,l,r);
    else
    {
        update(id<<1,stl,mid,l,mid);
        update(id<<1|1,mid+1,str,mid+1,r);
    }
    push_up(id);
}
ll query(int id,int stl,int str,int l,int r)
{
    if(stl==l && str==r && tree[id]==(str-stl+1))
    {
        return tree[id];
    }
    if(stl==str) return tree[id];
    int mid = (stl+str)>>1;
    if(r<=mid) return query(id<<1,stl,mid,l,r);
    else if (l>mid) return query(id<<1|1,mid+1,str,l,r);
    else return query(id<<1,stl,mid,l,mid) + query(id<<1|1,mid+1,str,mid+1,r);
}
int main()
{
    int q,c,x,y;
    int kase = 0;
    while(~scanf("%d",&n))
    {
        for(int i=1;i<=n;i++) scanf("%lld",&a[i]);
        build(1,1,n);
        scanf("%d",&q);
        printf("Case #%d:\n",++kase);
        while(q--)
        {
            scanf("%d%d%d",&c,&x,&y);
            if(x>y) swap(x,y);
            if(c==1)
            {
                printf("%lld\n",query(1,1,n,x,y));
            }
            else update(1,1,n,x,y);
        }
        putchar('\n');
    }
    return 0;
}

和这道题很像的是我在wannafly camp视频上看吴作凡大佬讲的一个题
大概是每次让区间上的数模一个p，最后要求区间和
显然取模的运算也不能以一个区间为单位，而是必须更新到叶子节点
同时也很难用一个标记来维护多次模的情况，因为取模没有交换律
比如先模5再模3和先模3再模5是不一样的，且无法用一个标记来表示这两种不同的过程

考虑到叶子节点的情况，假设某个叶子节点的值为k
这时要模p，分类讨论
①$p>k$ 显然没有意义
②$p<=k$ 这时才有意义
如果$p\le k/2$ 那么 k%$p\le p\le k/2$
如果$p>k/2$ 那么 k%$p=k-p\le k/2$
也就是说一个有意义的取模至少会让k缩小一半
那么对于long long范围的整数k，有效的更新次数就是logk

同上一道题，有效更新的边界是什么呢
上一道题是用区间和全是1来作边界
这一道题就可以用区间最大值来作边界，显然如果区间最大值大于等于p，才会有有意义的运算出现
所以同样是一种容忍少量直到叶子结点的有意义运算的思路