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
|
|
|
|
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
|
|
|
|
break
|
|
|
|
} else {
|
|
|
|
node = node.right
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
insertedNode.parent = node
|
|
|
|
}
|
|
|
|
tree.insertCase1(insertedNode)
|
|
|
|
}
|
|
|
|
|
|
|
|
// 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 {
|
|
|
|
node.color = child.color
|
|
|
|
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-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-04 20:13:12 +00:00
|
|
|
func (tree *Tree) String() string {
|
|
|
|
if !tree.IsEmpty() {
|
|
|
|
levels := make(map[int][]*Node)
|
|
|
|
lastLevel := 0
|
|
|
|
levels[lastLevel] = append(levels[lastLevel], tree.root)
|
|
|
|
for len(levels[lastLevel]) > 0 {
|
|
|
|
for _, node := range levels[lastLevel] {
|
|
|
|
if node.left != nil {
|
|
|
|
levels[lastLevel+1] = append(levels[lastLevel+1], node.left)
|
|
|
|
}
|
|
|
|
if node.right != nil {
|
|
|
|
levels[lastLevel+1] = append(levels[lastLevel+1], node.right)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
lastLevel += 1
|
|
|
|
}
|
|
|
|
str := "tree\n"
|
|
|
|
|
|
|
|
for i := 0; i < lastLevel; i++ {
|
|
|
|
for _, node := range levels[i] {
|
|
|
|
str += fmt.Sprintf("%s", node)
|
|
|
|
}
|
|
|
|
str += "\n"
|
|
|
|
}
|
|
|
|
return str
|
|
|
|
}
|
|
|
|
return "tree\n"
|
|
|
|
}
|
|
|
|
|
|
|
|
func (node *Node) String() string {
|
|
|
|
return fmt.Sprintf("(%v)", node.key)
|
|
|
|
}
|
|
|
|
|
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) {
|
|
|
|
if node.parent.color == BLACK {
|
|
|
|
return /* Tree is still valid */
|
|
|
|
}
|
|
|
|
tree.insertCase3(node)
|
|
|
|
}
|
|
|
|
|
|
|
|
func (tree *Tree) insertCase3(node *Node) {
|
2015-03-04 19:38:57 +00:00
|
|
|
uncle := node.uncle()
|
|
|
|
if uncle == nil {
|
|
|
|
return
|
|
|
|
}
|
|
|
|
if uncle.color == 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) {
|
|
|
|
if node == node.parent.right && node.parent == node.grandparent().left {
|
|
|
|
tree.rotateLeft(node.parent)
|
|
|
|
node = node.left
|
|
|
|
} else if node == node.parent.left && node.parent == node.grandparent().right {
|
|
|
|
tree.rotateRight(node.parent)
|
|
|
|
node = node.right
|
|
|
|
}
|
|
|
|
tree.insertCase5(node)
|
|
|
|
}
|
|
|
|
|
|
|
|
func (tree *Tree) insertCase5(node *Node) {
|
|
|
|
node.parent.color = BLACK
|
|
|
|
node.grandparent().color = RED
|
|
|
|
if node == node.parent.left && node.parent == node.grandparent().left {
|
|
|
|
tree.rotateRight(node.grandparent())
|
2015-03-04 19:38:57 +00:00
|
|
|
} else if node == node.parent.right && node.parent == node.grandparent().right {
|
2015-03-04 18:38:35 +00:00
|
|
|
tree.rotateLeft(node.grandparent())
|
|
|
|
}
|
|
|
|
}
|
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) {
|
|
|
|
if node.sibling().color == RED {
|
|
|
|
node.parent.color = RED
|
|
|
|
node.sibling().color = BLACK
|
|
|
|
if node == node.parent.left {
|
|
|
|
tree.rotateLeft(node.parent)
|
|
|
|
} else {
|
|
|
|
tree.rotateRight(node.parent)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
tree.deleteCase3(node)
|
|
|
|
}
|
|
|
|
|
|
|
|
func (tree *Tree) deleteCase3(node *Node) {
|
|
|
|
if node.parent.color == BLACK &&
|
|
|
|
node.sibling().color == BLACK &&
|
|
|
|
node.sibling().left.color == BLACK &&
|
|
|
|
node.sibling().right.color == BLACK {
|
|
|
|
node.sibling().color = RED
|
|
|
|
tree.deleteCase1(node.parent)
|
|
|
|
} else {
|
|
|
|
tree.deleteCase4(node)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
func (tree *Tree) deleteCase4(node *Node) {
|
|
|
|
if node.parent.color == RED &&
|
|
|
|
node.sibling().color == BLACK &&
|
|
|
|
node.sibling().left.color == BLACK &&
|
|
|
|
node.sibling().right.color == BLACK {
|
|
|
|
node.sibling().color = RED
|
|
|
|
node.parent.color = BLACK
|
|
|
|
} else {
|
|
|
|
tree.deleteCase5(node)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
func (tree *Tree) deleteCase5(node *Node) {
|
|
|
|
if node == node.parent.left &&
|
|
|
|
node.sibling().color == BLACK &&
|
|
|
|
node.sibling().left.color == RED &&
|
|
|
|
node.sibling().right.color == BLACK {
|
|
|
|
node.sibling().color = RED
|
|
|
|
node.sibling().left.color = BLACK
|
|
|
|
tree.rotateRight(node.sibling())
|
|
|
|
} else if node == node.parent.right &&
|
|
|
|
node.sibling().color == BLACK &&
|
|
|
|
node.sibling().right.color == RED &&
|
|
|
|
node.sibling().left.color == BLACK {
|
|
|
|
node.sibling().color = RED
|
|
|
|
node.sibling().right.color = BLACK
|
|
|
|
tree.rotateLeft(node.sibling())
|
|
|
|
}
|
|
|
|
tree.deleteCase6(node)
|
|
|
|
}
|
|
|
|
|
|
|
|
func (tree *Tree) deleteCase6(node *Node) {
|
|
|
|
node.sibling().color = node.parent.color
|
|
|
|
node.parent.color = BLACK
|
2015-03-04 20:13:12 +00:00
|
|
|
if node == node.parent.left && node.sibling().right.color == RED {
|
2015-03-04 19:20:48 +00:00
|
|
|
node.sibling().right.color = BLACK
|
|
|
|
tree.rotateLeft(node.parent)
|
2015-03-04 20:13:12 +00:00
|
|
|
} else if node.sibling().left.color == RED {
|
2015-03-04 19:20:48 +00:00
|
|
|
node.sibling().left.color = BLACK
|
|
|
|
tree.rotateRight(node.parent)
|
|
|
|
}
|
|
|
|
}
|