CodeForces 522D Closest Equals 树状数组

题意：

给出一个序列\(A\)，有若干询问。
每次询问某个区间中值相等且距离最短的两个数，输出该距离，没有则输出-1.

分析：

令\(pre_i = max\{j| A_j = A_i, j < i\}\)，也就是前一个与\(A_i\)相等的数字的下标。
这个可以通过对序列排序，数值相等按照下标排序来计算。
将询问离线，按照询问区间的右端点从左到右排序。
从左到右扫描，向树状数组中在位置\(pre_i\)插入\(i - pre_i\)，并维护一个后缀最小值。

查询的时候直接查即可。

#include <cstdio>
#include <cstring>
#include <algorithm>
#include <map>
#include <set>
#include <vector>
#include <iostream>
#include <string>
using namespace std;
#define REP(i, a, b) for(int i = a; i < b; i++)
#define PER(i, a, b) for(int i = b - 1; i >= a; i--)
#define SZ(a) ((int)a.size())
#define MP make_pair
#define PB push_back
#define EB emplace_back
#define ALL(a) a.begin(), a.end()
typedef long long LL;
typedef pair<int, int> PII;

const int maxn = 500000 + 10;
const int INF = 0x3f3f3f3f;

int n, m;
inline int lowbit(int x) { return x&(-x); }
int C[maxn];

void upd(int& a, int b) { if(a > b) a = b; }

void update(int x, int v) {
    while(x) {
        upd(C[x], v);
        x -= lowbit(x);
    }
}

int query(int x) {
    int ans = INF;
    while(x <= n) {
        upd(ans, C[x]);
        x += lowbit(x);
    }
    if(INF == ans) ans = -1;
    return ans;
}

struct Query
{
    int l, r, id;
    bool operator < (const Query& t) const {
        return r < t.r;
    }
};

PII a[maxn];
int ans[maxn], pre[maxn];
Query q[maxn];

int main() {
    scanf("%d%d", &n, &m);
    memset(C, 0x3f, sizeof(C));
    REP(i, 1, n + 1) {
        scanf("%d", &a[i].first);
        a[i].second = i;
    }
    sort(a + 1, a + 1 + n);
    REP(i, 2, n + 1) {
        if(a[i].first == a[i-1].first)
            pre[a[i].second] = a[i-1].second;
    }
    REP(i, 0, m) {
        scanf("%d%d", &q[i].l, &q[i].r);
        q[i].id = i;
    }
    sort(q, q + m);

    int p = 1;
    REP(i, 0, m) {
        for( ;p <= q[i].r; p++) {
            if(pre[p]) update(pre[p], p - pre[p]);
        }
        ans[q[i].id] = query(q[i].l);
    }

    REP(i, 0, m) printf("%d\n", ans[i]);

    return 0;
}