

Suffix Binary Search Tree

定义¶

后缀之间的大小由字典序定义，后缀平衡树就是一个维护这些后缀顺序的平衡树，即字符串的后缀平衡树是所有后缀的有序集合。后缀平衡树上的一个节点相当于原字符串的一个后缀。

特别地，后缀平衡树的中序遍历即为后缀数组。

构造过程¶

对长度为的字符串建立其后缀平衡树，考虑逆序将其后缀加入后缀平衡树。

记后缀平衡树维护的集合为，当前添加的后缀为，则添加下一个后缀就是向中加入（亦可理解为后缀平衡树维护的字符串为，下一步往前加入一个字符）。这一操作其实就是向平衡树中插入节点。

这里使用期望树高为的平衡树，例如替罪羊树或 Treap 等。

做法 1¶

插入时，暴力比较两个后缀之间的大小关系，从而判断之后是往哪一个子树添加。这样子，单次插入至多比较次，单次比较的时间复杂度至多为，一共。

一共会插入次，所以该做法的时间复杂度存在上界。

做法 2¶

注意到与的区别仅在于，且已经属于了，可以利用这一点来优化插入操作。

假设当前要比较与两个字符串的大小，且。每次比较时，首先比较两串的首字符。若首字符不等，则两串的大小关系就已经确定了；若首字符相等，那么就只需要判断去除首字符后两字符串的大小关系。而两串去除首字符后都已经属于了，这时候可以借助平衡树求排名的操作来完成后续的比较。这样，单次插入的操作至多。

一共会插入次，所以该做法的时间复杂度存在上界。

做法 3¶

根据做法 2，如果能够判断平衡树中两个节点之间的大小关系，那么就可以在的时间内完成后缀平衡树的构造。

记表示节点的值。如果在建平衡树时，每个节点多维护一个标记，使得若，那么就可以根据的大小判断平衡树中两个节点的大小。

不妨令平衡树中每个节点对应一个实数区间，令根节点对应。对于节点，记其对应的实数区间为，则，其左子树对应实数区间，其右子树对应实数区间。易证满足上述要求。

由于使用了期望树高为的平衡树，所以精度是有一定保证的。实际实现时也可以用一个较大的区间来做，例如让根对应。

做法 4¶

其实可以先构建出后缀数组，然后再根据后缀数组构建后缀平衡树。这样做的复杂度瓶颈在于后缀数组的构建复杂度或者所用平衡树一次性插入个元素的复杂度。

删除操作¶

假设当前添加的后缀为，上一个添加的后缀为。后缀平衡树还支持删除后缀的操作（亦可理解为后缀平衡树维护的字符串为，将开头的删除）。

类似于插入操作，借助平衡树的删除节点操作可以完成删除的操作。

后缀平衡树的优点¶

后缀平衡树的思路比较清晰，相比后缀自动机等后缀结构更好理解，会写平衡树就能写。
后缀平衡树的复杂度不依赖于字符集的大小
后缀平衡树支持在字符串开头删除一个字符
如果使用支持可持久化的平衡树，那么后缀平衡树也能可持久化

例题¶

P3809【模板】后缀排序 ¶

后缀数组的模板题，建出后缀平衡树之后，通过中序遍历得到后缀数组。

SGT版本的参考代码

#include <bits/stdc++.h>
using namespace std;

const int N = 1e6 + 5;
const double INF = 1e18;

int n, m, sa[N];
char t[N];

// SuffixBST(SGT Ver)

// 顺序加入，查询时将询问串翻转
// 以i开始的后缀，对应节点的编号为i
const double alpha = 0.75;
int root;
int sz[N], L[N], R[N];
double tag[N];
int buffer_size, buffer[N];

bool cmp(int x, int y) {
  if (t[x] != t[y]) return t[x] < t[y];
  return tag[x + 1] < tag[y + 1];
}

void init() { root = 0; }

void new_node(int& rt, int p, double lv, double rv) {
  rt = p;
  sz[rt] = 1;
  tag[rt] = (lv + rv) / 2;
  L[rt] = R[rt] = 0;
}

void push_up(int x) {
  if (!x) return;
  sz[x] = sz[L[x]] + 1 + sz[R[x]];
}

bool balance(int rt) { return alpha * sz[rt] > max(sz[L[rt]], sz[R[rt]]); }

void flatten(int rt) {
  if (!rt) return;
  flatten(L[rt]);
  buffer[++buffer_size] = rt;
  flatten(R[rt]);
}

void build(int& rt, int l, int r, double lv, double rv) {
  if (l > r) {
    rt = 0;
    return;
  }
  int mid = (l + r) >> 1;
  double mv = (lv + rv) / 2;

  rt = buffer[mid];
  tag[rt] = mv;
  build(L[rt], l, mid - 1, lv, mv);
  build(R[rt], mid + 1, r, mv, rv);
  push_up(rt);
}

void rebuild(int& rt, double lv, double rv) {
  buffer_size = 0;
  flatten(rt);
  build(rt, 1, buffer_size, lv, rv);
}

void insert(int& rt, int p, double lv, double rv) {
  if (!rt) {
    new_node(rt, p, lv, rv);
    return;
  }

  if (cmp(p, rt))
    insert(L[rt], p, lv, tag[rt]);
  else
    insert(R[rt], p, tag[rt], rv);

  push_up(rt);
  if (!balance(rt)) rebuild(rt, lv, rv);
}

void remove(int& rt, int p, double lv, double rv) {
  if (!rt) return;

  if (rt == p) {
    if (!L[rt] || !R[rt]) {
      rt = (L[rt] | R[rt]);
    } else {
      // 找到rt的前驱来替换rt
      int nrt = L[rt], fa = rt;
      while (R[nrt]) {
        fa = nrt;
        sz[fa]--;
        nrt = R[nrt];
      }
      if (fa == rt) {
        R[nrt] = R[rt];
      } else {
        L[nrt] = L[rt];
        R[nrt] = R[rt];
        R[fa] = 0;
      }
      rt = nrt;
      tag[rt] = (lv + rv) / 2;
    }
  } else {
    double mv = (lv + rv) / 2;
    if (cmp(p, rt))
      remove(L[rt], p, lv, mv);
    else
      remove(R[rt], p, mv, rv);
  }

  push_up(rt);
  if (!balance(rt)) rebuild(rt, lv, rv);
}

void inorder(int rt) {
  if (!rt) return;
  inorder(L[rt]);
  sa[++m] = rt;
  inorder(R[rt]);
}

void solve(int Case) {
  scanf("%s", t + 1);
  n = strlen(t + 1);

  init();
  for (int i = n; i >= 1; --i) {
    insert(root, i, 0, INF);
  }

  // 后缀平衡树的中序遍历即为后缀数组
  m = 0;
  inorder(root);

  for (int i = 1; i <= n; ++i) printf("%d ", sa[i]);
  printf("\n");

  // for (int i = 1; i <= n; ++i)
  //     printf("%lld ", tag[sa[i]]);
  // printf("\n");
}

int main() {
  int T = 1;
  // cin >> T;
  for (int i = 1; i <= T; ++i) solve(i);
  return 0;
}

P6164【模板】后缀平衡树 ¶

题意

给定初始字符串和个操作：

在当前字符串的后面插入若干个字符。
在当前字符串的后面删除若干个字符。
询问字符串作为连续子串在当前字符串中出现了几次？

题目 强制在线，字符串变化长度以及初始长度，，询问的总长度。

对于操作 1 和操作 2，由于后缀平衡树维护头插和头删操作比较方便，所以想到把尾插和尾删操作搞成头插和头删。这里如果维护的反串的后缀平衡树，而非的后缀平衡树，就可以完成上述转换。平衡树的添加和删除都是的，所以添加或者删除一个字符的时间复杂度为。记添加和删除的总字符数为，那么这一部分总的时间复杂度为。

对于操作 3，的出现次数等于以为前缀的后缀数量，而以为前缀的后缀数量等于其后继的排名减去其前驱的排名。在后面加入一个极大的字符，就可以构造出的一个后继。将的最后一个字符减小 1，就可以构造出的一个前驱。

现在要查询某一个串在后缀平衡树中排名，由于不能保证在后缀平衡树中出现过，所以每次只能暴力比较字符串大小。单次比较的时间复杂度为，每次查询至多比较次，所以单次查询的复杂度为。记所有询问串的长度和为，那么这一部分总的时间复杂度为。