2020牛客暑期多校训练营（第一场）B-Suffix Array

题目链接

B-Suffix Array
题意
对于字符串S，定义一个规则，把S变换成B数组；
现给定一个字符串S，对于S的所有后缀，求出对应的B数组并进行排序。
思路

思路借鉴，如果A = a + b B = c + d，那么比较A与B字典序时，可以先比较a和c的字典序大小，如果相等则考虑比较b与d

考虑一个串。
（1）如果存在a和b，那么也就是说B数组的开头为0…0（省略号要么为空，要么就是全是1）
（2）如果ab当中仅有一种，那么就是说B数组为0…（省略号要么为空，要么全是1）

首先做一个结构体元素声明，方便后续解释

struct node{
	int id;//起始位置为id（后续还会解释）
	int ok;//ok = 0表示串只存在ab当中的一种，ok=1表示串存在a和b
	int len1;//表示B数组开头011..1的长度（如果没有1，那么len1 = 1）
	int len2;//后面解释
}

开始分析：

ababaaa =>B[] = {00–分隔线–22211}；id = 1
#babaaa =>B[] = {00–分隔线—2211}；id = 2
##abaaa =>B[] = {00–分隔线—211}；id = 3
###baaa =>B[] = {00–分隔线—11}；id = 4
####aaa =>B[] = {011–分隔线—空}；id = 5
#####aa =>B[] = {01–分隔线—空}；id = 6
######a =>B[] = {0–分隔线—空}；id = 7
分割线右边不就是0022211（第一个B数组）的所有后缀子集吗？
那这个排名不是So Easy，一个后缀数组求出rk排名
对于id = i，分割线右边的排名为rk[len2 = id + ok + len1 - 1];(减1的目的是与我模板的rk匹配，我模板的字符串下标从0开始)
举个栗子，对于id = 3的分割线右边排名求解
id = 3 ok = 1 len1 = 1，那么len2 = id + ok + len1 - 1 = 4(##abaaa )

第一个问题已经解决，即分割线右边的排名可以通过后缀数组处理，复杂度O（nlognlogn）
第二个问题自然就是，怎么处理分割线左边的排名呢？

其实这个问题更So Easy
考虑3类情况
1、均是0…0情况
显然根据len1大小即可判断，len1越长，肯定越大；如果len1相等，我们就需要借助分割线右边的大小关系
2、一个是0…0，另外一个是0…
举个栗子
（1）a = 0110 b = 011
a肯定大于b，为什么？因为b分割线右边是空，而且a长
（2）a = 0110 b = 01
a大于b
（3）a = 0110 b = 0111
a 小与b
=>
如果a的len1大于等于b的len1，则a > b
否则，a < b
3、均是0…
这个简单，直接比较len1即可，不可能存在len1相等的情况，自己琢磨（很简单）。

所以分割线左边和右边的排序都解决了，直接sort即可

大概讲解一下ok与len1怎么求，以及id = 1的B数组怎么求？
我的做法思维比较简答，复杂度稍微高一点O（nlogn）
以ababaaa为例子
两个桶，一个装a的下标，一个装b的下标
桶（a） = 1、3、5、6、7
桶（b） = 2、4
对于id = i，如何解呢？
如果s[i] = ‘a’，那么upperr_bound（b + 1, b + size + 1, i）；即可知道有无b以及对应位置（有的话）=>ok与len1就可以求出来
B数组求解
从左向右处理，对于位置i,如果s[i] = ‘a’，那就要k = upperr_bound（a + 1, a + size + 1, i）；如果存在，就更新后面B[k]值 = k - i;

思路到此结束！

AC代码仅供参考