//RB_Tree.hpp
//The code of red black trees
//2011/12/31 by Adoo
// The foundation :http://www.roading.org/?p=691 #ifndef RB_TREES_HPP
#define RB_TREES_HPP
#include<iterator>
#include<iomanip>
#include<deque>
enum RB_Color{
red,
black
};
template<typename Type>
class RB_Tree{
private:
struct rb_node;
class node_iterator;
public:
typedef node_iterator iterator;
typedef const node_iterator const_iterator; RB_Tree(){
_nil->_color=black;
_root=_nil;
};
~RB_Tree()
{
for(iterator iter=begin(); iter !=end();)
{
eraser(iter++);
}
_root=_nil;
}
iterator begin(){
return sub_min(_root);
}
iterator end(){
return iterator(_nil);
}
static iterator sub_min(iterator iter){
rb_node *min=iter.pointer();
while(min->_left !=_nil)
{
min=min->_left;
}
return min;
}
iterator insert(Type value){
rb_node *y=_nil;
rb_node *z=new rb_node; //create a node by the value
//needn't set the z's color ,because red is rb_node's default color
z->_value=value;
z->_left=_nil;
z->_right=_nil; rb_node* x=_root; //x iterator from _root
while(x !=_nil )
{
y=x;
if(x->_value< z->_value)
x=x->_right;
else
x=x->_left;
}
z->_parent=y;
if(y==_nil) //determine z should be y's left or right
_root=z;
else
if(y->_value < z->_value)
y->_right=z;
else
y->_left=z; rb_insert_fixup(z); //restore the red black properties
return z;
}
iterator eraser(iterator iter){
rb_node* z=iter.pointer();
rb_node* y=z;
RB_Color y_color=y->_color;
rb_node *x=NULL; if(z->_left==_nil ){ //case1: z's left child is nil
x=z->_right;
transplant(z, z->_right);
}
else{
if(z->_right==_nil){// case2: z's right child is nil
x=z->_left;
transplant(z, z->_left);
}
else{//case3: both children of z are not nil
y=sub_min(z->_right).pointer();
y_color=y->_color;
x=y->_right;
if(y->_parent==z)
x->_parent=y;
else{
transplant(y, y->_right);
//link z's right subtree into y, only y isn't z's child;
y->_right=z->_right;
y->_right->_parent=y;
}
transplant(z, y);
//link z's subtree into y.
y->_left=z->_left;
y->_left->_parent=y;
y->_color=z->_color;
}
}
iterator result = ++iterator(z);
delete z;
if(y_color==black)
eraser_fixup(x);
return result;
}; private:
void transplant(rb_node *u, rb_node *v){
if(u->_parent == _nil)
{
_root=v;
}
else
if(u== u->_parent->_left)
u->_parent->_left=v;
else
u->_parent->_right=v;
v->_parent=u->_parent;
};
void left_rotate(rb_node *x){
rb_node* y=x->_right; //set y
x->_right=y->_left; //turn y's left subtree into x's right subtree
if(y->_left !=_nil)
y->_left->_parent=x;
y->_parent=x->_parent; //link y to x's parent
if(x->_parent != _nil )
{
if(x->_parent->_left==x)
x->_parent->_left=y;
else
x->_parent->_right=y;
}
else
_root=y;
y->_left=x; //put x on y's left
x->_parent=y;
}
void right_rotate(rb_node *x)
{
rb_node* y=x->_left; //set y;
x->_left=y->_right; //turn y's right subtree into x's left subtree
if(y->_right != _nil)
y->_right->_parent=x;
y->_parent=x->_parent; //link y to x's parent
if(x->_parent != _nil)
{
if(x==x->_parent->_left)
x->_parent->_left=y;
else
x->_parent->_right=y;
}
else
_root=y;
y->_right=x; //put x on y's right;
x->_parent=y;
}
void rb_insert_fixup(rb_node* z){
while(z->_parent->_color==red){
if(z->_parent==z->_parent->_parent->_left){
rb_node* y=z->_parent->_parent->_right;
if(y->_color==red){
z->_parent->_color=black;
y->_color=black;
z->_parent->_parent->_color=red;
z=z->_parent->_parent;
}
else{
if(z==z->_parent->_right){
z=z->_parent;
left_rotate(z);
}
z->_parent->_color=black;
z->_parent->_parent->_color=red;
right_rotate(z->_parent->_parent);
}
}
else{
rb_node* y=z->_parent->_parent->_left;
if(y->_color==red){
z->_parent->_color=black;
y->_color=black;
z->_parent->_parent->_color=red;
z=z->_parent->_parent;
}
else{
if(z==z->_parent->_left){
z=z->_parent;
right_rotate(z);
}
z->_parent->_color=black;
z->_parent->_parent->_color=red;
left_rotate(z->_parent->_parent);
}
}
}
_root->_color=black;
};;
void eraser_fixup(rb_node* x){
while(x != _root && x->_color ==black){
if(x==x->_parent->_left){
rb_node* w=x->_parent->_right;
if(w->_color == red){ //case 1: x's sbling w is red.
x->_parent->_color=red;
w->_color=black;
left_rotate(x->_parent); //convert case 1 to case 2.
}
else{//case 2 : x's sbling w is black.
if(w->_left->_color == black && w->_right->_color == black){
//case 2.1 : both children of w are black
w->_color=red;
x=x->_parent;
}
else{
if(w->_left->_color==red && w->_right->_color==black){
//case 2.2: w's left child is red and w's right child is black.
//we convert this case to case 2.3.
w->_left->_color=black;
w->_color=red;
right_rotate(w);
w=x->_parent->_right;
}
//case 2.3: w's right child is red;
w->_color=x->_parent->_color;
w->_parent->_color=black;
w->_right->_color= black;
left_rotate(x->_parent);
x=_root; //terminate the loop;
}
}
}
else{
rb_node* w=x->_parent->_right;
if(w->_color == red){
x->_parent->_color=red;
w->_color=black;
left_rotate(x->_parent);
}
else{
if(w->_right->_color == black && w->_left->_color == black){
w->_color=red;
x=x->_parent;
}
else{
if(w->_right->_color==red && w->_left->_color == black){
w->_right->_color=black;
w->_color=red;
left_rotate(w);
w=x->_parent->_left;
}
w->_color=x->_parent->_color;
w->_parent->_color=black;
w->_left->_color= black;
right_rotate(x->_parent);
x=_root; //terminate the loop;
}
}
}
}
x->_color=black;
}; private:
rb_node* _root;
public:
static rb_node* _nil;
}; template<typename Type>
struct RB_Tree<Type>::rb_node
{
Type _value;
rb_node *_left;
rb_node *_right;
rb_node *_parent;
RB_Color _color;
rb_node()
:_value(Type()),_left(NULL),_right(NULL),_parent(NULL),_color(red)
{};
}; template<typename Type>
class RB_Tree<Type>::node_iterator:
public std::iterator<std::bidirectional_iterator_tag ,rb_node>
{
public:
node_iterator(rb_node* n): _node(n){}; Type& operator* () const{
return _node->_value;
}; rb_node* operator ->()const
{
return _node;
}; node_iterator operator++ ()
{
if(_node==RB_Tree<Type>::_nil)
return _node;
if(_node->_right!=RB_Tree<Type>::_nil)
{
*this=RB_Tree<Type>::sub_min(_node->_right);
}
else
{
rb_node *parent=_node->_parent;
while(parent !=RB_Tree<Type>::_nil&& _node==parent->_right)
{
_node=parent;
parent=parent->_parent;
}
_node=parent;
}
return *this;
} node_iterator operator++(int){
node_iterator ret(*this);
++*this;
return ret;
} bool operator ==( node_iterator r_iter)
{
return _node == r_iter._node;
}; bool operator !=( node_iterator r_iter){
return _node != r_iter._node;
} rb_node* pointer()
{
return _node;
}
private:
rb_node* _node;
};
#endif
//各种

转载自:http://www.roading.org/algorithm/introductiontoalgorithm/c%E5%AE%9E%E7%8E%B0%E7%BA%A2%E9%BB%91%E6%A0%91%EF%BC%8C%E4%BB%BFstl%E5%B0%81%E8%A3%85.html

C++实现红黑树,仿STL封装的更多相关文章

  1. stl vector、红黑树、set、multiset、map、multimap、迭代器失效、哈希表(hash_table)、hashset、hashmap、unordered_map、list

    stl:即标准模板库,该库包含了诸多在计算机科学领域里所常用的基本数据结构和基本算法 六大组件: 容器.迭代器.算法.仿函数.空间配置器.迭代适配器 迭代器:迭代器(iterator)是一种抽象的设计 ...

  2. stl map底层之红黑树插入步骤详解与代码实现

    转载注明出处:http://blog.csdn.net/mxway/article/details/29216199 本篇文章并没有详细的讲解红黑树各方面的知识,只是以图形的方式对红黑树插入节点需要进 ...

  3. [转]SGI STL 红黑树(Red-Black Tree)源代码分析

    STL提供了许多好用的数据结构与算法,使我们不必为做许许多多的重复劳动.STL里实现了一个树结构-Red-Black Tree,它也是STL里唯一实现的一个树状数据结构,并且它是map, multim ...

  4. SGI STL红黑树中迭代器的边界值分析

    前言 一段程序最容易出错的就是在判断或者是情况分类的边界地方,所以,应该对于许多判断或者是情况分类的边界要格外的注意.下面,就分析下STL中红黑树的迭代器的各种边界情况.(注意:分析中STL使用的版本 ...

  5. 【stl学习笔记】红黑树

    转自维基百科 红黑树是一种平衡二叉搜索树,它可以在O(log n)时间内做查找,插入和删除,这里的n是树中元素的数目. 性质: 红黑树是每个节点都带有颜色属性的二叉查找树,颜色为红色或黑色.在二叉查找 ...

  6. 浅谈算法和数据结构: 七 二叉查找树 八 平衡查找树之2-3树 九 平衡查找树之红黑树 十 平衡查找树之B树

    http://www.cnblogs.com/yangecnu/p/Introduce-Binary-Search-Tree.html 前文介绍了符号表的两种实现,无序链表和有序数组,无序链表在插入的 ...

  7. 谈c++ pb_ds库(二) 红黑树大法好

    厉害了,没想到翻翻pb_ds库看到这么多好东西,封装好的.现成的splay.红黑树.avl... 即使不能在考场上使用也可以用来对拍哦 声明/头文件 #include <ext/pb_ds/tr ...

  8. 论AVL树与红黑树

    首先讲解一下AVL树: 例如,我们要输入这样一串数字,10,9,8,7,15,20这样一串数字来建立AVL树 1,首先输入10,得到一个根结点10 2,然后输入9, 得到10这个根结点一个左孩子结点9 ...

  9. map,hash_map, hash_table, 红黑树 的原理和使用

    在刷算法题的时候总是碰到好多题,号称可以用hash table来解题.然后就蒙圈了. 1.首先,map和hash_map的区别和使用: (1)map底层用红黑树实现,hash_map底层用hash_t ...

随机推荐

  1. C#执行带参数的Oracle存储过程

    public void UpdateByRowGuid(string RowGuid) { //OracleConnection conn = new OracleConnection("d ...

  2. WebForm Repeater的事件、后天数据展示--2017年1月8日

    Repeater的Command操作 1.ItemCommand事件 :在Repeater中所有能触发事件的控件,都会来触发这一个事件 CommandName : 判断点击的是什么按钮,e.Comma ...

  3. 2的32次方 分类: C#小技巧 2014-08-05 18:18 406人阅读 评论(0) 收藏

    版权声明:本文为博主原创文章,未经博主允许不得转载.

  4. Windows Media Player axWindowsMediaPlayer1 分类: C# 2014-07-28 12:04 195人阅读 评论(0) 收藏

    属性/方法名: 说明: [基本属性] URL:String; 指定媒体位置,本机或网络地址 uiMode:String; 播放器界面模式,可为Full, Mini, None, Invisible p ...

  5. input标签上传图片怎么获取src;

    大家都知道input标签可以上传文件 如: <input type="file"/> 就可以上传文件,当然也可以上传图片,上传的图片的src地址如何取到: var re ...

  6. C#自定义泛型类绑定ComboBox控件

    C# WinForm ComboBox 自定义数据项 (ComboBoxItem ) WinForm下的ComboBox默认是以多行文本来设定显示列表的, 这通常不符合大家日常的应用, 因为大家日常应 ...

  7. POJ1330Nearest Common Ancestors——近期公共祖先(离线Tarjan)

    http://poj.org/problem? id=1330 给一个有根树,一个查询节点(u,v)的近期公共祖先 836K 16MS #include<iostream> #includ ...

  8. [RxJS] Transformation operator: bufferToggle, bufferWhen

    bufferToggle(open: Observable, () => close: Observalbe : Observalbe<T[]>) bufferToggle take ...

  9. [Android 中级]Voip之CSipSimple类库的编绎

    CSipSimple是什么?是一款基于pjsip的Android客户端,相信想要研究VOIP通讯的朋友一定不会陌生,这里我就把如何编译CSipSimple写下来. 首先从CSipSimple官方网站上 ...

  10. linux ptrace I

    这几天通过<游戏安全--手游安全技术入门这本书>了解到linux系统中ptrace()这个函数可以实现外挂功能,于是在ubuntu 16.04 x86_64系统上对这个函数进行了学习. 参 ...