C++:红黑树

1 红黑树的概念

// 节点的颜色
enum Color{RED, BLACK};
// 红黑树节点的定义
template<class ValueType>
struct RBTreeNode
{
 RBTreeNode(const ValueType& data = ValueType()，Color color = RED)
     : _pLeft(nullptr), _pRight(nullptr), _pParent(nullptr)
     , _data(data), _color(color)
 {}
 RBTreeNode<ValueType>* _pLeft;   // 节点的左孩子
 RBTreeNode<ValueType>* _pRight;  // 节点的右孩子
 RBTreeNode<ValueType>* _pParent; // 节点的双亲(红黑树需要旋转，为了实现简单给
出该字段)
 ValueType _data;            // 节点的值域
 Color _color;               // 节点的颜色
};

emplate<class ValueType>
class RBTree
{
    //……
 bool Insert(const ValueType& data)
 {
 PNode& pRoot = GetRoot();
 if (nullptr == pRoot)
 {
 pRoot = new Node(data, BLACK);
 // 根的双亲为头节点
 pRoot->_pParent = _pHead;
            _pHead->_pParent = pRoot;
 }
 else
 {
 // 1. 按照二叉搜索的树方式插入新节点
             // 2. 检测新节点插入后，红黑树的性质是否造到破坏，
 //   若满足直接退出，否则对红黑树进行旋转着色处理
 }
 // 根节点的颜色可能被修改，将其改回黑色
 pRoot->_color = BLACK;
 _pHead->_pLeft = LeftMost();
 _pHead->_pRight = RightMost();
 return true;
 }
private:
 PNode& GetRoot(){ return _pHead->_pParent;}
 // 获取红黑树中最小节点，即最左侧节点
 PNode LeftMost();
 // 获取红黑树中最大节点，即最右侧节点
 PNode RightMost();
private:
 PNode _pHead;
};

2. 检测新节点插入后，红黑树的性质是否造到破坏

bool Insert(const ValueType& data)
{
    // ...
    // 新节点插入后，如果其双亲节点的颜色为空色，则违反性质3：不能有连在一起的红色结
点
 while(pParent && RED == pParent->_color)
 {
        // 注意：grandFather一定存在 
      // 因为pParent存在，且不是黑色节点，则pParent一定不是根，则其一定有双亲
 PNode grandFather = pParent->_pParent;
        // 先讨论左侧情况
 if(pParent == grandFather->_pLeft)
 {
 PNode unclue = grandFather->_pRight;
 // 情况三：叔叔节点存在，且为红
 if(unclue && RED == unclue->_color)
 {
 pParent->_color = BLACK;
 unclue->_color = BLACK;
 grandFather->_color = RED;
 pCur = grandFather;
 pParent = pCur->_pParent;
 }
 else
 {
 // 情况五：叔叔节点不存在，或者叔叔节点存在且为黑
 if(pCur == pParent->_pRight)
 {
 _RotateLeft(pParent);
 swap(pParent, pCur);
 }
                 // 情况五最后转化成情况四
 grandFather->_color = RED;
 pParent->_color = BLACK;
 _RotateRight(grandFather);
 }
 }
 else
       {
            // 右侧请学生们自己动手完成
       }
 }
    // ...
}

动态效果演示：

6 红黑树的验证

bool IsValidRBTree()
{
     PNode pRoot = GetRoot();
 // 空树也是红黑树
 if (nullptr == pRoot)
 return true;
 // 检测根节点是否满足情况
 if (BLACK != pRoot->_color)
 {
 cout << "违反红黑树性质二：根节点必须为黑色" << endl;
 return false;
 }
 // 获取任意一条路径中黑色节点的个数
 size_t blackCount = 0;
PNode pCur = pRoot;
 while (pCur)
 {
 if (BLACK == pCur->_color)
 blackCount++;
 pCur = pCur->_pLeft;
 }
 // 检测是否满足红黑树的性质，k用来记录路径中黑色节点的个数
 size_t k = 0;
 return _IsValidRBTree(pRoot, k, blackCount);
 }
bool _IsValidRBTree(PNode pRoot, size_t k, const size_t blackCount)
{
    //走到null之后，判断k和black是否相等
 if (nullptr == pRoot)
     {
         if (k != blackCount)
 {
 cout << "违反性质四：每条路径中黑色节点的个数必须相同" << endl;
 return false;
 }
         return true;
     }
 // 统计黑色节点的个数
 if (BLACK == pRoot->_color)
 k++;
 // 检测当前节点与其双亲是否都为红色
 PNode pParent = pRoot->_pParent;
 if (pParent && RED == pParent->_color && RED == pRoot->_color)
 {
 cout << "违反性质三：没有连在一起的红色节点" << endl;
 return false;
 }
 return _IsValidRBTree(pRoot->_pLeft, k, blackCount) &&
    _IsValidRBTree(pRoot->_pRight, k, blackCount);
 }

7 红黑树与AVL树的比较

// 找迭代器的下一个节点，下一个节点肯定比其大
void Increasement()
{
    //分两种情况讨论:_pNode的右子树存在和不存在
    // 右子树存在
 if(_pNode->_pRight)
 {
         // 右子树中最小的节点，即右子树中最左侧节点
 _pNode = _pNode->_pRight;
 while(_pNode->_pLeft)
 _pNode = _pNode->_pLeft;
 }
 else
 {
         // 右子树不存在，向上查找，直到_pNode != pParent->right
 PNode pParent = _pNode->_pParent;
while(pParent->_pRight == _pNode)
 {
 _pNode = pParent;
 pParent = _pNode->_pParent;
 }
 // 特殊情况：根节点没有右子树
 if(_pNode->_pRight != pParent)
 _pNode = pParent;
 }
}
// 获取迭代器指向节点的前一个节点
void Decreasement()
{
     //分三种情况讨论：_pNode 在head的位置，_pNode 左子树存在，_pNode 左子树不存在
     // 1. _pNode 在head的位置，--应该将_pNode放在红黑树中最大节点的位置
 if(_pNode->_pParent->_pParent == _pNode && _pNode->_color == RED)
 _pNode = _pNode->_pRight;
 else if(_pNode->_pLeft)
 {
        // 2. _pNode的左子树存在,在左子树中找最大的节点，即左子树中最右侧节点
 _pNode = _pNode->_pLeft;
 while(_pNode->_pRight)
 _pNode = _pNode->_pRight;
 }
 else
 {
         // _pNode的左子树不存在，只能向上找
 PNode pParent = _pNode->_pParent;
 while(_pNode == pParent->_pLeft)
 {
 _pNode = pParent;
 pParent = _pNode->_pParent;
 }
 _pNode = pParent;
 }
}

源代码：

#pragma once

enum Colour
{
	RED,
	BLACK

};

template<class T>
struct RBTreeNode
{
	RBTreeNode<T>* _left;
	RBTreeNode<T>* _right;
	RBTreeNode<T>* _parent;
	T _data;
	Colour _col;

	RBTreeNode(const T& data)
		:_data(data)
		, _left(nullptr)
		, _right(nullptr)
		, _parent(nullptr)
		, _col(RED)
	{
	}
};

template<class T>
struct RBTreeIterator
{
	typedef RBTreeNode<T> Node;
	typedef RBTreeIterator<T> Self;

	Node* _node;

	RBTreeIterator(Node* node)
		:_node(node)
	{
	}

	// 请完善迭代器的++操作，让迭代器可以移动
	Self& operator++()
	{
		//右树不为空访问右树的最左节点
		if (_node->_right)
		{
			Node* cur = _node->_right;

			while (cur && cur->_left)
			{
				cur = cur->_left;
			}

			_node = cur;
		}
		else//如果cur是父亲的左边节点那么就意为着父亲的
		{
			Node* cur = _node;
			Node* parent = _node->_parent;
			// 找孩子是父亲左的那个祖先节点，就是下一个要访问的节点
			while (parent && cur == parent->_right)
			{
				cur = cur->_parent;
				parent = parent->_parent;
			}
			_node = parent;
		}

		return *this;
		
	}

	// 请完善下面两个操作，让迭代器可以像指针一样操作
	T& operator*()
	{
		return _node->_data;
	}

	T* operator->()
	{
		return &(_node->_data);
	}

	// 请完善下面两个操作，让迭代器能够支持比较

	bool operator==(const Self& s)const
	{
		return this == s;
	}

	bool operator!=(const Self& s)const
	{
		return this != s;
	}


};



// 注意：红黑树完整操作参考课堂代码
// 此处给红黑树添加迭代器，其他用不到的操作暂被拿掉，只留下红黑树构建的核心操作
template<class K, class T, class KeyOfT>
class RBTree
{
	typedef RBTreeNode<T> Node;
	typedef RBTreeIterator<T> iterator;
public:
	// 请给红黑树的迭代器取别名，方便后序使用
	// ________________________

	// 请完善Begin() 和 End()方法
	iterator begin()
	{
		Node* cur = _root;
		while (cur && cur->_left)
		{
			cur = cur->_left;
		}

		return iterator(cur);
	}

	iterator end()
	{
		return iterator(nullptr);
	}


	~RBTree()
	{
		Destroy(_root);
		_root = nullptr;
	}


	bool Insert(const T& data)
	{
		if (_root == nullptr)
		{
			_root = new Node(data);
			_root->_col = BLACK;
			return true;
		}


		KeyOfT kot;
		Node* parent = nullptr;
		Node* cur = _root;
		while (cur)
		{
			if (kot(cur->_data) < kot(data))
			{
				parent = cur;
				cur = cur->_right;
			}
			else if (kot(cur->_data) > kot(data))
			{
				parent = cur;
				cur = cur->_left;
			}
			else
			{
				return false;
			}
		}


		cur = new Node(data);
		// 新增节点。颜色红色给红色
		cur->_col = RED;
		if (kot(parent->_data) < kot(data))
		{
			parent->_right = cur;
		}
		else
		{
			parent->_left = cur;
		}
		cur->_parent = parent;

		while (parent && parent->_col == RED)
		{
			Node* grandfather = parent->_parent;
			//    g
			//  p   u
			if (parent == grandfather->_left)
			{
				Node* uncle = grandfather->_right;
				if (uncle && uncle->_col == RED)
				{
					// u存在且为红 -》变色再继续往上处理
					parent->_col = uncle->_col = BLACK;
					grandfather->_col = RED;


					cur = grandfather;
					parent = cur->_parent;
				}
				else
				{
					// u存在且为黑或不存在 -》旋转+变色
					if (cur == parent->_left)
					{
						//    g
						//  p   u
						//c
						//单旋
						RotateR(grandfather);
						parent->_col = BLACK;
						grandfather->_col = RED;
					}
					else
					{
						//    g
						//  p   u
						//    c
						//双旋
						RotateL(parent);
						RotateR(grandfather);


						cur->_col = BLACK;
						grandfather->_col = RED;
					}
					break;
				}
			}
			else
			{
				//    g
				//  u   p
				Node* uncle = grandfather->_left;
				// 叔叔存在且为红，-》变色即可
				if (uncle && uncle->_col == RED)
				{
					parent->_col = uncle->_col = BLACK;
					grandfather->_col = RED;

					// 继续往上处理
					cur = grandfather;
					parent = cur->_parent;
				}
				else // 叔叔不存在，或者存在且为黑
				{
					// 情况二：叔叔不存在或者存在且为黑
					// 旋转+变色
					//      g
					//   u     p
					//            c
					if (cur == parent->_right)
					{
						RotateL(grandfather);
						parent->_col = BLACK;
						grandfather->_col = RED;
					}
					else
					{
						//		g
						//   u     p
						//      c
						RotateR(parent);
						RotateL(grandfather);
						cur->_col = BLACK;
						grandfather->_col = RED;
					}
					break;
				}
			}
		}

		_root->_col = BLACK;
		return true;
	}
private:
	void RotateL(Node* parent)
	{
		Node* subR = parent->_right;
		Node* subRL = subR->_left;

		parent->_right = subRL;
		if (subRL)
			subRL->_parent = parent;

		Node* parentParent = parent->_parent;

		subR->_left = parent;
		parent->_parent = subR;


		if (parentParent == nullptr)
		{
			_root = subR;
			subR->_parent = nullptr;
		}
		else
		{
			if (parent == parentParent->_left)
			{
				parentParent->_left = subR;
			}
			else
			{
				parentParent->_right = subR;
			}

			subR->_parent = parentParent;
		}
	}


	void  RotateR(Node* parent)
	{
		Node* subL = parent->_left;
		Node* subLR = subL->_right;

		parent->_left = subLR;
		if (subLR)
			subLR->_parent = parent;

		Node* parentParent = parent->_parent;

		subL->_right = parent;
		parent->_parent = subL;

		if (parentParent == nullptr)
		{
			_root = subL;
			subL->_parent = nullptr;
		}
		else
		{
			if (parent == parentParent->_left)
			{
				parentParent->_left = subL;
			}
			else
			{
				parentParent->_right = subL;
			}
			subL->_parent = parentParent;
		}
	}

	void Destroy(Node* root)
	{
		if (root == nullptr)
			return;

		Destroy(root->_left);
		Destroy(root->_right);
		delete root;
	}

private:
	Node* _root = nullptr;
};