20140801_红黑树_学习总结.docVIP

定义 红黑树是一种近AVL树。具有以下性质： 1）结点非红即黑； 2）根节点必须为黑色； 3）任意从根到叶子的路径不包含连续的红色节点； 4）从任意结点到其所有叶子结点的路径中，包含相同的黑色结点个数。 举个例子：如图1所示，为一颗合法的红黑树，可以发现红黑树在维持二叉搜索树的基本性质的前提下，并满足了红黑树的颜色条件，整体上保持了二叉搜索树的平衡性 图一 和平衡二叉树（AVL）的区别 红黑树 AVL（平衡） 使用颜色的概念维持树的平衡，使二叉搜索树的左右子树的高度差保持在固定的范围 通过维持任何节点的左右子树的高度差不大于1保持树的平衡 O(log?n)时间内做查找，插入和删除O(log?n)时间内做查找，任何不平衡都会在三次旋转之内解决enum rb_tree_node_color { red=false, black=true }; //红黑树节点 templateclass T class rb_tree_node { typedef rb_tree_node_color node_color; typedef rb_tree_nodeT node_type; public: node_color color;//颜色 node_type*parent;//父节点 node_type*left;//左子节点 node_type*right;//右子节点 T value;//值 rb_tree_node(Tv);//构造函数 inline node_type*brother();//获取兄弟节点 inline bool on_left();//自身是左子节点 inline bool on_right();//自身是右子节点 inline void set_left(node_type*node);//设置左子节点 inline void set_right(node_type*node);//设置左子节点 }; //红黑树 templateclass T class rb_tree { public: typedef rb_tree_nodeT node_type; rb_tree(); ~rb_tree(); void insert(T v);//添加节点 bool insert_unique(T v);//添加唯一节点 node_type* find(T v);//查询节点 bool remove(T v);//删除节点 private: node_type*root;//树根 unsigned node_count;//节点数 void __insert(node_type*sub_root,node_type*parent,node_type*node);//内部节点插入函数 node_type* __find(node_type*sub_root,T v);//查询 void __rebalance(node_type*node);//新插入节点调整平衡 void __fix(node_type*node,node_type*parent,bool direct);//删除节点调整平衡 void __rotate(node_type*node);//自动判断类型旋转 void __rotate_left(node_type*node);//左旋转 void __rotate_right(node_type*node);//右旋转 bool __validate(node_type*sub_root,int count);//验证红黑树的合法性 }; 插入操作 将插入的点用n表示，p表示其父节点，b表示其兄弟节点，g表示其爷爷节点，u表示其叔叔节点，cl表示其左孩子节点，cr表示其右孩子节点；如图2所示。 图2 n颜色确定 if tree is null, then insert n as the root, and turn the red to black; else if n is black: then 破坏根路径上的黑色节点总数，修改难度大。 else then有可能会出现连续红色节点的情况。 相对而言，红色插入点好处理。故默认插入的节点颜色是红色。Goto b); if p is black: balance else: g,b must be black; goto c); 之所以优先按照p进行分，是因为p和n的关系最