def test_red_black_tree_insert_example1(helper):
# src: https://www.geeksforgeeks.org/red-black-tree-set-2-insert/
rbtree = RedBlackTree()
rbtree.insert(10)
rbtree.insert(20)
rbtree.insert(30)
rbtree.insert(15)
# test tree characteristics
assert helper.verify_bst_rules(rbtree._root)
assert rbtree.is_balanced()
assert len(rbtree) == 4
assert rbtree.count_leaf_nodes() == 2
assert rbtree.get_max() == 30
assert rbtree.get_min() == 10
assert rbtree.get_height() == 2
assert rbtree.get_depth() == 0
assert rbtree.get_black_height() == 2
# check data/colors
assert isinstance(rbtree._root, RedBlackNode)
assert rbtree._root.get_data() == 20
assert rbtree._root.get_color() == Color.BLACK
assert rbtree._root.get_left().get_data() == 10
assert rbtree._root.get_left().get_color() == Color.BLACK
assert rbtree._root.get_left().get_left() is None
assert rbtree._root.get_left().get_right().get_data() == 15
assert rbtree._root.get_left().get_right().get_color() == Color.RED
assert rbtree._root.get_left().get_right().get_left() is None
assert rbtree._root.get_left().get_right().get_right() is None
assert rbtree._root.get_right().get_data() == 30
assert rbtree._root.get_right().get_color() == Color.BLACK
assert rbtree._root.get_right().get_left() is None
assert rbtree._root.get_right().get_right() is None
def test_double_black_right_right_case(helper):
rbtree = RedBlackTree()
rbtree.insert(30)
rbtree.insert(20)
rbtree.insert(40)
rbtree.insert(50)
rbtree.remove(20)
# test tree characteristics
assert helper.verify_bst_rules(rbtree._root)
assert rbtree.is_balanced()
assert len(rbtree) == 3
assert rbtree.count_leaf_nodes() == 2
assert rbtree.get_max() == 50
assert rbtree.get_min() == 30
assert rbtree.get_height() == 1
assert rbtree.get_depth() == 0
assert rbtree.get_black_height() == 2
# check data/colors
assert isinstance(rbtree._root, RedBlackNode)
assert rbtree._root.get_data() == 40
assert rbtree._root.get_color() == Color.BLACK
assert rbtree._root.get_left().get_data() == 30
assert rbtree._root.get_left().get_color() == Color.BLACK
assert rbtree._root.get_left().get_left() is None
assert rbtree._root.get_left().get_right() is None
assert rbtree._root.get_right().get_data() == 50
assert rbtree._root.get_right().get_color() == Color.BLACK
assert rbtree._root.get_right().get_left() is None
assert rbtree._root.get_right().get_left() is None
def test_red_black_special_case(helper):
rbtree = RedBlackTree()
rbtree.insert(15)
rbtree.insert(5)
rbtree.insert(1)
# test tree characteristics
assert helper.verify_bst_rules(rbtree._root)
assert rbtree.is_balanced()
assert len(rbtree) == 3
assert rbtree.count_leaf_nodes() == 2
assert rbtree.get_max() == 15
assert rbtree.get_min() == 1
assert rbtree.get_height() == 1
assert rbtree.get_depth() == 0
assert rbtree.get_black_height() == 1
# check data/colors
assert isinstance(rbtree._root, RedBlackNode)
assert rbtree._root.get_data() == 5
assert rbtree._root.get_color() == Color.BLACK
assert rbtree._root.get_left().get_data() == 1
assert rbtree._root.get_left().get_color() == Color.RED
assert rbtree._root.get_left().get_left() is None
assert rbtree._root.get_left().get_right() is None
assert rbtree._root.get_right().get_data() == 15
assert rbtree._root.get_right().get_color() == Color.RED
assert rbtree._root.get_right().get_left() is None
assert rbtree._root.get_right().get_right() is None
def test_red_black_tree_insert_example4(helper):
# src: Data Structures and Algorithms in Python Book (Page: 539)
rbtree = RedBlackTree()
rbtree.insert(4)
rbtree.insert(7)
rbtree.insert(12)
rbtree.insert(15)
rbtree.insert(3)
rbtree.insert(5)
rbtree.insert(14)
rbtree.insert(18)
rbtree.insert(16)
rbtree.insert(17)
# test tree characteristics
assert helper.verify_bst_rules(rbtree._root)
assert rbtree.is_balanced()
assert len(rbtree) == 10
assert rbtree.count_leaf_nodes() == 5
assert rbtree.get_max() == 18
assert rbtree.get_min() == 3
assert rbtree.get_height() == 3
assert rbtree.get_depth() == 0
assert rbtree.get_black_height() == 2
# check data/colors
assert isinstance(rbtree._root, RedBlackNode)
assert rbtree._root.get_data() == 14
assert rbtree._root.get_color() == Color.BLACK
assert rbtree._root.get_left().get_data() == 7
assert rbtree._root.get_left().get_color() == Color.RED
assert rbtree._root.get_left().get_left().get_data() == 4
assert rbtree._root.get_left().get_left().get_color() == Color.BLACK
assert rbtree._root.get_left().get_left().get_left().get_data() == 3
assert (
rbtree._root.get_left().get_left().get_left().get_color() == Color.RED)
assert rbtree._root.get_left().get_left().get_left().get_left() is None
assert rbtree._root.get_left().get_left().get_left().get_right() is None
assert rbtree._root.get_left().get_left().get_right().get_data() == 5
assert (rbtree._root.get_left().get_left().get_right().get_color() ==
Color.RED)
assert rbtree._root.get_left().get_left().get_right().get_left() is None
assert rbtree._root.get_left().get_left().get_right().get_right() is None
assert rbtree._root.get_left().get_right().get_data() == 12
assert rbtree._root.get_left().get_right().get_color() == Color.BLACK
assert rbtree._root.get_left().get_right().get_left() is None
assert rbtree._root.get_left().get_right().get_right() is None
assert rbtree._root.get_right().get_data() == 16
assert rbtree._root.get_right().get_color() == Color.RED
assert rbtree._root.get_right().get_left().get_data() == 15
assert rbtree._root.get_right().get_left().get_color() == Color.BLACK
assert rbtree._root.get_right().get_left().get_left() is None
assert rbtree._root.get_right().get_left().get_right() is None
assert rbtree._root.get_right().get_right().get_data() == 18
assert rbtree._root.get_right().get_right().get_color() == Color.BLACK
assert rbtree._root.get_right().get_right().get_left().get_data() == 17
assert (rbtree._root.get_right().get_right().get_left().get_color() ==
Color.RED)
assert rbtree._root.get_right().get_right().get_left().get_left() is None
assert rbtree._root.get_right().get_right().get_left().get_right() is None
assert rbtree._root.get_right().get_right().get_right() is None
def test_red_black_tree_insert_remove_example3(helper):
# src: https://www.youtube.com/watch?v=eO3GzpCCUSg
rbtree = RedBlackTree()
rbtree.insert(13)
rbtree.insert(8)
rbtree.insert(17)
rbtree.insert(1)
rbtree.insert(11)
rbtree.insert(1)
rbtree.insert(15)
rbtree.insert(25)
rbtree.insert(6)
rbtree.insert(22)
rbtree.insert(27)
rbtree.remove(11)
# test tree characteristics
assert helper.verify_bst_rules(rbtree._root)
assert rbtree.is_balanced()
assert len(rbtree) == 9
assert rbtree.count_leaf_nodes() == 5
assert rbtree.get_max() == 27
assert rbtree.get_min() == 1
assert rbtree.get_height() == 3
assert rbtree.get_depth() == 0
assert rbtree.get_black_height() == 2
# check data/colors
assert isinstance(rbtree._root, RedBlackNode)
assert rbtree._root.get_data() == 13
assert rbtree._root.get_color() == Color.BLACK
assert rbtree._root.get_left().get_data() == 6
assert rbtree._root.get_left().get_color() == Color.RED
assert rbtree._root.get_left().get_left().get_data() == 1
assert rbtree._root.get_left().get_left().get_color() == Color.BLACK
assert rbtree._root.get_left().get_left().get_left() is None
assert rbtree._root.get_left().get_left().get_right() is None
assert rbtree._root.get_left().get_right().get_data() == 8
assert rbtree._root.get_left().get_right().get_color() == Color.BLACK
assert rbtree._root.get_left().get_right().get_left() is None
assert rbtree._root.get_left().get_right().get_right() is None
assert rbtree._root.get_right().get_data() == 17
assert rbtree._root.get_right().get_color() == Color.RED
assert rbtree._root.get_right().get_left().get_data() == 15
assert rbtree._root.get_right().get_left().get_color() == Color.BLACK
assert rbtree._root.get_right().get_left().get_left() is None
assert rbtree._root.get_right().get_left().get_right() is None
assert rbtree._root.get_right().get_right().get_data() == 25
assert rbtree._root.get_right().get_right().get_color() == Color.BLACK
assert rbtree._root.get_right().get_right().get_left().get_data() == 22
assert (rbtree._root.get_right().get_right().get_left().get_color() ==
Color.RED)
assert rbtree._root.get_right().get_right().get_left().get_left() is None
assert rbtree._root.get_right().get_right().get_left().get_right() is None
assert rbtree._root.get_right().get_right().get_right().get_data() == 27
assert (rbtree._root.get_right().get_right().get_right().get_color() ==
Color.RED)
assert rbtree._root.get_right().get_right().get_right().get_left() is None
assert rbtree._root.get_right().get_right().get_right().get_right() is None
def test_red_black_tree_insert_example3(helper):
# src: http://www.btechsmartclass.com/data_structures/red-black-trees.html
rbtree = RedBlackTree()
rbtree.insert(8)
rbtree.insert(18)
rbtree.insert(5)
rbtree.insert(15)
rbtree.insert(17)
rbtree.insert(25)
rbtree.insert(40)
rbtree.insert(80)
# test tree characteristics
assert helper.verify_bst_rules(rbtree._root)
assert rbtree.is_balanced()
assert len(rbtree) == 8
assert rbtree.count_leaf_nodes() == 4
assert rbtree.get_max() == 80
assert rbtree.get_min() == 5
assert rbtree.get_height() == 3
assert rbtree.get_depth() == 0
assert rbtree.get_black_height() == 2
# check data/colors
assert isinstance(rbtree._root, RedBlackNode)
assert rbtree._root.get_data() == 17
assert rbtree._root.get_color() == Color.BLACK
assert rbtree._root.get_left().get_data() == 8
assert rbtree._root.get_left().get_color() == Color.RED
assert rbtree._root.get_left().get_left().get_data() == 5
assert rbtree._root.get_left().get_left().get_color() == Color.BLACK
assert rbtree._root.get_left().get_left().get_left() is None
assert rbtree._root.get_left().get_left().get_right() is None
assert rbtree._root.get_left().get_right().get_data() == 15
assert rbtree._root.get_left().get_right().get_color() == Color.BLACK
assert rbtree._root.get_left().get_right().get_left() is None
assert rbtree._root.get_left().get_right().get_right() is None
assert rbtree._root.get_right().get_data() == 25
assert rbtree._root.get_right().get_color() == Color.RED
assert rbtree._root.get_right().get_left().get_data() == 18
assert rbtree._root.get_right().get_left().get_color() == Color.BLACK
assert rbtree._root.get_right().get_left().get_left() is None
assert rbtree._root.get_right().get_left().get_right() is None
assert rbtree._root.get_right().get_right().get_data() == 40
assert rbtree._root.get_right().get_right().get_color() == Color.BLACK
assert rbtree._root.get_right().get_right().get_left() is None
assert rbtree._root.get_right().get_right().get_right().get_data() == 80
assert (rbtree._root.get_right().get_right().get_right().get_color() ==
Color.RED)
assert rbtree._root.get_right().get_right().get_right().get_left() is None
assert rbtree._root.get_right().get_right().get_right().get_right() is None