平衡二叉树的严格定义是这样的:二叉树中任意一个节点的左右子树的高度相差不能大于
根节点是黑色的; 每个叶子节点都是黑色的空节点(NIL),也就是说,叶子节点不存储数据; 任何相邻的节点都不能同时为红色,也就是说,红色节点是被黑色节点隔开的; 每个节点,从该节点到达其可达叶子节点的所有路径,都包含相同数目的黑色节点;
红黑树中包含最多黑色节点 的路径不会超过 log 2 n,所以加入红色节点之后,最长路径不会超过 2log 2 n
