splay模板题的简单题解

题目链接：https://www.luogu.com.cn/problem/P3850

[TJOI2007]书架

题目描述

Knuth 先生家里有个精致的书架，书架上有 $N$ 本书，如今他想学到更多的知识，于是又买来了 $M$ 本不同的新书。现在他要把新买的书依次插入到书架中，他已经把每本书要插入的位置标记好了，并且相应的将它们放好。由于 Knuth 年龄已大，过几天他已经记不清某些位置上放的到底是什么书了，请问你能帮助他吗？

输入格式

输入文件的第一行为整数 $N$，接下来 $N$ 行分别是书架上依次放着的 N 本书的书名（书名由不含空格的字符串构成，长度不超过 $10$）。下一行将要输入一个整数 $M$，接下来的 $M$ 行分别为这本书的书名和要插入的位置。下一行将要输入一个整数 $Q$，接下来共有 $Q$ 次询问，每行都是一个整数表示询问的位置。（书架上位置的编号从 $0$ 开始）

输出格式

输出 $Q$ 行，每行对应着相应查询位置的书名。

样例 #1

样例输入 #1

3
Math
Algorithm
Program
2
Picture 2
System 1
3
0
1
3

样例输出 #1

Math
System
Picture

提示

原来有三本书 Math、Algorithm、Program，后来又买了两本书，分别插入到 $2$ 和 $1$ 的位置，每次插入时其他书都要向后挪一个位置，最后书架上书的序列为：

0  Math
1  System
2  Algorithm
3  Picture
4  Program

$Q$ 次询问依次为 $0$, $1$, $3$ 位置的书，所以答案为：Math、System、Picture

对于 $30\%$ 的数据，$1⩽N⩽100$, $1⩽M⩽10^3$, $1⩽Q⩽10^3$

对于 $100\%$ 的数据，$1⩽N⩽200$, $1⩽M⩽10^5$, $1⩽Q⩽10^4$

对于 $100\%$ 的数据都符合题目中所描述的限制关系，数据保证每次插入的位置均不超过当时书架上书的数量，而且保证 $Q$ 次查询中的每个位置上一定有书。

---

简单描述一下自己的思路

首先针对已经摆在书架上的书，我们正常读入，建立一个平衡树。为了防止出现意外，在输入前插入两个哨兵inf和-inf。书名另开一个字符串数组存储。

然后是将新书插入到书架中。我们想要将新书插入到i位置（即原有的第i本书位置的前面，注意位置的下标从0开始）。我们先找到排名为i-1的节点（这个时候哨兵-inf就起作用了），将该节点转到根节点，然后再将排名为i的节点转到根节点的子节点，这个时候，排名为i的节点的左节点为空，我们将想要插入的书本放到左子树即可。如图：

通过这种方式，我们可以插入其他的点。
注意：由于我们插入了两个哨兵，所以我们想要获得排名为i的节点，实际上应当查找排名为i+2的节点。
代码如下：

// Problem: P3850 [TJOI2007]书架
// Contest: Luogu
// URL: https://www.luogu.com.cn/problem/P3850
// Memory Limit: 125 MB
// Time Limit: 2000 ms
//
// Powered by CP Editor (https://cpeditor.org)

// #pragma GCC optimize(2)
#include <bits/stdc++.h>
using namespace std;
#define endl '\n'
#define all(a) a.begin(), a.end()
#define C2(n) (n * (n - 1) >> 1)
#define ll long long
#define ull unsigned long long
#define PII pair<int, int>
#define vint vector<int>
#define pb(a) push_back(a)
#define fi first
#define se second
#define inf 0x3f3f3f3f
#define eqs 1e-6
// const int mod =
const int N = 1e5 + 210;

int n, m;
struct Node
{
    int s[2], p, key;
    int size;

    void init(int _p, int _key)
    {
        p = _p, key = _key;
        size = 1;
    }
} tr[N];
string name[N];
int root, idx;

void pushup(int u)
{
    tr[u].size = tr[tr[u].s[0]].size + tr[tr[u].s[1]].size + 1;
}

void rotate(int x)
{
    int y = tr[x].p, z = tr[y].p;
    int k = tr[y].s[1] == x;
    tr[z].s[tr[z].s[1] == y] = x, tr[x].p = z;
    tr[y].s[k] = tr[x].s[k ^ 1], tr[tr[x].s[k ^ 1]].p = y;
    tr[x].s[k ^ 1] = y, tr[y].p = x;
    pushup(y), pushup(x);
}

void splay(int x, int k)
{
    while (tr[x].p != k)
    {
        int y = tr[x].p, z = tr[y].p;
        if (z != k)
            if ((tr[y].s[1] == x) ^ (tr[z].s[1] == y))
                rotate(x);
            else
                rotate(y);
        rotate(x);
    }
    if (!k)
        root = x;
}

void insert(int key)
{
    int u = root, p = 0;
    while (u)
        p = u, u = tr[u].s[key > tr[u].key];
    u = ++idx;
    if (p)
        tr[p].s[key > tr[p].key] = u;
    tr[u].init(p, key);
    splay(u, 0);
}

int get_k(int k)
{
    int u = root;
    while (true)
    {
        if (tr[tr[u].s[0]].size >= k)
            u = tr[u].s[0];
        else if (tr[tr[u].s[0]].size + 1 == k)
        {
        	splay(u,0);
            return u;
        }
        else
            k -= tr[tr[u].s[0]].size + 1, u = tr[u].s[1];
    }
    return -1;
}

int main()
{
    ios::sync_with_stdio(false);
    cin.tie(0);

    cin >> n;
    insert(-inf),insert(inf);
    for (int i = 0; i < n; ++i)
    {
        string str;
        cin >> str;
        name[i] = str;
        insert(i);
    }
    
    cin >> m;
    while (m--)
    {
        string str;
        int k;
        cin >> str >> k;
        name[n] = str;
        int L = get_k(k + 1), R = get_k(k + 2);
        splay(L, 0), splay(R, L);
        tr[++idx].init(R, n++);
        tr[R].s[0] = idx;
        pushup(R), pushup(L);
    }
    
    cin >> m;
    while (m--)
    {
        int k;
        cin >> k;
        k = get_k(k + 2);
        cout << name[tr[k].key] << endl;
    }

    return 0;
}