CodeForces 551E GukiZ and GukiZiana （分块）

题意：
给出一个序列，两种操作
1.将区间[l,r]上的数加x
2.询问满足a[i]=x的下标中下标最大距离，即找到序列右边值等于x的下标和左边等于x的下标，输出差值，如果没有找到，输出-1
题解：
分块，妥妥的

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

using namespace std;

#define INF 0x3f3f3f3f
#define maxn 500005

int n,m;
long long a[maxn];
int block,num,belong[maxn],l[maxn],r[maxn];
long long add[maxn];

struct node
{
    long long val;
    int index;
    node() {}
    node(long long x,int y)
    {
        val=x,index=y;
    }
    friend bool operator < (node A,node B)
    {
        return A.valbool cmp(node a,node b)
{
    if(a.val==b.val) return a.indexreturn a.valvoid init()
{
    block=sqrt(n);
    num=n/block;
    if(n%block) num++;
    for(int i=1; i<=n; i++)
    {
        belong[i]=(i-1)/block+1;
        que[i].val=a[i];
        que[i].index=i;
    }
    for(int i=1; i<=num; i++)
    {
        l[i]=(i-1)*block+1;
        r[i]=i*block;
    }
    r[num]=n;
    for(int i=1; i<=num; i++)
    {
        sort(que+l[i],que+r[i]+1,cmp);
    }
}

void update(int x,int y,int c)
{
    if(belong[x]==belong[y])
    {
        for(int i=x; i<=y; i++)
        {
            a[i]+=c;
        }
        for(int i=l[belong[x]]; i<=r[belong[x]]; i++)
        {
            que[i].val=a[i];
            que[i].index=i;
        }
        sort(que+l[belong[x]],que+r[belong[x]]+1,cmp);
        return ;
    }
    for(int i=x; i<=r[belong[x]]; i++) a[i]+=c;
    for(int i=l[belong[y]]; i<=y; i++) a[i]+=c;
    for(int i=l[belong[x]]; i<=r[belong[x]]; i++)
    {
        que[i].val=a[i];
        que[i].index=i;
    }
    sort(que+l[belong[x]],que+r[belong[x]]+1,cmp);
    for(int i=l[belong[y]]; i<=r[belong[y]]; i++)
    {
        que[i].val=a[i];
        que[i].index=i;
    }
    sort(que+l[belong[y]],que+r[belong[y]]+1,cmp);
    for(int i=belong[x]+1; ivoid query(long long c)
{
    int ansl=0,ansr=0;
    for(int i=1; i<=num; i++)
    {
        node temp=node(c-add[i],INF);
        int pos=lower_bound(que+l[i],que+r[i]+1,temp)-que;
        if(pos<=r[i]&&temp.val==que[pos].val)
        {
            ansl=que[pos].index;
            break;
        }
    }
    for(int i=num; i>=1; i--)
    {
        node temp=node(c-add[i],INF);
        int pos=upper_bound(que+l[i],que+r[i]+1,temp)-que;
        if(pos&&temp.val==que[pos-1].val)
        {
            ansr=que[pos-1].index;
            break;
        }
    }
    if(ansl==0) printf("-1\n");
    else printf("%d\n",ansr-ansl);
}

int main()
{
    scanf("%d%d",&n,&m);
    for(int i=1; i<=n; i++)
    {
        scanf("%d",&a[i]);
    }
    init();
    while(m--)
    {
        int op;
        scanf("%d",&op);
        if(op==1)
        {
            int x,y,c;
            scanf("%d%d%d",&x,&y,&c);
            update(x,y,c);
        }
        else
        {
            int x;
            scanf("%d",&x);
            query(x);
        }
    }
    return 0;
}