Auto-BST (Self-balancing Binary Search Tree)

Name: Auto-BST

Install:\
npm i -S @webkrafters/auto-bst

Description

Self-balancing binary search tree data structure for typescripters and javascript users.

Tree contents are automatically deduped and sorted according to either client injected criteria when available or the default ones otherwise.

Automatically rebalances when properties are set to new values.

This is not an AVL Tree.

This tree is complete at all times and aims to be in perfect balance at the earliest possiblity.

Usage

``js
import AutoBST from '@webkrafters/auto-bst';

const timedMap = new AutoBST(); // defaults to empty tree with default isValueBefore (<) and isSameValue (Object.is) camparer options

`

Public Interface

Constructor

$3

- values: optional parameter accepts a parcel of data of any iterable type irrespective of its nature - Sorted or unsorted; unique or with duplicates.
- options: custom node comparison strategies may be supplied through this optional parameter accepting a payload of the TreeOptions<T> type. Espcially, when managing complex values, consider utilizing this payload parameter.

TreeOptions<T>: Object

- TreeOptions<T>.isSameValue?: Criterion<T>

- TreeOptions<T>.isValueBefore?: Criterion<T>


Criterion<T> = (value: T, node: TreeNode<T>, this: Tree<T>): boolean

#### TreeNode<T> = please see here

Instance Properties

$3

Sets both isSameValue and isValueBefore propeties simultaneously.

- omitted properties are ignored.
- properties set to undefined are replaced with the default matching criteria.
- set to undefined to reset both isSameValue and isValueBefore properties to their internal default functions.

$3

Sets while the tree is in the clean-up process. Clean up process starts when the user invokes the cleanup(...) method.



$3

A function to determine if parameter1 is a value equaling the value property of parameter2.

- Setting this property to undefined or Tree.DEFAULT will reset it to default.

$3

A function to determine if parameter1 is a value whose node should come before parameter2.

- Setting this property to undefined or Tree.DEFAULT will reset it to default

$3

Number of undetached nodes on the tree

$3

Array<T> values of all undetached nodes in the tree. Accepts any Iterable<T> type.

- Setting this property to undefined will reset it. Alias: this.clear()

Instance Methods

$3

Triggers the immediate disassociation of any longer-living associated objects (such as detached nodes).

Recommended: invoke this method before either deleting your tree instance or setting it to null.

$3

Disassociates all undetached nodes from the tree.

$3

Compares certain value to the value of an undetached node in this tree using the current isSameValue and isValueBefore properties.

$3

Generator method for this tree traversal.

TraversalOptions: Object

- TraversalOptions.direction?: TraversalDirection[keyof TraversalDirection];

- TraversalOptions.maxLength?: int;

- TraversalOptions.order?: TraversalOrder[keyof TraversalOrder];

- TraversalOptions.start?: int; // this property may be negative to start -N places from tree.size.


TraversalDirection: Object

- TraversalDirection.RIGHT: "LTR";

- TraversalDirection.LEFT: "RTL";


TraversalOrder: Object

- TraversalOrder.IN: "IN_ORDER";

- TraversalOrder.POST: "POST_ORDER";

- TraversalOrder.PRE: "PRE_ORDER";


$3

Returns the undetached node located at the supplied index using a Left-to-Right In-Order traversal.

Attention: index parameter also accepts a negative integer to obtain the node located -N places from tree.size.



$3

Returns the Left-to-Right In-Order traversal index of an undetached node in the tree whose value is the same as the first argument.

Attention: may provide a ranged search through the start and the end optional arguments.

- start: optional parameter is assigned 0 by default. When assigned a value exceeding tree.size - 1, method immediately returns -1. When negative, method attempts to resolve it by applying tree.size + start. If still negative, method begins its search from index #0.

- end: optional parameter is assigned tree.size - 1 by default. When assigned a value exceeding tree.size - 1, method searches to until the end of the tree. When negative, method attempts to resolve it by applying tree.size + end. When the resolved end index is still less than the start index, method searches only the value at start index. Otherwise, method searches up to and including the resolved end index.

$3

Creates and inserts a node constaining the value argument into the tree such that the tree remains balanced.

- An attempt to insert duplicate values to the tree is a no op.

$3

Re-inserts either a free node into a tree or a detached but associated node back into its tree.

Alternate API: node.join(...)

1. An attempt to insert an undetached node is a no op.
2. An attempt to insert any node into a tree with which it is not associated is a ReferenceError.

$3

Disassociates from its tree an associated node whose value property is isSameValue as the value parameter.

$3

Disassociates an associated node from its tree.

Alternate API: node.free(...)

- An attempt to remove an unassociated node is a ReferenceError.

$3

Balances this tree.

- Rarely ever needed as this tree is self-balancing.
- It may come in handy for unit test mock purposes.
- An attempt to perform this op on a balanced tree is a no op.

$3

This method synchronizes changes in the value property of an undetached node with its tree.

- When a node value property is set to a new value, this method is notified automatically.
- When a user mutates a node value property, they may use this method to do the synchronization manually.

1. An attempt to perform this op on an undetached node is a no op.
2. An attempt to perform this op on an unassociated node is a ReferenceError.

$3

Traverses undetached tree nodes.

- cb: optional parameter accepts a callback to be invoked on every traversed node.
signature:
(node: TreeNode<T>): void

When this argument is in its default undefined state, the method returns an array of the nodes traversed.
Otherwise, void is returned.

- options: optional parameter accepts a TraversalOptions payload object containing traversal direction, order and range. This argument, by default, holds the directive for the traditional IN_ORDER traversal (i.e. a right ward in-order traversal of the entire tree).

Static Properties

$3

Default settings string

$3

Tree traversal direction options.

CriterionType: Readonly<CriterionType>

- CriterionType.isSameValue: "isSameValue"
- CriterionType.isValueBefore: "isValueBefore"

$3

Invalid node error message text: when performing tree operations on an invalid node type.

$3

Tree mismatch error message text: when performing tree operations on an unassociated node.

TransitionType: Readonly<Transition>

- Transition.COMPLETE: 0;

- Transition.DETACHING: -1;

- Transition.DISASSOCIATING: 2;

- Transition.JOINING: 1;


$3

Tree traversal order options.

Static Method

$3

Verifies a valid tree type.

----------------------------------------------------------------

TreeNode

Constructor

$3

*This is an internal constructor used by the Tree to spin up new nodes as needed.

Nevertheless:
- tree: parameter accepts a reference to the tree creating this node.
- value: optional parameter accepts the node initial value.
- index: optional parameter accepts this node index on the tree (according to the Left-to-Right In-Order positioning)

Instance Properties

$3

Holds the left and right child nodes respectively

$3

Left-to-Right In-Order index positioning of this node on the tree.

This property changes whenever its tree rebalances.

However, if this node is detached from its tree, then this property may become stale.

$3

Is set if this node is currently associated to but not an accessible part of its tree.

$3

Is set if this node is not associated with any valid tree.

$3

Left child node.

$3

Right child node.

$3

Parent node.

$3

Current transitioning mode. This describes which tree transitioning process this node is currently undergoing.

See TransitionType

$3

A tree instance with which this node is associated.

Updating this property disassociates this node from its current tree and moves it to the new tree property.

The disassociated tree self-rebalances (if an undetached node is being disassociated).

The newly associated tree self-rebalances upon inserting this node into it.

$3

A value stored and held in this node.

Updating this property (when this node is undetached) triggers rebalancing of its associated tree.

Mutating this property is a no op.

Instance Methods

$3

Detaches (but not disassociate) this node from its associated tree. This node becomes inaccessible to its tree until reinstasted.

May use tree.insertNode(...) or node.join(...) to reinstate this node to its tree.

$3

Detaches (if not already detached) and disassociates this node from its associated tree.

$3

Generates parent nodes up the tree until nGenerations ancestors reached or tree height exhausted.

- nGenerations: optional parameter accepts the ancestor position in proximity to this TreeNode. Exmaple: this node.root has nGenerations = 1.

$3

Generates descendant nodes down the tree until nGenerations descendants reached or tree depth exhausted.

- nGenerations: optional parameter accepts the descendants sorted in ascending order starting from left to right.

$3

Generates parent nodes up the tree until anscestorNode is reached - including the ancestorNode. Returns empty array if ancestorNode not found in the hierarchy.

$3

Returns parent nodes up the tree until nGenerations ancestors reached or tree height exhausted.

- nGenerations: optional parameter accepts the ancestor position in proximity to this TreeNode. Exmaple: this node.root has nGenerations = 1.



$3

Returns descendant nodes down the tree until nGenerations descendants reached or tree depth exhausted.

- nGenerations: optional parameter accepts the descendants sorted in ascending order starting from left to right.

$3

Generates parent nodes up the tree until anscestorNode - including the ancestorNode. Returns empty array if ancestorNode not found in the hierarchy.

$3

Unsets this node's isDetached` flag.

License

ISC