2019-05-09 19:32:54 +08:00
|
|
|
package DataStructures.Trees;
|
|
|
|
|
|
|
|
import java.util.Scanner;
|
|
|
|
|
2020-10-24 18:23:28 +08:00
|
|
|
/** @author jack870131 */
|
2018-04-24 18:46:14 +08:00
|
|
|
public class RedBlackBST {
|
|
|
|
|
2020-10-24 18:23:28 +08:00
|
|
|
private final int R = 0;
|
|
|
|
private final int B = 1;
|
2018-04-24 18:46:14 +08:00
|
|
|
|
2020-10-24 18:23:28 +08:00
|
|
|
private class Node {
|
2018-04-24 18:46:14 +08:00
|
|
|
|
2020-10-24 18:23:28 +08:00
|
|
|
int key = -1, color = B;
|
|
|
|
Node left = nil, right = nil, p = nil;
|
2018-04-24 18:46:14 +08:00
|
|
|
|
2020-10-24 18:23:28 +08:00
|
|
|
Node(int key) {
|
|
|
|
this.key = key;
|
2019-05-09 19:32:54 +08:00
|
|
|
}
|
2020-10-24 18:23:28 +08:00
|
|
|
}
|
2018-04-24 18:46:14 +08:00
|
|
|
|
2020-10-24 18:23:28 +08:00
|
|
|
private final Node nil = new Node(-1);
|
|
|
|
private Node root = nil;
|
2018-04-24 18:46:14 +08:00
|
|
|
|
2020-10-24 18:23:28 +08:00
|
|
|
public void printTree(Node node) {
|
|
|
|
if (node == nil) {
|
|
|
|
return;
|
2019-05-09 19:32:54 +08:00
|
|
|
}
|
2020-10-24 18:23:28 +08:00
|
|
|
printTree(node.left);
|
|
|
|
System.out.print(
|
|
|
|
((node.color == R) ? " R " : " B ") + "Key: " + node.key + " Parent: " + node.p.key + "\n");
|
|
|
|
printTree(node.right);
|
|
|
|
}
|
2018-04-24 18:46:14 +08:00
|
|
|
|
2020-10-24 18:23:28 +08:00
|
|
|
public void printTreepre(Node node) {
|
|
|
|
if (node == nil) {
|
|
|
|
return;
|
2019-05-09 19:32:54 +08:00
|
|
|
}
|
2020-10-24 18:23:28 +08:00
|
|
|
System.out.print(
|
|
|
|
((node.color == R) ? " R " : " B ") + "Key: " + node.key + " Parent: " + node.p.key + "\n");
|
|
|
|
printTree(node.left);
|
|
|
|
printTree(node.right);
|
|
|
|
}
|
2018-04-24 18:46:14 +08:00
|
|
|
|
2020-10-24 18:23:28 +08:00
|
|
|
private Node findNode(Node findNode, Node node) {
|
|
|
|
if (root == nil) {
|
|
|
|
return null;
|
|
|
|
}
|
|
|
|
if (findNode.key < node.key) {
|
|
|
|
if (node.left != nil) {
|
|
|
|
return findNode(findNode, node.left);
|
|
|
|
}
|
|
|
|
} else if (findNode.key > node.key) {
|
|
|
|
if (node.right != nil) {
|
|
|
|
return findNode(findNode, node.right);
|
|
|
|
}
|
|
|
|
} else if (findNode.key == node.key) {
|
|
|
|
return node;
|
2019-05-09 19:32:54 +08:00
|
|
|
}
|
2020-10-24 18:23:28 +08:00
|
|
|
return null;
|
|
|
|
}
|
2018-04-24 18:46:14 +08:00
|
|
|
|
2020-10-24 18:23:28 +08:00
|
|
|
private void insert(Node node) {
|
|
|
|
Node temp = root;
|
|
|
|
if (root == nil) {
|
|
|
|
root = node;
|
|
|
|
node.color = B;
|
|
|
|
node.p = nil;
|
|
|
|
} else {
|
|
|
|
node.color = R;
|
|
|
|
while (true) {
|
|
|
|
if (node.key < temp.key) {
|
|
|
|
if (temp.left == nil) {
|
|
|
|
temp.left = node;
|
|
|
|
node.p = temp;
|
|
|
|
break;
|
|
|
|
} else {
|
|
|
|
temp = temp.left;
|
|
|
|
}
|
|
|
|
} else if (node.key >= temp.key) {
|
|
|
|
if (temp.right == nil) {
|
|
|
|
temp.right = node;
|
|
|
|
node.p = temp;
|
|
|
|
break;
|
|
|
|
} else {
|
|
|
|
temp = temp.right;
|
|
|
|
}
|
2019-05-09 19:32:54 +08:00
|
|
|
}
|
2020-10-24 18:23:28 +08:00
|
|
|
}
|
|
|
|
fixTree(node);
|
2019-05-09 19:32:54 +08:00
|
|
|
}
|
2020-10-24 18:23:28 +08:00
|
|
|
}
|
2018-04-24 18:46:14 +08:00
|
|
|
|
2020-10-24 18:23:28 +08:00
|
|
|
private void fixTree(Node node) {
|
|
|
|
while (node.p.color == R) {
|
|
|
|
Node y = nil;
|
|
|
|
if (node.p == node.p.p.left) {
|
|
|
|
y = node.p.p.right;
|
2018-04-24 18:46:14 +08:00
|
|
|
|
2020-10-24 18:23:28 +08:00
|
|
|
if (y != nil && y.color == R) {
|
|
|
|
node.p.color = B;
|
|
|
|
y.color = B;
|
|
|
|
node.p.p.color = R;
|
|
|
|
node = node.p.p;
|
|
|
|
continue;
|
2019-05-09 19:32:54 +08:00
|
|
|
}
|
2020-10-24 18:23:28 +08:00
|
|
|
if (node == node.p.right) {
|
|
|
|
node = node.p;
|
|
|
|
rotateLeft(node);
|
|
|
|
}
|
|
|
|
node.p.color = B;
|
|
|
|
node.p.p.color = R;
|
|
|
|
rotateRight(node.p.p);
|
|
|
|
} else {
|
|
|
|
y = node.p.p.left;
|
|
|
|
if (y != nil && y.color == R) {
|
|
|
|
node.p.color = B;
|
|
|
|
y.color = B;
|
|
|
|
node.p.p.color = R;
|
|
|
|
node = node.p.p;
|
|
|
|
continue;
|
|
|
|
}
|
|
|
|
if (node == node.p.left) {
|
|
|
|
node = node.p;
|
|
|
|
rotateRight(node);
|
|
|
|
}
|
|
|
|
node.p.color = B;
|
|
|
|
node.p.p.color = R;
|
|
|
|
rotateLeft(node.p.p);
|
|
|
|
}
|
2019-05-09 19:32:54 +08:00
|
|
|
}
|
2020-10-24 18:23:28 +08:00
|
|
|
root.color = B;
|
|
|
|
}
|
2018-04-24 18:46:14 +08:00
|
|
|
|
2020-10-24 18:23:28 +08:00
|
|
|
void rotateLeft(Node node) {
|
|
|
|
if (node.p != nil) {
|
|
|
|
if (node == node.p.left) {
|
|
|
|
node.p.left = node.right;
|
|
|
|
} else {
|
|
|
|
node.p.right = node.right;
|
|
|
|
}
|
|
|
|
node.right.p = node.p;
|
|
|
|
node.p = node.right;
|
|
|
|
if (node.right.left != nil) {
|
|
|
|
node.right.left.p = node;
|
|
|
|
}
|
|
|
|
node.right = node.right.left;
|
|
|
|
node.p.left = node;
|
|
|
|
} else {
|
|
|
|
Node right = root.right;
|
|
|
|
root.right = right.left;
|
|
|
|
right.left.p = root;
|
|
|
|
root.p = right;
|
|
|
|
right.left = root;
|
|
|
|
right.p = nil;
|
|
|
|
root = right;
|
2019-05-09 19:32:54 +08:00
|
|
|
}
|
2020-10-24 18:23:28 +08:00
|
|
|
}
|
2018-04-24 18:46:14 +08:00
|
|
|
|
2020-10-24 18:23:28 +08:00
|
|
|
void rotateRight(Node node) {
|
|
|
|
if (node.p != nil) {
|
|
|
|
if (node == node.p.left) {
|
|
|
|
node.p.left = node.left;
|
|
|
|
} else {
|
|
|
|
node.p.right = node.left;
|
|
|
|
}
|
2018-04-24 18:46:14 +08:00
|
|
|
|
2020-10-24 18:23:28 +08:00
|
|
|
node.left.p = node.p;
|
|
|
|
node.p = node.left;
|
|
|
|
if (node.left.right != nil) {
|
|
|
|
node.left.right.p = node;
|
|
|
|
}
|
|
|
|
node.left = node.left.right;
|
|
|
|
node.p.right = node;
|
|
|
|
} else {
|
|
|
|
Node left = root.left;
|
|
|
|
root.left = root.left.right;
|
|
|
|
left.right.p = root;
|
|
|
|
root.p = left;
|
|
|
|
left.right = root;
|
|
|
|
left.p = nil;
|
|
|
|
root = left;
|
2019-05-09 19:32:54 +08:00
|
|
|
}
|
2020-10-24 18:23:28 +08:00
|
|
|
}
|
2018-04-24 18:46:14 +08:00
|
|
|
|
2020-10-24 18:23:28 +08:00
|
|
|
void transplant(Node target, Node with) {
|
|
|
|
if (target.p == nil) {
|
|
|
|
root = with;
|
|
|
|
} else if (target == target.p.left) {
|
|
|
|
target.p.left = with;
|
|
|
|
} else target.p.right = with;
|
|
|
|
with.p = target.p;
|
|
|
|
}
|
2018-04-24 18:46:14 +08:00
|
|
|
|
2020-10-24 18:23:28 +08:00
|
|
|
Node treeMinimum(Node subTreeRoot) {
|
|
|
|
while (subTreeRoot.left != nil) {
|
|
|
|
subTreeRoot = subTreeRoot.left;
|
2019-05-09 19:32:54 +08:00
|
|
|
}
|
2020-10-24 18:23:28 +08:00
|
|
|
return subTreeRoot;
|
|
|
|
}
|
2018-04-24 18:46:14 +08:00
|
|
|
|
2020-10-24 18:23:28 +08:00
|
|
|
boolean delete(Node z) {
|
|
|
|
if ((z = findNode(z, root)) == null) return false;
|
|
|
|
Node x;
|
|
|
|
Node y = z;
|
|
|
|
int yorigcolor = y.color;
|
2018-04-24 18:46:14 +08:00
|
|
|
|
2020-10-24 18:23:28 +08:00
|
|
|
if (z.left == nil) {
|
|
|
|
x = z.right;
|
|
|
|
transplant(z, z.right);
|
|
|
|
} else if (z.right == nil) {
|
|
|
|
x = z.left;
|
|
|
|
transplant(z, z.left);
|
|
|
|
} else {
|
|
|
|
y = treeMinimum(z.right);
|
|
|
|
yorigcolor = y.color;
|
|
|
|
x = y.right;
|
|
|
|
if (y.p == z) x.p = y;
|
|
|
|
else {
|
|
|
|
transplant(y, y.right);
|
|
|
|
y.right = z.right;
|
|
|
|
y.right.p = y;
|
|
|
|
}
|
|
|
|
transplant(z, y);
|
|
|
|
y.left = z.left;
|
|
|
|
y.left.p = y;
|
|
|
|
y.color = z.color;
|
2019-05-09 19:32:54 +08:00
|
|
|
}
|
2020-10-24 18:23:28 +08:00
|
|
|
if (yorigcolor == B) deleteFixup(x);
|
|
|
|
return true;
|
|
|
|
}
|
2018-04-24 18:46:14 +08:00
|
|
|
|
2020-10-24 18:23:28 +08:00
|
|
|
void deleteFixup(Node x) {
|
|
|
|
while (x != root && x.color == B) {
|
|
|
|
if (x == x.p.left) {
|
|
|
|
Node w = x.p.right;
|
|
|
|
if (w.color == R) {
|
|
|
|
w.color = B;
|
|
|
|
x.p.color = R;
|
|
|
|
rotateLeft(x.p);
|
|
|
|
w = x.p.right;
|
|
|
|
}
|
|
|
|
if (w.left.color == B && w.right.color == B) {
|
|
|
|
w.color = R;
|
|
|
|
x = x.p;
|
|
|
|
continue;
|
|
|
|
} else if (w.right.color == B) {
|
|
|
|
w.left.color = B;
|
|
|
|
w.color = R;
|
|
|
|
rotateRight(w);
|
|
|
|
w = x.p.right;
|
|
|
|
}
|
|
|
|
if (w.right.color == R) {
|
|
|
|
w.color = x.p.color;
|
|
|
|
x.p.color = B;
|
|
|
|
w.right.color = B;
|
|
|
|
rotateLeft(x.p);
|
|
|
|
x = root;
|
|
|
|
}
|
|
|
|
} else {
|
|
|
|
Node w = x.p.left;
|
|
|
|
if (w.color == R) {
|
|
|
|
w.color = B;
|
|
|
|
x.p.color = R;
|
|
|
|
rotateRight(x.p);
|
|
|
|
w = x.p.left;
|
2019-05-09 19:32:54 +08:00
|
|
|
}
|
2020-10-24 18:23:28 +08:00
|
|
|
if (w.right.color == B && w.left.color == B) {
|
|
|
|
w.color = R;
|
|
|
|
x = x.p;
|
|
|
|
continue;
|
|
|
|
} else if (w.left.color == B) {
|
|
|
|
w.right.color = B;
|
|
|
|
w.color = R;
|
|
|
|
rotateLeft(w);
|
|
|
|
w = x.p.left;
|
|
|
|
}
|
|
|
|
if (w.left.color == R) {
|
|
|
|
w.color = x.p.color;
|
|
|
|
x.p.color = B;
|
|
|
|
w.left.color = B;
|
|
|
|
rotateRight(x.p);
|
|
|
|
x = root;
|
|
|
|
}
|
|
|
|
}
|
2019-05-09 19:32:54 +08:00
|
|
|
}
|
2020-10-24 18:23:28 +08:00
|
|
|
x.color = B;
|
|
|
|
}
|
2018-04-24 18:46:14 +08:00
|
|
|
|
2020-10-24 18:23:28 +08:00
|
|
|
public void insertDemo() {
|
|
|
|
Scanner scan = new Scanner(System.in);
|
|
|
|
while (true) {
|
|
|
|
System.out.println("Add items");
|
2018-04-24 18:46:14 +08:00
|
|
|
|
2020-10-24 18:23:28 +08:00
|
|
|
int item;
|
|
|
|
Node node;
|
2018-04-24 18:46:14 +08:00
|
|
|
|
2020-10-24 18:23:28 +08:00
|
|
|
item = scan.nextInt();
|
|
|
|
while (item != -999) {
|
2019-05-09 19:32:54 +08:00
|
|
|
node = new Node(item);
|
2020-10-24 18:23:28 +08:00
|
|
|
insert(node);
|
|
|
|
item = scan.nextInt();
|
|
|
|
}
|
|
|
|
printTree(root);
|
|
|
|
System.out.println("Pre order");
|
|
|
|
printTreepre(root);
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
scan.close();
|
|
|
|
}
|
2018-04-24 18:46:14 +08:00
|
|
|
|
2020-10-24 18:23:28 +08:00
|
|
|
public void deleteDemo() {
|
|
|
|
Scanner scan = new Scanner(System.in);
|
|
|
|
System.out.println("Delete items");
|
|
|
|
int item;
|
|
|
|
Node node;
|
|
|
|
item = scan.nextInt();
|
|
|
|
node = new Node(item);
|
|
|
|
System.out.print("Deleting item " + item);
|
|
|
|
if (delete(node)) {
|
|
|
|
System.out.print(": deleted!");
|
|
|
|
} else {
|
|
|
|
System.out.print(": does not exist!");
|
2019-05-09 19:32:54 +08:00
|
|
|
}
|
2020-10-24 18:23:28 +08:00
|
|
|
|
|
|
|
System.out.println();
|
|
|
|
printTree(root);
|
|
|
|
System.out.println("Pre order");
|
|
|
|
printTreepre(root);
|
|
|
|
scan.close();
|
|
|
|
}
|
|
|
|
}
|