Description

红黑树是一类特殊的二叉搜索树,其中每个结点被染成红色或黑色。若将二叉搜索树结点中的空指针看作是指向一个空结点,则称这类空结点为二叉搜索树的前端结点。并规定所有前端结点的高度为-1。

  

一棵红黑树是满足下面“红黑性质”的染色二叉搜索树:

  (1) 每个结点被染成红色或黑色;

  (2) 每个前端结点为黑色结点;

  (3) 任一红结点的子结点均为黑结点;

  (4) 在从任一结点到其子孙前端结点的所有路径上具有相同的黑结点数。

从红黑树中任一结点 \(x\) 出发(不包括结点 \(x\)),到达一个前端结点的任意一条路径上的黑结点个数称为结点 \(x\) 的黑高度,记作 \(bh(x)\)。红黑树的黑高度定义为其根结点的黑高度。

  

给定正整数 \(N\),试设计一个算法,计算出在所有含有 \(N\) 个结点的红黑树中,红色内结点个数的最小值和最大值。

Input

  输入共一个数 \(N\)。

Output

  输出共两行。

  第一行为红色内结点个数的最小值,第二行为最大值。

Sample Input

8

Sample Output

1
4

HINT

对于 100% 的数据,\(1≤N≤5000\)

Solution

设 \(f[i][j][0/1]\) 表示节点数为 \(i\) 的子树,该树的黑高度为 \(j\),根节点颜色为红/黑,容易想出 \(n^3\) 的转移方程:

\[f[x][h][0]=\min\{f[y][h][1]+f[x-y-1][h][1]\}+1\\
f[x][h][1]=\min\{f[y][h-1][0/1]+f[x-y-1][h-1][0/1]\}
\]

有个性质,黑高度是 \(O(\log n)\) 级别的,那么复杂度就可以降为 \(O(n^2\log n)\)。

这里还有一种 \(O(\log n)\) 的贪心做法:

一棵 \(n\) 个节点的红黑树,前端节点的个数一定是 \(n+1\) 个,证明考虑先证出一条链的情况,然后无论怎么移动节点都不变。

于是就相当于将 \(n+1\) 个黑点合并成一个根节点,每次我们将一部分黑节点合并成一个黑节点,无非就这三种情况:

(图片来自这里

这三棵树的黑高度都是相同的,可以逐层合并,对于最小值,我们就两个两个合并,最大值就四个四个合并。具体见代码。

注意代码中加 \(!!!\) 的那一行,由于 \(2/4*2=0\),因此要单独判断。

Code

#include <cstdio>

int main() {
int n, m, ans = 0;
scanf("%d", &n), m = n + 1;
while (m > 1) ans += m & 1, m >>= 1;
printf("%d\n", ans), m = n + 1, ans = 0;
while (m > 1) {
if (m == 2) ++ans, --m; //!!!
else if ((m & 3) == 1) ans += ((m >> 2) << 1) - 1, m = (m >> 2) + 1;
else if ((m & 3) == 2) ans += (m >> 2) << 1, m = (m >> 2) + 1;
else if ((m & 3) == 3) ans += ((m >> 2) << 1) + 1, m = (m >> 2) + 1;
else ans += m >> 1, m >>= 2;
}
printf("%d\n", ans);
return 0;
}

[BZOJ 3227] [SDOI 2008] 红黑树(tree)的更多相关文章

  1. BZOJ 3227: [Sdoi2008]红黑树(tree)

    BZOJ 3227: [Sdoi2008]红黑树(tree) 标签(空格分隔): OI-BZOJ OI-其它 Time Limit: 10 Sec Memory Limit: 128 MB Descr ...

  2. BZOJ.3227.[SDOI2008]红黑树tree(树形DP 思路)

    BZOJ orz MilkyWay天天做sxt! 首先可以树形DP:\(f[i][j][0/1]\)表示\(i\)个点的子树中,黑高度为\(j\),根节点为红/黑节点的最小红节点数(最大同理). 转移 ...

  3. Bzoj3227 [Sdoi2008]红黑树(tree)

    Time Limit: 10 Sec  Memory Limit: 128 MBSubmit: 204  Solved: 125 Description 红黑树是一类特殊的二叉搜索树,其中每个结点被染 ...

  4. BZOJ 3227 [Sdoi2008]红黑树(tree) ——贪心 动态规划

    首先可以想到一个贪心的方法,然后一层一层的合并. 也可以采用动态规划的方式,为了写起来好写,把点数*2+1,然后发现在本机上跑不过1500的数据. 交上去居然A掉了. 贪心 #include < ...

  5. [BZOJ 2186][SDOI 2008] 莎拉公主的困惑

    2186: [Sdoi2008]沙拉公主的困惑 Time Limit: 10 Sec  Memory Limit: 259 MBSubmit: 4519  Solved: 1560[Submit][S ...

  6. [BZOJ 2186] [SDOI 2008] 沙拉公主的困惑

    Description 大富翁国因为通货膨胀,以及假钞泛滥,政府决定推出一项新的政策:现有钞票编号范围为 \(1\) 到 \(N\) 的阶乘,但是,政府只发行编号与 \(M!\) 互质的钞票.房地产第 ...

  7. bzoj 3231 [ Sdoi 2008 ] 递归数列 —— 矩阵乘法

    题目:https://www.lydsy.com/JudgeOnline/problem.php?id=3231 裸矩阵乘法. 代码如下: #include<iostream> #incl ...

  8. BZOJ 2190 SDOI 2008 仪仗队 线性欧拉筛

    标题效果:有一个格子组件图,假设三个人在一条直线上,那么第一个人将不会看到第三人.现在,有一个人站在(1,1)在.我问他是否能看到n*n的人数的矩阵. 思考:如果你想站(1,1)这名男子看到了一个立场 ...

  9. BZOJ-3227 红黑树(tree) 树形DP

    个人认为比较好的(高端)树形DP,也有可能是人傻 3227: [Sdoi2008]红黑树(tree) Time Limit: 10 Sec Memory Limit: 128 MB Submit: 1 ...

随机推荐

  1. Springboot 系列(十二)使用 Mybatis 集成 pagehelper 分页插件和 mapper 插件

    前言 在 Springboot 系列文章第十一篇里(使用 Mybatis(自动生成插件) 访问数据库),实验了 Springboot 结合 Mybatis 以及 Mybatis-generator 生 ...

  2. fuzzing学习

    1.简介 1.1 fuzzing 模糊测试(fuzzing)是一种通过向程序提供非预期的输入并监控输出中的异常来发现软件中的故障的方法. 用于模糊测试的模糊测试器(fuzzer)可以按照以下3种方式进 ...

  3. Office组件无法正常使用的解决方法

    问题与现象     开发时调用Office组件,代码编译是通过的,但在运行时当ApplicationClass对象初始化后程序出现异常.     异常信息如下:     无法将类型为“Microsof ...

  4. MyBatis基本要素---核心配置文件

    今天就简单的叙述下MyBatis的核心配置文件吧~~ configuration  配置 properties  可以配置在java属性配置文件中 settings   修改Mybatis在运行时的行 ...

  5. 多线程之Thread

    Thread类可以创建和控制线程,Thread类的构造函数重载为接受ThreadStart和ParameterizedThreadStart类型的委托参数. Thread类默认创建的是前台线程,所以我 ...

  6. 从零开始搭建服务器部署web项目

    前言 该教程旨在完整描述建站过程,会将博主踩过的坑尽量详细的罗列出来.整个建站流程相对较为庞大,因此做了分解,同时适合大家有针对性的查询感兴趣的部分. 一.如何拥有自己的云服务器. 二.域名的购买与解 ...

  7. rabbitmq之确保消息不丢失

    1.背景引入 在使用消息中间件(rabbitmq)时,令开发者最头痛的就是防止消息丢失问题,而消息丢失可能发生的位置主要为三种,分别为(1)消息发送到MQ中消费者消费未成功时突然宕机:(2)消息发送到 ...

  8. Keepalibed监控nginx

    配置Keepalived监控nginx --wang 目的: 通过Keepalived实现对nginx的监控,每两秒扫描一次,如果nginx关闭,尝试重启nginx,两秒后检查nginx是否启动,如果 ...

  9. maven生成项目慢解决办法

    maven生成项目慢,原因:在线更新archetype-catalog.xml文件,从Apache中央仓库. 解决办法,手动下载,放到maven环境. 备用下载地址: https://files.cn ...

  10. LeetCode算法题-Flood Fill(Java实现)

    这是悦乐书的第306次更新,第325篇原创 01 看题和准备 今天介绍的是LeetCode算法题中Easy级别的第173题(顺位题号是733).图像由二维整数数组表示,每个整数表示图像的像素值(从0到 ...