CodeForces 551E GukiZ and GukiZiana（分块+二分）

题意（摘自洛谷）：

给出一个数列 $a_1,a_2,...,a_n$，有两种操作：

• 给出 $l,r,x$, 令 $a_l,a_{l+1},...,a_r$ 都加上 $x$

• 给出 $x$， 求最大的 $j-i$ 满足 $a_i=a_j=x$，无解输出 $-1$

这题就是一个分块套路题

对于修改操作：

• 整块修改不会影响块内元素大小关系，就直接对 $add[i]+=x$
• 零散元素直接暴力修改重新排序

对于查询操作

• 显然直接对块内元素进行二分即可
• 开一个 $\mathsf{v}\mathsf{e}\mathsf{c}\mathsf{t}\mathsf{o}\mathsf{r}$ 在里面二分即可

时间复杂度应该是 $O(m\sqrt{n}\sqrt{logn})$，能跑过去还是比较悬的

#include <map>
#include <set>
#include <ctime>
#include <queue>
#include <stack>
#include <cmath>
#include <vector>
#include <bitset>
#include <cstdio>
#include <cctype>
#include <string>
#include <numeric>
#include <cstring>
#include <cassert>
#include <climits>
#include <cstdlib>
#include <iostream>
#include <algorithm>
#include <functional>
using namespace std ;
#define int long long
#define rep(i, a, b) for (int i = (a); i <= (b); i++)
#define per(i, a, b) for (int i = (a); i >= (b); i--)
#define loop(s, v, it) for (s::iterator it = v.begin(); it != v.end(); it++)
#define cont(i, x) for (int i = head[x]; i; i = e[i].nxt)
#define clr(a) memset(a, 0, sizeof(a))
#define ass(a, sum) memset(a, sum, sizeof(a))
#define lowbit(x) (x & -x)
#define all(x) x.begin(), x.end()
#define ub upper_bound
#define lb lower_bound
#define pq priority_queue
#define mp make_pair
#define pb push_back
#define fi first
#define se second
#define iv inline void
#define enter cout << endl
#define siz(x) ((int)x.size())
#define file(s) freopen(s".in", "r", stdin), freopen(s."out", "w", stdout)
typedef long long ll ;
typedef unsigned long long ull ;
typedef pair <int, int> pii ;
typedef vector <int> vi ;
typedef vector <pii> vii ;
typedef queue <int> qi ;
typedef queue <pii> qii ;
typedef set <int> si ;
typedef map <int, int> mii ;
typedef map <string, int> msi ;
const int N = 500010 ;
const int M = 1010 ;
const int INF = 0x3f3f3f3f ;
const int iinf = 1 << 30 ;
const ll linf = 2e18 ;
const int MOD = 1000000007 ;
const double eps = 1e-7 ;
void print(int x) { cout << x << endl ; exit(0) ; }
void PRINT(string x) { cout << x << endl ; exit(0) ; }
void douout(double x){ printf("%lf\n", x + 0.0000000001) ; }

vi s[M] ;
int add[M], a[N], bl[N], l[M], r[M] ;
int n, m, len, num ;

bool cmp(int x, int y) {
	if (a[x] == a[y]) return x < y ;
	else return a[x] < a[y] ;
}

void build() {
	len = sqrt(n), num = (n - 1) / len + 1 ;
	rep(i, 1, n) bl[i] = (i - 1) / len + 1 ;
	rep(i, 1, num) l[i] = (i - 1) * len + 1, r[i] = i * len ;
	r[num] = n ;
	rep(i, 1, n) s[bl[i]].pb(i) ;
	rep(i, 1, num) sort(all(s[i]), cmp) ;
}

void modify(int x, int y, int val) {
	int X = bl[x], Y = bl[y] ;
	if (X == Y) {
		rep(i, x, y) a[i] += val ;
		sort(all(s[X]), cmp) ;
	} else {
		rep(i, X + 1, Y - 1) add[i] += val ;
		rep(i, x, r[X]) a[i] += val ; sort(all(s[X]), cmp) ;
		rep(i, l[Y], y) a[i] += val ; sort(all(s[Y]), cmp) ;
	}
}

int query(int val) {
	int l = -1, r = -1, pos ;
	rep(i, 1, num) {
		a[0] = val - add[i] ;
		auto it = lb(all(s[i]), 0, cmp) ;
		if (it == s[i].end()) continue ;
		if (a[*it] + add[i] == val) {
			l = *it ; pos = i ;
			break ;
		}
	}
	if (l == -1) return l ;
	per(i, num, pos) {
		a[n + 1] = val - add[i] ;
		auto it = lb(all(s[i]), n + 1, cmp) ;
		if (it == s[i].begin()) continue ;
		it-- ;
		if (a[*it] + add[i] == val) {
			r = *it ;
			break ;
		}
	}
//	cout << l << " " << r << endl ;
	return r - l ;
}

signed main(){
	scanf("%lld%lld", &n, &m) ;
	rep(i, 1, n) scanf("%lld", &a[i]) ;
	build() ;
	while (m--) {
		int op, l, r, val ; scanf("%lld", &op) ;
		if (op == 1) {
			scanf("%lld%lld%lld", &l, &r, &val) ;
			modify(l, r, val) ;
		} else {
			scanf("%lld", &val) ;
			printf("%lld\n", query(val)) ;
		}
	//	rep(i, 1, n) cout << a[i] << " " ; enter ;
	}
	return 0 ;
}

/*
8 5
1 1 1 2 1 3 1 1
2 1
1 1 8 1
2 2
1 2 5 2
2 4
------
6 4
1 9 9 2 3 4
1 2 6 6
1 5 6 5
2 15
2 1
*/

/*
写代码时请注意：
	1.ll？数组大小，边界？数据范围？
	2.精度？
	3.特判？
	4.至少做一些
思考提醒：
	1.最大值最小->二分？
	2.可以贪心么？不行dp可以么
	3.可以优化么
	4.维护区间用什么数据结构？
	5.统计方案是用dp？模了么？
	6.逆向思维？
*/