2015-03-04 18:38:35 +00:00
|
|
|
/*
|
|
|
|
Copyright (c) Emir Pasic, All rights reserved.
|
|
|
|
|
|
|
|
This library is free software; you can redistribute it and/or
|
|
|
|
modify it under the terms of the GNU Lesser General Public
|
|
|
|
License as published by the Free Software Foundation; either
|
|
|
|
version 3.0 of the License, or (at your option) any later version.
|
|
|
|
|
|
|
|
This library is distributed in the hope that it will be useful,
|
|
|
|
but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
|
|
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
|
|
|
|
Lesser General Public License for more details.
|
|
|
|
|
|
|
|
You should have received a copy of the GNU Lesser General Public
|
|
|
|
License along with this library. See the file LICENSE included
|
|
|
|
with this distribution for more information.
|
|
|
|
*/
|
|
|
|
|
2015-03-04 18:46:09 +00:00
|
|
|
// Implementation of Red-black tree.
|
|
|
|
// Used by TreeSet and TreeMap.
|
2015-03-04 20:13:12 +00:00
|
|
|
// Structure is not thread safe.
|
2015-03-04 18:38:35 +00:00
|
|
|
// References: http://en.wikipedia.org/wiki/Red%E2%80%93black_tree
|
|
|
|
package redblacktree
|
|
|
|
|
|
|
|
import (
|
2015-03-04 20:13:12 +00:00
|
|
|
"fmt"
|
2015-03-04 18:38:35 +00:00
|
|
|
"github.com/emirpasic/gods/utils"
|
|
|
|
)
|
|
|
|
|
|
|
|
type Color bool
|
|
|
|
|
|
|
|
const (
|
|
|
|
BLACK, RED Color = true, false
|
|
|
|
)
|
|
|
|
|
|
|
|
type Tree struct {
|
|
|
|
root *Node
|
2015-03-05 04:20:10 +00:00
|
|
|
size int
|
2015-03-04 18:38:35 +00:00
|
|
|
comparator utils.Comparator
|
|
|
|
}
|
|
|
|
|
|
|
|
type Node struct {
|
|
|
|
key interface{}
|
|
|
|
value interface{}
|
|
|
|
color Color
|
|
|
|
left *Node
|
|
|
|
right *Node
|
|
|
|
parent *Node
|
|
|
|
}
|
|
|
|
|
2015-03-04 19:20:48 +00:00
|
|
|
// Instantiates a red-black tree with the custom comparator.
|
2015-03-04 18:38:35 +00:00
|
|
|
func NewWith(comparator utils.Comparator) *Tree {
|
|
|
|
return &Tree{comparator: comparator}
|
|
|
|
}
|
|
|
|
|
2015-03-04 19:20:48 +00:00
|
|
|
// Instantiates a red-black tree with the IntComparator, i.e. keys are of type int.
|
2015-03-04 18:38:35 +00:00
|
|
|
func NewWithIntComparator() *Tree {
|
|
|
|
return &Tree{comparator: utils.IntComparator}
|
|
|
|
}
|
|
|
|
|
2015-03-04 19:20:48 +00:00
|
|
|
// Instantiates a red-black tree with the StringComparator, i.e. keys are of type string.
|
2015-03-04 18:38:35 +00:00
|
|
|
func NewWithStringComparator() *Tree {
|
|
|
|
return &Tree{comparator: utils.StringComparator}
|
|
|
|
}
|
|
|
|
|
|
|
|
// Inserts node into the tree.
|
|
|
|
// Key should adhere to the comparator's type assertion, otherwise method panics.
|
|
|
|
func (tree *Tree) Put(key interface{}, value interface{}) {
|
|
|
|
insertedNode := &Node{key: key, value: value, color: RED}
|
|
|
|
if tree.root == nil {
|
|
|
|
tree.root = insertedNode
|
|
|
|
} else {
|
|
|
|
node := tree.root
|
|
|
|
loop := true
|
|
|
|
for loop {
|
|
|
|
compare := tree.comparator(key, node.key)
|
|
|
|
switch {
|
|
|
|
case compare == 0:
|
|
|
|
node.value = value
|
|
|
|
return
|
|
|
|
case compare < 0:
|
|
|
|
if node.left == nil {
|
|
|
|
node.left = insertedNode
|
|
|
|
loop = false
|
|
|
|
} else {
|
|
|
|
node = node.left
|
|
|
|
}
|
|
|
|
case compare > 0:
|
|
|
|
if node.right == nil {
|
|
|
|
node.right = insertedNode
|
2015-03-05 00:18:24 +00:00
|
|
|
loop = false
|
2015-03-04 18:38:35 +00:00
|
|
|
} else {
|
|
|
|
node = node.right
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
insertedNode.parent = node
|
|
|
|
}
|
|
|
|
tree.insertCase1(insertedNode)
|
2015-03-05 04:20:10 +00:00
|
|
|
tree.size += 1
|
2015-03-04 18:38:35 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
// Searches the node in the tree by key and returns its value or nil if key is not found in tree.
|
|
|
|
// Second return parameter is true if key was found, otherwise false.
|
2015-03-04 19:20:48 +00:00
|
|
|
// Key should adhere to the comparator's type assertion, otherwise method panics.
|
2015-03-04 18:38:35 +00:00
|
|
|
func (tree *Tree) Get(key interface{}) (interface{}, bool) {
|
|
|
|
node := tree.lookup(key)
|
|
|
|
if node != nil {
|
|
|
|
return node.value, true
|
|
|
|
}
|
|
|
|
return nil, false
|
|
|
|
}
|
|
|
|
|
2015-03-04 19:20:48 +00:00
|
|
|
// Remove the node from the tree by key.
|
|
|
|
// Key should adhere to the comparator's type assertion, otherwise method panics.
|
2015-03-04 18:46:09 +00:00
|
|
|
func (tree *Tree) Remove(key interface{}) {
|
2015-03-04 19:20:48 +00:00
|
|
|
var child *Node
|
|
|
|
node := tree.lookup(key)
|
|
|
|
if node == nil {
|
|
|
|
return
|
|
|
|
}
|
|
|
|
if node.left != nil && node.right != nil {
|
|
|
|
pred := node.left.maximumNode()
|
|
|
|
node.key = pred.key
|
|
|
|
node.value = pred.value
|
|
|
|
node = pred
|
|
|
|
}
|
2015-03-04 20:13:12 +00:00
|
|
|
if node.left == nil || node.right == nil {
|
|
|
|
if node.right == nil {
|
|
|
|
child = node.left
|
|
|
|
} else {
|
|
|
|
child = node.right
|
|
|
|
}
|
|
|
|
if node.color == BLACK {
|
2015-03-05 03:15:29 +00:00
|
|
|
node.color = color(child)
|
2015-03-04 20:13:12 +00:00
|
|
|
tree.deleteCase1(node)
|
|
|
|
}
|
|
|
|
tree.replaceNode(node, child)
|
|
|
|
if node.parent == nil && child != nil {
|
|
|
|
child.color = BLACK
|
|
|
|
}
|
2015-03-04 19:20:48 +00:00
|
|
|
}
|
2015-03-05 04:20:10 +00:00
|
|
|
tree.size -= 1
|
2015-03-04 18:46:09 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
// Returns true if tree does not contain any nodes
|
|
|
|
func (tree *Tree) IsEmpty() bool {
|
|
|
|
return tree.root == nil
|
|
|
|
}
|
|
|
|
|
2015-03-05 04:20:10 +00:00
|
|
|
// Returns number of nodes in the tree.
|
|
|
|
func (tree *Tree) Size() int {
|
|
|
|
return tree.size
|
|
|
|
}
|
|
|
|
|
2015-03-04 20:13:12 +00:00
|
|
|
func (tree *Tree) String() string {
|
2015-03-05 03:15:29 +00:00
|
|
|
str := "RedBlackTree\n"
|
2015-03-04 20:13:12 +00:00
|
|
|
if !tree.IsEmpty() {
|
2015-03-05 03:15:29 +00:00
|
|
|
output(tree.root, "", true, &str)
|
2015-03-04 20:13:12 +00:00
|
|
|
}
|
2015-03-05 03:15:29 +00:00
|
|
|
return str
|
2015-03-04 20:13:12 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
func (node *Node) String() string {
|
2015-03-05 03:15:29 +00:00
|
|
|
return fmt.Sprintf("%v", node.key)
|
|
|
|
}
|
|
|
|
|
|
|
|
func output(node *Node, prefix string, isTail bool, str *string) {
|
|
|
|
if node.right != nil {
|
|
|
|
newPrefix := prefix
|
|
|
|
if isTail {
|
|
|
|
newPrefix += "│ "
|
|
|
|
} else {
|
|
|
|
newPrefix += " "
|
|
|
|
}
|
|
|
|
output(node.right, newPrefix, false, str)
|
|
|
|
}
|
|
|
|
*str += prefix
|
|
|
|
if isTail {
|
|
|
|
*str += "└── "
|
|
|
|
} else {
|
|
|
|
*str += "┌── "
|
|
|
|
}
|
|
|
|
*str += node.String() + "\n"
|
|
|
|
if node.left != nil {
|
|
|
|
newPrefix := prefix
|
|
|
|
if isTail {
|
|
|
|
newPrefix += " "
|
|
|
|
} else {
|
|
|
|
newPrefix += "│ "
|
|
|
|
}
|
|
|
|
output(node.left, newPrefix, true, str)
|
|
|
|
}
|
2015-03-04 20:13:12 +00:00
|
|
|
}
|
|
|
|
|
2015-03-04 18:38:35 +00:00
|
|
|
func (tree *Tree) lookup(key interface{}) *Node {
|
|
|
|
node := tree.root
|
|
|
|
for node != nil {
|
|
|
|
compare := tree.comparator(key, node.key)
|
|
|
|
switch {
|
|
|
|
case compare == 0:
|
|
|
|
return node
|
|
|
|
case compare < 0:
|
|
|
|
node = node.left
|
|
|
|
case compare > 0:
|
|
|
|
node = node.right
|
|
|
|
}
|
|
|
|
}
|
|
|
|
return nil
|
|
|
|
}
|
|
|
|
|
|
|
|
func (node *Node) grandparent() *Node {
|
|
|
|
if node != nil && node.parent != nil {
|
|
|
|
return node.parent.parent
|
|
|
|
}
|
|
|
|
return nil
|
|
|
|
}
|
|
|
|
|
|
|
|
func (node *Node) uncle() *Node {
|
2015-03-04 19:38:57 +00:00
|
|
|
if node == nil || node.parent == nil || node.parent.parent == nil {
|
2015-03-04 18:38:35 +00:00
|
|
|
return nil
|
2015-03-04 19:38:57 +00:00
|
|
|
}
|
|
|
|
return node.parent.sibling()
|
|
|
|
}
|
|
|
|
|
|
|
|
func (node *Node) sibling() *Node {
|
|
|
|
if node == nil || node.parent == nil {
|
|
|
|
return nil
|
|
|
|
}
|
|
|
|
if node == node.parent.left {
|
|
|
|
return node.parent.right
|
|
|
|
} else {
|
|
|
|
return node.parent.left
|
2015-03-04 18:38:35 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
func (tree *Tree) rotateLeft(node *Node) {
|
|
|
|
right := node.right
|
|
|
|
tree.replaceNode(node, right)
|
|
|
|
node.right = right.left
|
|
|
|
if right.left != nil {
|
|
|
|
right.left.parent = node
|
|
|
|
}
|
|
|
|
right.left = node
|
|
|
|
node.parent = right
|
|
|
|
}
|
|
|
|
|
|
|
|
func (tree *Tree) rotateRight(node *Node) {
|
|
|
|
left := node.left
|
|
|
|
tree.replaceNode(node, left)
|
|
|
|
node.left = left.right
|
|
|
|
if left.right != nil {
|
|
|
|
left.right.parent = node
|
|
|
|
}
|
|
|
|
left.right = node
|
|
|
|
node.parent = left
|
|
|
|
}
|
|
|
|
|
|
|
|
func (tree *Tree) replaceNode(old *Node, new *Node) {
|
|
|
|
if old.parent == nil {
|
|
|
|
tree.root = new
|
|
|
|
} else {
|
|
|
|
if old == old.parent.left {
|
|
|
|
old.parent.left = new
|
|
|
|
} else {
|
|
|
|
old.parent.right = new
|
|
|
|
}
|
|
|
|
}
|
|
|
|
if new != nil {
|
|
|
|
new.parent = old.parent
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
func (tree *Tree) insertCase1(node *Node) {
|
|
|
|
if node.parent == nil {
|
|
|
|
node.color = BLACK
|
|
|
|
} else {
|
|
|
|
tree.insertCase2(node)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
func (tree *Tree) insertCase2(node *Node) {
|
2015-03-05 03:15:29 +00:00
|
|
|
if color(node.parent) == BLACK {
|
|
|
|
return
|
2015-03-04 18:38:35 +00:00
|
|
|
}
|
|
|
|
tree.insertCase3(node)
|
|
|
|
}
|
|
|
|
|
|
|
|
func (tree *Tree) insertCase3(node *Node) {
|
2015-03-04 19:38:57 +00:00
|
|
|
uncle := node.uncle()
|
2015-03-05 03:15:29 +00:00
|
|
|
if color(uncle) == RED {
|
2015-03-04 18:38:35 +00:00
|
|
|
node.parent.color = BLACK
|
2015-03-04 19:38:57 +00:00
|
|
|
uncle.color = BLACK
|
2015-03-04 18:38:35 +00:00
|
|
|
node.grandparent().color = RED
|
|
|
|
tree.insertCase1(node.grandparent())
|
|
|
|
} else {
|
|
|
|
tree.insertCase4(node)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
func (tree *Tree) insertCase4(node *Node) {
|
2015-03-05 03:15:29 +00:00
|
|
|
grandparent := node.grandparent()
|
|
|
|
if node == node.parent.right && node.parent == grandparent.left {
|
2015-03-04 18:38:35 +00:00
|
|
|
tree.rotateLeft(node.parent)
|
|
|
|
node = node.left
|
2015-03-05 03:15:29 +00:00
|
|
|
} else if node == node.parent.left && node.parent == grandparent.right {
|
2015-03-04 18:38:35 +00:00
|
|
|
tree.rotateRight(node.parent)
|
|
|
|
node = node.right
|
|
|
|
}
|
|
|
|
tree.insertCase5(node)
|
|
|
|
}
|
|
|
|
|
|
|
|
func (tree *Tree) insertCase5(node *Node) {
|
|
|
|
node.parent.color = BLACK
|
2015-03-05 03:15:29 +00:00
|
|
|
grandparent := node.grandparent()
|
|
|
|
grandparent.color = RED
|
|
|
|
if node == node.parent.left && node.parent == grandparent.left {
|
|
|
|
tree.rotateRight(grandparent)
|
|
|
|
} else if node == node.parent.right && node.parent == grandparent.right {
|
|
|
|
tree.rotateLeft(grandparent)
|
2015-03-04 18:38:35 +00:00
|
|
|
}
|
|
|
|
}
|
2015-03-04 19:20:48 +00:00
|
|
|
|
|
|
|
func (node *Node) maximumNode() *Node {
|
2015-03-04 19:38:57 +00:00
|
|
|
if node == nil {
|
|
|
|
return nil
|
|
|
|
}
|
2015-03-04 19:20:48 +00:00
|
|
|
for node.right != nil {
|
|
|
|
node = node.right
|
|
|
|
}
|
|
|
|
return node
|
|
|
|
}
|
|
|
|
|
|
|
|
func (tree *Tree) deleteCase1(node *Node) {
|
|
|
|
if node.parent == nil {
|
|
|
|
return
|
|
|
|
} else {
|
|
|
|
tree.deleteCase2(node)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
func (tree *Tree) deleteCase2(node *Node) {
|
2015-03-05 03:15:29 +00:00
|
|
|
sibling := node.sibling()
|
|
|
|
if color(sibling) == RED {
|
2015-03-04 19:20:48 +00:00
|
|
|
node.parent.color = RED
|
2015-03-05 03:15:29 +00:00
|
|
|
sibling.color = BLACK
|
2015-03-04 19:20:48 +00:00
|
|
|
if node == node.parent.left {
|
|
|
|
tree.rotateLeft(node.parent)
|
|
|
|
} else {
|
|
|
|
tree.rotateRight(node.parent)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
tree.deleteCase3(node)
|
|
|
|
}
|
|
|
|
|
|
|
|
func (tree *Tree) deleteCase3(node *Node) {
|
2015-03-05 03:15:29 +00:00
|
|
|
sibling := node.sibling()
|
|
|
|
if color(node.parent) == BLACK &&
|
|
|
|
color(sibling) == BLACK &&
|
|
|
|
color(sibling.left) == BLACK &&
|
|
|
|
color(sibling.right) == BLACK {
|
|
|
|
sibling.color = RED
|
2015-03-04 19:20:48 +00:00
|
|
|
tree.deleteCase1(node.parent)
|
|
|
|
} else {
|
|
|
|
tree.deleteCase4(node)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
func (tree *Tree) deleteCase4(node *Node) {
|
2015-03-05 03:15:29 +00:00
|
|
|
sibling := node.sibling()
|
|
|
|
if color(node.parent) == RED &&
|
|
|
|
color(sibling) == BLACK &&
|
|
|
|
color(sibling.left) == BLACK &&
|
|
|
|
color(sibling.right) == BLACK {
|
|
|
|
sibling.color = RED
|
2015-03-04 19:20:48 +00:00
|
|
|
node.parent.color = BLACK
|
|
|
|
} else {
|
|
|
|
tree.deleteCase5(node)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
func (tree *Tree) deleteCase5(node *Node) {
|
2015-03-05 03:15:29 +00:00
|
|
|
sibling := node.sibling()
|
2015-03-04 19:20:48 +00:00
|
|
|
if node == node.parent.left &&
|
2015-03-05 03:15:29 +00:00
|
|
|
color(sibling) == BLACK &&
|
|
|
|
color(sibling.left) == RED &&
|
|
|
|
color(sibling.right) == BLACK {
|
|
|
|
sibling.color = RED
|
|
|
|
sibling.left.color = BLACK
|
|
|
|
tree.rotateRight(sibling)
|
2015-03-04 19:20:48 +00:00
|
|
|
} else if node == node.parent.right &&
|
2015-03-05 03:15:29 +00:00
|
|
|
color(sibling) == BLACK &&
|
|
|
|
color(sibling.right) == RED &&
|
|
|
|
color(sibling.left) == BLACK {
|
|
|
|
sibling.color = RED
|
|
|
|
sibling.right.color = BLACK
|
|
|
|
tree.rotateLeft(sibling)
|
2015-03-04 19:20:48 +00:00
|
|
|
}
|
|
|
|
tree.deleteCase6(node)
|
|
|
|
}
|
|
|
|
|
|
|
|
func (tree *Tree) deleteCase6(node *Node) {
|
2015-03-05 03:15:29 +00:00
|
|
|
sibling := node.sibling()
|
|
|
|
sibling.color = color(node.parent)
|
2015-03-04 19:20:48 +00:00
|
|
|
node.parent.color = BLACK
|
2015-03-05 03:15:29 +00:00
|
|
|
if node == node.parent.left && color(sibling.right) == RED {
|
|
|
|
sibling.right.color = BLACK
|
2015-03-04 19:20:48 +00:00
|
|
|
tree.rotateLeft(node.parent)
|
2015-03-05 03:15:29 +00:00
|
|
|
} else if color(sibling.left) == RED {
|
|
|
|
sibling.left.color = BLACK
|
2015-03-04 19:20:48 +00:00
|
|
|
tree.rotateRight(node.parent)
|
|
|
|
}
|
|
|
|
}
|
2015-03-05 03:15:29 +00:00
|
|
|
|
|
|
|
func color(node *Node) Color {
|
|
|
|
if node == nil {
|
|
|
|
return BLACK
|
|
|
|
}
|
|
|
|
return node.color
|
|
|
|
}
|