二叉搜索树可以说是二叉树的升级版,在数据的查找上,它优于普通二叉树。要让普通二叉树成为二叉搜索树,就要对于树中每个节点X,它左子树中所有节点元素的值小于X中的值,它右子树中所有节点元素的值大于X中的值。
请看下边这两棵树,左边的树是一棵二叉搜索树,右边的树并不是二叉搜索树,因为7比6要大,而它却在6的左子树中。
目录
二叉搜索树又称二叉排序树,它可以是一棵空树......也可以是具有如下性质的二叉树:
若它的左子树不为空,则左子树上所有节点的值都小于根节点的值;
若它的右子树不为空,则右子树上所有节点的值都大于根节点的值;
它的左右子树也分别为二叉搜索树。
a、从根节点开始比较,查找,比根大则往右边走查找,比根小则往左边走查找;
b、最多查找高度次,走到空还没找到,则这个值不存在。
为什么说最多查找高度次?因为,如果二叉搜索树是下面这种形态,其实就趋近于链表了:
a.数为空,则直接新增节点,赋值给root指针;
b.树不为空,按二叉搜索树的性质查找插入位置,插入新节点。
如下图,是依次插入16和0后的二叉搜索树:
首先查找元素是否存在于二叉搜索树中。如果不存咋,就返回。如果存在,应该根据下面四种情况来删除:
a.要删除的节点无孩子节点;
b.要删除的节点只有左孩子节点;
c.要删除的节点只有右孩子节点;
d.要删除的节点有左、右孩子节点。
看起来,有四种情况,事实上,a和b的情况可以放在一起考虑,那么删除过程如下:
情况b:删除该节点且使被删除节点的双亲节点指向被删除节点的左孩子节点——直接删除
情况c:删除该节点且使被删除节点的双亲节点指向被删除节点的右孩子节点——直接删除
情况d:在它的右子树中寻找中序下的第一个节点(关键码最小),用它的值填补到被删除节点中,再来处理该节点的删除问题——替换法删除
如下图,依次删除7、14、3、8
7和14属于直接删除的场景
3和8属于需要替换法进行删除的场景
- template<class K>
- struct BSTreeNode
- {
- BSTreeNode
* _left; - BSTreeNode
* _right; - K _key;
-
- BSTreeNode(const K& key)
- :_left(nullptr)
- , _right(nullptr)
- , _key(key)
- {}
- };
-
- template<class K>
- class BSTree
- {
- typedef struct BSTreeNode
Node; - public:
- BSTree()
- :_root(nullptr)
- {}
-
- bool Insert(const K& key)
- {
- if (_root == nullptr)
- {
- _root = new Node(key);
- return true;
- }
-
- Node* parent = nullptr;
- Node* cur = _root;
- while (cur)
- {
- if (cur->_key < key)
- {
- parent = cur;
- cur = cur->_right;
- }
- else if (cur->_key > key)
- {
- parent = cur;
- cur = cur->_left;
- }
- else
- {
- return false;
- }
- }
- cur = new Node(key);
- if (parent->_key < key)
- {
- parent->_right = cur;
- }
- else
- {
- parent->_left = cur;
- }
- return true;
- }
-
- bool Find(const K& key)
- {
- Node* cur = _root;
- while (cur)
- {
- if (cur->_key < key)
- {
- cur = cur->_right;
- }
- else if (cur->_key > key)
- {
- cur = cur->_left;
- }
- else
- {
- return true;
- }
- }
- return false;
- }
-
- bool Erase(const K& key)
- {
- Node* parent = nullptr;
- Node* cur = _root;
-
- while (cur)
- {
- if (cur->_key < key)
- {
- parent = cur;
- cur = cur->_right;
- }
- else if (cur->_key > key)
- {
- parent = cur;
- cur = cur->_left;
- }
- else
- {
- if (cur->_left == nullptr)
- {
- if (cur == _root)
- {
- _root = cur->_right;
- }
- else
- {
- if (parent->_right == cur)
- {
- parent->_right = cur->_right;
- }
- else
- {
- parent->_left = cur->_right;
- }
- }
- }
- else if (cur->_right == nullptr)
- {
- if (cur == _root)
- {
- _root = cur->_left;
- }
- else
- {
- if (parent->_right = cur)
- {
- parent->_right = cur->_left;
- }
- else
- {
- parent->_left = cur->_left;
- }
- }
- }
- else
- {
- Node* parent = cur;
- Node* leftMax = cur->_left;
- while (leftMax->_right)
- {
- parent = leftMax;
- leftMax = leftMax->_right;
- }
- swap(cur->_key, leftMax->_key);
- if (parent->_left == leftMax)
- {
- parent->_left = leftMax->_left;
- }
- else
- {
- parent->_right = leftMax->_left;
- }
- cur = leftMax;
- }
- delete cur;
- return true;
- }
- }
- return false;
- }
- void InOrder()
- {
- _InOrder(_root);
- cout << endl;
- }
- void _InOrder(Node* root)
- {
- if (root == nullptr)
- {
- return;
- }
- _InOrder(root->_left);
- cout << root->_key << " ";
- _InOrder(root->_right);
- }
- private:
- Node* _root;
- };
K模型即只有key作为关键码,结构中只需要存储Key即可,关键码即为需要搜索到的值。
比如:给一个单词word,判断该单词是否拼写正确,具体方式如下:
以词库中所有单词集合中的每个单词作为key,构建一棵二叉搜索树;
在二叉搜索树中检索该单词是否存在,存在则拼写正确,不存在则拼写错误。
每一个关键码key,都有与之对应的值Value,即
比如英汉词典就是英文与中文的对应关系,通过英文可以快速找到与其对应的中文,英文单词与对应的中文
再比如统计单词次数,统计成功后,给定单词就可快速找到其出现的次数,单词与其出现次数就是
- namespace key
- {
- template<class K>
- struct BSTreeNode
- {
- BSTreeNode
* _left; - BSTreeNode
* _right; - K _key;
-
- BSTreeNode(const K& key)
- :_left(nullptr)
- , _right(nullptr)
- , _key(key)
- {}
- };
-
- template<class K>
- class BSTree
- {
- typedef BSTreeNode
Node; - public:
- BSTree()
- :_root(nullptr)
- {}
-
- BSTree(const BSTree
& t) - {
- _root = Copy(t._root);
- }
-
- BSTree
& operator=(BSTree t) - {
- swap(_root, t._root);
- return *this;
- }
-
- ~BSTree()
- {
- Destroy(_root);
- }
-
- bool Insert(const K& key)
- {
- if (_root == nullptr)
- {
- _root = new Node(key);
- return true;
- }
-
- Node* parent = nullptr;
- Node* cur = _root;
- while (cur)
- {
- if (cur->_key < key)
- {
- parent = cur;
- cur = cur->_right;
- }
- else if (cur->_key > key)
- {
- parent = cur;
- cur = cur->_left;
- }
- else
- {
- return false;
- }
- }
-
- cur = new Node(key);
- if (parent->_key < key)
- {
- parent->_right = cur;
- }
- else
- {
- parent->_left = cur;
- }
-
- return true;
- }
-
- bool Find(const K& key)
- {
- Node* cur = _root;
- while (cur)
- {
- if (cur->_key < key)
- {
- cur = cur->_right;
- }
- else if (cur->_key > key)
- {
- cur = cur->_left;
- }
- else
- {
- return true;
- }
- }
-
- return false;
- }
-
- bool Erase(const K& key)
- {
- Node* parent = nullptr;
- Node* cur = _root;
-
- while (cur)
- {
- if (cur->_key < key)
- {
- parent = cur;
- cur = cur->_right;
- }
- else if (cur->_key > key)
- {
- parent = cur;
- cur = cur->_left;
- }
- else
- {
-
- if (cur->_left == nullptr)
- {
- if (cur == _root)
- {
- _root = cur->_right;
- }
- else
- {
- if (parent->_right == cur)
- {
- parent->_right = cur->_right;
- }
- else
- {
- parent->_left = cur->_right;
- }
- }
- }
- else if (cur->_right == nullptr)
- {
- if (cur == _root)
- {
- _root = cur->_left;
- }
- else
- {
- if (parent->_right == cur)
- {
- parent->_right = cur->_left;
- }
- else
- {
- parent->_left = cur->_left;
- }
- }
- }
- else
- {
- Node* parent = cur;
- Node* leftMax = cur->_left;
- while (leftMax->_right)
- {
- parent = leftMax;
- leftMax = leftMax->_right;
- }
-
- swap(cur->_key, leftMax->_key);
-
- if (parent->_left == leftMax)
- {
- parent->_left = leftMax->_left;
- }
- else
- {
- parent->_right = leftMax->_left;
- }
-
- cur = leftMax;
- }
-
- delete cur;
- return true;
- }
- }
-
- return false;
- }
-
- void InOrder()
- {
- _InOrder(_root);
- cout << endl;
- }
-
- bool FindR(const K& key)
- {
- return _FindR(_root, key);
- }
-
- bool InsertR(const K& key)
- {
- return _InsertR(_root, key);
- }
-
- bool EraseR(const K& key)
- {
- return _EraseR(_root, key);
- }
-
- private:
- Node* Copy(Node* root)
- {
- if (root == nullptr)
- return nullptr;
-
- Node* copyroot = new Node(root->_key);
- copyroot->_left = Copy(root->_left);
- copyroot->_right = Copy(root->_right);
- return copyroot;
- }
-
- void Destroy(Node*& root)
- {
- if (root == nullptr)
- return;
-
- Destroy(root->_left);
- Destroy(root->_right);
- delete root;
- root = nullptr;
- }
-
- bool _EraseR(Node*& root, const K& key)
- {
- if (root == nullptr)
- return false;
-
- if (root->_key < key)
- {
- return _EraseR(root->_right, key);
- }
- else if (root->_key > key)
- {
- return _EraseR(root->_left, key);
- }
- else
- {
- Node* del = root;
-
- if (root->_left == nullptr)
- {
- root = root->_right;
- }
- else if (root->_right == nullptr)
- {
- root = root->_left;
- }
- else
- {
- Node* leftMax = root->_left;
- while (leftMax->_right)
- {
- leftMax = leftMax->_right;
- }
-
- swap(root->_key, leftMax->_key);
-
- return _EraseR(root->_left, key);
- }
-
- delete del;
- return true;
- }
- }
-
- bool _InsertR(Node*& root, const K& key)
- {
- if (root == nullptr)
- {
- root = new Node(key);
- return true;
- }
-
- if (root->_key < key)
- {
- return _InsertR(root->_right, key);
- }
- else if (root->_key > key)
- {
- return _InsertR(root->_left, key);
- }
- else
- {
- return false;
- }
- }
-
- bool _FindR(Node* root, const K& key)
- {
- if (root == nullptr)
- return false;
-
- if (root->_key < key)
- {
- return _FindR(root->_right, key);
- }
- else if (root->_key > key)
- {
- return _FindR(root->_left, key);
- }
- else
- {
- return true;
- }
- }
-
- void _InOrder(Node* root)
- {
- if (root == NULL)
- {
- return;
- }
-
- _InOrder(root->_left);
- cout << root->_key << " ";
- _InOrder(root->_right);
- }
- private:
- Node* _root;
- };
-
- namespace key_value
- {
- template<class K, class V>
- struct BSTreeNode
- {
- BSTreeNode
* _left; - BSTreeNode
* _right; - K _key;
- V _value;
-
- BSTreeNode(const K& key, const V& value)
- :_left(nullptr)
- , _right(nullptr)
- , _key(key)
- , _value(value)
- {}
- };
-
- template<class K, class V>
- class BSTree
- {
- typedef BSTreeNode
Node; - public:
- BSTree()
- :_root(nullptr)
- {}
-
- void InOrder()
- {
- _InOrder(_root);
- cout << endl;
- }
-
- Node* FindR(const K& key)
- {
- return _FindR(_root, key);
- }
-
- bool InsertR(const K& key, const V& value)
- {
- return _InsertR(_root, key, value);
- }
-
- bool EraseR(const K& key)
- {
- return _EraseR(_root, key);
- }
-
- private:
- bool _EraseR(Node*& root, const K& key)
- {
- if (root == nullptr)
- return false;
-
- if (root->_key < key)
- {
- return _EraseR(root->_right, key);
- }
- else if (root->_key > key)
- {
- return _EraseR(root->_left, key);
- }
- else
- {
- Node* del = root;
-
- if (root->_left == nullptr)
- {
- root = root->_right;
- }
- else if (root->_right == nullptr)
- {
- root = root->_left;
- }
- else
- {
- Node* leftMax = root->_left;
- while (leftMax->_right)
- {
- leftMax = leftMax->_right;
- }
-
- swap(root->_key, leftMax->_key);
-
- return _EraseR(root->_left, key);
- }
-
- delete del;
- return true;
- }
- }
-
- bool _InsertR(Node*& root, const K& key, const V& value)
- {
- if (root == nullptr)
- {
- root = new Node(key, value);
- return true;
- }
-
- if (root->_key < key)
- {
- return _InsertR(root->_right, key, value);
- }
- else if (root->_key > key)
- {
- return _InsertR(root->_left, key, value);
- }
- else
- {
- return false;
- }
- }
-
- Node* _FindR(Node* root, const K& key)
- {
- if (root == nullptr)
- return nullptr;
-
- if (root->_key < key)
- {
- return _FindR(root->_right, key);
- }
- else if (root->_key > key)
- {
- return _FindR(root->_left, key);
- }
- else
- {
- return root;
- }
- }
-
- void _InOrder(Node* root)
- {
- if (root == NULL)
- {
- return;
- }
-
- _InOrder(root->_left);
- cout << root->_key << ":" << root->_value << endl;
- _InOrder(root->_right);
- }
- private:
- Node* _root;
- };