Class RedBlackTree<K, V, R>

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

Operation complexity depends on the method; see each method's docs.

// 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

Properties

_comparator: Comparator<K>

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

Time O(1) Space O(1)

_header: RedBlackTreeNode<K, V>

(Internal) Header sentinel:

  • header.parent -> root
  • header._left -> min (or NIL)
  • header._right -> max (or NIL)

IMPORTANT:

  • This header is NOT part of the actual tree.
  • Do NOT use header.left / header.right accessors for wiring: those setters update NIL.parent and can corrupt sentinel invariants / cause hangs. Only touch header._left/_right.
_minNode: undefined | RedBlackTreeNode<K, V>

(Internal) Cache of the current minimum and maximum nodes. Used for fast-path insert/update when keys are monotonic or near-boundary.

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

  • (Internal) Attach a new node directly under a known parent/side (no search).

    This is a performance-oriented helper used by boundary fast paths and hinted insertion. It will:

    • wire parent/child pointers (using accessors, so parent pointers are updated)
    • initialize children to NIL
    • mark the new node RED, then run insert fix-up

    Precondition: the chosen slot (parent.left/parent.right) is empty (NIL/null/undefined).

    Parameters

    Returns void

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

  • (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)

  • (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) 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.

  • (Internal) Boolean wrapper around _setKVNode.

    Includes a map-mode update fast-path:

    • If isMapMode=true and the key already exists in _store, then updating the value does not require any tree search/rotation (tree shape depends only on key).
    • This path is intentionally limited to nextValue !== undefined to preserve existing semantics for undefined values.

    Parameters

    • key: K
    • OptionalnextValue: V

    Returns boolean

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

  • (Internal) Core set implementation returning the affected node.

    Hot path goals:

    • Avoid double walks (search+insert): do a single traversal that either updates or inserts.
    • Use header min/max caches to fast-path boundary inserts.
    • Keep header._left/_right as canonical min/max pointers.

    Return value:

    • { node, created:false } when an existing key is updated
    • { node, created:true } when a new node is inserted
    • undefined only on unexpected internal failure.

    Parameters

    • key: K
    • OptionalnextValue: V

    Returns undefined | {
        created: boolean;
        node: RedBlackTreeNode<K, V>;
    }

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

  • (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)

  • Adds 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.

    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 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 set.

    Returns boolean[]

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

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

  • 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 + set, and set is O(M)). Space O(N) for the new tree and the BFS queue.

  • 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)

  • 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) set 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 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)

  • 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) average, Space O(n)

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

    Parameters

    Returns void

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

  • 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 set.

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

      An optional parallel iterable of values.

    Returns void

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

  • 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>[]

  • Insert or update a key/value (map mode) or key-only (set mode).

    This method is optimized for:

    • monotonic inserts via min/max boundary fast paths
    • updates via a single-pass search (no double walk)

    Parameters

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

    Returns boolean

    Time O(log n) average, 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 set.

    • 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 set (recursive or iterative).

    Returns boolean[]

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

    If isBalanceAdd is true, sorts the input and builds a balanced tree. Time O(N log N) (due to sort and balanced set). 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.

  • Insert/update using a hint node to speed up nearby insertions.

    close to the expected insertion position (often the previously returned node in a loop).

    When the hint is a good fit (sorted / nearly-sorted insertion), this can avoid most of the normal root-to-leaf search and reduce constant factors.

    When the hint does not match (random workloads), this will fall back to the normal set path.

    Parameters

    Returns undefined | RedBlackTreeNode<K, V>

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

  • 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.