【数据结构】FHQ-Treap

因为想要学可持久化平衡树,但是之前用平衡树基本都是splay这种需要旋转的,不利于可持久化,所以今天来学一下fhq-treap这种不需要旋转的平衡树

fhq-treap是一种基于分裂(split)和合并(merge)的一种treap,下文将会对其各个操作是如何利用分裂与合并进行详细说明

定义

下方代码全部基于以下定义:

int root, idx; // 分别表示根结点编号和当前用到哪个结点
int val[N]; // 结点权值
int pri[N]; // 结点优先级
int sz[N]; // 结点子树大小
int ch[N][2]; // 结点左右儿子

fhq-treap依然是一棵中序遍历按照val排序的平衡树,但是它的结构依赖于pri优先级,一个结点的两个儿子的pri一定比这个结点要小,然后我们随机取pri,就可以保证treap基本平衡

分裂 split

void split(int u, int x, int& lt, int& rt) // 把treap分成小于等于x和大于x的两个部分
{if (u == 0){lt = rt = 0;return;}if (val[u] <= x) // 当前点小于x,说明分界点在右儿子{lt = u;split(ch[u][1], x, ch[u][1], rt);}else // 当前点大于x,说明分界点在左儿子{rt = u;split(ch[u][0], x, lt, ch[u][0]);}pushup(u); // 更新结点u信息
}

合并 merge

把要合并的两棵子树的根结点记为 lt rt,如果 lt 的优先级比 rt 大 就把 rt 合并到 lt 的右子树,否则把 lt 合并到 rt 的左子树

int merge(int lt, int rt) // 合并根结点编号为lt和rt的两棵treap
{if (lt == 0 || rt == 0) return lt + rt;if (pri[lt] > pri[rt]) // lt的优先级比rt大 就把rt合并到lt的右子树{ch[lt][1] = merge(ch[lt][1], rt);pushup(lt);return lt;}else // rt的优先级比lt大 就把lt合并到rt的左子树{ch[rt][0] = merge(lt, ch[rt][0]);pushup(rt);return rt;}
}

插入 insert

插入就是创建单个结点的treap然后进行合并

void getnode(int x) // 创建权值为x的新结点
{sz[++ idx] = 1;ch[idx][0] = ch[idx][1] = 0;val[idx] = x;pri[idx] = rand(); // 优先值取随机数保证树形状随机
}void insert(int x) // 将权值为x的新结点插入treap
{int lt, rt;split(root, x, lt, rt); // 先把原treap分成小于等于x和大于x两个部分getnode(x); // 创建值为x的结点root = merge(merge(lt, idx), rt); // 先合并小于等于x的子树和新结点 再将其与大于x的子树合并return; // 返回新结点编号
}

删除 del

删除单个结点

void del(int x) // 删去权值为x的【一个】结点
{int lt, md, rt;split(root, x, lt, rt); // 先把原treap分成小于等于x和大于x两个部分split(lt, x - 1, lt, md); // 再把小于等于x的部分分成小于等于x-1和大于x-1两个部分// 此时以md为根结点的子树内所有结点的权值都是xmd = merge(ch[md][0], ch[md][1]); // 合并md的左右儿子 即删去md这个结点root = merge(merge(lt, md), rt); // 先合并小于等于x-1的部分和等于x的部分 再将其与大于x的子树合并return; // 返回根结点编号
}

删除所有值为 x 的结点

void del(int x) // 删去权值为x的【所有】结点
{int lt, md, rt;split(root, x, lt, rt); // 先把原treap分成小于等于x和大于x两个部分split(lt, x - 1, lt, md); // 再把小于等于x的部分分成小于等于x-1和大于x-1两个部分// 此时以md为根结点的子树内所有结点的权值都是x 直接删掉root = merge(lt, rt); // 合并小于等于x-1和大于x的部分return; // 返回根结点编号
}

根据值查询排名 rk

int rk(int x) // 查询权值为x的结点排名
{int lt, rt, res;split(root, x - 1, lt, rt); // 把原treap分成小于等于x-1和大于x-1两个部分res = sz[lt] + 1; // 权值为x的结点编号就是小于等于x-1的结点个数+1root = merge(lt, rt); // 恢复treapreturn res;
}

查询第k大的结点编号

int kth(int u, int k) // 在以u为根的子树中查找排名为k的结点【编号】
{int cur = u;while (1){if (k <= sz[ch[cur][0]]) cur = ch[cur][0];else{k -= sz[ch[cur][0]] + 1;if (k <= 0) return cur;else cur = ch[cur][1];}}
}

查询前驱结点编号

int pre(int x) // 找权值为x的结点前驱【编号】
{int lt, rt, res;split(root, x - 1, lt, rt); // 把原treap分成小于等于x-1和大于x-1两个部分res = kth(lt, sz[lt]); // 在小于等于x-1的部分找权值最大的结点编号root = merge(lt, rt); // 恢复treapreturn res;
}

查询后继结点编号

int suf(int x)
{int lt, rt, res;split(root, x, lt, rt); // 把原treap分成小于等于x和大于x两个部分res = val[kth(rt, 1)]; // 在大于x的部分找权值最小的结点编号root = merge(lt, rt); // 恢复treapreturn res;
}

例题

P3369 【模板】普通平衡树

题目链接

#include <bits/stdc++.h>using namespace std;#define int long long
using i64 = long long;typedef pair<int, int> PII;
typedef pair<int, char> PIC;
typedef pair<double, double> PDD;
typedef pair<int, PII> PIII;
typedef pair<int, pair<int, bool>> PIIB;const int N = 1e5 + 10;
const int mod = 1e9 + 7;
const int maxn = 1e6 + 10;
const int mod1 = 954169327;
const int mod2 = 906097321;
const int INF = 0x3f3f3f3f3f3f3f3f;int root, idx; // 分别表示根结点编号和当前用到哪个结点
int val[N]; // 结点权值
int pri[N]; // 结点优先级
int sz[N]; // 结点子树大小
int ch[N][2]; // 结点左右儿子void pushup(int u)
{sz[u] = sz[ch[u][0]] + sz[ch[u][1]] + 1;
}void split(int u, int x, int& lt, int& rt)
{if (u == 0){lt = rt = 0;return;}if (val[u] <= x){lt = u;split(ch[u][1], x, ch[u][1], rt);}else{rt = u;split(ch[u][0], x, lt, ch[u][0]);}pushup(u);
}int merge(int lt, int rt)
{if (lt == 0 || rt == 0) return lt + rt;if (pri[lt] > pri[rt]){ch[lt][1] = merge(ch[lt][1], rt);pushup(lt);return lt;}else{ch[rt][0] = merge(lt, ch[rt][0]);pushup(rt);return rt;}
}void getnode(int x)
{sz[++ idx] = 1;ch[idx][0] = ch[idx][1] = 0;val[idx] = x;pri[idx] = rand();
}int insert(int x)
{int lt, rt;split(root, x, lt, rt);getnode(x);root = merge(merge(lt, idx), rt);return idx;
}int del(int x)
{int lt, md, rt;split(root, x, lt, rt);split(lt, x - 1, lt, md);md = merge(ch[md][0], ch[md][1]);root = merge(merge(lt, md), rt);return root;
}int rk(int x)
{int lt, rt, res;split(root, x - 1, lt, rt);res = sz[lt] + 1;root = merge(lt, rt);return res;
}int kth(int u, int k)
{int cur = u;while (1){if (k <= sz[ch[cur][0]]) cur = ch[cur][0];else{k -= sz[ch[cur][0]] + 1;if (k <= 0) return cur;else cur = ch[cur][1];}}
}int pre(int x)
{int lt, rt, res;split(root, x - 1, lt, rt);res = val[kth(lt, sz[lt])];root = merge(lt, rt);return res;
}int suf(int x)
{int lt, rt, res;split(root, x, lt, rt);res = val[kth(rt, 1)];root = merge(lt, rt);return res;
}void solve()
{int n;cin >> n;while (n -- ){int op, x;cin >> op >> x;if (op == 1) insert(x);else if (op == 2) del(x);else if (op == 3){insert(x);cout << rk(x) << '\n';del(x);}else if (op == 4) cout << val[kth(root, x)] << '\n';else if (op == 5){insert(x);cout << pre(x) << '\n';del(x);}else if (op == 6){insert(x);cout << suf(x) << '\n';del(x);}}
}signed main()
{ios::sync_with_stdio(false);cin.tie(0), cout.tie(0);int t = 1;// cin >> t;while (t--){solve();}
}

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/news/809763.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

(Java)数据结构——排序(第一节)堆排序+PTA L2-012 关于堆的判断

前言 本博客是博主用于复习数据结构以及算法的博客&#xff0c;如果疏忽出现错误&#xff0c;还望各位指正。 堆排序&#xff08;Heap Sort&#xff09;概念 堆排序是一种基于堆数据结构的排序算法&#xff0c;其核心思想是将待排序的序列构建成一个最大堆&#xff08;或最小…

从库延迟案例分析

背景介绍 近来一套业务系统&#xff0c;从库一直处于延迟状态&#xff0c;无法追上主库&#xff0c;导致业务风险较大。从资源上看&#xff0c;从库的CPU、IO、网络使用率较低&#xff0c;不存在服务器压力过高导致回放慢的情况&#xff1b;从库开启了并行回放&#xff1b;在从…

Python —— 简述

Houdini Python | 笔记合集 - 知乎 Houdini内置三大语言&#xff1a; 表达式&#xff0c;主要用于节点参数控制&#xff0c;可实现跨模块控制&#xff1b;vex&#xff0c;速度最快&#xff08;比表达式和Python快一个数量级&#xff09;&#xff0c;非常适合密集型计算环境&…

【React】Ant Design社区扩展库之分割面板:react-resizable-panels

主角&#xff1a;react-resizable-panels 简介&#xff1a;来之Ant Design官方文档社区精选组件 1、效果 2、环境 react-resizable-panels: ^2.0.16next: 14.1.3react: ^18 3、安装 # npm npm install react-resizable-panels# yarn yarn add react-resizable-panels# pnpm …

Docker学习笔记(二):在Linux中部署Docker(Centos7下安装docker、环境配置,以及镜像简单使用)

一、前言 记录时间 [2024-4-6] 前置文章&#xff1a;Docker学习笔记&#xff08;一&#xff09;&#xff1a;入门篇&#xff0c;Docker概述、基本组成等&#xff0c;对Docker有一个初步的认识 在上文中&#xff0c;笔者进行了Docker概述&#xff0c;介绍其历史、优势、作用&am…

功效系数=(指标值–本档标准值)÷(上档标准值–本档标准值)

这个公式用于计算一个指标值相对于标准值的相对位置&#xff0c;进而评估其在标准范围内的表现程度。让我具体解释一下&#xff1a; - **指标值 (Metric Value)**&#xff1a;这是要评估的实际数值&#xff0c;例如某个产品的销售额、某项工作的完成时间等。 - **本档标准值 …

《三》按钮---PushButton和信号槽机制

QPushButton按钮用法详解 按钮是 GUI 开发中最常用到的一种控件&#xff0c;作为一款著名的 GUI 开发框架&#xff0c;Qt 提供了很多种按钮&#xff0c;比如 QPushButton&#xff08;普通按钮&#xff09;、QRadioButton&#xff08;单选按钮&#xff09;、QToolButton&#x…

SSH登录到远程主机@openSSH

文章目录 abstractSSHOpenSSH 安装linuxwindows小结 相关软件windows上的ssh客户端linux上的ssh软件 建立ssh连接&#x1f60a;作为SSH客户端连接远程服务器的步骤使用图形化方式使用Windows内置SSH客户端&#xff08;命令行方式&#xff09; 注意事项FAQ&#x1f60a; 免密登录…

对LSTM的通俗易懂理解--可变权重

RNN的问题&#xff1a;长期依赖&#xff0c;即对短期的数据敏感&#xff0c;对比较远的长期数据不敏感&#xff0c;这是因为RNN隐藏状态权重在不同时刻是共享相同的&#xff0c;随着时间步的增加&#xff0c;梯度会指数级地衰减或者增长&#xff0c;导致梯度消失或者爆炸&#…

【黑马头条】-day06自媒体文章上下架-Kafka

文章目录 今日内容1 Kafka1.1 消息中间件对比1.2 kafka介绍1.3 kafka安装及配置1.4 kafka案例1.4.1 导入kafka客户端1.4.2 编写生产者消费者1.4.3 启动测试1.4.4 多消费者启动 1.5 kafka分区机制1.5.1 topic剖析 1.6 kafka高可用设计1.7 kafka生产者详解1.7.1 同步发送1.7.2 异…

配置vlan和vlan间路由、配置vlan的ip和vrrp、mstp和主次根

简单的通信实验 拓扑图&#xff1a; 1.配置vlan和链路聚合 Sw1 & sw2 undo info-center enable vlan batch 10 20 30 40 int eth-trunk 1 trunkport g 0/0/1 to 0/0/2 port link-type trunk port trunk allow-pass vlan 10 20 30 40 int g0/0/3 port link-type trunk p…

Spring Boot 经典面试题(五)

1.Spring Boot的事务管理是如何实现的&#xff1f; Spring Boot 使用 Spring Framework 中的事务管理功能来实现事务管理。Spring Framework 提供了几种不同的事务管理方式&#xff0c;其中最常用的是基于注解的声明式事务管理。 在 Spring Boot 中&#xff0c;你可以通过 Tr…

Unity 布局 HorizontalLayoutGroup 多行 换行

演示Gif&#xff1a; 现象: 子元素宽度不同&#xff0c;超出父元素后不会换行 GridLayout则是固定宽度也不能用&#xff0c; 需求 水平排版的同时&#xff0c;超出父级后换行 代码&#xff1a; 催更就展示[狗头]

Kafka消息队列架构与应用场景探讨:面试经验与必备知识点解析

本文将深入探讨Kafka的消息队列架构、应用场景,以及面试必备知识点与常见问题解析,助你在面试中展现出坚实的Kafka技术功底。 一、Kafka消息队列架构 1.分布式架构与角色分工解释Kafka的Broker、Producer、Consumer、Topic、Partition等核心概念,以及它们在分布式系统中的角…

Linux:Redis7.2.4的简单在线部署(1)

注意&#xff1a;我写的这个文章是以最快速的办法去搭建一个redis的基础环境&#xff0c;作用是为了做实验简单的练习&#xff0c;如果你想搭建一个相对稳定的redis去使用&#xff0c;可以看我下面这个文章 Linux&#xff1a;Redis7.2.4的源码包部署&#xff08;2&#xff09;-…

CSS 基础:设置背景的 5 个属性及简写 background 注意点

你好&#xff0c;我是云桃桃。 一个希望帮助更多朋友快速入门 WEB 前端的程序媛。大专生&#xff0c;一枚程序媛&#xff0c;感谢关注。回复 “前端基础题”&#xff0c;可免费获得前端基础 100 题汇总&#xff0c;回复 “前端工具”&#xff0c;可获取 Web 开发工具合集 263篇…

力扣经典150题第十六题:接雨水

目录 力扣经典150题第十六题&#xff1a;接雨水1. 题目描述2. 问题分析3. 解题思路4. 代码实现5. 时间复杂度分析6. 应用和扩展7. 总结8. 参考资料 力扣经典150题第十六题&#xff1a;接雨水 1. 题目描述 给定 n 个非负整数表示每个宽度为 1 的柱子的高度图&#xff0c;计算按…

给你的Qt软件加个授权

写在前面 环境&#xff1a; Win11 64位 VS2019 Qt5.15.2 核心思路&#xff1a; 将授权相关信息加密保存到License.txt中&#xff0c;软件运行时获取并解密授权信息&#xff0c;判断是否在限制期限内即可。 加解密部分使用第三方openssl库进行&#xff0c;因此需要手动在…

家庭网络防御系统搭建-虚拟机安装siem/securityonion网络连接问题汇总

由于我是在虚拟机中安装的security onion&#xff0c;在此过程中&#xff0c;遇到很多的网络访问不通的问题&#xff0c;通过该文章把网络连接问题做一下梳理。如果直接把securityonion 安装在物理机上&#xff0c;网络问题则会少很多。 NAT无法访问虚拟机 security onion虚拟…

多目标跟踪 | 基于anchor-free目标检测+ReID的实时一阶多类多目标跟踪算法实现

项目应用场景 面向多目标检测跟踪场景&#xff0c;项目采用 anchor-free 目标检测ReID 的实时一阶段多类多目标跟踪算法实现&#xff0c;效果嘎嘎好。 项目效果 项目细节 > 具体参见项目 README.md (1) 类别支持 1~10 object classes are what we need non-interest-…