题目大意:给出红黑树满足的5个性质,然后给出先序序列,判断是否是红黑树。
题目给出的红黑树的5个性质如下:
- (1) Every node is either red or black. 每个节点要么是红色,要么是黑色。
- (2) The root is black. 根节点是黑色。
- (3) Every leaf (NULL) is black. 每个叶子节点(即NULL节点)是黑色。
- (4) If a node is red, then both its children are black. 红色节点的左右孩子都是黑色。
- (5) For each node, all simple paths from the node to descendant leaves contain the same number of black nodes. 对每个节点而言,到达它的每个叶子节点的简单路径上,经过的黑色节点总数是一致的。
这5个性质里,第3个和第5个我一时没看懂,还是wiki了一下才明白的。红黑树的定义里,叶子节点是NULL节点,而不是通常所说的左右孩子为空的节点是NULL节点,也就是说每个左右孩子为空的节点,实际上左右孩子都是叶子节点。然后,性质5是说每个节点到达叶子节点(NULL)节点的简单路径上经过的黑色节点总数相等。
因为红黑树也是BST,满足中序序列有序,然后根据先序和中序序列构建树。之后就是要检验这棵树是否满足5个性质,性质2 3 4都容易检验,问题在于性质5。考虑到题目的数据量不会很大(一棵树最多30个节点),就直接暴力地遍历每个节点,在访问到某个节点时,依次检验是否满足5个性质。检验性质5的方法是:将每个节点能到达的叶