Gyuho Lee ac87ebdb02 pkg/adt: remove TODO 5 gadi atpakaļ
..
img 1d638bad72 pkg/adt: README "IntervalTree.Delete" test case images 5 gadi atpakaļ
README.md 1d638bad72 pkg/adt: README "IntervalTree.Delete" test case images 5 gadi atpakaļ
doc.go fc7da09d67 *: add missing godoc package descriptions 8 gadi atpakaļ
example_test.go 6917c495e8 pkg/adt: add "visitLevel", make "IntervalTree" interface, more tests 5 gadi atpakaļ
interval_tree.go 003362ef8e pkg/adt: fix interval tree black-height property based on rbtree 5 gadi atpakaļ
interval_tree_test.go ac87ebdb02 pkg/adt: remove TODO 5 gadi atpakaļ

README.md

Red-Black Tree

"Introduction to Algorithms" (Cormen et al, 3rd ed.), Chapter 13

  1. Every node is either red or black.
  2. The root is black.
  3. Every leaf (NIL) is black.
  4. If a node is red, then both its children are black.
  5. For each node, all simple paths from the node to descendant leaves contain the same number of black nodes.

For example,

import (
    "fmt"

    "go.etcd.io/etcd/pkg/adt"
)

func main() {
    ivt := adt.NewIntervalTree()
    ivt.Insert(NewInt64Interval(510, 511), 0)
    ivt.Insert(NewInt64Interval(82, 83), 0)
    ivt.Insert(NewInt64Interval(830, 831), 0)
    ...

After inserting the values 510, 82, 830, 11, 383, 647, 899, 261, 410, 514, 815, 888, 972, 238, 292, 953.

red-black-tree-01-insertion.png

Deleting the node 514 should not trigger any rebalancing:

red-black-tree-02-delete-514.png

Deleting the node 11 triggers multiple rotates for rebalancing:

red-black-tree-03-delete-11.png red-black-tree-04-delete-11.png red-black-tree-05-delete-11.png red-black-tree-06-delete-11.png red-black-tree-07-delete-11.png red-black-tree-08-delete-11.png red-black-tree-09-delete-11.png

Try yourself at https://www.cs.usfca.edu/~galles/visualization/RedBlack.html.