节点是红色或者黑色根节点必须是黑色黑色节点的子节点可以是黑色或者是红色每个红色节点必须有两个黑色子节点从任何一节点到每个叶子节点的所有简单路径都包含相同数目的黑色节点自平衡二叉搜索树