|
1 | 1 | import { Direction } from "https://deno.land/std@0.173.0/collections/binary_search_node.ts";
|
| 2 | +import { RedBlackNode } from "https://deno.land/std@0.173.0/collections/red_black_node.ts"; |
2 | 3 | import RedBlackTreeExtended from "../dinner-plate-stacks/RedBlackTree.ts";
|
3 |
| -import { MultiRedBlackNode } from "./MultiRedBlackNode.ts"; |
4 |
| - |
5 | 4 |
|
6 | 5 | export class MultiRedBlackTree<T> extends RedBlackTreeExtended<T> {
|
7 |
| - root: MultiRedBlackNode<T> | null = null; |
8 |
| - getRoot(): MultiRedBlackNode<T> | null { |
| 6 | + static node2count = new WeakMap<RedBlackNode<any>, number>(); |
| 7 | + |
| 8 | + static getCount(node: RedBlackNode<any>): number { |
| 9 | + return MultiRedBlackTree.node2count.get(node) ?? 1; |
| 10 | + } |
| 11 | + root: RedBlackNode<T> | null = null; |
| 12 | + getRoot(): RedBlackNode<T> | null { |
9 | 13 | return this.root;
|
10 | 14 | }
|
11 |
| - findNode(value: T): MultiRedBlackNode<T> | null { |
12 |
| - return super.findNode(value) as MultiRedBlackNode<T> | null; |
| 15 | + findNode(value: T): RedBlackNode<T> | null { |
| 16 | + return super.findNode(value) as RedBlackNode<T> | null; |
13 | 17 | }
|
14 | 18 | remove(value: T): boolean {
|
15 | 19 | const node = this.findNode(value);
|
16 | 20 |
|
17 | 21 | if (!node) {
|
18 | 22 | return false;
|
19 | 23 | } else {
|
20 |
| - node.count--; |
21 |
| - if (node.count <= 0) this.removeTreeNode(node); |
| 24 | + // node.count--; |
| 25 | + MultiRedBlackTree.node2count.set( |
| 26 | + node, |
| 27 | + (MultiRedBlackTree.node2count.get(node) ?? 1) - 1, |
| 28 | + ); |
| 29 | + console.log("decrement", node); |
| 30 | + // console.trace(); |
| 31 | + if ((MultiRedBlackTree.node2count.get(node) ?? 1) <= 0) { |
| 32 | + // if (node.count <= 0) { |
| 33 | + this.removeTreeNode(node); |
| 34 | + } |
22 | 35 | return true;
|
23 | 36 | }
|
24 | 37 | }
|
25 | 38 | insert(value: T): boolean {
|
26 | 39 | const node = this.findNode(value);
|
27 | 40 |
|
28 | 41 | if (node) {
|
29 |
| - node.count++; |
| 42 | + // node.count++; |
| 43 | + MultiRedBlackTree.node2count.set( |
| 44 | + node, |
| 45 | + (MultiRedBlackTree.node2count.get(node) ?? 1) + 1, |
| 46 | + ); |
| 47 | + console.log("increment", node); |
30 | 48 | return true;
|
31 | 49 | } else {
|
32 | 50 | this.insertGetNode(value);
|
33 | 51 | }
|
34 | 52 | return true;
|
35 | 53 | }
|
36 |
| - insertGetNode(value: T): MultiRedBlackNode<T> | null { |
| 54 | + insertGetNode(value: T): RedBlackNode<T> | null { |
37 | 55 | let node = this.insertNode(
|
38 |
| - MultiRedBlackNode, |
39 |
| - value |
40 |
| - ) as MultiRedBlackNode<T> | null; |
| 56 | + RedBlackNode, |
| 57 | + value, |
| 58 | + ) as RedBlackNode<T> | null; |
| 59 | + if (node) MultiRedBlackTree.node2count.set(node, 1); |
| 60 | + |
41 | 61 | if (node) {
|
42 | 62 | while (node.parent?.red) {
|
43 |
| - let parent: MultiRedBlackNode<T> = node.parent!; |
44 |
| - const parentDirection: Direction = |
45 |
| - parent.directionFromParent()!; |
46 |
| - const uncleDirection: Direction = |
47 |
| - parentDirection === "right" ? "left" : "right"; |
48 |
| - const uncle: MultiRedBlackNode<T> | null = |
| 63 | + let parent: RedBlackNode<T> = node.parent!; |
| 64 | + const parentDirection: Direction = parent |
| 65 | + .directionFromParent()!; |
| 66 | + const uncleDirection: Direction = parentDirection === "right" |
| 67 | + ? "left" |
| 68 | + : "right"; |
| 69 | + const uncle: RedBlackNode<T> | null = |
49 | 70 | parent.parent![uncleDirection] ?? null;
|
50 | 71 |
|
51 | 72 | if (uncle?.red) {
|
|
0 commit comments