[Ynoi2010]iepsmCmq【数据结构】

传送门

好久没更博了（

其实是道 ez 题，但是场上犯蠢就只写了个无脑线段树分治（其实线段树分治比正解还长……不过正解细节略多就是）

插入的所有元素都可以对 \(c\) 取模，因此对于 \(u+v\geq c\) 的 \((u, v)\)，直接取最大的两个元素即可。否则必然有 \(u+v< c\)。

对每个元素 \(u\)，找到集合中最大的 \(v\) 使得 \(u+v<c\)，则 \(<v\) 的元素均不可能与 \(u\) 组成最优解。如此，可以构造出一张有向图，其中每个元素有唯一的出边。发现这张图上不可能存在长度 \(\geq 3\) 的环，且所有不在任何一个二元环上的边都不可能成为最优解。

因此只需要维护若干个匹配，每个匹配中的一对元素互为对方的最优解。插入元素时尝试新建匹配，删除元素时等价于将整个匹配删除，然后将其匹配的元素重新插入。发现新建匹配时，拆出来的另一个失配点不会产生新的匹配，因此操作总数是 \(O(n)\) 级别。上述的集合、匹配、答案等均可以用 STL 维护。

注意元素互不相等并不表示元素模 \(c\) 后互不相等，需要特殊维护。

Code：（时限对 STL 不是特别友好，需要略微卡常）

#include <bits/stdc++.h>
#define R register
#define mp make_pair
#define ll long long
#define pii pair<int, int>
using namespace std;

int n, c, lst;
multiset<int> s, ans;
map<int, int> mat;

struct IO {
//
static const int N = 1 << 23;

char ibuf[N], obuf[N], *s, *t, w;

IO() : t(obuf) {
	fread(s = ibuf, 1, N, stdin);
	return;
}

~IO() {
	fwrite(obuf, 1, t - obuf, stdout);
	return;
}

template <class T>
inline void read(T &x) {
	x = w = 0;
	while (!isdigit(*s)) w = (*s == '-'), ++s;
	while (isdigit(*s)) x = (x << 1) + (x << 3) + (*s ^ 48), ++s;
	x = w ? -x : x;
	return;
}

void print(int x) {
	if (x < 0) x = -x, *t++ = '-';
	if (x >= 10) print(x / 10);
	*t++ = x % 10 + '0';
	return;
}

inline void print(char x) {
	*t++ = x;
	return;
}
//
} io;
#define read io.read
#define print io.print

inline void insrt(int y) {
	auto w = s.upper_bound(c - y - 1);
	if (w != s.begin()) {
		--w;
		auto z = mat.find(*w);
		if (z == mat.end() || z->second < y) {
			if (z != mat.end()) ans.erase(ans.find(*w + z->second)), mat.erase(z->second);
			ans.insert(y + *w), mat[y] = *w, mat[*w] = y;
		}
	}
	s.insert(y);
	return;
}

int main() {
	int x, y;
	read(n), read(c);
	while (n--) {
		read(x), read(y), y = (y ^ lst) % c;
		if (x == 1) insrt(y);
		else {
			s.erase(s.find(y));
			if (mat.find(y) != mat.end()) {
				x = mat[y];
				mat.erase(y), mat.erase(x);
				ans.erase(ans.find(y + x));
				s.erase(s.find(x)), insrt(x);
			}
		}
		if (s.size() < 2) {
			print('E'), print('E'), print('\n');
			lst = 0;
		}
		else
			print(lst = max(ans.size() ? *ans.rbegin() : 0, (*s.rbegin() + *next(s.rbegin())) % c)), print('\n');
	}
	return 0;
}