PAT A1135 Is It A Red-Black Tree (30 分) 二叉搜索树

   题目大意：给出红黑树满足的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的方法是：将每个节点能到达的叶