Codeforces 1237E Perfect Balanced Binary Search Tree
Observations
含有 $n$ 个点且 key(以下也称 key 为「权值」)是 1 到 $n$ 的 BST 具有下列性质:
若 $k$ 是一个非根叶子且是个左儿子,则 $k$ 的父亲是 $k+1$ 。
证明:假设 $k$ 的父亲是 $p$ 且 $p \ne k + 1$,则 $p > k + 1$;显然 $k + 1$ 不可能是 $k$ 的祖先。
设 $k$ 和 $k + 1$ 的最近公共祖先是 $t$,则有 $k < t < k + 1$ 或者 $ k + 1 < t < k$,矛盾!
同理可证,若 $k$ 是一个非根的叶子且是个右儿子,则 $k$ 的父亲是 $k - 1$ 。
注:上述性质也可以从「BST 的任意子树中 key 都是连续的」这个性质推出。
从而可以得出,striped BST 的所有叶子都是左儿子。
perfectly balanced BST 只有最后一层可能不满,其他层都是满的。
$n$ 个点的 perfectly balanced BST 的高度是 $\floor{\log n}$ 。
Q:是否只要满足
- 所有叶子节点都是左儿子
- 除了最后一层,每层都是满的
就一定存在一种填充权值的方案使得这棵树是一棵 perfectly balanced striped BST?
A:不是。
递推
有根树具有天然的递归结构。
容易看出
- perfectly balanced striped BST 的任意子树也是 perfectly balanced striped BST。
- 可以把任意一棵 $k$ 个点的子树的权值范围变成 $1$ 到 $k$ 且保持其为 striped BST。换言之,我们只需要考虑权值从 1 开始的情形。这里用到了 BST 的任意子树中 key 值连续的性质。
欲求 $n$ 个点的 perfectly balanced striped BST 的数量,可以枚举根节点的权值。一棵子树内的权值必定是连续的,根节点的权值确定后,根的左右子树的节点数就确定了。设根节点的权值是 $r$,则左子树中有 $r - 1$ 个点,权值范围是 $1$ 到 $r - 1$;右子树中有 $n - r$ 个点,权值范围是 $r + 1$ 到 $n$ 。左子树的根的权值的奇偶性须跟 $r$ 不同,换言之,左子树的根的权值须与其中点的个数的奇偶性相同。右子树的根节点的权值须跟 $r$ 同奇偶。设右子树的根的权值是 $w$;把右子树的权值平移到 $1$ 到 $n - r$ 以后,$w$ 对应于 $w - r$,$w$ 与 $r$ 同奇偶意味着 $w - r$ 是偶数。
总而言之,一个 $n$ 个节点,权值是 $1, 2, \dots, n$ 的 perfectly balanced striped BST 能作为根的左子树的必要条件是其根的权值与其中节点数同奇偶;能作为根的右子树的必要条件是其根的权值是偶数。
设 $T_1, T_2$ 是两棵 perfectly balanced striped BST。
若以 $T_1$ 为左子树,$T_2$ 为右子树能组合成一棵新的 perfectly balanced striped BST,则 $T_1, T_2$ 除了需要满足上述条件外,还需满足二者高度相等或二者高度相差 $1$ 且高度较小者是完美二叉树。
注:从上一节的分析可知,子树是完美二叉树的情形,只有一个点的树这一种情况;即下图所示的情形
不难注意到,(i) 组合成的新树可以作为左子树当且仅当新树的右子树中有偶数个点;(ii) 组合成的新树可作为右子树当且仅当新树的左子树中有奇数个点。
对于 $n \ge 5$,$n$ 个点的 perfectly balanced striped BST 的根节点的左右两棵子树的高度都不小于 1 。从上一节得出的两必要条件可以推出,此时左右两子树都不是完美二叉树,这意味着二者高度相同。设 $n$ 个点的 perfectly balanced BST 的高度是 $h$,则根的左右子树的高度都是 $h - 1$ 。
考虑高度为 $i$($i \ge 2$)的 perfectly balanced striped BST,将其中能作为高度为 $i + 1$ 的 perfectly balanced striped BST 的根的左子树和右子树的 perfectly balanced striped BST 的「信息」分别放到两个列表 $L_i$ 和 $R_i$ 中。信息表为有序二元组:(节点数, 方案数)。
从 $L_i$ 中任取一元素 $\ell$,从 $R_i$ 中任取一元素 $r$,通过组合 $\ell, r$ 来构造 $L_{i + 1}$ 和 $R_{i + 1}$ 。
$L_{-1} = \{(0, 1)\}, R_{-1} = \{(0, 1)\}$;$(0, 1)$ 对应于空图
$L_0 = \{ (1, 1)\}, R_0 = \emptyset$;
$L_1 = \{(2, 1)\}, R_1 = \{(2, 1)\}$
$L_2 = \{(4, 1), (5, 1)\}, R_2 = \{(4, 1)\}$;$(4, 1)$ 是由 $L_0$ 中的 $(1,1)$ 和 $L_1$ 中的 $(2, 1)$ 组合得到的,上图即对应于 $(4, 1)$。
$L_3 = \{(9, 1), (10, 1)\}, R_3 = \{(10, 1)\}$
$L_4 = \{(20, 1), (21, 1) \}, R_4 = \{(20, 1)\}$
$\vdots$
从以上分析中不难看出,给定 $n$,number of perfectly balanced striped binary search trees with $n$ vertices that have distinct integer keys between $1$ and $n$, inclusive 要么是 0 要么是 1。
Codeforces 1237E Perfect Balanced Binary Search Tree的更多相关文章
- Convert Sorted List to Balanced Binary Search Tree leetcode
题目:将非递减有序的链表转化为平衡二叉查找树! 参考的博客:http://blog.csdn.net/worldwindjp/article/details/39722643 利用递归思想:首先找到链 ...
- Convert Sorted List to Balanced Binary Search Tree (BST)
(http://leetcode.com/2010/11/convert-sorted-list-to-balanced-binary.html) Given a singly linked list ...
- Convert Sorted Array to Balanced Binary Search Tree (BST)
(http://leetcode.com/2010/11/convert-sorted-array-into-balanced.html) Given an array where elements ...
- Solution -「CF 1237E」Balanced Binary Search Trees
\(\mathcal{Description}\) Link. 定义棵点权为 \(1\sim n\) 的二叉搜索树 \(T\) 是 好树,当且仅当: 除去最深的所有叶子后,\(T\) 是满的: ...
- Binary Search Tree In-Order Traversal Iterative Solution
Given a binary search tree, print the elements in-order iteratively without using recursion. Note:Be ...
- CCI4.4/LintCode Balanced Binary Tree, Binary Tree, Binary Search Tree
Binary Tree: 0到2个子节点; Binary Search Tree: 所有左边的子节点 < node自身 < 所有右边的子节点: 1. Full类型: 除最下面一层外, 每一 ...
- LeetCode解题报告——Convert Sorted List to Binary Search Tree & Populating Next Right Pointers in Each Node & Word Ladder
1. Convert Sorted List to Binary Search Tree Given a singly linked list where elements are sorted in ...
- [LeetCode] 108. Convert Sorted Array to Binary Search Tree 把有序数组转成二叉搜索树
Given an array where elements are sorted in ascending order, convert it to a height balanced BST. Fo ...
- [LeetCode] Closest Binary Search Tree Value II 最近的二分搜索树的值之二
Given a non-empty binary search tree and a target value, find k values in the BST that are closest t ...
随机推荐
- Asteroids POJ - 3041
Asteroids POJ - 3041 题目大意:N*N的地图里,存在一些小行星,Bessie有个很牛x但又很耗蓝的武器,一次可以消灭一行或者一列的所有小行星,问最少使用多少次这个武器可以消灭所有的 ...
- 洛谷 P1341 无序字母对(欧拉路)
P1341 无序字母对 题目提供者yeszy 标签 福建省历届夏令营 难度 提高+/省选- 最新讨论 题目描述 给定n个各不相同的无序字母对(区分大小写,无序即字母对中的两个字母可以位置颠倒).请构造 ...
- 138企业邮箱pop/imap和smtp服务器地址
如果客户端设置的是pop模式:接收邮件服务器(pop):pop.138mail.net ,端口号是110 (如果勾选了SSL,端口号则变为995)发送邮件服务器(smtp):smtp.138mail. ...
- codeforces555B
Case of Fugitive CodeForces - 555B Andrewid the Android is a galaxy-famous detective. He is now chas ...
- Linux之防火墙iptables
一.检查iptables服务状态 1.首先检查iptables服务的状态 [root@bogon ~]# service iptables status iptables: Firewall is n ...
- Partial Dependence Plot
Partial Dependence就是用来解释某个特征和目标值y的关系的,一般是通过画出Partial Dependence Plot(PDP)来体现. PDP是依赖于模型本身的,所以我们需要先训练 ...
- JDBC——JDBC基础
1.JDBC与数据库的交互过程概括性来说,JDBC与数据库交互有以下这些步骤:1.建立一个到数据库的连接.2.在数据库中对表执行检索.创建,或修改的SQL查询.3.关闭到数据库的连接.JDBC的类和接 ...
- php的core问题
我们在编写代码的时候,可能会发现,路径下多了一个类似这样的文件, 拿php举例 : core.php_bin.4528.1379650721 这是因为我们在编写代码时候,出现了指针溢出,段错误等问 ...
- nginx环境准备
一.环境调试确认 1.四项确认 确认公网已连通. 确认yum源可用. 确认iptables已经关闭. 确认selinux已经关闭. a.确认是否连通公网. ping www.baidu.com b.确 ...
- vue 运用ElementUI,做select下拉框回显
第一.加载的顺序,应该先加载下拉框要选择的数据,然后在通过编辑查询数据后回显. 第二.要保证select下拉的ID和v-model里边的id保持一致. 第三.elementUI就会自动的将数据回显了. ...