Class RedBlackTree<K, V, R>

Represents a Red-Black Tree (self-balancing BST) supporting map-like mode and stable O(log n) updates.

Time O(1), Space O(1)

// basic Red-Black Tree with simple number keys
// Create a simple Red-Black Tree with numeric keys
const tree = new RedBlackTree([5, 2, 8, 1, 9]);

tree.print();
// _2___
// / \
// 1 _8_
// / \
// 5 9

// Verify the tree maintains sorted order
console.log([...tree.keys()]); // [1, 2, 5, 8, 9];

// Check size
console.log(tree.size); // 5;
// Red-Black Tree with key-value pairs for lookups
interface Employee {
id: number;
name: string;
}

// Create tree with employee data
const employees = new RedBlackTree<number, Employee>([
[1, { id: 1, name: 'Alice' }],
[3, { id: 3, name: 'Charlie' }],
[2, { id: 2, name: 'Bob' }]
]);

// Retrieve employee by ID
const alice = employees.get(1);
console.log(alice?.name); // 'Alice';

// Verify sorted order by ID
console.log([...employees.keys()]); // [1, 2, 3];
// Red-Black Tree range search for filtering
interface Product {
name: string;
price: number;
}

const products = new RedBlackTree<number, Product>([
[10, { name: 'Item A', price: 10 }],
[25, { name: 'Item B', price: 25 }],
[40, { name: 'Item C', price: 40 }],
[50, { name: 'Item D', price: 50 }]
]);

// Find products in price range [20, 45]
const pricesInRange = products.rangeSearch([20, 45], node => {
return products.get(node)?.name;
});

console.log(pricesInRange); // ['Item B', 'Item C'];
// Red-Black Tree as database index for stock market data
interface StockPrice {
symbol: string;
volume: number;
timestamp: Date;
}

// Simulate real-time stock price index
const priceIndex = new RedBlackTree<number, StockPrice>([
[142.5, { symbol: 'AAPL', volume: 1000000, timestamp: new Date() }],
[335.2, { symbol: 'MSFT', volume: 800000, timestamp: new Date() }],
[3285.04, { symbol: 'AMZN', volume: 500000, timestamp: new Date() }],
[267.98, { symbol: 'META', volume: 750000, timestamp: new Date() }],
[234.57, { symbol: 'GOOGL', volume: 900000, timestamp: new Date() }]
]);

// Find highest-priced stock
const maxPrice = priceIndex.getRightMost();
console.log(priceIndex.get(maxPrice)?.symbol); // 'AMZN';

// Find stocks in price range [200, 400] for portfolio balancing
const stocksInRange = priceIndex.rangeSearch([200, 400], node => {
const stock = priceIndex.get(node);
return {
symbol: stock?.symbol,
price: node,
volume: stock?.volume
};
});

console.log(stocksInRange.length); // 3;
console.log(stocksInRange.some((s: any) => s.symbol === 'GOOGL')); // true;
console.log(stocksInRange.some((s: any) => s.symbol === 'META')); // true;
console.log(stocksInRange.some((s: any) => s.symbol === 'MSFT')); // true;

Type Parameters

  • K = any
  • V = any
  • R = any
    1. Efficient self-balancing, but not completely balanced. Compared with AVLTree, the addition and deletion efficiency is high, but the query efficiency is slightly lower.
    2. It is BST itself. Compared with Heap which is not completely ordered, RedBlackTree is completely ordered.

Hierarchy (view full)

Implements

  • IBinaryTree<K, V, R>

Properties

_comparator: Comparator<K>

The comparator function used to determine the order of keys in the tree.

Time O(1) Space O(1)

Accessors

  • get comparator(): Comparator<K>
  • Gets the comparator function used by the tree.

    Returns Comparator<K>

    The comparator function.

    Time O(1)

  • get isDuplicate(): boolean
  • Gets whether the tree allows duplicate keys.

    Returns boolean

    True if duplicates are allowed, false otherwise.

    Time O(1)

  • get isMapMode(): boolean
  • Gets whether the tree is in Map mode.

    Returns boolean

    True if in Map mode, false otherwise.

    In Map mode (default), values are stored in an external Map, and nodes only hold keys. If false, values are stored directly on the nodes. Time O(1)

  • get store(): Map<K, undefined | V>
  • Gets the external value store (used in Map mode).

    Returns Map<K, undefined | V>

    The map storing key-value pairs.

    Time O(1)

  • get toEntryFn(): undefined | ToEntryFn<K, V, R>
  • Gets the function used to convert raw data objects (R) into [key, value] entries.

    Returns undefined | ToEntryFn<K, V, R>

    The conversion function.

    Time O(1)

Methods

  • (Protected) Core bound search implementation supporting all parameter types. Unified logic for both lowerBound and upperBound. Resolves various input types (Key, Node, Entry, Predicate) using parent class utilities.

    Parameters

    • keyNodeEntryOrPredicate:
          | undefined
          | null
          | K
          | BSTNode<K, V>
          | [undefined | null | K, undefined | V]
          | NodePredicate<BSTNode<K, V>>

      The key, node, entry, or predicate function to search for.

    • isLower: boolean

      True for lowerBound (>=), false for upperBound (>).

    • iterationType: IterationType

      The iteration type (RECURSIVE or ITERATIVE).

    Returns undefined | BSTNode<K, V>

    The first matching node, or undefined if no such node exists.

  • (Protected) Binary search for bound by key with pruning optimization. Performs standard BST binary search, choosing left or right subtree based on comparator result. For lowerBound: finds first node where key >= target. For upperBound: finds first node where key > target.

    Parameters

    • key: K

      The target key to search for.

    • isLower: boolean

      True for lowerBound (>=), false for upperBound (>).

    • iterationType: IterationType

      The iteration type (RECURSIVE or ITERATIVE).

    Returns undefined | BSTNode<K, V>

    The first node matching the bound condition, or undefined if none exists.

  • (Protected) In-order traversal search by predicate. Falls back to linear in-order traversal when predicate-based search is required. Returns the first node that satisfies the predicate function. Note: Predicate-based search cannot leverage BST's binary search optimization. Time Complexity: O(n) since it may visit every node.

    Parameters

    • predicate: NodePredicate<BSTNode<K, V>>

      The predicate function to test nodes.

    • iterationType: IterationType

      The iteration type (RECURSIVE or ITERATIVE).

    Returns undefined | BSTNode<K, V>

    The first node satisfying predicate, or undefined if none found.

  • (Protected) Compares two keys using the tree's comparator and reverse setting.

    Parameters

    • a: K

      The first key.

    • b: K

      The second key.

    Returns number

    A number (1, -1, or 0) representing the comparison.

    Time O(1) Space O(1)

  • (Protected) Creates a new instance of the same BST constructor, potentially with different generic types.

    Type Parameters

    • TK = K
    • TV = V
    • TR = R

    Parameters

    • iter: Iterable<
          | undefined
          | null
          | TK
          | TR
          | RedBlackTreeNode<TK, TV>
          | [undefined | null | TK, undefined | TV], any, any> = []

      An iterable to populate the new BST.

    • Optionaloptions: Partial<RedBlackTreeOptions<TK, TV, TR>>

      Options for the new BST.

    Returns RedBlackTree<TK, TV, TR>

    A new BST.

    Time O(N log N) or O(N^2) (from constructor) due to processing the iterable.

  • (Private) Deletes a node by its key.

    Parameters

    • key: K

      The key of the node to delete.

    Returns boolean

    True if the node was found and deleted, false otherwise.

    Standard BST deletion algorithm. Time O(log N), O(N) worst-case. Space O(1).

  • Type Parameters

    Parameters

    • callback: C

      Function to call on nodes.

    • Optionalpattern: DFSOrderPattern

      Traversal order.

    • OptionalonlyOne: boolean

      Stop after first match.

    • OptionalstartNode:
          | null
          | K
          | [undefined | null | K, undefined | V]
          | BinaryTreeNode<K, V>

      Starting node.

    • OptionaliterationType: IterationType

      Traversal method.

    • OptionalincludeNull: boolean

      Include nulls.

    • OptionalshouldVisitLeft: ((node: undefined | null | BinaryTreeNode<K, V>) => boolean)

      Predicate to traverse left.

        • (node): boolean
        • Parameters

          Returns boolean

    • OptionalshouldVisitRight: ((node: undefined | null | BinaryTreeNode<K, V>) => boolean)

      Predicate to traverse right.

        • (node): boolean
        • Parameters

          Returns boolean

    • OptionalshouldVisitRoot: ((node: undefined | null | BinaryTreeNode<K, V>) => boolean)

      Predicate to visit root.

        • (node): boolean
        • Parameters

          Returns boolean

    • OptionalshouldProcessRoot: ((node: undefined | null | BinaryTreeNode<K, V>) => boolean)

      Predicate to process root.

        • (node): boolean
        • Parameters

          Returns boolean

    Returns ReturnType<C>[]

    Array of callback results.

  • (Protected) Recursive helper for toVisual.

    Parameters

    • node: undefined | null | BinaryTreeNode<K, V>

      The current node.

    • options: BinaryTreePrintOptions

      Print options.

    Returns NodeDisplayLayout

    Layout information for this subtree.

    Time O(N), Space O(N*H) or O(N^2)

  • (Protected) Extracts the key from a key, node, or entry.

    Parameters

    • keyNodeOrEntry:
          | undefined
          | null
          | K
          | [undefined | null | K, undefined | V]
          | BinaryTreeNode<K, V>

      The item.

    Returns undefined | null | K

    The extracted key.

    Time O(1)

  • (Protected) Binary search for floor by key with pruning optimization. Performs standard BST binary search, choosing left or right subtree based on comparator result. Finds first node where key <= target.

    Parameters

    • key: K

      The target key to search for.

    • iterationType: IterationType

      The iteration type (RECURSIVE or ITERATIVE).

    Returns undefined | BSTNode<K, V>

    The first node with key <= target, or undefined if none exists.

    Time O(h) where h is tree height.

  • (Protected) In-order traversal search for floor by predicate. Falls back to linear in-order traversal when predicate-based search is required. Returns the last node that satisfies the predicate function.

    Parameters

    • predicate: NodePredicate<BSTNode<K, V>>

      The predicate function to test nodes.

    • iterationType: IterationType

      The iteration type (RECURSIVE or ITERATIVE).

    Returns undefined | BSTNode<K, V>

    The last node satisfying predicate (highest key), or undefined if none found.

    Time Complexity: O(n) since it may visit every node. Space Complexity: O(h) for recursion, O(h) for iterative stack.

  • (Protected) Gets the iterator for the tree (default in-order).

    Parameters

    • Optionalnode: null | BinaryTreeNode<K, V> = ...

      The node to start iteration from.

    Returns IterableIterator<[K, undefined | V], any, any>

    An iterator for [key, value] pairs.

    Time O(N) for full iteration. O(H) to get the first element. Space O(H) for the iterative stack. O(H) for recursive stack.

  • (Protected) Converts a key, node, or entry into a standardized [node, value] tuple.

    Parameters

    • keyNodeOrEntry:
          | undefined
          | null
          | K
          | BSTNode<K, V>
          | [undefined | null | K, undefined | V]

      The input item.

    • Optionalvalue: V

      An optional value (used if input is just a key).

    Returns [OptNode<BSTNode<K, V>>, undefined | V]

    A tuple of [node, value].

    Time O(1)

  • (Protected) Binary search for lower by key with pruning optimization. Performs standard BST binary search, choosing left or right subtree based on comparator result. Finds first node where key < target.

    Parameters

    • key: K

      The target key to search for.

    • iterationType: IterationType

      The iteration type (RECURSIVE or ITERATIVE).

    Returns undefined | BSTNode<K, V>

    The first node with key < target, or undefined if none exists.

    Time O(h) where h is tree height.

  • (Protected) In-order traversal search for lower by predicate. Falls back to linear in-order traversal when predicate-based search is required. Returns the node that satisfies the predicate and appears last in in-order traversal.

    Parameters

    • predicate: NodePredicate<BSTNode<K, V>>

      The predicate function to test nodes.

    • iterationType: IterationType

      The iteration type (RECURSIVE or ITERATIVE).

    Returns undefined | BSTNode<K, V>

    The last node satisfying predicate (highest key < target), or undefined if none found.

    Time Complexity: O(n) since it may visit every node. Space Complexity: O(h) for recursion, O(h) for iterative stack.

  • (Protected) Sets a value in the external store (Map mode).

    Parameters

    • key: undefined | null | K

      The key.

    • value: undefined | V

      The value.

    Returns false | Map<K, undefined | V>

    True if successful.

    Time O(1) (average for Map.set).

  • Default iterator yielding [key, value] entries.

    Parameters

    • Rest...args: any[]

    Returns IterableIterator<[K, undefined | V], any, any>

    Iterator of [K, V].

    Time O(n) to iterate, Space O(1)

  • Insert or replace an entry using BST order and red-black fix-up.

    Parameters

    • keyNodeOrEntry:
          | undefined
          | null
          | K
          | RedBlackTreeNode<K, V>
          | [undefined | null | K, undefined | V]

      Key, node, or [key, value] entry to insert.

    • Optionalvalue: V

      See parameter type for details.

    Returns boolean

    True if inserted or updated; false if ignored.

    Time O(log n), Space O(1)

  • Adds multiple items to the tree.

    Parameters

    • keysNodesEntriesOrRaws: Iterable<R | BTNRep<K, V, BSTNode<K, V>>, any, any>

      An iterable of items to add.

    • Optionalvalues: Iterable<undefined | V, any, any>

      An optional parallel iterable of values.

    • OptionalisBalanceAdd: boolean = true

      If true, builds a balanced tree from the items.

    • OptionaliterationType: IterationType = ...

      The traversal method for balanced add (recursive or iterative).

    Returns boolean[]

    An array of booleans indicating the success of each individual add operation.

    If isBalanceAdd is true, sorts the input and builds a balanced tree. Time O(N log N) (due to sort and balanced add). If false, adds items one by one. Time O(N * H), which is O(N^2) worst-case. Space O(N) for sorting and recursion/iteration stack.

  • Returns the first key with a value >= target. Equivalent to Java TreeMap.ceiling. Time Complexity: O(log n) average, O(h) worst case. Space Complexity: O(h) for recursion, O(1) for iteration.

    Parameters

    • keyNodeEntryOrPredicate:
          | undefined
          | null
          | K
          | BSTNode<K, V>
          | [undefined | null | K, undefined | V]
          | NodePredicate<BSTNode<K, V>>

    Returns undefined | K

  • Returns the first node with a key >= target and applies callback. Time Complexity: O(log n) average, O(h) worst case. Space Complexity: O(h) for recursion, O(1) for iteration.

    Type Parameters

    Parameters

    • keyNodeEntryOrPredicate:
          | undefined
          | null
          | K
          | BSTNode<K, V>
          | [undefined | null | K, undefined | V]
          | NodePredicate<BSTNode<K, V>>
    • callback: C
    • OptionaliterationType: IterationType

    Returns ReturnType<C>

  • Clones the tree.

    Returns this

    A new, cloned instance of the tree.

    Time O(N * M), where N is the number of nodes and M is the tree size during insertion (due to bfs + add, and add is O(M)). Space O(N) for the new tree and the BFS queue.

  • Create a red-black node for the given key/value (value ignored in map mode).

    Parameters

    • key: K

      See parameter type for details.

    • Optionalvalue: V

      See parameter type for details.

    • color: RBTNColor = 'BLACK'

      See parameter type for details.

    Returns RedBlackTreeNode<K, V>

    A new RedBlackTreeNode instance.

    Time O(1), Space O(1)

  • Creates a new, empty tree of the same type and configuration.

    Parameters

    • Optionaloptions: Partial<BinaryTreeOptions<K, V, R>>

      Optional overrides for the new tree's options.

    Returns this

    A new, empty tree instance.

    Time O(1) (excluding options cloning), Space O(1)

  • Delete a node by key/node/entry and rebalance as needed.

    Parameters

    • keyNodeOrEntry:
          | undefined
          | null
          | K
          | RedBlackTreeNode<K, V>
          | [undefined | null | K, undefined | V]

      Key, node, or [key, value] entry identifying the node to delete.

    Returns BinaryTreeDeleteResult<RedBlackTreeNode<K, V>>[]

    Array with deletion metadata (removed node, rebalancing hint if any).

    Time O(log n), Space O(1)

  • Deletes nodes that match a key, node, entry, predicate, or range.

    Parameters

    • keyNodeEntryOrPredicate:
          | undefined
          | null
          | K
          | BSTNode<K, V>
          | [undefined | null | K, undefined | V]
          | NodePredicate<BSTNode<K, V>>
          | Range<K>

      The search criteria. Can be one of:

      • A key (type K): searches for exact key match using the comparator.
      • A BSTNode: searches for the matching node in the tree.
      • An entry tuple: searches for the key-value pair.
      • A NodePredicate function: tests each node and returns true for matches.
      • A Range object: searches for nodes whose keys fall within the specified range (inclusive/exclusive based on range settings).
      • null or undefined: treated as no match, returns empty results.
    • onlyOne: boolean = false

      If true, stops the search after finding the first match and only deletes that one node. If false (default), searches for and deletes all matching nodes.

    • startNode:
          | undefined
          | null
          | K
          | BSTNode<K, V>
          | [undefined | null | K, undefined | V] = ...

      The node to start the search from. Can be:

      • A key, node, or entry: the method resolves it to a node and searches from that subtree.
      • null or undefined: defaults to the root, searching the entire tree.
      • Default value: this._root (the tree's root).
    • iterationType: IterationType = ...

      Controls the internal traversal implementation:

      • 'RECURSIVE': uses recursive function calls for traversal.
      • 'ITERATIVE': uses explicit stack-based iteration.
      • Default: this.iterationType (the tree's default iteration mode).

    Returns BinaryTreeDeleteResult<BSTNode<K, V>>[]

    A Map<K, boolean> containing the deletion results:

    • Key: the matched node's key.
    • Value: true if the deletion succeeded, false if it failed (e.g., key not found during deletion phase).
    • If no nodes match the search criteria, the returned map is empty.

    Time Complexity: O(N) for search + O(M log N) for M deletions, where N is tree size. Space Complexity: O(M) for storing matched nodes and result map.

  • Returns (undefined | K)[]

  • Type Parameters

    Parameters

    • callback: C
    • Optionalpattern: DFSOrderPattern
    • OptionalonlyOne: boolean
    • OptionalstartNode:
          | null
          | K
          | BSTNode<K, V>
          | [undefined | null | K, undefined | V]
    • OptionaliterationType: IterationType

    Returns ReturnType<C>[]

  • Ensures the input is a node. If it's a key or entry, it searches for the node.

    Parameters

    • keyNodeOrEntry:
          | undefined
          | null
          | K
          | BSTNode<K, V>
          | [undefined | null | K, undefined | V]

      The item to resolve to a node.

    • OptionaliterationType: IterationType = ...

      The traversal method to use if searching.

    Returns OptNode<BSTNode<K, V>>

    The resolved node, or undefined if not found.

    Time O(log N) (height of the tree), O(N) worst-case.

  • Iterate over [key, value] pairs (may yield undefined values).

    Returns IterableIterator<[K, undefined | V], any, any>

    Iterator of [K, V | undefined].

    Time O(n), Space O(1)

  • Test whether all entries satisfy the predicate.

    Parameters

    • predicate: EntryCallback<K, undefined | V, boolean>

      (key, value, index, self) => boolean.

    • OptionalthisArg: any

      Optional this for callback.

    Returns boolean

    true if all pass; otherwise false.

    Time O(n), Space O(1)

  • Creates a new tree containing only the entries that satisfy the predicate.

    Parameters

    • predicate: EntryCallback<K, undefined | V, boolean>

      A function to test each [key, value] pair.

    • OptionalthisArg: unknown

      this context for the predicate.

    Returns this

    A new, filtered tree.

    Time O(N * M), where N is nodes in this tree, and M is size of the new tree during insertion (O(N) iteration + O(M) add for each item). Space O(N) for the new tree.

  • Find the first entry that matches a predicate.

    Parameters

    • callbackfn: EntryCallback<K, undefined | V, boolean>

      (key, value, index, self) => boolean.

    • OptionalthisArg: any

      Optional this for callback.

    Returns undefined | [K, undefined | V]

    Matching [key, value] or undefined.

    Time O(n), Space O(1)

  • Returns the first key with a value <= target. Equivalent to Java TreeMap.floor. Time Complexity: O(log n) average, O(h) worst case. Space Complexity: O(h) for recursion, O(1) for iteration.

    Parameters

    • keyNodeEntryOrPredicate:
          | undefined
          | null
          | K
          | BSTNode<K, V>
          | [undefined | null | K, undefined | V]
          | NodePredicate<BSTNode<K, V>>

    Returns undefined | K

  • Returns the first node with a key <= target and applies callback. Time Complexity: O(log n) average, O(h) worst case. Space Complexity: O(h) for recursion, O(1) for iteration.

    Type Parameters

    Parameters

    • keyNodeEntryOrPredicate:
          | undefined
          | null
          | K
          | BSTNode<K, V>
          | [undefined | null | K, undefined | V]
          | NodePredicate<BSTNode<K, V>>
    • callback: C
    • OptionaliterationType: IterationType

    Returns ReturnType<C>

  • Visit each entry, left-to-right.

    Parameters

    • callbackfn: EntryCallback<K, undefined | V, void>

      (key, value, index, self) => void.

    • OptionalthisArg: any

      Optional this for callback.

    Returns void

    Time O(n), Space O(1)

  • Gets the value associated with a key.

    Parameters

    • keyNodeEntryOrPredicate:
          | undefined
          | null
          | K
          | [undefined | null | K, undefined | V]
          | BinaryTreeNode<K, V>

      The key, node, or entry to get the value for.

    • OptionalstartNode:
          | null
          | K
          | [undefined | null | K, undefined | V]
          | BinaryTreeNode<K, V> = ...

      The node to start searching from (if not in Map mode).

    • OptionaliterationType: IterationType = ...

      The traversal method (if not in Map mode).

    Returns undefined | V

    The associated value, or undefined.

    Time O(log N), For BST, Red-Black Tree, and AVL Tree subclasses, the worst-case time is O(log N). Time O(1) if in Map mode. O(N) if not in Map mode (uses getNode). Space O(1) if in Map mode. O(H) or O(N) otherwise.

  • Gets the depth of a node (distance from startNode).

    Parameters

    • dist:
          | undefined
          | null
          | K
          | [undefined | null | K, undefined | V]
          | BinaryTreeNode<K, V>

      The node to find the depth of.

    • OptionalstartNode:
          | null
          | K
          | [undefined | null | K, undefined | V]
          | BinaryTreeNode<K, V> = ...

      The node to measure depth from (defaults to root).

    Returns number

    The depth (0 if dist is startNode).

    Time O(H), where H is the depth of the dist node relative to startNode. O(N) worst-case. Space O(1).

  • Gets the maximum height of the tree (longest path from startNode to a leaf).

    Parameters

    • OptionalstartNode:
          | null
          | K
          | [undefined | null | K, undefined | V]
          | BinaryTreeNode<K, V> = ...

      The node to start measuring from.

    • OptionaliterationType: IterationType = ...

      The traversal method.

    Returns number

    The height ( -1 for an empty tree, 0 for a single-node tree).

    Time O(N), as it must visit every node. Space O(H) for recursive stack (O(N) worst-case) or O(N) for iterative stack (storing node + depth).

  • Gets the minimum height of the tree (shortest path from startNode to a leaf).

    Parameters

    • OptionalstartNode:
          | null
          | K
          | [undefined | null | K, undefined | V]
          | BinaryTreeNode<K, V> = ...

      The node to start measuring from.

    • OptionaliterationType: IterationType = ...

      The traversal method.

    Returns number

    The minimum height (-1 for empty, 0 for single node).

    Time O(N), as it must visit every node. Space O(H) for recursive stack (O(N) worst-case) or O(N) for iterative (due to depths Map).

  • Gets the first node matching a predicate.

    Parameters

    • keyNodeEntryOrPredicate:
          | undefined
          | null
          | K
          | BSTNode<K, V>
          | [undefined | null | K, undefined | V]
          | NodePredicate<BSTNode<K, V>>

      The key, node, entry, or predicate function to search for.

    • OptionalstartNode: BSTNOptKeyOrNode<K, BSTNode<K, V>> = ...

      The node to start the search from.

    • OptionaliterationType: IterationType = ...

      The traversal method.

    Returns OptNode<BSTNode<K, V>>

    The first matching node, or undefined if not found.

    Time O(log N) if searching by key, O(N) if searching by predicate. Space O(log N) or O(N).

  • Gets all nodes matching a predicate.

    Parameters

    • keyNodeEntryOrPredicate:
          | undefined
          | null
          | K
          | [undefined | null | K, undefined | V]
          | BinaryTreeNode<K, V>
          | NodePredicate<BinaryTreeNode<K, V>>

      The key, node, entry, or predicate function to search for.

    • OptionalonlyOne: boolean

      If true, stops after finding the first match.

    • OptionalstartNode:
          | null
          | K
          | [undefined | null | K, undefined | V]
          | BinaryTreeNode<K, V>

      The node to start the search from.

    • OptionaliterationType: IterationType

      The traversal method.

    Returns BinaryTreeNode<K, V>[]

    An array of matching nodes.

    Time O(N) (via search). Space O(H) or O(N) (via search).

  • Checks if a node matching the predicate exists in the tree.

    Parameters

    • OptionalkeyNodeEntryOrPredicate:
          | null
          | K
          | [undefined | null | K, undefined | V]
          | BinaryTreeNode<K, V>
          | NodePredicate<BinaryTreeNode<K, V>>

      The key, node, entry, or predicate to check for.

    • OptionalstartNode:
          | null
          | K
          | [undefined | null | K, undefined | V]
          | BinaryTreeNode<K, V>

      The node to start the search from.

    • OptionaliterationType: IterationType

      The traversal method.

    Returns boolean

    True if a matching node exists, false otherwise.

    Time O(log N), For BST, Red-Black Tree, and AVL Tree subclasses, the worst-case time is O(log N). Time O(N) in the worst case (via search). Space O(H) or O(N) (via search).

  • Whether there exists an entry with the given value.

    Parameters

    • value: undefined | V

      Value to test.

    Returns boolean

    true if found; otherwise false.

    Time O(n), Space O(1)

  • Returns the first key with a value > target. Equivalent to Java TreeMap.higher. Time Complexity: O(log n) average, O(h) worst case. Space Complexity: O(h) for recursion, O(1) for iteration.

    Parameters

    • keyNodeEntryOrPredicate:
          | undefined
          | null
          | K
          | BSTNode<K, V>
          | [undefined | null | K, undefined | V]
          | NodePredicate<BSTNode<K, V>>

    Returns undefined | K

  • Returns the first node with a key > target and applies callback. Time Complexity: O(log n) average, O(h) worst case. Space Complexity: O(h) for recursion, O(1) for iteration.

    Type Parameters

    Parameters

    • keyNodeEntryOrPredicate:
          | undefined
          | null
          | K
          | BSTNode<K, V>
          | [undefined | null | K, undefined | V]
          | NodePredicate<BSTNode<K, V>>
    • callback: C
    • OptionaliterationType: IterationType

    Returns ReturnType<C>

  • Checks if the tree meets the AVL balance condition (height difference <= 1).

    Parameters

    • OptionaliterationType: IterationType = ...

      The traversal method.

    Returns boolean

    True if the tree is AVL balanced, false otherwise.

    Time O(N), as it must visit every node to compute height. Space O(log N) for recursion or O(N) for iterative map.

  • Checks if the tree is a valid Binary Search Tree (BST).

    Parameters

    • OptionalstartNode:
          | null
          | K
          | [undefined | null | K, undefined | V]
          | BinaryTreeNode<K, V> = ...

      The node to start checking from.

    • OptionaliterationType: IterationType = ...

      The traversal method.

    Returns boolean

    True if it's a valid BST, false otherwise.

    Time O(N), as it must visit every node. Space O(H) for the call stack (recursive) or explicit stack (iterative), where H is the tree height (O(N) worst-case).

  • Checks if the given item is a [key, value] entry pair.

    Parameters

    • keyNodeOrEntry:
          | undefined
          | null
          | K
          | [undefined | null | K, undefined | V]
          | BinaryTreeNode<K, V>

      The item to check.

    Returns keyNodeOrEntry is BTNEntry<K, V>

    True if it's an entry, false otherwise.

    Time O(1), Space O(1)

  • Checks if a node is a leaf (has no real children).

    Parameters

    • keyNodeOrEntry:
          | undefined
          | null
          | K
          | [undefined | null | K, undefined | V]
          | BinaryTreeNode<K, V>

      The node to check.

    Returns boolean

    True if the node is a leaf, false otherwise.

    Time O(N) if a key/entry is passed (due to ensureNode). O(1) if a node is passed. Space O(1) or O(H) (from ensureNode).

  • Checks if the given item is the sentinel NIL node.

    Parameters

    • keyNodeOrEntry:
          | undefined
          | null
          | K
          | [undefined | null | K, undefined | V]
          | BinaryTreeNode<K, V>

      The item to check.

    Returns boolean

    True if it's the NIL node, false otherwise.

    Time O(1), Space O(1)

  • Checks if the tree is perfectly balanced.

    Parameters

    • OptionalstartNode:
          | null
          | K
          | [undefined | null | K, undefined | V]
          | BinaryTreeNode<K, V> = ...

      The node to start checking from.

    Returns boolean

    True if perfectly balanced, false otherwise.

    A tree is perfectly balanced if the difference between min and max height is at most 1. Time O(N), as it requires two full traversals (getMinHeight and getHeight). Space O(H) or O(N) (from height calculation).

  • Checks if the given item is a Range object.

    Parameters

    • keyNodeEntryOrPredicate:
          | undefined
          | null
          | K
          | [undefined | null | K, undefined | V]
          | BinaryTreeNode<K, V>
          | NodePredicate<BinaryTreeNode<K, V>>
          | Range<K>

      The item to check.

    Returns keyNodeEntryOrPredicate is Range<K>

    True if it's a Range, false otherwise.

    Time O(1), Space O(1)

  • Checks if the given item is a raw data object (R) that needs conversion via toEntryFn.

    Parameters

    • keyNodeEntryOrRaw:
          | undefined
          | null
          | K
          | R
          | [undefined | null | K, undefined | V]
          | BinaryTreeNode<K, V>

      The item to check.

    Returns keyNodeEntryOrRaw is R

    True if it's a raw object, false otherwise.

    Time O(1), Space O(1)

  • Checks if the given key is valid (comparable).

    Parameters

    • key: any

      The key to validate.

    Returns key is K

    True if the key is valid, false otherwise.

    Time O(1)

  • Returns the first key with a value < target. Equivalent to Java TreeMap.lower. Time Complexity: O(log n) average, O(h) worst case. Space Complexity: O(h) for recursion, O(1) for iteration.

    Parameters

    • keyNodeEntryOrPredicate:
          | undefined
          | null
          | K
          | BSTNode<K, V>
          | [undefined | null | K, undefined | V]
          | NodePredicate<BSTNode<K, V>>

    Returns undefined | K

  • Returns the first node with a key < target and applies callback. Time Complexity: O(log n) average, O(h) worst case. Space Complexity: O(h) for recursion, O(1) for iteration.

    Type Parameters

    Parameters

    • keyNodeEntryOrPredicate:
          | undefined
          | null
          | K
          | BSTNode<K, V>
          | [undefined | null | K, undefined | V]
          | NodePredicate<BSTNode<K, V>>
    • callback: C
    • OptionaliterationType: IterationType

    Returns ReturnType<C>

  • Transform entries into a like-kind red-black tree with possibly different key/value types.

    Type Parameters

    • MK = K
    • MV = V
    • MR = any

    Parameters

    • callback: EntryCallback<K, undefined | V, [MK, MV]>

      Mapping function from (key, value, index, tree) to a new [key, value].

    • Optionaloptions: Partial<RedBlackTreeOptions<MK, MV, MR>>

      See parameter type for details.

    • OptionalthisArg: unknown

      See parameter type for details.

    Returns RedBlackTree<MK, MV, MR>

    A new RedBlackTree with mapped entries.

    Time O(n), Space O(n)

  • Merges another tree into this one by adding all its nodes.

    Parameters

    Returns void

    Time O(N * M), same as addMany, where N is the size of anotherTree and M is the size of this tree. Space O(M) (from add).

  • Rebuilds the tree to be perfectly balanced.

    Parameters

    • OptionaliterationType: IterationType = ...

      The traversal method for the initial node export.

    Returns boolean

    True if successful, false if the tree was empty.

    Time O(N) (O(N) for DFS, O(N) for sorted build). Space O(N) for node array and recursion stack.

  • Prints a visual representation of the tree to the console.

    Parameters

    • Optionaloptions: BinaryTreePrintOptions

      Options to control the output.

    • OptionalstartNode:
          | null
          | K
          | [undefined | null | K, undefined | V]
          | BinaryTreeNode<K, V> = ...

      The node to start printing from.

    Returns void

    Time O(N) (via toVisual). Space O(N*H) or O(N^2) (via toVisual).

  • Reduce entries into a single accumulator.

    Type Parameters

    • U

    Parameters

    • callbackfn: ReduceEntryCallback<K, undefined | V, U>

      (acc, value, key, index, self) => acc.

    • initialValue: U

      Initial accumulator.

    Returns U

    Final accumulator.

    Time O(n), Space O(1)

  • Clears the tree and refills it with new items.

    Parameters

    • keysNodesEntriesOrRaws: Iterable<
          | undefined
          | null
          | K
          | R
          | [undefined | null | K, undefined | V]
          | BinaryTreeNode<K, V>, any, any>

      An iterable of items to add.

    • Optionalvalues: Iterable<undefined | V, any, any>

      An optional parallel iterable of values.

    Returns void

    Time O(N) (for clear) + O(N * M) (for addMany) = O(N * M). Space O(M) (from addMany).

  • Parameters

    • keyNodeEntryOrPredicate:
          | undefined
          | null
          | K
          | BSTNode<K, V>
          | [undefined | null | K, undefined | V]
          | NodePredicate<BSTNode<K, V>>
          | Range<K>
    • OptionalonlyOne: boolean

    Returns (undefined | K)[]

  • Type Parameters

    Parameters

    • keyNodeEntryOrPredicate:
          | undefined
          | null
          | K
          | BSTNode<K, V>
          | [undefined | null | K, undefined | V]
          | NodePredicate<BSTNode<K, V>>
          | Range<K>
    • onlyOne: boolean
    • callback: C
    • OptionalstartNode:
          | null
          | K
          | BSTNode<K, V>
          | [undefined | null | K, undefined | V]
    • OptionaliterationType: IterationType

    Returns ReturnType<C>[]

  • Adds or updates a new node to the tree.

    Parameters

    • keyNodeOrEntry:
          | undefined
          | null
          | K
          | [undefined | null | K, undefined | V]
          | BinaryTreeNode<K, V>

      The key, node, or entry to add or update.

    • Optionalvalue: V

      The value, if providing just a key.

    Returns boolean

    True if the addition was successful, false otherwise.

    Time O(log N), For BST, Red-Black Tree, and AVL Tree subclasses, the worst-case time is O(log N). This implementation adds the node at the first available position in a level-order (BFS) traversal. This is NOT a Binary Search Tree insertion. Time O(N), where N is the number of nodes. It must traverse level-by-level to find an empty slot. Space O(N) in the worst case for the BFS queue (e.g., a full last level).

  • Adds or updates multiple items to the tree.

    Parameters

    • keysNodesEntriesOrRaws: Iterable<
          | undefined
          | null
          | K
          | R
          | [undefined | null | K, undefined | V]
          | BinaryTreeNode<K, V>, any, any>

      An iterable of items to add or update.

    • Optionalvalues: Iterable<undefined | V, any, any>

      An optional parallel iterable of values.

    Returns boolean[]

    An array of booleans indicating the success of each individual add operation.

    Time O(N * M), where N is the number of items to add and M is the size of the tree at insertion (due to O(M) add operation). Space O(M) (from add) + O(N) (for the inserted array).

  • Test whether any entry satisfies the predicate.

    Parameters

    • predicate: EntryCallback<K, undefined | V, boolean>

      (key, value, index, self) => boolean.

    • OptionalthisArg: any

      Optional this for callback.

    Returns boolean

    true if any passes; otherwise false.

    Time O(n), Space O(1)

  • Generates a string representation of the tree for visualization.

    Parameters

    • OptionalstartNode:
          | null
          | K
          | [undefined | null | K, undefined | V]
          | BinaryTreeNode<K, V> = ...

      The node to start printing from.

    • Optionaloptions: BinaryTreePrintOptions

      Options to control the output (e.g., show nulls).

    Returns string

    The string representation of the tree.

    Time O(N), visits every node. Space O(N*H) or O(N^2) in the worst case, as the string width can grow significantly.

  • Iterate over values only.

    Returns IterableIterator<undefined | V, any, any>

    Iterator of values.

    Time O(n), Space O(1)