考虑维护每个值下一次出现的位置，记 \operatorname{nxt}(i, x) 表示 i 之后下一个 x 出现的位置，记 ans_i 表示 i 之后最小的 j 满足区间 [i,j] 包含 [1,V] 所有数，则 ans_i = \max\limits_{x=1}^{V}\operatorname{nxt}(i, x)。
那么对于操作三，我们存一下每个数出现的位置，然后预处理出 nxt 和 ans 的值 ，如果有解答案就是 ans_l。同理，如果 [1,V] 中的某个元素最后一次出现位置在 l 之前，则 l 后一定有数字没出现，无解。这里用 set 维护每个值最后出现的位置，每次判一下最后出现次数的最小值（也就是 *s.begin()）即可。
对于操作二，我们假设 x 在操作前序列中最后一次出现的位置为 lst_x，这是第 cnt 次操作二（已经插入了 cnt-1 个数），则当前 x 应该插到第 n + cnt 的位置。对于 i\in [lxt_x + 1, n + cnt] ，其中间一定没有 x 出现（lst_x 为原序列 x 最后出现的位置），要想完整找到 [1,V] 中所有数，至少在 n + cnt 位置或其之后，应更新 ans_i=n+cnt。
对于操作一，在 x 所有出现位置的序列中二分，找到第一个大于等于 l 的前一个出现位置 \ell'，以及第一个大于 r 的位置 r'，由于 [l,r] 中所有 x 被删掉了，所以 i\in [\ell'+1, r'] 的 \operatorname{nxt}(x,i) 都应更新为 r'，ans_i 做一下 \operatorname{chmax} 即可。如果 r 后面没有 x 了，就把 ans_i 临时更新成 n+cnt+1，后面再次插入 x 会将此处的值继续更新。最后把 x 位置包含在 [l,r] 里的删掉即可。
```cpp
int n, m, V;
vector<int> pos[N];
multiset<int> lst;
int a[N];
int cnt;
struct Tree { // chmax
int l, r;
int maxv, tag;
void Maintain(int _tag) {
tag = max(_tag, tag);
maxv = max(_tag, maxv);
}
} tree[N << 3]; // (n + m) << 2
int ls(int p) { return p << 1; }
int rs(int p) { return p << 1 | 1; }
void PushUp(int p) {
tree[p].maxv = max(tree[ls(p)].maxv, tree[rs(p)].maxv);
}
void PushDown(int p) {
tree[ls(p)].Maintain(tree[p].tag);
tree[rs(p)].Maintain(tree[p].tag);
tree[p].tag = 0;
}
void Build(int p, int l, int r) {
tree[p].l = l, tree[p].r = r; tree[p].tag = 0;
if (tree[p].l == tree[p].r) {
tree[p].maxv = 0;
} else {
int mid = (tree[p].l + tree[p].r) >> 1;
Build(ls(p), l + 0, mid);
Build(rs(p), mid + 1, r);
PushUp(p);
}
}
void Change(int p, int l, int r, int d) {
if (l > r) return;
if (r < tree[p].l || tree[p].r < l) return;
if (l <= tree[p].l && tree[p].r <= r) {
tree[p].Maintain(d);
} else {
PushDown(p);
int mid = (tree[p].l + tree[p].r) >> 1;
if (l <= mid)Change(ls(p), l, r, d);
if (mid < r) Change(rs(p), l, r, d);
PushUp(p);
}
}
int Ask(int p, int x) {
if (tree[p].l == tree[p].r) {
return tree[p].maxv;
} else {
PushDown(p);
int mid = (tree[p].l + tree[p].r) >> 1;
int res = -inf;
if (x <= mid)res = max(res, Ask(ls(p), x));
if (mid < x) res = max(res, Ask(rs(p), x));
return res;
}
}
/*====================*/
void Solve() {
cin >> n >> m >> V;
Build(1, 1, n + m);
for (int i = 1; i <= V; i++) {
pos[i].push_back(0);
}
for (int i = 1; i <= n; i++) {
cin >> a[i];
pos[a[i]].push_back(i);
}
for (int i = 1; i <= V; i++) {
for (auto j = 1; j < pos[i].size(); j++) Change(1, pos[i][j - 1] + 1, pos[i][j], pos[i][j]);
lst.insert(pos[i].back());
}
while (m--) {
int op; cin >> op;
if (op == 1) {
int ll, rr, x; cin >> ll >> rr >> x;
auto l = lower_bound(pos[x].begin(), pos[x].end(), ll); // >= l
auto r = upper_bound(pos[x].begin(), pos[x].end(), rr); // > r
auto nl = l, nr = r;
r--; // 防止下面 *r 取到 end，r' 位置本身没有被影响到，可以不更新
nl--; // 取到 l 前一个位置
int maxn = (nr == pos[x].end()) ? n + cnt + 1 : *nr;
Change(1, (*nl) + 1, *r, maxn);
lst.erase(lst.find(pos[x].back()));
pos[x].erase(l, nr); // 删掉 [l,r] 范围内的元素
lst.insert(pos[x].back());
} else if (op == 2) {
int x; cin >> x;
cnt++;
Change(1, pos[x].back() + 1, n + cnt, n + cnt);
lst.erase(lst.find(pos[x].back()));
lst.insert(n + cnt);
pos[x].push_back(n + cnt);
} else {
int l; cin >> l;
if (l > *lst.begin()) cout << -1 << endl;
else cout << Ask(1, l) << endl;
}
}
return;
}
```