min-priority-queue-typed 2.2.3 → 2.2.6

package/src/data-structures/binary-tree/bst.ts

@@ -7,11 +7,10 @@
  */
 
 import type {
-  BinaryTreeOptions,
+  BinaryTreeDeleteResult,
   BSTNOptKeyOrNode,
   BSTOptions,
   BTNRep,
-  Comparable,
   Comparator,
   CP,
   DFSOrderPattern,
@@ -332,7 +331,7 @@ export class BSTNode<K = any, V = any> {
  *       return findFirstCommon(path1, path2);
  *     };
  *
- *     function findFirstCommon(arr1: number[], arr2: number[]): number | undefined {
+ *     function findFirstCommon(arr1: (number | undefined)[], arr2: (number | undefined)[]): number | undefined {
  *       for (const num of arr1) {
  *         if (arr2.indexOf(num) !== -1) {
  *           return num;
@@ -355,18 +354,22 @@ export class BST<K = any, V = any, R = any> extends BinaryTree<K, V, R> implemen
    * @param [options] - Configuration options for the BST, including comparator.
    */
   constructor(
-    keysNodesEntriesOrRaws: Iterable<
-      K | BSTNode<K, V> | [K | null | undefined, V | undefined] | null | undefined | R
-    > = [],
+    keysNodesEntriesOrRaws: Iterable<K | BSTNode | [K | null | undefined, V | undefined] | null | undefined | R> = [],
     options?: BSTOptions<K, V, R>
   ) {
     super([], options);
 
     if (options) {
-      const { specifyComparable, isReverse } = options;
-      if (typeof specifyComparable === 'function') this._specifyComparable = specifyComparable;
-      if (isReverse !== undefined) this._isReverse = isReverse;
+      // Use the 'in' operator to check if the field is present
+      if ('comparator' in options && options.comparator !== undefined) {
+        this._comparator = options.comparator;
+      } else {
+        this._comparator = this._createDefaultComparator();
+      }
+    } else {
+      this._comparator = this._createDefaultComparator();
     }
+
     if (keysNodesEntriesOrRaws) this.addMany(keysNodesEntriesOrRaws);
   }
 
@@ -382,42 +385,12 @@ export class BST<K = any, V = any, R = any> extends BinaryTree<K, V, R> implemen
     return this._root;
   }
 
-  protected _isReverse: boolean = false;
-
   /**
-   * Gets whether the tree's comparison logic is reversed.
-   * @remarks Time O(1)
-   *
-   * @returns True if the tree is reversed (e.g., a max-heap logic).
-   */
-  get isReverse(): boolean {
-    return this._isReverse;
-  }
+   * The comparator function used to determine the order of keys in the tree.
 
-  /**
-   * The default comparator function.
-   * @remarks Time O(1) (or O(C) if `specifyComparable` is used, C is complexity of that function).
+   * @remarks Time O(1) Space O(1)
    */
-  protected _comparator: Comparator<K> = (a: K, b: K): number => {
-    if (isComparable(a) && isComparable(b)) {
-      if (a > b) return 1;
-      if (a < b) return -1;
-      return 0;
-    }
-    if (this._specifyComparable) {
-      const va = this._specifyComparable(a);
-      const vb = this._specifyComparable(b);
-      if (va > vb) return 1;
-      if (va < vb) return -1;
-      return 0;
-    }
-    if (typeof a === 'object' || typeof b === 'object') {
-      throw TypeError(
-        `When comparing object types, a custom specifyComparable must be defined in the constructor's options.`
-      );
-    }
-    return 0;
-  };
+  protected _comparator: Comparator<K>;
 
   /**
    * Gets the comparator function used by the tree.
@@ -429,18 +402,6 @@ export class BST<K = any, V = any, R = any> extends BinaryTree<K, V, R> implemen
     return this._comparator;
   }
 
-  protected _specifyComparable?: (key: K) => Comparable;
-
-  /**
-   * Gets the function used to extract a comparable value from a complex key.
-   * @remarks Time O(1)
-   *
-   * @returns The key-to-comparable conversion function.
-   */
-  get specifyComparable(): ((key: K) => Comparable) | undefined {
-    return this._specifyComparable;
-  }
-
   /**
    * (Protected) Creates a new BST node.
    * @remarks Time O(1), Space O(1)
@@ -489,9 +450,19 @@ export class BST<K = any, V = any, R = any> extends BinaryTree<K, V, R> implemen
    * @returns True if the key is valid, false otherwise.
    */
   override isValidKey(key: any): key is K {
-    return isComparable(key, this._specifyComparable !== undefined);
+    return isComparable(key);
   }
 
+  override dfs(): (K | undefined)[];
+
+  override dfs<C extends NodeCallback<BSTNode<K, V>>>(
+    callback: C,
+    pattern?: DFSOrderPattern,
+    onlyOne?: boolean,
+    startNode?: K | BSTNode<K, V> | [K | null | undefined, V | undefined] | null | undefined,
+    iterationType?: IterationType
+  ): ReturnType<C>[];
+
   /**
    * Performs a Depth-First Search (DFS) traversal.
    * @remarks Time O(N), visits every node. Space O(log N) for the call/explicit stack. O(N) worst-case.
@@ -514,6 +485,13 @@ export class BST<K = any, V = any, R = any> extends BinaryTree<K, V, R> implemen
     return super.dfs(callback, pattern, onlyOne, startNode, iterationType);
   }
 
+  override bfs(): (K | undefined)[];
+  override bfs<C extends NodeCallback<BSTNode<K, V>>>(
+    callback: C,
+    startNode?: K | BSTNode<K, V> | [K | null | undefined, V | undefined] | null | undefined,
+    iterationType?: IterationType
+  ): ReturnType<C>[];
+
   /**
    * Performs a Breadth-First Search (BFS) or Level-Order traversal.
    * @remarks Time O(N), visits every node. Space O(N) in the worst case for the queue.
@@ -532,6 +510,14 @@ export class BST<K = any, V = any, R = any> extends BinaryTree<K, V, R> implemen
     return super.bfs(callback, startNode, iterationType, false);
   }
 
+  override listLevels(): (K | undefined)[][];
+
+  override listLevels<C extends NodeCallback<BSTNode<K, V>>>(
+    callback: C,
+    startNode?: K | BSTNode<K, V> | [K | null | undefined, V | undefined] | null | undefined,
+    iterationType?: IterationType
+  ): ReturnType<C>[][];
+
   /**
    * Returns a 2D array of nodes, grouped by level.
    * @remarks Time O(N), visits every node. Space O(N) for the result array and the queue/stack.
@@ -573,6 +559,33 @@ export class BST<K = any, V = any, R = any> extends BinaryTree<K, V, R> implemen
     return this.getNodes(keyNodeEntryOrPredicate, true, startNode, iterationType)[0] ?? undefined;
   }
 
+  override search(
+    keyNodeEntryOrPredicate:
+      | K
+      | BSTNode<K, V>
+      | [K | null | undefined, V | undefined]
+      | null
+      | undefined
+      | NodePredicate<BSTNode<K, V>>
+      | Range<K>,
+    onlyOne?: boolean
+  ): (K | undefined)[];
+
+  override search<C extends NodeCallback<BSTNode<K, V>>>(
+    keyNodeEntryOrPredicate:
+      | K
+      | BSTNode<K, V>
+      | [K | null | undefined, V | undefined]
+      | null
+      | undefined
+      | NodePredicate<BSTNode<K, V>>
+      | Range<K>,
+    onlyOne: boolean,
+    callback: C,
+    startNode?: K | BSTNode<K, V> | [K | null | undefined, V | undefined] | null | undefined,
+    iterationType?: IterationType
+  ): ReturnType<C>[];
+
   /**
    * Searches the tree for nodes matching a predicate, key, or range.
    * @remarks This is an optimized search for a BST. If searching by key or range, it prunes branches.
@@ -625,8 +638,8 @@ export class BST<K = any, V = any, R = any> extends BinaryTree<K, V, R> implemen
       if (isRange) {
         // Range search: Only go left if the current key is >= the lower bound
         const range = keyNodeEntryOrPredicate as Range<K>;
-        const leftS = this.isReverse ? range.high : range.low;
-        const leftI = this.isReverse ? range.includeHigh : range.includeLow;
+        const leftS = range.low;
+        const leftI = range.includeLow;
         return (leftI && this._compare(cur.key, leftS) >= 0) || (!leftI && this._compare(cur.key, leftS) > 0);
       }
       if (!isRange && !this._isPredicate(keyNodeEntryOrPredicate)) {
@@ -643,8 +656,8 @@ export class BST<K = any, V = any, R = any> extends BinaryTree<K, V, R> implemen
       if (isRange) {
         // Range search: Only go right if current key <= upper bound
         const range = keyNodeEntryOrPredicate as Range<K>;
-        const rightS = this.isReverse ? range.low : range.high;
-        const rightI = this.isReverse ? range.includeLow : range.includeHigh;
+        const rightS = range.high;
+        const rightI = range.includeHigh;
         return (rightI && this._compare(cur.key, rightS) <= 0) || (!rightI && this._compare(cur.key, rightS) < 0);
       }
       if (!isRange && !this._isPredicate(keyNodeEntryOrPredicate)) {
@@ -669,6 +682,15 @@ export class BST<K = any, V = any, R = any> extends BinaryTree<K, V, R> implemen
     );
   }
 
+  rangeSearch(range: Range<K> | [K, K]): (K | undefined)[];
+
+  rangeSearch<C extends NodeCallback<BSTNode<K, V>>>(
+    range: Range<K> | [K, K],
+    callback: C,
+    startNode?: K | BSTNode<K, V> | [K | null | undefined, V | undefined] | null | undefined,
+    iterationType?: IterationType
+  ): ReturnType<C>[];
+
   /**
    * Performs an optimized search for nodes within a given key range.
    * @remarks Time O(H + M), where H is tree height and M is the number of matches.
@@ -846,16 +868,27 @@ export class BST<K = any, V = any, R = any> extends BinaryTree<K, V, R> implemen
   }
 
   /**
-   * Returns the first node with a key greater than or equal to the given key.
-   * This is equivalent to C++ std::lower_bound on a BST.
-   * Supports RECURSIVE and ITERATIVE implementations.
-   * Time Complexity: O(log n) on average, O(h) where h is tree height.
+   * 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.
+   */
+  ceiling(
+    keyNodeEntryOrPredicate:
+      | K
+      | BSTNode<K, V>
+      | [K | null | undefined, V | undefined]
+      | null
+      | undefined
+      | NodePredicate<BSTNode<K, V>>
+  ): K | undefined;
+
+  /**
+   * 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.
-   * @param keyNodeEntryOrPredicate - The key, node, entry, or predicate function to search for.
-   * @param iterationType The iteration type (RECURSIVE or ITERATIVE). Defaults to this.iterationType.
-   * @returns The first node with key >= given key, or undefined if no such node exists.
    */
-  lowerBound(
+  ceiling<C extends NodeCallback<BSTNode<K, V>>>(
     keyNodeEntryOrPredicate:
       | K
       | BSTNode<K, V>
@@ -863,22 +896,64 @@ export class BST<K = any, V = any, R = any> extends BinaryTree<K, V, R> implemen
       | null
       | undefined
       | NodePredicate<BSTNode<K, V>>,
-    iterationType: IterationType = this.iterationType
-  ): BSTNode<K, V> | undefined {
-    return this._bound(keyNodeEntryOrPredicate, true, iterationType);
+    callback: C,
+    iterationType?: IterationType
+  ): ReturnType<C>;
+
+  ceiling<C extends NodeCallback<BSTNode<K, V>>>(
+    keyNodeEntryOrPredicate:
+      | K
+      | BSTNode<K, V>
+      | [K | null | undefined, V | undefined]
+      | null
+      | undefined
+      | NodePredicate<BSTNode<K, V>>,
+    callback: C = this._DEFAULT_NODE_CALLBACK as C,
+    iterationType?: IterationType
+  ): K | undefined | ReturnType<C> {
+    let actualCallback: C | undefined = undefined;
+    let actualIterationType: IterationType = this.iterationType;
+
+    if (typeof callback === 'string') {
+      actualIterationType = callback;
+    } else if (callback) {
+      actualCallback = callback;
+      if (iterationType) {
+        actualIterationType = iterationType;
+      }
+    }
+
+    const node = this._bound(keyNodeEntryOrPredicate, true, actualIterationType);
+
+    if (!actualCallback) {
+      return node?.key;
+    }
+
+    return node ? actualCallback(node) : undefined;
   }
 
   /**
-   * Returns the first node with a key strictly greater than the given key.
-   * This is equivalent to C++ std::upper_bound on a BST.
-   * Supports RECURSIVE and ITERATIVE implementations.
-   * Time Complexity: O(log n) on average, O(h) where h is tree height.
+   * 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.
-   * @param keyNodeEntryOrPredicate - The key, node, entry, or predicate function to search for.
-   * @param iterationType The iteration type (RECURSIVE or ITERATIVE). Defaults to this.iterationType.
-   * @returns The first node with key > given key, or undefined if no such node exists.
    */
-  upperBound(
+  higher(
+    keyNodeEntryOrPredicate:
+      | K
+      | BSTNode<K, V>
+      | [K | null | undefined, V | undefined]
+      | null
+      | undefined
+      | NodePredicate<BSTNode<K, V>>
+  ): K | undefined;
+
+  /**
+   * 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.
+   */
+  higher<C extends NodeCallback<BSTNode<K, V>>>(
     keyNodeEntryOrPredicate:
       | K
       | BSTNode<K, V>
@@ -886,11 +961,261 @@ export class BST<K = any, V = any, R = any> extends BinaryTree<K, V, R> implemen
       | null
       | undefined
       | NodePredicate<BSTNode<K, V>>,
-    iterationType: IterationType = this.iterationType
-  ): BSTNode<K, V> | undefined {
-    return this._bound(keyNodeEntryOrPredicate, false, iterationType);
+    callback: C,
+    iterationType?: IterationType
+  ): ReturnType<C>;
+
+  higher<C extends NodeCallback<BSTNode<K, V>>>(
+    keyNodeEntryOrPredicate:
+      | K
+      | BSTNode<K, V>
+      | [K | null | undefined, V | undefined]
+      | null
+      | undefined
+      | NodePredicate<BSTNode<K, V>>,
+    callback: C = this._DEFAULT_NODE_CALLBACK as C,
+    iterationType?: IterationType
+  ): K | undefined | ReturnType<C> {
+    let actualCallback: C | undefined = undefined;
+    let actualIterationType: IterationType = this.iterationType;
+
+    if (typeof callback === 'string') {
+      actualIterationType = callback;
+    } else if (callback) {
+      actualCallback = callback;
+      if (iterationType) {
+        actualIterationType = iterationType;
+      }
+    }
+
+    const node = this._bound(keyNodeEntryOrPredicate, false, actualIterationType);
+
+    if (!actualCallback) {
+      return node?.key;
+    }
+
+    return node ? actualCallback(node) : undefined;
+  }
+
+  /**
+   * 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.
+   */
+  floor(
+    keyNodeEntryOrPredicate:
+      | K
+      | BSTNode<K, V>
+      | [K | null | undefined, V | undefined]
+      | null
+      | undefined
+      | NodePredicate<BSTNode<K, V>>
+  ): K | undefined;
+
+  /**
+   * 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.
+   */
+  floor<C extends NodeCallback<BSTNode<K, V>>>(
+    keyNodeEntryOrPredicate:
+      | K
+      | BSTNode<K, V>
+      | [K | null | undefined, V | undefined]
+      | null
+      | undefined
+      | NodePredicate<BSTNode<K, V>>,
+    callback: C,
+    iterationType?: IterationType
+  ): ReturnType<C>;
+
+  floor<C extends NodeCallback<BSTNode<K, V>>>(
+    keyNodeEntryOrPredicate:
+      | K
+      | BSTNode<K, V>
+      | [K | null | undefined, V | undefined]
+      | null
+      | undefined
+      | NodePredicate<BSTNode<K, V>>,
+    callback: C = this._DEFAULT_NODE_CALLBACK as C,
+    iterationType?: IterationType
+  ): K | undefined | ReturnType<C> {
+    if (keyNodeEntryOrPredicate === null || keyNodeEntryOrPredicate === undefined) {
+      if (typeof callback === 'string' || !callback) {
+        return undefined;
+      }
+      return undefined;
+    }
+
+    let actualCallback: C | undefined = undefined;
+    let actualIterationType: IterationType = this.iterationType;
+
+    if (typeof callback === 'string') {
+      actualIterationType = callback;
+    } else if (callback) {
+      actualCallback = callback;
+      if (iterationType) {
+        actualIterationType = iterationType;
+      }
+    }
+
+    if (this._isPredicate(keyNodeEntryOrPredicate)) {
+      const node = this._floorByPredicate(keyNodeEntryOrPredicate, actualIterationType);
+
+      if (!actualCallback) {
+        return node?.key;
+      }
+
+      return node ? actualCallback(node) : undefined;
+    }
+
+    let targetKey: K | undefined;
+    if (this.isNode(keyNodeEntryOrPredicate)) {
+      targetKey = keyNodeEntryOrPredicate.key;
+    } else if (this.isEntry(keyNodeEntryOrPredicate)) {
+      const key = keyNodeEntryOrPredicate[0];
+      if (key === null || key === undefined) {
+        if (typeof callback === 'string' || !callback) {
+          return undefined;
+        }
+        return undefined;
+      }
+      targetKey = key;
+    } else {
+      targetKey = keyNodeEntryOrPredicate;
+    }
+
+    if (targetKey !== undefined) {
+      const node = this._floorByKey(targetKey, actualIterationType);
+
+      if (!actualCallback) {
+        return node?.key;
+      }
+
+      return node ? actualCallback(node) : undefined;
+    }
+
+    if (typeof callback === 'string' || !callback) {
+      return undefined;
+    }
+    return undefined;
+  }
+
+  /**
+   * 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.
+   */
+  lower(
+    keyNodeEntryOrPredicate:
+      | K
+      | BSTNode<K, V>
+      | [K | null | undefined, V | undefined]
+      | null
+      | undefined
+      | NodePredicate<BSTNode<K, V>>
+  ): K | undefined;
+
+  /**
+   * 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.
+   */
+  lower<C extends NodeCallback<BSTNode<K, V>>>(
+    keyNodeEntryOrPredicate:
+      | K
+      | BSTNode<K, V>
+      | [K | null | undefined, V | undefined]
+      | null
+      | undefined
+      | NodePredicate<BSTNode<K, V>>,
+    callback: C,
+    iterationType?: IterationType
+  ): ReturnType<C>;
+
+  lower<C extends NodeCallback<BSTNode<K, V>>>(
+    keyNodeEntryOrPredicate:
+      | K
+      | BSTNode<K, V>
+      | [K | null | undefined, V | undefined]
+      | null
+      | undefined
+      | NodePredicate<BSTNode<K, V>>,
+    callback?: C | IterationType,
+    iterationType?: IterationType
+  ): K | undefined | ReturnType<C> {
+    if (keyNodeEntryOrPredicate === null || keyNodeEntryOrPredicate === undefined) {
+      if (typeof callback === 'string' || !callback) {
+        return undefined;
+      }
+      return undefined;
+    }
+
+    let actualCallback: C | undefined = undefined;
+    let actualIterationType: IterationType = this.iterationType;
+
+    if (typeof callback === 'string') {
+      actualIterationType = callback;
+    } else if (callback) {
+      actualCallback = callback;
+      if (iterationType) {
+        actualIterationType = iterationType;
+      }
+    }
+
+    if (this._isPredicate(keyNodeEntryOrPredicate)) {
+      const node = this._lowerByPredicate(keyNodeEntryOrPredicate, actualIterationType);
+
+      if (!actualCallback) {
+        return node?.key;
+      }
+
+      return node ? actualCallback(node) : undefined;
+    }
+
+    let targetKey: K | undefined;
+    if (this.isNode(keyNodeEntryOrPredicate)) {
+      targetKey = keyNodeEntryOrPredicate.key;
+    } else if (this.isEntry(keyNodeEntryOrPredicate)) {
+      const key = keyNodeEntryOrPredicate[0];
+      if (key === null || key === undefined) {
+        if (typeof callback === 'string' || !callback) {
+          return undefined;
+        }
+        return undefined;
+      }
+      targetKey = key;
+    } else {
+      targetKey = keyNodeEntryOrPredicate;
+    }
+
+    if (targetKey !== undefined) {
+      const node = this._lowerByKey(targetKey, actualIterationType);
+
+      if (!actualCallback) {
+        return node?.key;
+      }
+
+      return node ? actualCallback(node) : undefined;
+    }
+
+    if (typeof callback === 'string' || !callback) {
+      return undefined;
+    }
+    return undefined;
   }
 
+  lesserOrGreaterTraverse(): (K | undefined)[];
+
+  lesserOrGreaterTraverse<C extends NodeCallback<BSTNode<K, V>>>(
+    callback: C,
+    lesserOrGreater?: number,
+    targetNode?: K | BSTNode<K, V> | [K | null | undefined, V | undefined] | null | undefined,
+    iterationType?: IterationType
+  ): ReturnType<C>[];
+
   /**
    * Traverses the tree and returns nodes that are lesser or greater than a target node.
    * @remarks Time O(N), as it performs a full traversal. Space O(log N) or O(N).
@@ -1037,7 +1362,7 @@ export class BST<K = any, V = any, R = any> extends BinaryTree<K, V, R> implemen
    */
   override map<MK = K, MV = V, MR = any>(
     callback: EntryCallback<K, V | undefined, [MK, MV]>,
-    options?: Partial<BinaryTreeOptions<MK, MV, MR>>,
+    options?: Partial<BSTOptions<MK, MV, MR>>,
     thisArg?: unknown
   ): BST<MK, MV, MR> {
     const out = this._createLike<MK, MV, MR>([], options);
@@ -1050,34 +1375,326 @@ export class BST<K = any, V = any, R = any> extends BinaryTree<K, V, R> implemen
   }
 
   /**
-   * Deletes the first node found that satisfies the predicate.
-   * @remarks Performs an in-order traversal. Time O(N) worst-case (O(log N) to find + O(log N) to delete). Space O(log N) for stack.
+   * Deletes nodes that match a key, node, entry, predicate, or range.
+   *
+   * @remarks
+   * 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.
+   *
+   * @template K - The key type.
+   * @template V - The value type.
+   *
+   * @param keyNodeEntryOrPredicate - 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.
    *
-   * @param predicate - A function to test each [key, value] pair.
-   * @returns True if a node was deleted, false otherwise.
+   * @param onlyOne - 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.
+   *
+   * @param startNode - 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).
+   *
+   * @param 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 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.
    */
-  deleteWhere(predicate: (key: K, value: V | undefined, index: number, tree: this) => boolean): boolean {
-    const stack: Array<BSTNode<K, V> | null | undefined> = [];
-    let cur = this._root as BSTNode<K, V> | null | undefined;
-    let index = 0;
+  deleteWhere(
+    keyNodeEntryOrPredicate:
+      | K
+      | BSTNode<K, V>
+      | [K | null | undefined, V | undefined]
+      | null
+      | undefined
+      | NodePredicate<BSTNode<K, V>>
+      | Range<K>,
+    onlyOne = false,
+    startNode: K | BSTNode<K, V> | [K | null | undefined, V | undefined] | null | undefined = this._root,
+    iterationType: IterationType = this.iterationType
+  ): BinaryTreeDeleteResult<BSTNode<K, V>>[] {
+    const toDelete = this.search(keyNodeEntryOrPredicate, onlyOne, node => node, startNode, iterationType);
 
-    // In-order traversal to find the node
-    while (stack.length > 0 || cur !== undefined) {
-      while (cur !== undefined && cur !== null) {
-        stack.push(cur);
-        cur = cur.left as BSTNode<K, V> | null | undefined;
+    let results: BinaryTreeDeleteResult<BSTNode<K, V>>[] = [];
+    for (const node of toDelete) {
+      const deleteInfo = this.delete(node);
+      results = results.concat(deleteInfo);
+    }
+
+    return results;
+  }
+
+  /**
+   * (Protected) Creates the default comparator function for keys that don't have a custom comparator.
+   * @remarks Time O(1) Space O(1)
+   * @returns The default comparator function.
+   */
+  protected _createDefaultComparator(): Comparator<K> {
+    return (a: K, b: K): number => {
+      debugger;
+      // If both keys are comparable (primitive types), use direct comparison
+      if (isComparable(a) && isComparable(b)) {
+        if (a > b) return 1;
+        if (a < b) return -1;
+        return 0;
       }
-      const node = stack.pop() as BSTNode<K, V> | undefined;
-      if (!node) break;
 
-      const key = node.key as K;
-      const val = node.value as V | undefined;
-      if (predicate(key, val, index++, this)) {
-        return this._deleteByKey(key); // Found, now delete
+      // If keys are objects and no comparator is provided, throw an error
+      if (typeof a === 'object' || typeof b === 'object') {
+        throw TypeError(
+          `When comparing object type keys, a custom comparator must be provided in the constructor's options!`
+        );
+      }
+
+      // Default: keys are equal (fallback case)
+      return 0;
+    };
+  }
+
+  /**
+   * (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.
+   * @remarks Time O(h) where h is tree height.
+   *
+   * @param key - The target key to search for.
+   * @param iterationType - The iteration type (RECURSIVE or ITERATIVE).
+   * @returns The first node with key <= target, or undefined if none exists.
+   */
+  protected _floorByKey(key: K, iterationType: IterationType): BSTNode<K, V> | undefined {
+    if (iterationType === 'RECURSIVE') {
+      // Recursive binary search implementation
+      const dfs = (cur: BSTNode<K, V> | null | undefined): BSTNode<K, V> | undefined => {
+        if (!this.isRealNode(cur)) return undefined;
+
+        const cmp = this.comparator(cur.key!, key);
+
+        if (cmp <= 0) {
+          // Current node satisfies the floor condition (cur.key <= target).
+          // Try to find a larger candidate in the right subtree.
+          const rightResult = dfs(cur.right);
+          return rightResult ?? cur;
+        } else {
+          // Current node is too large, move left to find smaller keys.
+          return dfs(cur.left);
+        }
+      };
+
+      return dfs(this.root);
+    } else {
+      // Iterative binary search implementation
+      let current: BSTNode<K, V> | undefined = this.root;
+      let result: BSTNode<K, V> | undefined = undefined;
+
+      while (this.isRealNode(current)) {
+        const cmp = this.comparator(current.key!, key);
+
+        if (cmp <= 0) {
+          // Current node is a candidate. Save it and try right subtree for a larger key.
+          result = current;
+          current = current.right ?? undefined;
+        } else {
+          // Current node is too large, move left.
+          current = current.left ?? undefined;
+        }
       }
-      cur = node.right as BSTNode<K, V> | null | undefined;
+
+      return result;
+    }
+  }
+
+  /**
+   * (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.
+   * @remarks Time Complexity: O(n) since it may visit every node.
+   * Space Complexity: O(h) for recursion, O(h) for iterative stack.
+   *
+   * @param predicate - The predicate function to test nodes.
+   * @param iterationType - The iteration type (RECURSIVE or ITERATIVE).
+   * @returns The last node satisfying predicate (highest key), or undefined if none found.
+   */
+  protected _floorByPredicate(
+    predicate: NodePredicate<BSTNode<K, V>>,
+    iterationType: IterationType
+  ): BSTNode<K, V> | undefined {
+    if (iterationType === 'RECURSIVE') {
+      // Recursive in-order traversal
+      let result: BSTNode<K, V> | undefined = undefined;
+
+      const dfs = (cur: BSTNode<K, V> | null | undefined): void => {
+        if (!this.isRealNode(cur)) return;
+
+        // In-order: process left subtree first
+        if (this.isRealNode(cur.left)) dfs(cur.left);
+
+        // Check current node
+        if (predicate(cur)) {
+          result = cur;
+        }
+
+        // Process right subtree
+        if (this.isRealNode(cur.right)) dfs(cur.right);
+      };
+
+      dfs(this.root);
+      return result;
+    } else {
+      // Iterative in-order traversal using explicit stack
+      const stack: (BSTNode<K, V> | null | undefined)[] = [];
+      let current: BSTNode<K, V> | null | undefined = this.root;
+      let result: BSTNode<K, V> | undefined = undefined;
+
+      while (stack.length > 0 || this.isRealNode(current)) {
+        if (this.isRealNode(current)) {
+          // Go to the leftmost node
+          stack.push(current);
+          current = current.left;
+        } else {
+          // Pop from stack and process
+          const node = stack.pop();
+          if (!this.isRealNode(node)) break;
+
+          // Check if current node satisfies predicate
+          if (predicate(node)) {
+            result = node;
+          }
+
+          // Visit right subtree
+          current = node.right;
+        }
+      }
+
+      return result;
+    }
+  }
+
+  /**
+   * (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.
+   * @remarks Time O(h) where h is tree height.
+   *
+   * @param key - The target key to search for.
+   * @param iterationType - The iteration type (RECURSIVE or ITERATIVE).
+   * @returns The first node with key < target, or undefined if none exists.
+   */
+  protected _lowerByKey(key: K, iterationType: IterationType): BSTNode<K, V> | undefined {
+    if (iterationType === 'RECURSIVE') {
+      // Recursive binary search implementation
+      const dfs = (cur: BSTNode<K, V> | null | undefined): BSTNode<K, V> | undefined => {
+        if (!this.isRealNode(cur)) return undefined;
+
+        const cmp = this.comparator(cur.key!, key);
+
+        if (cmp < 0) {
+          // Current node satisfies the lower condition (cur.key < target).
+          // Try to find a larger candidate in the right subtree.
+          const rightResult = dfs(cur.right);
+          return rightResult ?? cur;
+        } else {
+          // Current node is too large or equal, move left to find smaller keys.
+          return dfs(cur.left);
+        }
+      };
+
+      return dfs(this.root);
+    } else {
+      // Iterative binary search implementation
+      let current: BSTNode<K, V> | undefined = this.root;
+      let result: BSTNode<K, V> | undefined = undefined;
+
+      while (this.isRealNode(current)) {
+        const cmp = this.comparator(current.key!, key);
+
+        if (cmp < 0) {
+          // Current node is a candidate. Save it and try right subtree for a larger key.
+          result = current;
+          current = current.right ?? undefined;
+        } else {
+          // Current node is too large or equal, move left.
+          current = current.left ?? undefined;
+        }
+      }
+
+      return result;
+    }
+  }
+
+  /**
+   * (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.
+   * @remarks Time Complexity: O(n) since it may visit every node.
+   * Space Complexity: O(h) for recursion, O(h) for iterative stack.
+   *
+   * @param predicate - The predicate function to test nodes.
+   * @param iterationType - The iteration type (RECURSIVE or ITERATIVE).
+   * @returns The last node satisfying predicate (highest key < target), or undefined if none found.
+   */
+  protected _lowerByPredicate(
+    predicate: NodePredicate<BSTNode<K, V>>,
+    iterationType: IterationType
+  ): BSTNode<K, V> | undefined {
+    if (iterationType === 'RECURSIVE') {
+      // Recursive in-order traversal
+      let result: BSTNode<K, V> | undefined = undefined;
+
+      const dfs = (cur: BSTNode<K, V> | null | undefined): void => {
+        if (!this.isRealNode(cur)) return;
+
+        // In-order: process left subtree first
+        if (this.isRealNode(cur.left)) dfs(cur.left);
+
+        // Check current node
+        if (predicate(cur)) {
+          result = cur;
+        }
+
+        // Process right subtree
+        if (this.isRealNode(cur.right)) dfs(cur.right);
+      };
+
+      dfs(this.root);
+      return result;
+    } else {
+      // Iterative in-order traversal using explicit stack
+      const stack: (BSTNode<K, V> | null | undefined)[] = [];
+      let current: BSTNode<K, V> | null | undefined = this.root;
+      let result: BSTNode<K, V> | undefined = undefined;
+
+      while (stack.length > 0 || this.isRealNode(current)) {
+        if (this.isRealNode(current)) {
+          // Go to the leftmost node
+          stack.push(current);
+          current = current.left;
+        } else {
+          // Pop from stack and process
+          const node = stack.pop();
+          if (!this.isRealNode(node)) break;
+
+          // Check if current node satisfies predicate
+          if (predicate(node)) {
+            result = node;
+          }
+
+          // Visit right subtree
+          current = node.right;
+        }
+      }
+
+      return result;
     }
-    return false;
   }
 
   /**
@@ -1300,8 +1917,7 @@ export class BST<K = any, V = any, R = any> extends BinaryTree<K, V, R> implemen
   protected override _snapshotOptions<TK = K, TV = V, TR = R>(): BSTOptions<TK, TV, TR> {
     return {
       ...super._snapshotOptions<TK, TV, TR>(),
-      specifyComparable: this.specifyComparable as BSTOptions<TK, TV, TR>['specifyComparable'],
-      isReverse: this.isReverse as BSTOptions<TK, TV, TR>['isReverse']
+      comparator: this._comparator as unknown as BSTOptions<TK, TV, TR>['comparator']
     };
   }
 
@@ -1335,14 +1951,14 @@ export class BST<K = any, V = any, R = any> extends BinaryTree<K, V, R> implemen
 
   /**
    * (Protected) Compares two keys using the tree's comparator and reverse setting.
-   * @remarks Time O(1) (or O(C) if `specifyComparable` is used).
+   * @remarks Time O(1) Space O(1)
    *
    * @param a - The first key.
    * @param b - The second key.
    * @returns A number (1, -1, or 0) representing the comparison.
    */
   protected _compare(a: K, b: K) {
-    return this._isReverse ? -this._comparator(a, b) : this._comparator(a, b);
+    return this._comparator(a, b);
   }
 
   /**
@@ -1352,7 +1968,7 @@ export class BST<K = any, V = any, R = any> extends BinaryTree<K, V, R> implemen
    * @param key - The key of the node to delete.
    * @returns True if the node was found and deleted, false otherwise.
    */
-  private _deleteByKey(key: K): boolean {
+  protected _deleteByKey(key: K): boolean {
     let node = this._root as BSTNode<K, V> | undefined;
 
     // 1. Find the node