珂朵莉树/颜色段均摊

news/2024/10/5 7:19:54

名称简介

珂朵莉树(Chtholly Tree),又名老司机树 ODT(Old Driver Tree)。起源自 CF896C。

注意,这种想法的本质是基于数据随机的「颜色段均摊」,而不是一种数据结构,下文介绍的操作是这种想法的具体实现方法。

前置知识

会用 STL 的 set 就行。

核心思想

把值相同的区间合并成一个结点保存在 set 里面。

用处

骗分。只要是有区间赋值操作的数据结构题都可以用来骗分。在数据随机的情况下一般效率较高,但在不保证数据随机的场合下,会被精心构造的特殊数据卡到超时。

如果要保证复杂度正确,必须保证数据随机。详见 Codeforces 上关于珂朵莉树的复杂度的证明。

更详细的严格证明见 珂朵莉树的复杂度分析。对于 add,assign 和 sum 操作,用 set 实现的珂朵莉树的复杂度为 O(n \log \log n),而用链表实现的复杂度为 O(n \log n)

正文

首先,结点的保存方式:

struct Node {int l, r;mutable int v;Node(const int &il, const int &ir, const int &iv) : l(il), r(ir), v(iv) {}bool operator<(const Node &o) const { return l < o.l; }
};

其中,int v 是你自己指定的附加数据。

mutable的关键字的含义是什么?

mutable 的意思是「可变的」,让我们可以在后面的操作中修改 v 的值。在 C++ 中,mutable 是为了突破 const 的限制而设置的。被 mutable 修饰的变量(mutable 只能用于修饰类中的非静态数据成员),将永远处于可变的状态,即使在一个 const 函数中。

这意味着,我们可以直接修改已经插入 set 的元素的 v 值,而不用将该元素取出后重新加入 set

然后,我们定义一个 set<Node_t> odt; 来维护这些结点。为简化代码,可以 typedef set<Node_t>::iterator iter,当然在题目支持 C++11 时也可以使用 auto

split

split 是最核心的操作之一,它用于将原本包含点 x 的区间(设为 [l, r])分裂为两个区间 ![l, x) 和 [x, r] 并返回指向后者的迭代器。 参考代码如下:

auto split(int x) {if (x > n) return odt.end();auto it = --odt.upper_bound(Node{x, 0, 0});if (it->l == x) return it;int l = it->l, r = it->r, v = it->v;odt.erase(it);odt.insert(Node(l, x - 1, v));return odt.insert(Node(x, r, v)).first;
}

这段代码有什么用呢? 任何对于 [l,r] 的区间操作,都可以转换成 set 上 [\(split(l),split(r + 1)\) ) 的操作。

assign

另外一个重要的操作 assign 用于对一段区间进行赋值。 对于 ODT 来说,区间操作只有这个比较特殊,也是保证复杂度的关键。 如果 ODT 里全是长度为 1 的区间,就成了暴力,但是有了 assign,可以使 ODT 的大小下降。 参考代码如下:

void assign(int l, int r, int v) {auto itr = split(r + 1), itl = split(l);odt.erase(itl, itr);odt.insert(Node(l, r, v));
}

其他操作

套模板就好了,参考代码如下:

void performance(int l, int r) {auto itr = split(r + 1), itl = split(l);for (; itl != itr; ++itl) {// Perform Operations here}
}

注:珂朵莉树在进行求取区间左右端点操作时,必须先 split 右端点,再 split 左端点。若先 split 左端点,返回的迭代器可能在 split 右端点的时候失效,可能会导致 RE。

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

如若内容造成侵权/违法违规/事实不符,请联系我们进行投诉反馈,一经查实,立即删除!

相关文章

1、数仓基础

1、数据仓库的概念 数据仓库(英语:Data Warehouse,简称数仓、DW),是一个用于存储、分析、报告的数据系统。数据仓库的目的是构建面向分析的集成化数据环境,为企业提供决策支持(Decision Support)。数据仓库本身并不“生产”任何数据,其数据来源于不同外部系统;…

第七章——程序设计语言基础知识

基本概念,编译与解释,文法,有限自动机。正规式,表达式,传值与引用(传值),各种程序语言特点第七章——程序设计语言基础知识 7.1 基本概念 7.1.1 低级语言和高级语言 通常称机器语言和汇编语言为低级语言。机器语言是指用0、1字符串组成的机器指令序列,是最基本的计算机语…

软件设计师:软件工程基础知识

能力模型 CMM(能力成熟度模型)初始级:没明确定义 可重复级:建立基本的项目管理过程和实践 已定义级:文档化、标准化 已管理级:管理层制定了软件过程和产品质量的详细度量标准 优化级:不断持续地改进CMMI(能力成熟度模型集成)基本不考已执行的:可标识的输入转换为可标…

TextMeshPro - 富文本标签

初始文本 粗体<b></b> 斜体<i></i> 颜色<#ff0000></color> 大小<size></size> <size=60%>中</size><size=1.2em>中</size> 下划线<u></u> 删除线<s></s> 上标<sup…

Linux 中 2>1 解释

在Linux系统中: 0 表示标准输入; 1表示标准输出; 2表示标准错误输出; 2>&1 表示将标准错误输出重定向到标准输入; 举一个例子: a、不将标准错误输出 重定向到标准输入中。[root@PC1 gffread-0.12.7.Linux_x86_64]# xxx ## 在终端随机输入一个命…

OpenResty

原文:https://www.cnblogs.com/liekkas01/p/12757576.htmlcosocket 是各种 lua-resty-* 非阻塞库的基础,没 有 cosocket,开发者就无法用 Lua 来快速连接各种外部的网络服务。 在早期的 OpenResty 版本中,如果想要去与 Redis、memcached 这些服务交互的话,需要使用 redis2-…

cannot execute binary file

001、问题,调用一个二进制文件,出现如下的报错[root@PC1 gffread-0.12.7.OSX_x86_64]# ls gffread [root@PC1 gffread-0.12.7.OSX_x86_64]# ./gffread -bash: ./gffread: cannot execute binary file 002、问题原因 出现如上报错的原因通常是: 该错误发生时,通常是在尝试执…

buuctf-pwn-[第五空间2019 决赛]PWN5-格式化字符串漏洞

题目地址:https://buuoj.cn/challenges#[第五空间2019 决赛]PWN5 先检查一下保护情况再拖进ida里分析找到一个格式化字符串漏洞,那么我们可以利用这个漏洞去获取或者改写dword_804C044的值 从而进入if语句中,拿到shell 什么是格式化字符串漏洞 所谓格式化字符串漏洞,就是我…