Gym102803E Everybody Lost Somebody / 4.6 校内考试 Dark Blue（hush）
作者：互联网
对于一个串 \(s\)，给出 \(s\) 串的 \(\{sa_i\}, \{ht_i\}\)（height），其中部分 \(ht_i\) 可能不知道，用 \(-1\) 表示。求这个串。如有多解，输出字典序最小的。保证存在解。
\(n \le 5000\)，考试版本 \(n \le 10^6\)。
字符串 并查集 后缀数组 拓扑排序
做法 1
这个部分的前半段继承于考场做法。
考虑 \(ht_i \neq -1\) 的情况，可以直接将所有相同的缩到一起，然后不同的连一条 \(1\) 的边，然后对于缩完的块拓扑排序，求出字典序最小的解。
这个缩到一起的过程，我们发现我们求 \(ht\) 的时候有一个比较代码，这个代码会告诉我们那些字符串是相等的，然后模拟就完事了。
对于 \(ht_i = -1\) 的情况，我们发现接下来的问题有点困难了，但是我们观察 \(sa_i\) 和 \(sa_{i - 1}\)，如果我们忽略 \(sa_i\) 这个字符，考虑 \(sa_i + 1\) 这个后缀，忽略 \(sa_{i - 1}\) 这个字符，考虑 \(sa_{i - 1}+1\) 这个后缀，这两个后缀的大小关系是知道的，然后就可以讨论以下：
- 如果 \(rk_{sa_i + 1} < rk_{sa_{i - 1}+1}\)，那么 \(s[sa_{i - 1}] < s[sa_i]\)。
- 否则，\(s[sa_{i - 1}] \le s[sa_i]\)。
两种分别连上 \(0\) 的边和 \(1\) 的边，然后拓扑排序即可。
但是拓扑排序可能会出现一个 \(0\) 环，于是可以按照后缀大小的顺序计算答案。
代码。
做法 2
虽然上面的做法可以直接通过校内考试出题人的数据，但是直接在 CF 上面被卡了。
因为 CF 是 \(5000\) 的范围，可以直接暴力合并。
进一步可以发现，只要在合并的时候保持后缀大小顺序的连边，就可以通过了。
也就是：
void merge(int x, int y) { x = gf(x), y = gf(y); if(rk[x] < rk[y]) swap(x, y); if(x != y) fa[x] = y; }
代码。如果这个做法成立，可以通过倍增优化并查集进一步达到 \(\mathcal O(n \log n \alpha)\)。
做法 3
不幸的是，我擅长制造假做法，同时上面的不够优美而且不够正确。
通过对拍，可以直接卡掉：
20
20 9 17 10 4 12 19 8 7 1 3 18 2 16 11 6 15 5 14 13
1 1 -1 -1 2 -1 -1 1 -1 -1 1 -1 -1 2 -1 -1 2 -1 -1
这个会输出：
bccaddbbaadadeddacba
正确答案应该是：
bccaedbbaadaeeedacba
这个被叉实际上是对于信息利用不完全，有些点关系没有合并到，而正确的应该是对于 \(s[sa_i + j] = s[sa_{i - 1}+j]\) 这个条件，\([rk_{sa_{i+j}}, rk_{sa_{i - 1}+j}]\) 这段区间的字符都是相等的，之前的做法只合并了左右端点，因此有问题。
于是每次都是合并 \(rk\) 上面的一段，使用并查集即可。
代码。
一次制造一堆假做法也没谁了
标签：Everybody,Blue,4.6,后缀,ht,这个,做法,sa,rk 来源： https://www.cnblogs.com/werner-yin/p/16110060.html