首先，很容易想到的是，我们不妨直接就对这个区间进行更新了，譬如区间[l, r]的最小值为x，那么我们直接去对这个区间进行更新，但是很容易就会发现一个误区，如果目前[l, r]已经被赋值为x，现在又对相同的[l, r]区间说它是最小值为y的，这时候怎么进行记录？所以，这时候我们想到了，对于每个权值，它只会出现一次，于是我们不妨记录它出现的区间的交，譬如出现于[l, r]以及[l', r']，那么，实际上该值的出现区间可有被认为[max(l, l') , min(r, r')]。所以，如果我们可以在它的覆盖区间内进行查找它是否存在，就可以解决这个问题了。
于是乎，我们依然存放区间最小值，用线段树维护区间最小值，如此以来，又有bug出现了！再一想，如果有l < l' < r' < r，且x[l, r] < x[l', r']（区间[l, r]的最小值 < 区间[l', r']的最小值），那么岂不是区间[l', r']的最小值被丢失了，这时候怎么办？我们不妨改一下，想存下更小区间的值，我们只能使用记录最大值的做法了，于是改成求区间最小（最大值），也就是我们推下去，是将最大值推下去，然后，我们想知道的仍然是区间最小值，也就是最低限制。
最后，总结成词一下，这个问题就变成了，我们要求区间的最大值的最小值（有点绕）。“最大值”指的是更小的区间的要求，“最小值”指的是对于这个区间最小的要求是什么。于是，如果有一个值x，它存在对应的区间，如果该区间的最小值是小于等于它的，就说明可以将值x放进去，否则，就出现了非法。
#include <iostream> #include <cstdio> #include <cmath> #include <string> #include <cstring> #include <algorithm> #include <limits> #include <vector> #include <stack> #include <queue> #include <set> #include <map> #include <bitset> #include <unordered_map> #include <unordered_set> #define lowbit(x) ( x&(-x) ) #define pi 3.141592653589793 #define e 2.718281828459045 #define INF 0x3f3f3f3f #define HalF (l + r)>>1 #define lsn rt<<1 #define rsn rt<<1|1 #define Lson lsn, l, mid #define Rson rsn, mid+1, r #define QL Lson, ql, qr #define QR Rson, ql, qr #define myself rt, l, r #define pii pair<int, int> #define MP(a, b) make_pair(a, b) using namespace std; typedef unsigned long long ull; typedef unsigned int uit; typedef long long ll; const int maxN = 1e5 + 7; int N, Q; namespace BitTree { struct JudegeMent { int l, r; JudegeMent(int a=-1, int b=-1):l(a), r(b) {} } judge[maxN]; const int maxP = maxN << 2; int tree[maxP], lazy[maxP], limt[maxP]; void build(int rt, int l, int r) { tree[rt] = lazy[rt] = -1; limt[rt] = l; if(l == r) return; int mid = HalF; build(Lson); build(Rson); } void pushdown(int rt) { if(~lazy[rt]) { lazy[lsn] = max(lazy[lsn], lazy[rt]); lazy[rsn] = max(lazy[rsn], lazy[rt]); tree[lsn] = max(tree[lsn], lazy[rt]); tree[rsn] = max(tree[rsn], lazy[rt]); lazy[rt] = -1; } } void pushup(int rt) { if(tree[lsn] <= tree[rsn]) { tree[rt] = tree[lsn]; limt[rt] = limt[lsn]; } else { tree[rt] = tree[rsn]; limt[rt] = limt[rsn]; } } void update(int rt, int l, int r, int ql, int qr, int x) { if(ql <= l && qr >= r) { tree[rt] = max(tree[rt], x); lazy[rt] = max(lazy[rt], x); return; } pushdown(rt); int mid = HalF; if(qr <= mid) update(QL, x); else if(ql > mid) update(QR, x); else { update(QL, x); update(QR, x); } pushup(rt); } pii query(int rt, int l, int r, int ql, int qr) { if(ql <= l && qr >= r) return MP(tree[rt], limt[rt]); pushdown(rt); int mid = HalF; if(qr <= mid) return query(QL); else if(ql > mid) return query(QR); else { pii ans_L = query(QL); pii ans_R = query(QR); if(ans_L.first <= ans_R.first) return ans_L; else return ans_R; } } } using namespace BitTree; int ans[maxN]; int main() { scanf("%d%d", &N, &Q); build(1, 0, N - 1); bool ok = true; for(int i = 1, l, r, x; i <= Q; i ++) { scanf("%d%d%d", &l, &r, &x); if(!ok) continue; if(!~judge[x].l) judge[x] = JudegeMent(l, r); else { judge[x].l = max(judge[x].l, l); judge[x].r = min(judge[x].r, r); if(judge[x].l > judge[x].r) ok = false; } update(1, 0, N - 1, l, r, x); } if(ok) { pii ques; for(int i = 0; i < N; i ++) { if(!~judge[i].l) ques = query(1, 0, N - 1, 0, N - 1); else ques = query(1, 0, N - 1, judge[i].l, judge[i].r); if(ques.first > i) { ok = false; break; } ans[ques.second] = i; update(1, 0, N - 1, ques.second, ques.second, INF); } } if(!ok) { for(int i = 1; i <= N; i ++) printf("-1%c", i == N ? ' ' : ' '); } else { for(int i = 0; i < N; i ++) printf("%d%c", ans[i], i == N - 1 ? ' ' : ' '); } return 0; }