红黑树（RED BLACK TREE/RB Tree)

红黑树是每个节点都带有颜色属性的二叉查找树，颜色或红色或黑色。在二叉查找树强制一般要求以外，对于任何有效的红黑树我们增加了如下的额外要求:

• 性质1. 节点是红色或黑色。
• 性质2. 根节点是黑色。
• 性质3 每个叶节点（NIL节点，空节点）是黑色的。
• 性质4 每个红色节点的两个子节点都是黑色。(从每个叶子到根的所有路径上不能+ 有两个连续的红色节点)
• 性质5. 从任一节点到其每个叶子的所有路径都包含相同数目的黑色节点。

如何判读一颗树是否是红黑树（已知它是搜索树）

1. 判断根节点是否是黑色
2. 测试是否有连续的红色节点
3. 测试每条路径上的黑色节点个数是否相等
   注： 以某一条路径（下面用的是左子树）上的黑色结点的个数为判断标准，如果有一条不满足相等，证明不是红黑树。

样例代码：

 root=buildtree(root, 0, n-1);
 node* temp=root;
 while(temp){
     cnt=(temp->val>0?cnt+1:cnt); 
     temp=temp->left;
}
// cnt为最左边路径上的黑色节点个数，用来作为参照
bool isBTree(node* root, int num){
    if(!root)
        if(num!=cnt) //判断每条路径上的黑色节点数是否相等
            return false;
        else
            return true;
    if(root->val>0) num++; //黑色节点数计数
    else{
    //判读是否有连续的红色节点
        if(root->right&&root->right->val<0) return false;
        if(root->left&&root->left->val<0) return false;
    }
    return isBTree(root->left, num)&&isBTree(root->right, num); 
}

相关PAT列题链接： 1135 Is It A Red-Black Tree（30 分）