简介

FHQ-Treap 是一种无旋转的 Treap。 和大多数的平衡树不一样，它并不是用旋转来维护的，而是使用了 split（分裂）和 merge（合并）两种操作来维护 Treap 的性质。

实现

split

split 操作可以将一个 FHQ-Treap 按照某个值分裂为两个 FHQ-Treap：

• 按照权值分：将权值 \(\le val\) 的放到一个 FHQ-Treap 中，\(>val\) 的放到另一个。
• 按照排名分（之后的变种会用到）：将排名 \(\le rank\) 的放到一个 FHQ-Treap 中，\(>rank\) 的放到另一个。

那么如何实现？（以权值分裂，A 为 \(\le val\) 的 FHQ-Treap，B 为 \(>val\) 的 FHQ-Treap）：

设我们现在在节点 \(x\) 处，如果 \(val_x\le val\)，那么由于二叉搜索树的性质， \(x\) 左子树中的点权肯定满足 \(\le val\)，所以我们将 \(x\) 及其左子树加入 A。由于右子树中可能有 \(\le val\) 的点和 \(>val\) 的点，所以我们递归处理右子树。（\(val_x>val\) 同理）

考虑我们如何将 \(x\) 及其左/右子树加入 A/B：

假设我们将 \(x\) 及其左子树加入了 A，然后我们在递归 \(x\) 的右子树发现了第一个节点及其左儿子应该被加入 A，那么我们应该把这部分挂在 A 的哪里呢？

由于二叉搜索树的性质，这个点及其左儿子的权值肯定都大于已经在 A 中 \(x\) 的 \(val_x\)（\(x\) 的左子树不用考虑，因为 \(val_x\) 是 \(x\) 及其左子树中权值最大的一个），那么由于我们只将 \(x\) 及其左子树挂到了 A，而 \(x\) 的右子树是空的，我们找到的第一个节点又是剩余应该被挂入 A 中的节点中最小的那个（因为二叉搜索树的性质，向右子树递归时点权会越来越大），所以我们直接将这个点及其左子树挂到 A 中 \(x\) 的右儿子即可。（且由于深度大小关系不变，另一随机关键字仍满足堆的性质）（另一半同理）如图：

由于每一次递归都会使 \(x\) 的深度+1，而 Treap 的期望深度为 \(\log n\)，所以 split 操作是 \(\mathcal{O}(\log n)\)。

在代码实现上，可以将 A 和 B 下一个插入的位置传址到下一个递归中，这样在下一个递归中如果要挂节点直接将传下来的位置设为当前节点即可（注意 pushup，主要是更新 size）。

void split (int root, int v, int &x, int &y) {
   if (! root) {x = y = 0; return ;} if (val[root] <= v) x = root, split (sr[root], v, sr[root], y);
   else y = root, split (sl[root], v, x, sl[root]); pushup (root);
}

merge

合并操作是将两个 FHQ-Treap A 和 B 合并（注意 A 中最大的点权必须小于等于 B 中最小的点权，否则无法合并）。在合并时需要依靠随机关键字 \(rnd\) 来确定树的形态。

假设此时 A 的合并递归到了 \(x\)，B 的合并递归到了 \(y\)，此时我们考虑：

如果 \(rnd_x<rnd_y\)，那么说明 \(y\) 应该被合并在 \(x\) 的下面，而由于 B 中的点权始终大于 A 的点权，所以我们应该将根节点为 \(y\) 的子树和 \(x\) 的右子树合并，所以我们递归合并 \(x\) 的右子树和根节点为 \(y\) 的子树，并将 \(x\) 的右儿子设为合并后新树的根。

如果 \(rnd_x>rnd_y\)，那么说明 \(x\) 应该被合并在 \(y\) 的下面，而由于 A 中的点权始终小于 B 的点权，所以我们应该将根节点为 \(x\) 的子树和 \(y\) 的左子树合并，然后递归，设置 \(y\) 的左儿子。

当递归时 \(x\) 或 \(y\) 一方变为空时，那么直接返回另一方即可，如图（黑底白字为 \(val\)，白底黑字为 \(rnd\)）：

注意不要忘记 pushup。（在代码中若 A 和 B 有一方为空，则直接返回 A+B 的原因是为空即值为 0，相加后的值就是另一方不为 0 的值）

int merge (int A, int B) {
	if (! A || ! B) return A + B; if (rnd[A] < rnd[B]) {sr[A] = merge (sr[A], B); pushup (A); return A;}
	else {sl[B] = merge (A, sl[B]); pushup (B); return B;}
}