From 5e22789bf8b88f7917d183ccd0dd43dd4222ed9d Mon Sep 17 00:00:00 2001 From: Baoshuo Date: Tue, 26 Jul 2022 08:21:50 +0800 Subject: [PATCH] =?UTF-8?q?P3380=20=E3=80=90=E6=A8=A1=E6=9D=BF=E3=80=91?= =?UTF-8?q?=E4=BA=8C=E9=80=BC=E5=B9=B3=E8=A1=A1=E6=A0=91=EF=BC=88=E6=A0=91?= =?UTF-8?q?=E5=A5=97=E6=A0=91=EF=BC=89?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit https://www.luogu.com.cn/record/81169175 --- Luogu/P3380/P3380.cpp | 308 +++++++++++++++++++++++++++++++++++ Luogu/P3380/data/P3380_1.in | 3 + Luogu/P3380/data/P3380_1.out | 3 + Luogu/P3380/data/P3380_2.in | 3 + Luogu/P3380/data/P3380_2.out | 3 + Luogu/P3380/data/P3380_7.in | 3 + Luogu/P3380/data/P3380_7.out | 3 + 7 files changed, 326 insertions(+) create mode 100644 Luogu/P3380/P3380.cpp create mode 100644 Luogu/P3380/data/P3380_1.in create mode 100644 Luogu/P3380/data/P3380_1.out create mode 100644 Luogu/P3380/data/P3380_2.in create mode 100644 Luogu/P3380/data/P3380_2.out create mode 100644 Luogu/P3380/data/P3380_7.in create mode 100644 Luogu/P3380/data/P3380_7.out diff --git a/Luogu/P3380/P3380.cpp b/Luogu/P3380/P3380.cpp new file mode 100644 index 00000000..d1f1834a --- /dev/null +++ b/Luogu/P3380/P3380.cpp @@ -0,0 +1,308 @@ +#include +#include +#include +#include + +using std::cin; +using std::cout; +const char endl = '\n'; + +const int N = 5e4 + 5; + +class Treap { + private: + struct node { + node *lchild, *rchild; + int size, value, key; + + node() + : lchild(nullptr), rchild(nullptr), size(0), value(0), key(rand()) {} + + node(int _value) + : lchild(nullptr), rchild(nullptr), size(1), value(_value), key(rand()) {} + + ~node() { + delete lchild; + delete rchild; + } + + inline void pushup() { + size = 1; + if (lchild != nullptr) size += lchild->size; + if (rchild != nullptr) size += rchild->size; + } + } * root; + + inline int getNodeSize(node *node) { + return node == nullptr ? 0 : node->size; + } + + std::pair split(node *p, int k) { + if (p == nullptr) return std::make_pair(nullptr, nullptr); + + if (k <= getNodeSize(p->lchild)) { + auto o = split(p->lchild, k); + p->lchild = o.second; + p->pushup(); + o.second = p; + + return o; + } + + auto o = split(p->rchild, k - getNodeSize(p->lchild) - 1); + p->rchild = o.first; + p->pushup(); + o.first = p; + + return o; + } + + std::pair splitByValue(node *p, int value) { + if (p == nullptr) return std::make_pair(nullptr, nullptr); + + if (p->value < value) { + auto o = splitByValue(p->rchild, value); + p->rchild = o.first; + p->pushup(); + o.first = p; + + return o; + } + + auto o = splitByValue(p->lchild, value); + p->lchild = o.second; + p->pushup(); + o.second = p; + + return o; + } + + node *merge(node *x, node *y) { + if (x == nullptr) return y; + if (y == nullptr) return x; + + if (x->key > y->key) { + x->rchild = merge(x->rchild, y); + x->pushup(); + return x; + } + + y->lchild = merge(x, y->lchild); + y->pushup(); + return y; + } + + public: + Treap() + : root(nullptr) {} + + ~Treap() { + delete root; + } + + inline void insert(int value) { + auto o = splitByValue(root, value); + o.first = merge(o.first, new node(value)); + root = merge(o.first, o.second); + } + + inline void erase(int value) { + auto o = splitByValue(root, value); + auto t = split(o.second, 1); + + if (t.first->value == value) { + delete t.first; + } + + root = merge(o.first, t.second); + } + + inline int rank(int value) { + auto x = splitByValue(root, value); + int r = getNodeSize(x.first) + 1; + root = merge(x.first, x.second); + return r; + } + + inline int kth(int k) { + auto x = split(root, k - 1); + auto y = split(x.second, 1); + Treap::node *o = y.first; + root = merge(x.first, merge(y.first, y.second)); + return o == nullptr ? 0 : o->value; + } + + inline int pre(int x) { + int k = rank(x) - 1; + return k > 0 + ? kth(k) + : std::numeric_limits::min() + 1; + } + + inline int suc(int x) { + int k = rank(x + 1); + return k > getNodeSize(root) + ? std::numeric_limits::max() + : kth(k); + } +}; + +struct node : Treap { + int l, r; + node *lchild, *rchild; + + node() + : l(0), r(0), lchild(nullptr), rchild(nullptr) {} + + node(const int &_l, const int &_r) + : l(_l), r(_r), lchild(nullptr), rchild(nullptr) {} + + ~node() { + if (lchild != nullptr) delete lchild; + if (rchild != nullptr) delete rchild; + } +} * root; + +int n, m, a[N]; + +void build(node *&u, int l, int r) { + u = new node(l, r); + + for (int i = l; i <= r; i++) { + u->insert(a[i]); + } + + if (l == r) return; + + int mid = (l + r) >> 1; + + build(u->lchild, l, mid); + build(u->rchild, mid + 1, r); +} + +int query_rank(node *u, int l, int r, int x) { + if (l <= u->l && u->r <= r) { + return u->rank(x) - 1; + } + + int mid = (u->l + u->r) >> 1; + int res = 0; + + if (l <= mid) res += query_rank(u->lchild, l, r, x); + if (r > mid) res += query_rank(u->rchild, l, r, x); + + return res; +} + +int query_kth(int _l, int _r, int k) { + int l = 0, r = 1e8, res = -1; + + while (l <= r) { + int mid = (l + r + 1) >> 1; + + if (query_rank(root, _l, _r, mid) + 1 <= k) { + l = mid + 1; + res = mid; + } else { + r = mid - 1; + } + } + + return res; +} + +void modify(node *u, int p, int x) { + u->erase(a[p]); + u->insert(x); + + if (u->l == u->r) return; + + int mid = (u->l + u->r) >> 1; + + if (p <= mid) modify(u->lchild, p, x); + else modify(u->rchild, p, x); +} + +int query_pre(node *u, int l, int r, int x) { + if (l <= u->l && u->r <= r) { + return u->pre(x); + } + + int mid = (u->l + u->r) >> 1; + int res = std::numeric_limits::min() + 1; + + if (l <= mid) res = std::max(res, query_pre(u->lchild, l, r, x)); + if (r > mid) res = std::max(res, query_pre(u->rchild, l, r, x)); + + return res; +} + +int query_suc(node *u, int l, int r, int x) { + if (l <= u->l && u->r <= r) { + return u->suc(x); + } + + int mid = (u->l + u->r) >> 1; + int res = std::numeric_limits::max(); + + if (l <= mid) res = std::min(res, query_suc(u->lchild, l, r, x)); + if (r > mid) res = std::min(res, query_suc(u->rchild, l, r, x)); + + return res; +} + +int main() { + std::ios::sync_with_stdio(false); + cin.tie(nullptr); + + cin >> n >> m; + + for (int i = 1; i <= n; i++) { + cin >> a[i]; + } + + build(root, 1, n); + + while (m--) { + int op; + + cin >> op; + + if (op == 1) { + int l, r, x; + + cin >> l >> r >> x; + + cout << query_rank(root, l, r, x) + 1 << endl; + } else if (op == 2) { + int l, r, k; + + cin >> l >> r >> k; + + cout << query_kth(l, r, k) << endl; + } else if (op == 3) { + int p, x; + + cin >> p >> x; + + modify(root, p, x); + a[p] = x; + } else if (op == 4) { + int l, r, x; + + cin >> l >> r >> x; + + cout << query_pre(root, l, r, x) << endl; + } else { // op == 5 + int l, r, x; + + cin >> l >> r >> x; + + cout << query_suc(root, l, r, x) << endl; + } + } + + delete root; + + return 0; +} diff --git a/Luogu/P3380/data/P3380_1.in b/Luogu/P3380/data/P3380_1.in new file mode 100644 index 00000000..0a39538d --- /dev/null +++ b/Luogu/P3380/data/P3380_1.in @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:c55ab3afbb973c45766dba6bbbd82e555e2ce0c58e8e22896919a09f09dd995e +size 1520744 diff --git a/Luogu/P3380/data/P3380_1.out b/Luogu/P3380/data/P3380_1.out new file mode 100644 index 00000000..d0b19f35 --- /dev/null +++ b/Luogu/P3380/data/P3380_1.out @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:9d3b8852a27dde1514772756f929d4611aa3175e943236090262d8d1430b12ca +size 356969 diff --git a/Luogu/P3380/data/P3380_2.in b/Luogu/P3380/data/P3380_2.in new file mode 100644 index 00000000..c2938116 --- /dev/null +++ b/Luogu/P3380/data/P3380_2.in @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:0b7a298026d975737b532b7cfef3518da08ff374bbe71b8023ff8f9b3c079df3 +size 1294486 diff --git a/Luogu/P3380/data/P3380_2.out b/Luogu/P3380/data/P3380_2.out new file mode 100644 index 00000000..e504a98e --- /dev/null +++ b/Luogu/P3380/data/P3380_2.out @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:2c4710ae905752b28cbaafa6f5abb1f5753a407c3b1d0350a4451f5feb1b9e59 +size 499990 diff --git a/Luogu/P3380/data/P3380_7.in b/Luogu/P3380/data/P3380_7.in new file mode 100644 index 00000000..1534497f --- /dev/null +++ b/Luogu/P3380/data/P3380_7.in @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:bd0cf69790ffa3710887b27517f8cb3ba7c6ab355be45f4ce9c9affab0be5435 +size 1176542 diff --git a/Luogu/P3380/data/P3380_7.out b/Luogu/P3380/data/P3380_7.out new file mode 100644 index 00000000..8a3a3e66 --- /dev/null +++ b/Luogu/P3380/data/P3380_7.out @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:4b3fdfc25522671b6a7319c900be32526f40a2b2a247a70cc50a5d976545c9b0 +size 298906