import java.util.ArrayList;
public class AVLTree, V> {
private class Node {
public K key;
public V value;
public Node left, right;
public int height;
public Node(K key, V value) {
this.key = key;
this.value = value;
left = null;
right = null;
height = 1;
}
}
private Node root;
private int size;
public AVLTree() {
root = null;
size = 0;
}
public int getSize() {
return size;
}
public boolean isEmpty() {
return size == 0;
}
// å¤æè¯¥äºåæ æ¯å¦æ¯ä¸æ£µäºåæç´¢æ
public boolean isBST() {
ArrayList keys = new ArrayList<>();
inOrder(root, keys);
for (int i = 1; i < keys.size(); i++) {
if (keys.get(i - 1).compareTo(keys.get(i)) > 0) {
return false;
}
}
return true;
}
private void inOrder(Node node, ArrayList keys) {
if (node == null) {
return;
}
inOrder(node.left, keys);
keys.add(node.key);
inOrder(node.right, keys);
}
// å¤æè¯¥äºåæ æ¯å¦æ¯ä¸æ£µå¹³è¡¡äºåæ
public boolean isBalanced() {
return isBalanced(root);
}
// 夿以Nodeèç¹ä¸ºæ ¹çäºåæ æ¯å¦æ¯ä¸æ£µå¹³è¡¡äºåæ ï¼éå½ç®æ³
private boolean isBalanced(Node node) {
if (node == null) {
return true;
}
int balanceFactor = getBalanceFactor(node);
if (Math.abs(balanceFactor) > 1) {
return false;
}
return isBalanced(node.left) && isBalanced(node.right);
}
private int getHeight(Node node) {
if (node == null)
return 0;
return node.height;
}
// è·å¾èç¹nodeç平衡å å
private int getBalanceFactor(Node node) {
if (node == null)
return 0;
return getHeight(node.left) - getHeight(node.right);
}
// 对èç¹yè¿è¡åå³æè½¬æä½ï¼è¿åæè½¬åæ°çæ ¹èç¹x
private Node rightRotate(Node y) {
Node x = y.left;
Node T3 = x.right;
// åå³æè½¬è¿ç¨
x.right = y;
y.left = T3;
// æ´æ° height ï¼åªéè¦æ´æ° yåxï¼ å
yåxï¼
y.height = Math.max(getHeight(y.left), getHeight(y.right)) + 1;
x.height = Math.max(getHeight(x.left), getHeight(x.right)) + 1;
return x;
}
// 对èç¹yè¿è¡åå·¦æè½¬æä½ï¼è¿åæè½¬åæ°çæ ¹èç¹x
private Node leftRotate(Node y) {
Node x = y.right;
Node T2 = x.left;
// åå·¦æè½¬è¿ç¨
x.left = y;
y.right = T2;
// æ´æ° height ï¼åªéè¦æ´æ° yåxï¼ å
yåxï¼
y.height = Math.max(getHeight(y.left), getHeight(y.right)) + 1;
x.height = Math.max(getHeight(x.left), getHeight(x.right)) + 1;
return x;
}
// åäºåæç´¢æ 䏿·»å æ°çå
ç´ (key, value)
public void add(K key, V value) {
root = add(root, key, value);
}
// å以nodeä¸ºæ ¹çäºåæç´¢æ 䏿å
¥å
ç´ (key, value)ï¼éå½ç®æ³
// è¿åæå
¥æ°èç¹åäºåæç´¢æ çæ ¹
private Node add(Node node, K key, V value) {
if (node == null) {
size++;
return new Node(key, value);
}
if (key.compareTo(node.key) < 0)
node.left = add(node.left, key, value);
else if (key.compareTo(node.key) > 0)
node.right = add(node.right, key, value);
else // key.compareTo(node.key) == 0
node.value = value;
// æ´æ° height
node.height = 1 + Math.max(getHeight(node.left), getHeight(node.right));
// 计ç®å¹³è¡¡å å
int balanceFactor = getBalanceFactor(node);
// if (Math.abs(balanceFactor) > 1) {
// System.out.println("unbabalanced : " + balanceFactor);
// }
// 平衡维æ¤
// LL
if (balanceFactor > 1 && getBalanceFactor(node.left) >= 0) {
return rightRotate(node);
}
// RR
if (balanceFactor < -1 && getBalanceFactor(node.right) <= 0) {
return leftRotate(node);
}
// LR
if (balanceFactor > 1 && getBalanceFactor(node.left) < 0) {
node.left = leftRotate(node.left); // 转åæLL
return rightRotate(node);
}
// RL
if (balanceFactor < -1 && getBalanceFactor(node.right) > 0) {
node.right = rightRotate(node.right);// 转åæRR
return leftRotate(node);
}
return node;
}
// è¿å以nodeä¸ºæ ¹èç¹çäºåæç´¢æ ä¸ï¼keyæå¨çèç¹
private Node getNode(Node node, K key) {
if (node == null)
return null;
if (key.equals(node.key))
return node;
else if (key.compareTo(node.key) < 0)
return getNode(node.left, key);
else // if(key.compareTo(node.key) > 0)
return getNode(node.right, key);
}
public boolean contains(K key) {
return getNode(root, key) != null;
}
public V get(K key) {
Node node = getNode(root, key);
return node == null ? null : node.value;
}
public void set(K key, V newValue) {
Node node = getNode(root, key);
if (node == null)
throw new IllegalArgumentException(key + " doesn't exist!");
node.value = newValue;
}
// è¿å以nodeä¸ºæ ¹çäºåæç´¢æ çæå°å¼æå¨çèç¹
private Node minimum(Node node) {
if (node.left == null)
return node;
return minimum(node.left);
}
// å 餿以nodeä¸ºæ ¹çäºåæç´¢æ ä¸çæå°èç¹
// è¿åå é¤èç¹åæ°çäºåæç´¢æ çæ ¹
private Node removeMin(Node node) {
if (node.left == null) {
Node rightNode = node.right;
node.right = null;
size--;
return rightNode;
}
node.left = removeMin(node.left);
return node;
}
// ä»äºåæç´¢æ ä¸å é¤é®ä¸ºkeyçèç¹
public V remove(K key) {
Node node = getNode(root, key);
if (node != null) {
root = remove(root, key);
return node.value;
}
return null;
}
private Node remove(Node node, K key) {
if (node == null)
return null;
Node retNode;
if (key.compareTo(node.key) < 0) {
node.left = remove(node.left, key);
retNode = node;
} else if (key.compareTo(node.key) > 0) {
node.right = remove(node.right, key);
retNode = node;
} else { // key.compareTo(node.key) == 0
// å¾
å é¤èç¹å·¦åæ 为空çæ
åµ
if (node.left == null) {
Node rightNode = node.right;
node.right = null;
size--;
retNode = rightNode;
}
// å¾
å é¤èç¹å³åæ 为空çæ
åµ
else if (node.right == null) {
Node leftNode = node.left;
node.left = null;
size--;
retNode = leftNode;
} else { // å¾
å é¤èç¹å·¦å³åæ åä¸ä¸ºç©ºçæ
åµ
// æ¾å°æ¯å¾
å é¤èç¹å¤§çæå°èç¹, å³å¾
å é¤èç¹å³åæ çæå°èç¹
// ç¨è¿ä¸ªèç¹é¡¶æ¿å¾
å é¤èç¹çä½ç½®
Node successor = minimum(node.right);
// successor.right = removeMin(node.right); // 注æå¹³è¡¡
successor.right = remove(node.right, successor.key); // 注æå¹³è¡¡
successor.left = node.left;
node.left = node.right = null;
retNode = successor;
}
}
if (retNode == null) // 注æç©ºå¤ç
return null;
// æ´æ° height
retNode.height = 1 + Math.max(getHeight(retNode.left), getHeight(retNode.right));
// 计ç®å¹³è¡¡å å
int balanceFactor = getBalanceFactor(retNode);
// if (Math.abs(balanceFactor) > 1) {
// System.out.println("unbabalanced : " + balanceFactor);
// }
// 平衡维æ¤
// LL
if (balanceFactor > 1 && getBalanceFactor(retNode.left) >= 0) {
return rightRotate(retNode);
}
// RR
if (balanceFactor < -1 && getBalanceFactor(retNode.right) <= 0) {
return leftRotate(retNode);
}
// LR
if (balanceFactor > 1 && getBalanceFactor(retNode.left) < 0) {
retNode.left = leftRotate(retNode.left); // 转åæLL
return rightRotate(retNode);
}
// RL
if (balanceFactor < -1 && getBalanceFactor(retNode.right) > 0) {
retNode.right = rightRotate(retNode.right);// 转åæRR
return leftRotate(retNode);
}
return retNode;
}
public static void main(String[] args) {
System.out.println("Pride and Prejudice");
ArrayList words = new ArrayList<>();
if (FileOperation.readFile("AVLTree/pride-and-prejudice.txt", words)) {
System.out.println("Total words: " + words.size());
AVLTree map = new AVLTree<>();
for (String word : words) {
if (map.contains(word))
map.set(word, map.get(word) + 1);
else
map.add(word, 1);
}
System.out.println("Total different words: " + map.getSize());
System.out.println("Frequency of PRIDE: " + map.get("pride"));
System.out.println("Frequency of PREJUDICE: " + map.get("prejudice"));
System.out.println("is BST : " + map.isBST());
System.out.println("is isBalanced : " + map.isBalanced());
for (String word : words) {
map.remove(word);
if (!map.isBST() || !map.isBalanced())
throw new RuntimeException("Error");
}
}
System.out.println();
}
}