牛客多校第四场 J-Hash Function （（线段树|并查集）+拓扑排序）

Hash Function

题意：给出一个$hash$表，求字典序最小的合法插入序列，如果不合法输出$-1$，如果为空表输出空行。

我们已知已经插入完成的$hash$表，那么我们能得出的信息有什么呢？我们知道一个数的值$x$和它所在的位置$j$，还知道它的插入方式。所以，如果一个数$x$不在$x\%n$的话，那么说明从$x\%n\to j -1$这些位置都被占用了，这些位置的数都要优先于$x$被先插入的，如果我们从这个区间到$i$连一条边建图的话，我们拓扑排序就可以得出插入序列。但是暴力建图是$O(n^2)$的，所以我们可以并查集优化一下，或者线段树建图。
利用并查集的路径压缩性质，我们可以$log(n)$时间内找到当前节点的祖先节点，然后判断是否合法就$ok$了。
线段树建图的话，我们可以初始由子节点向父节点连一条边，然后$update$的时候区间向目标节点连边，这样就保证了每一个$[l,r]$区间到目标节点有一条间接的边，保证了建边的合法性。
那怎么判断最终不合法呢？
$1.\:$正常来说$x$最终插入到$j$，本应插入到$i = x\%n$，如果$[i,j-1]$区间有$-1$的话，序列就不合法。
$2.\:$拓扑排序时出现环。

并查集+拓扑排序

#include<bits/stdc++.h>
using namespace std;
typedef pair<int,int > pii;
const int N = 2e5;
int a[N], f[N], vis[N];

inline int getF(int v)
{
    if(f[v]==v)
        return v;
    return f[v] = getF(f[v]);
}

int main() {

    int T, n;
    scanf("%d", &T);
    while (T--) {
        scanf("%d", &n);
        int cnt = 0;
        for (int i = 0; i < n; ++i)
            f[i] = i, vis[i] = 0;
        priority_queue<pii, vector<pii>, greater<pii> > pq;
        for (int i = 0; i < n; ++i) {
            scanf("%d", a + i);
            if (a[i] % n == i)
                pq.push({a[i], i}), vis[i] = 1;
            if (a[i] != -1)
                cnt++;
        }
        if (cnt == 0) {
            puts("");
            continue;
        }
        vector<int> ans;
        while (!pq.empty()) {
            pii p = pq.top();
            pq.pop();
            ans.push_back(p.first);
            if (ans.size() == cnt)
                break;
            int v = p.second;
            f[v] = ((v == n - 1) ? 0 : v + 1);
            int u = getF(f[v]);
            if (vis[u] || a[u] == -1)
                continue;
            if (u == getF(a[u] % n)) { //说明[a[u]%n,u-1]区间的数都已先于a[u]插入
                pq.push({a[u], u});
                vis[u] = 1;
            }
        }
        if (ans.size() != cnt)
            puts("-1");
        else
            for (int i = 0; i < ans.size(); ++i)
                printf("%d%c", ans[i], (i == ans.size() - 1) ? '\n' : ' ');
    }

}

线段树优化建图+拓扑排序

留坑