data-structure-typed 1.40.0-rc → 1.41.0

package/src/data-structures/graph/abstract-graph.ts

@@ -1,85 +1,53 @@
 /**
  * data-structure-typed
  *
- * @author Tyler Zeng
- * @copyright Copyright (c) 2022 Tyler Zeng <zrwusa@gmail.com>
+ * @author Kirk Qi
+ * @copyright Copyright (c) 2022 Kirk Qi <qilinaus@gmail.com>
  * @license MIT License
  */
 import {arrayRemove, uuidV4} from '../../utils';
 import {PriorityQueue} from '../priority-queue';
 import type {DijkstraResult, VertexKey} from '../../types';
-import {IAbstractGraph} from '../../interfaces';
+import {IGraph} from '../../interfaces';
+import {Queue} from '../queue';
 
 export abstract class AbstractVertex<V = any> {
+  key: VertexKey;
+  value: V | undefined;
+
   /**
    * The function is a protected constructor that takes an key and an optional value as parameters.
    * @param {VertexKey} key - The `key` parameter is of type `VertexKey` and represents the identifier of the vertex. It is
    * used to uniquely identify the vertex object.
-   * @param {V} [val] - The parameter "val" is an optional parameter of type V. It is used to assign a value to the
+   * @param {V} [value] - The parameter "value" is an optional parameter of type V. It is used to assign a value to the
    * vertex. If no value is provided, it will be set to undefined.
    */
-  protected constructor(key: VertexKey, val?: V) {
-    this._key = key;
-    this._val = val;
-  }
-
-  private _key: VertexKey;
-
-  get key(): VertexKey {
-    return this._key;
-  }
-
-  set key(v: VertexKey) {
-    this._key = v;
+  protected constructor(key: VertexKey, value?: V) {
+    this.key = key;
+    this.value = value;
   }
 
-  private _val: V | undefined;
-
-  get val(): V | undefined {
-    return this._val;
-  }
-
-  set val(value: V | undefined) {
-    this._val = value;
-  }
 }
 
-export abstract class AbstractEdge<V = any> {
+export abstract class AbstractEdge<E = any> {
+  value: E | undefined;
+  weight: number;
+
   /**
    * The above function is a protected constructor that initializes the weight, value, and hash code properties of an
    * object.
    * @param {number} [weight] - The `weight` parameter is an optional number that represents the weight of the object. If
    * a value is provided, it will be assigned to the `_weight` property. If no value is provided, the default value of 1
    * will be assigned.
-   * @param {V} [val] - The `val` parameter is of type `V`, which means it can be any type. It is an optional parameter,
+   * @param {VO} [value] - The `value` parameter is of type `VO`, which means it can be any type. It is an optional parameter,
    * meaning it can be omitted when creating an instance of the class.
    */
-  protected constructor(weight?: number, val?: V) {
-    this._weight = weight !== undefined ? weight : 1;
-    this._val = val;
+  protected constructor(weight?: number, value?: E) {
+    this.weight = weight !== undefined ? weight : 1;
+    this.value = value;
     this._hashCode = uuidV4();
   }
 
-  private _val: V | undefined;
-
-  get val(): V | undefined {
-    return this._val;
-  }
-
-  set val(value: V | undefined) {
-    this._val = value;
-  }
-
-  private _weight: number;
-
-  get weight(): number {
-    return this._weight;
-  }
-
-  set weight(v: number) {
-    this._weight = v;
-  }
-
   protected _hashCode: string;
 
   get hashCode(): string {
@@ -90,25 +58,17 @@ export abstract class AbstractEdge<V = any> {
    * In TypeScript, a subclass inherits the interface implementation of its parent class, without needing to implement the same interface again in the subclass. This behavior differs from Java's approach. In Java, if a parent class implements an interface, the subclass needs to explicitly implement the same interface, even if the parent class has already implemented it.
    * This means that using abstract methods in the parent class cannot constrain the grandchild classes. Defining methods within an interface also cannot constrain the descendant classes. When inheriting from this class, developers need to be aware that this method needs to be overridden.
    */
-
-  /**
-   * The function sets the value of the _hashCode property to the provided string.
-   * @param {string} v - The parameter "v" is of type string and represents the value that will be assigned to the
-   * "_hashCode" property.
-   */
-  protected _setHashCode(v: string) {
-    this._hashCode = v;
-  }
 }
 
 export abstract class AbstractGraph<
-  V extends AbstractVertex<any> = AbstractVertex<any>,
-  E extends AbstractEdge<any> = AbstractEdge<any>
-> implements IAbstractGraph<V, E>
-{
-  private _vertices: Map<VertexKey, V> = new Map<VertexKey, V>();
-
-  get vertices(): Map<VertexKey, V> {
+  V = any,
+  E = any,
+  VO extends AbstractVertex<V> = AbstractVertex<V>,
+  EO extends AbstractEdge<E> = AbstractEdge<E>
+> implements IGraph<V, E, VO, EO> {
+  protected _vertices: Map<VertexKey, VO> = new Map<VertexKey, VO>();
+
+  get vertices(): Map<VertexKey, VO> {
     return this._vertices;
   }
 
@@ -116,9 +76,9 @@ export abstract class AbstractGraph<
    * In TypeScript, a subclass inherits the interface implementation of its parent class, without needing to implement the same interface again in the subclass. This behavior differs from Java's approach. In Java, if a parent class implements an interface, the subclass needs to explicitly implement the same interface, even if the parent class has already implemented it.
    * This means that using abstract methods in the parent class cannot constrain the grandchild classes. Defining methods within an interface also cannot constrain the descendant classes. When inheriting from this class, developers need to be aware that this method needs to be overridden.
    * @param key
-   * @param val
+   * @param value
    */
-  abstract createVertex(key: VertexKey, val?: V): V;
+  abstract createVertex(key: VertexKey, value?: V): VO;
 
   /**
    * In TypeScript, a subclass inherits the interface implementation of its parent class, without needing to implement the same interface again in the subclass. This behavior differs from Java's approach. In Java, if a parent class implements an interface, the subclass needs to explicitly implement the same interface, even if the parent class has already implemented it.
@@ -126,23 +86,23 @@ export abstract class AbstractGraph<
    * @param srcOrV1
    * @param destOrV2
    * @param weight
-   * @param val
+   * @param value
    */
-  abstract createEdge(srcOrV1: VertexKey | string, destOrV2: VertexKey | string, weight?: number, val?: E): E;
+  abstract createEdge(srcOrV1: VertexKey, destOrV2: VertexKey, weight?: number, value?: E): EO;
 
-  abstract removeEdge(edge: E): E | null;
+  abstract deleteEdge(edge: EO): EO | null;
 
-  abstract getEdge(srcOrKey: V | VertexKey, destOrKey: V | VertexKey): E | null;
+  abstract getEdge(srcOrKey: VO | VertexKey, destOrKey: VO | VertexKey): EO | null;
 
-  abstract degreeOf(vertexOrKey: V | VertexKey): number;
+  abstract degreeOf(vertexOrKey: VO | VertexKey): number;
 
-  abstract edgeSet(): E[];
+  abstract edgeSet(): EO[];
 
-  abstract edgesOf(vertexOrKey: V | VertexKey): E[];
+  abstract edgesOf(vertexOrKey: VO | VertexKey): EO[];
 
-  abstract getNeighbors(vertexOrKey: V | VertexKey): V[];
+  abstract getNeighbors(vertexOrKey: VO | VertexKey): VO[];
 
-  abstract getEndsOfEdge(edge: E): [V, V] | null;
+  abstract getEndsOfEdge(edge: EO): [VO, VO] | null;
 
   /**
    * The function "getVertex" returns the vertex with the specified ID or null if it doesn't exist.
@@ -151,77 +111,77 @@ export abstract class AbstractGraph<
    * @returns The method `getVertex` returns the vertex with the specified `vertexKey` if it exists in the `_vertices`
    * map. If the vertex does not exist, it returns `null`.
    */
-  getVertex(vertexKey: VertexKey): V | null {
+  getVertex(vertexKey: VertexKey): VO | null {
     return this._vertices.get(vertexKey) || null;
   }
 
   /**
    * The function checks if a vertex exists in a graph.
-   * @param {V | VertexKey} vertexOrKey - The parameter `vertexOrKey` can be either a vertex object (`V`) or a vertex ID
+   * @param {VO | VertexKey} vertexOrKey - The parameter `vertexOrKey` can be either a vertex object (`VO`) or a vertex ID
    * (`VertexKey`).
    * @returns a boolean value.
    */
-  hasVertex(vertexOrKey: V | VertexKey): boolean {
+  hasVertex(vertexOrKey: VO | VertexKey): boolean {
     return this._vertices.has(this._getVertexKey(vertexOrKey));
   }
 
-  addVertex(vertex: V): boolean;
+  addVertex(vertex: VO): boolean;
 
-  addVertex(key: VertexKey, val?: V['val']): boolean;
+  addVertex(key: VertexKey, value?: V): boolean;
 
-  addVertex(keyOrVertex: VertexKey | V, val?: V['val']): boolean {
+  addVertex(keyOrVertex: VertexKey | VO, value?: V): boolean {
     if (keyOrVertex instanceof AbstractVertex) {
       return this._addVertexOnly(keyOrVertex);
     } else {
-      const newVertex = this.createVertex(keyOrVertex, val);
+      const newVertex = this.createVertex(keyOrVertex, value);
       return this._addVertexOnly(newVertex);
     }
   }
 
   /**
-   * The `removeVertex` function removes a vertex from a graph by its ID or by the vertex object itself.
-   * @param {V | VertexKey} vertexOrKey - The parameter `vertexOrKey` can be either a vertex object (`V`) or a vertex ID
+   * The `deleteVertex` function removes a vertex from a graph by its ID or by the vertex object itself.
+   * @param {VO | VertexKey} vertexOrKey - The parameter `vertexOrKey` can be either a vertex object (`VO`) or a vertex ID
    * (`VertexKey`).
    * @returns The method is returning a boolean value.
    */
-  removeVertex(vertexOrKey: V | VertexKey): boolean {
+  deleteVertex(vertexOrKey: VO | VertexKey): boolean {
     const vertexKey = this._getVertexKey(vertexOrKey);
     return this._vertices.delete(vertexKey);
   }
 
   /**
    * The function removes all vertices from a graph and returns a boolean indicating if any vertices were removed.
-   * @param {V[] | VertexKey[]} vertices - The `vertices` parameter can be either an array of vertices (`V[]`) or an array
+   * @param {VO[] | VertexKey[]} vertices - The `vertices` parameter can be either an array of vertices (`VO[]`) or an array
    * of vertex IDs (`VertexKey[]`).
    * @returns a boolean value. It returns true if at least one vertex was successfully removed, and false if no vertices
    * were removed.
    */
-  removeAllVertices(vertices: V[] | VertexKey[]): boolean {
+  removeManyVertices(vertices: VO[] | VertexKey[]): boolean {
     const removed: boolean[] = [];
     for (const v of vertices) {
-      removed.push(this.removeVertex(v));
+      removed.push(this.deleteVertex(v));
     }
     return removed.length > 0;
   }
 
   /**
    * The function checks if there is an edge between two vertices and returns a boolean value indicating the result.
-   * @param {VertexKey | V} v1 - The parameter v1 can be either a VertexKey or a V. A VertexKey represents the unique
-   * identifier of a vertex in a graph, while V represents the type of the vertex object itself.
-   * @param {VertexKey | V} v2 - The parameter `v2` represents the second vertex in the edge. It can be either a
-   * `VertexKey` or a `V` type, which represents the type of the vertex.
+   * @param {VertexKey | VO} v1 - The parameter v1 can be either a VertexKey or a VO. A VertexKey represents the unique
+   * identifier of a vertex in a graph, while VO represents the type of the vertex object itself.
+   * @param {VertexKey | VO} v2 - The parameter `v2` represents the second vertex in the edge. It can be either a
+   * `VertexKey` or a `VO` type, which represents the type of the vertex.
    * @returns A boolean value is being returned.
    */
-  hasEdge(v1: VertexKey | V, v2: VertexKey | V): boolean {
+  hasEdge(v1: VertexKey | VO, v2: VertexKey | VO): boolean {
     const edge = this.getEdge(v1, v2);
     return !!edge;
   }
 
-  addEdge(edge: E): boolean;
+  addEdge(edge: EO): boolean;
 
-  addEdge(src: V | VertexKey, dest: V | VertexKey, weight?: number, val?: E['val']): boolean;
+  addEdge(src: VO | VertexKey, dest: VO | VertexKey, weight?: number, value?: E): boolean;
 
-  addEdge(srcOrEdge: V | VertexKey | E, dest?: V | VertexKey, weight?: number, val?: E['val']): boolean {
+  addEdge(srcOrEdge: VO | VertexKey | EO, dest?: VO | VertexKey, weight?: number, value?: E): boolean {
     if (srcOrEdge instanceof AbstractEdge) {
       return this._addEdgeOnly(srcOrEdge);
     } else {
@@ -229,7 +189,7 @@ export abstract class AbstractGraph<
         if (!(this.hasVertex(srcOrEdge) && this.hasVertex(dest))) return false;
         if (srcOrEdge instanceof AbstractVertex) srcOrEdge = srcOrEdge.key;
         if (dest instanceof AbstractVertex) dest = dest.key;
-        const newEdge = this.createEdge(srcOrEdge, dest, weight, val);
+        const newEdge = this.createEdge(srcOrEdge, dest, weight, value);
         return this._addEdgeOnly(newEdge);
       } else {
         throw new Error('dest must be a Vertex or vertex key while srcOrEdge is an Edge');
@@ -239,16 +199,16 @@ export abstract class AbstractGraph<
 
   /**
    * The function sets the weight of an edge between two vertices in a graph.
-   * @param {VertexKey | V} srcOrKey - The `srcOrKey` parameter can be either a `VertexKey` or a `V` object. It represents
+   * @param {VertexKey | VO} srcOrKey - The `srcOrKey` parameter can be either a `VertexKey` or a `VO` object. It represents
    * the source vertex of the edge.
-   * @param {VertexKey | V} destOrKey - The `destOrKey` parameter represents the destination vertex of the edge. It can be
-   * either a `VertexKey` or a vertex object `V`.
+   * @param {VertexKey | VO} destOrKey - The `destOrKey` parameter represents the destination vertex of the edge. It can be
+   * either a `VertexKey` or a vertex object `VO`.
    * @param {number} weight - The weight parameter represents the weight of the edge between the source vertex (srcOrKey)
    * and the destination vertex (destOrKey).
    * @returns a boolean value. If the edge exists between the source and destination vertices, the function will update
    * the weight of the edge and return true. If the edge does not exist, the function will return false.
    */
-  setEdgeWeight(srcOrKey: VertexKey | V, destOrKey: VertexKey | V, weight: number): boolean {
+  setEdgeWeight(srcOrKey: VertexKey | VO, destOrKey: VertexKey | VO, weight: number): boolean {
     const edge = this.getEdge(srcOrKey, destOrKey);
     if (edge) {
       edge.weight = weight;
@@ -260,20 +220,20 @@ export abstract class AbstractGraph<
 
   /**
    * The function `getAllPathsBetween` finds all paths between two vertices in a graph using depth-first search.
-   * @param {V | VertexKey} v1 - The parameter `v1` represents either a vertex object (`V`) or a vertex ID (`VertexKey`).
+   * @param {VO | VertexKey} v1 - The parameter `v1` represents either a vertex object (`VO`) or a vertex ID (`VertexKey`).
    * It is the starting vertex for finding paths.
-   * @param {V | VertexKey} v2 - The parameter `v2` represents either a vertex object (`V`) or a vertex ID (`VertexKey`).
-   * @returns The function `getAllPathsBetween` returns an array of arrays of vertices (`V[][]`).
+   * @param {VO | VertexKey} v2 - The parameter `v2` represents either a vertex object (`VO`) or a vertex ID (`VertexKey`).
+   * @returns The function `getAllPathsBetween` returns an array of arrays of vertices (`VO[][]`).
    */
-  getAllPathsBetween(v1: V | VertexKey, v2: V | VertexKey): V[][] {
-    const paths: V[][] = [];
+  getAllPathsBetween(v1: VO | VertexKey, v2: VO | VertexKey): VO[][] {
+    const paths: VO[][] = [];
     const vertex1 = this._getVertex(v1);
     const vertex2 = this._getVertex(v2);
     if (!(vertex1 && vertex2)) {
       return [];
     }
 
-    const dfs = (cur: V, dest: V, visiting: Map<V, boolean>, path: V[]) => {
+    const dfs = (cur: VO, dest: VO, visiting: Map<VO, boolean>, path: VO[]) => {
       visiting.set(cur, true);
 
       if (cur === dest) {
@@ -285,23 +245,23 @@ export abstract class AbstractGraph<
         if (!visiting.get(neighbor)) {
           path.push(neighbor);
           dfs(neighbor, dest, visiting, path);
-          arrayRemove(path, (vertex: V) => vertex === neighbor);
+          arrayRemove(path, (vertex: VO) => vertex === neighbor);
         }
       }
 
       visiting.set(cur, false);
     };
 
-    dfs(vertex1, vertex2, new Map<V, boolean>(), []);
+    dfs(vertex1, vertex2, new Map<VO, boolean>(), []);
     return paths;
   }
 
   /**
    * The function calculates the sum of weights along a given path.
-   * @param {V[]} path - An array of vertices (V) representing a path in a graph.
+   * @param {VO[]} path - An array of vertices (VO) representing a path in a graph.
    * @returns The function `getPathSumWeight` returns the sum of the weights of the edges in the given path.
    */
-  getPathSumWeight(path: V[]): number {
+  getPathSumWeight(path: VO[]): number {
     let sum = 0;
     for (let i = 0; i < path.length; i++) {
       sum += this.getEdge(path[i], path[i + 1])?.weight || 0;
@@ -312,8 +272,8 @@ export abstract class AbstractGraph<
   /**
    * The function `getMinCostBetween` calculates the minimum cost between two vertices in a graph, either based on edge
    * weights or using a breadth-first search algorithm.
-   * @param {V | VertexKey} v1 - The parameter `v1` represents the starting vertex or its ID.
-   * @param {V | VertexKey} v2 - The parameter `v2` represents the destination vertex or its ID. It is the vertex to which
+   * @param {VO | VertexKey} v1 - The parameter `v1` represents the starting vertex or its ID.
+   * @param {VO | VertexKey} v2 - The parameter `v2` represents the destination vertex or its ID. It is the vertex to which
    * you want to find the minimum cost or weight from the source vertex `v1`.
    * @param {boolean} [isWeight] - isWeight is an optional parameter that indicates whether the graph edges have weights.
    * If isWeight is set to true, the function will calculate the minimum cost between v1 and v2 based on the weights of
@@ -323,7 +283,7 @@ export abstract class AbstractGraph<
    * vertices. If `isWeight` is `false` or not provided, it uses a breadth-first search (BFS) algorithm to calculate the
    * minimum number of
    */
-  getMinCostBetween(v1: V | VertexKey, v2: V | VertexKey, isWeight?: boolean): number | null {
+  getMinCostBetween(v1: VO | VertexKey, v2: VO | VertexKey, isWeight?: boolean): number | null {
     if (isWeight === undefined) isWeight = false;
 
     if (isWeight) {
@@ -341,12 +301,12 @@ export abstract class AbstractGraph<
         return null;
       }
 
-      const visited: Map<V, boolean> = new Map();
-      const queue: V[] = [vertex1];
+      const visited: Map<VO, boolean> = new Map();
+      const queue = new Queue<VO>([vertex1]);
       visited.set(vertex1, true);
       let cost = 0;
-      while (queue.length > 0) {
-        for (let i = 0; i < queue.length; i++) {
+      while (queue.size > 0) {
+        for (let i = 0; i < queue.size; i++) {
           const cur = queue.shift();
           if (cur === vertex2) {
             return cost;
@@ -371,17 +331,17 @@ export abstract class AbstractGraph<
   /**
    * The function `getMinPathBetween` returns the minimum path between two vertices in a graph, either based on weight or
    * using a breadth-first search algorithm.
-   * @param {V | VertexKey} v1 - The parameter `v1` represents the starting vertex of the path. It can be either a vertex
-   * object (`V`) or a vertex ID (`VertexKey`).
-   * @param {V | VertexKey} v2 - V | VertexKey - The second vertex or vertex ID between which we want to find the minimum
+   * @param {VO | VertexKey} v1 - The parameter `v1` represents the starting vertex of the path. It can be either a vertex
+   * object (`VO`) or a vertex ID (`VertexKey`).
+   * @param {VO | VertexKey} v2 - VO | VertexKey - The second vertex or vertex ID between which we want to find the minimum
    * path.
    * @param {boolean} [isWeight] - A boolean flag indicating whether to consider the weight of edges in finding the
    * minimum path. If set to true, the function will use Dijkstra's algorithm to find the minimum weighted path. If set
    * to false, the function will use breadth-first search (BFS) to find the minimum path.
-   * @returns The function `getMinPathBetween` returns an array of vertices (`V[]`) representing the minimum path between
+   * @returns The function `getMinPathBetween` returns an array of vertices (`VO[]`) representing the minimum path between
    * two vertices (`v1` and `v2`). If there is no path between the vertices, it returns `null`.
    */
-  getMinPathBetween(v1: V | VertexKey, v2: V | VertexKey, isWeight?: boolean): V[] | null {
+  getMinPathBetween(v1: VO | VertexKey, v2: VO | VertexKey, isWeight?: boolean): VO[] | null {
     if (isWeight === undefined) isWeight = false;
 
     if (isWeight) {
@@ -400,14 +360,14 @@ export abstract class AbstractGraph<
       return allPaths[minIndex] || null;
     } else {
       // BFS
-      let minPath: V[] = [];
+      let minPath: VO[] = [];
       const vertex1 = this._getVertex(v1);
       const vertex2 = this._getVertex(v2);
       if (!(vertex1 && vertex2)) {
         return [];
       }
 
-      const dfs = (cur: V, dest: V, visiting: Map<V, boolean>, path: V[]) => {
+      const dfs = (cur: VO, dest: VO, visiting: Map<VO, boolean>, path: VO[]) => {
         visiting.set(cur, true);
 
         if (cur === dest) {
@@ -420,29 +380,29 @@ export abstract class AbstractGraph<
           if (!visiting.get(neighbor)) {
             path.push(neighbor);
             dfs(neighbor, dest, visiting, path);
-            arrayRemove(path, (vertex: V) => vertex === neighbor);
+            arrayRemove(path, (vertex: VO) => vertex === neighbor);
           }
         }
 
         visiting.set(cur, false);
       };
 
-      dfs(vertex1, vertex2, new Map<V, boolean>(), []);
+      dfs(vertex1, vertex2, new Map<VO, boolean>(), []);
       return minPath;
     }
   }
 
   /**
-   * Dijkstra algorithm time: O(VE) space: O(V + E)
+   * Dijkstra algorithm time: O(VE) space: O(VO + EO)
    * /
 
    /**
-   * Dijkstra algorithm time: O(VE) space: O(V + E)
+   * Dijkstra algorithm time: O(VE) space: O(VO + EO)
    * The function `dijkstraWithoutHeap` implements Dijkstra's algorithm to find the shortest path between two vertices in
    * a graph without using a heap data structure.
-   * @param {V | VertexKey} src - The source vertex from which to start the Dijkstra's algorithm. It can be either a
+   * @param {VO | VertexKey} src - The source vertex from which to start the Dijkstra's algorithm. It can be either a
    * vertex object or a vertex ID.
-   * @param {V | VertexKey | null} [dest] - The `dest` parameter in the `dijkstraWithoutHeap` function is an optional
+   * @param {VO | VertexKey | null} [dest] - The `dest` parameter in the `dijkstraWithoutHeap` function is an optional
    * parameter that specifies the destination vertex for the Dijkstra algorithm. It can be either a vertex object or its
    * identifier. If no destination is provided, the value is set to `null`.
    * @param {boolean} [getMinDist] - The `getMinDist` parameter is a boolean flag that determines whether the minimum
@@ -451,27 +411,27 @@ export abstract class AbstractGraph<
    * @param {boolean} [genPaths] - The `genPaths` parameter is a boolean flag that determines whether or not to generate
    * paths in the Dijkstra algorithm. If `genPaths` is set to `true`, the algorithm will calculate and return the
    * shortest paths from the source vertex to all other vertices in the graph. If `genPaths
-   * @returns The function `dijkstraWithoutHeap` returns an object of type `DijkstraResult<V>`.
+   * @returns The function `dijkstraWithoutHeap` returns an object of type `DijkstraResult<VO>`.
    */
   dijkstraWithoutHeap(
-    src: V | VertexKey,
-    dest?: V | VertexKey | null,
+    src: VO | VertexKey,
+    dest?: VO | VertexKey | null,
     getMinDist?: boolean,
     genPaths?: boolean
-  ): DijkstraResult<V> {
+  ): DijkstraResult<VO> {
     if (getMinDist === undefined) getMinDist = false;
     if (genPaths === undefined) genPaths = false;
 
     if (dest === undefined) dest = null;
     let minDist = Infinity;
-    let minDest: V | null = null;
-    let minPath: V[] = [];
-    const paths: V[][] = [];
+    let minDest: VO | null = null;
+    let minPath: VO[] = [];
+    const paths: VO[][] = [];
 
     const vertices = this._vertices;
-    const distMap: Map<V, number> = new Map();
-    const seen: Set<V> = new Set();
-    const preMap: Map<V, V | null> = new Map(); // predecessor
+    const distMap: Map<VO, number> = new Map();
+    const seen: Set<VO> = new Set();
+    const preMap: Map<VO, VO | null> = new Map(); // predecessor
     const srcVertex = this._getVertex(src);
 
     const destVertex = dest ? this._getVertex(dest) : null;
@@ -489,11 +449,11 @@ export abstract class AbstractGraph<
 
     const getMinOfNoSeen = () => {
       let min = Infinity;
-      let minV: V | null = null;
-      for (const [key, val] of distMap) {
+      let minV: VO | null = null;
+      for (const [key, value] of distMap) {
         if (!seen.has(key)) {
-          if (val < min) {
-            min = val;
+          if (value < min) {
+            min = value;
             minV = key;
           }
         }
@@ -501,12 +461,12 @@ export abstract class AbstractGraph<
       return minV;
     };
 
-    const getPaths = (minV: V | null) => {
+    const getPaths = (minV: VO | null) => {
       for (const vertex of vertices) {
         const vertexOrKey = vertex[1];
 
         if (vertexOrKey instanceof AbstractVertex) {
-          const path: V[] = [vertexOrKey];
+          const path: VO[] = [vertexOrKey];
           let parent = preMap.get(vertexOrKey);
           while (parent) {
             path.push(parent);
@@ -553,14 +513,14 @@ export abstract class AbstractGraph<
     }
 
     getMinDist &&
-      distMap.forEach((d, v) => {
-        if (v !== srcVertex) {
-          if (d < minDist) {
-            minDist = d;
-            if (genPaths) minDest = v;
-          }
+    distMap.forEach((d, v) => {
+      if (v !== srcVertex) {
+        if (d < minDist) {
+          minDist = d;
+          if (genPaths) minDest = v;
         }
-      });
+      }
+    });
 
     genPaths && getPaths(minDest);
 
@@ -568,11 +528,11 @@ export abstract class AbstractGraph<
   }
 
   /**
-   * Dijkstra algorithm time: O(logVE) space: O(V + E)
+   * Dijkstra algorithm time: O(logVE) space: O(VO + EO)
    *
    * Dijkstra's algorithm only solves the single-source shortest path problem, while the Bellman-Ford algorithm and Floyd-Warshall algorithm can address shortest paths between all pairs of nodes.
    * Dijkstra's algorithm is suitable for graphs with non-negative edge weights, whereas the Bellman-Ford algorithm and Floyd-Warshall algorithm can handle negative-weight edges.
-   * The time complexity of Dijkstra's algorithm and the Bellman-Ford algorithm depends on the size of the graph, while the time complexity of the Floyd-Warshall algorithm is O(V^3), where V is the number of nodes. For dense graphs, Floyd-Warshall might become slower.
+   * The time complexity of Dijkstra's algorithm and the Bellman-Ford algorithm depends on the size of the graph, while the time complexity of the Floyd-Warshall algorithm is O(VO^3), where VO is the number of nodes. For dense graphs, Floyd-Warshall might become slower.
    *
    * /
 
@@ -580,9 +540,9 @@ export abstract class AbstractGraph<
    * Dijkstra's algorithm is used to find the shortest paths from a source node to all other nodes in a graph. Its basic idea is to repeatedly choose the node closest to the source node and update the distances of other nodes using this node as an intermediary. Dijkstra's algorithm requires that the edge weights in the graph are non-negative.
    * The `dijkstra` function implements Dijkstra's algorithm to find the shortest path between a source vertex and an
    * optional destination vertex, and optionally returns the minimum distance, the paths, and other information.
-   * @param {V | VertexKey} src - The `src` parameter represents the source vertex from which the Dijkstra algorithm will
+   * @param {VO | VertexKey} src - The `src` parameter represents the source vertex from which the Dijkstra algorithm will
    * start. It can be either a vertex object or a vertex ID.
-   * @param {V | VertexKey | null} [dest] - The `dest` parameter is the destination vertex or vertex ID. It specifies the
+   * @param {VO | VertexKey | null} [dest] - The `dest` parameter is the destination vertex or vertex ID. It specifies the
    * vertex to which the shortest path is calculated from the source vertex. If no destination is provided, the algorithm
    * will calculate the shortest paths to all other vertices from the source vertex.
    * @param {boolean} [getMinDist] - The `getMinDist` parameter is a boolean flag that determines whether the minimum
@@ -591,26 +551,26 @@ export abstract class AbstractGraph<
    * @param {boolean} [genPaths] - The `genPaths` parameter is a boolean flag that determines whether or not to generate
    * paths in the Dijkstra algorithm. If `genPaths` is set to `true`, the algorithm will calculate and return the
    * shortest paths from the source vertex to all other vertices in the graph. If `genPaths
-   * @returns The function `dijkstra` returns an object of type `DijkstraResult<V>`.
+   * @returns The function `dijkstra` returns an object of type `DijkstraResult<VO>`.
    */
   dijkstra(
-    src: V | VertexKey,
-    dest?: V | VertexKey | null,
+    src: VO | VertexKey,
+    dest?: VO | VertexKey | null,
     getMinDist?: boolean,
     genPaths?: boolean
-  ): DijkstraResult<V> {
+  ): DijkstraResult<VO> {
     if (getMinDist === undefined) getMinDist = false;
     if (genPaths === undefined) genPaths = false;
 
     if (dest === undefined) dest = null;
     let minDist = Infinity;
-    let minDest: V | null = null;
-    let minPath: V[] = [];
-    const paths: V[][] = [];
+    let minDest: VO | null = null;
+    let minPath: VO[] = [];
+    const paths: VO[][] = [];
     const vertices = this._vertices;
-    const distMap: Map<V, number> = new Map();
-    const seen: Set<V> = new Set();
-    const preMap: Map<V, V | null> = new Map(); // predecessor
+    const distMap: Map<VO, number> = new Map();
+    const seen: Set<VO> = new Set();
+    const preMap: Map<VO, VO | null> = new Map(); // predecessor
 
     const srcVertex = this._getVertex(src);
     const destVertex = dest ? this._getVertex(dest) : null;
@@ -622,24 +582,22 @@ export abstract class AbstractGraph<
       if (vertexOrKey instanceof AbstractVertex) distMap.set(vertexOrKey, Infinity);
     }
 
-    const heap = new PriorityQueue<{key: number; val: V}>({
-      comparator: (a, b) => a.key - b.key
-    });
-    heap.add({key: 0, val: srcVertex});
+    const heap = new PriorityQueue<{ key: number; value: VO }>({comparator: (a, b) => a.key - b.key});
+    heap.add({key: 0, value: srcVertex});
 
     distMap.set(srcVertex, 0);
     preMap.set(srcVertex, null);
 
     /**
      * The function `getPaths` retrieves all paths from vertices to a specified minimum vertex.
-     * @param {V | null} minV - The parameter `minV` is of type `V | null`. It represents the minimum vertex value or
+     * @param {VO | null} minV - The parameter `minV` is of type `VO | null`. It represents the minimum vertex value or
      * null.
      */
-    const getPaths = (minV: V | null) => {
+    const getPaths = (minV: VO | null) => {
       for (const vertex of vertices) {
         const vertexOrKey = vertex[1];
         if (vertexOrKey instanceof AbstractVertex) {
-          const path: V[] = [vertexOrKey];
+          const path: VO[] = [vertexOrKey];
           let parent = preMap.get(vertexOrKey);
           while (parent) {
             path.push(parent);
@@ -655,7 +613,7 @@ export abstract class AbstractGraph<
     while (heap.size > 0) {
       const curHeapNode = heap.poll();
       const dist = curHeapNode?.key;
-      const cur = curHeapNode?.val;
+      const cur = curHeapNode?.value;
       if (dist !== undefined) {
         if (cur) {
           seen.add(cur);
@@ -676,7 +634,7 @@ export abstract class AbstractGraph<
                 const distSrcToNeighbor = distMap.get(neighbor);
                 if (distSrcToNeighbor) {
                   if (dist + weight < distSrcToNeighbor) {
-                    heap.add({key: dist + weight, val: neighbor});
+                    heap.add({key: dist + weight, value: neighbor});
                     preMap.set(neighbor, cur);
                     distMap.set(neighbor, dist + weight);
                   }
@@ -707,17 +665,17 @@ export abstract class AbstractGraph<
   }
 
   /**
-   * BellmanFord time:O(VE) space:O(V)
+   * BellmanFord time:O(VE) space:O(VO)
    * one to rest pairs
    * /
 
    /**
-   * BellmanFord time:O(VE) space:O(V)
+   * BellmanFord time:O(VE) space:O(VO)
    * one to rest pairs
    * The Bellman-Ford algorithm is also used to find the shortest paths from a source node to all other nodes in a graph. Unlike Dijkstra's algorithm, it can handle edge weights that are negative. Its basic idea involves iterative relaxation of all edges for several rounds to gradually approximate the shortest paths. Due to its ability to handle negative-weight edges, the Bellman-Ford algorithm is more flexible in some scenarios.
    * The `bellmanFord` function implements the Bellman-Ford algorithm to find the shortest path from a source vertex to
    * all other vertices in a graph, and optionally detects negative cycles and generates the minimum path.
-   * @param {V | VertexKey} src - The `src` parameter is the source vertex from which the Bellman-Ford algorithm will
+   * @param {VO | VertexKey} src - The `src` parameter is the source vertex from which the Bellman-Ford algorithm will
    * start calculating the shortest paths. It can be either a vertex object or a vertex ID.
    * @param {boolean} [scanNegativeCycle] - A boolean flag indicating whether to scan for negative cycles in the graph.
    * @param {boolean} [getMin] - The `getMin` parameter is a boolean flag that determines whether the algorithm should
@@ -727,16 +685,16 @@ export abstract class AbstractGraph<
    * vertex.
    * @returns The function `bellmanFord` returns an object with the following properties:
    */
-  bellmanFord(src: V | VertexKey, scanNegativeCycle?: boolean, getMin?: boolean, genPath?: boolean) {
+  bellmanFord(src: VO | VertexKey, scanNegativeCycle?: boolean, getMin?: boolean, genPath?: boolean) {
     if (getMin === undefined) getMin = false;
     if (genPath === undefined) genPath = false;
 
     const srcVertex = this._getVertex(src);
-    const paths: V[][] = [];
-    const distMap: Map<V, number> = new Map();
-    const preMap: Map<V, V> = new Map(); // predecessor
+    const paths: VO[][] = [];
+    const distMap: Map<VO, number> = new Map();
+    const preMap: Map<VO, VO> = new Map(); // predecessor
     let min = Infinity;
-    let minPath: V[] = [];
+    let minPath: VO[] = [];
     // TODO
     let hasNegativeCycle: boolean | undefined;
     if (scanNegativeCycle) hasNegativeCycle = false;
@@ -771,7 +729,7 @@ export abstract class AbstractGraph<
       }
     }
 
-    let minDest: V | null = null;
+    let minDest: VO | null = null;
     if (getMin) {
       distMap.forEach((d, v) => {
         if (v !== srcVertex) {
@@ -787,7 +745,7 @@ export abstract class AbstractGraph<
       for (const vertex of vertices) {
         const vertexOrKey = vertex[1];
         if (vertexOrKey instanceof AbstractVertex) {
-          const path: V[] = [vertexOrKey];
+          const path: VO[] = [vertexOrKey];
           let parent = preMap.get(vertexOrKey);
           while (parent !== undefined) {
             path.push(parent);
@@ -816,34 +774,34 @@ export abstract class AbstractGraph<
   }
 
   /**
-   * Dijkstra algorithm time: O(logVE) space: O(V + E)
+   * Dijkstra algorithm time: O(logVE) space: O(VO + EO)
    * /
 
    /**
-   * Dijkstra algorithm time: O(logVE) space: O(V + E)
+   * Dijkstra algorithm time: O(logVE) space: O(VO + EO)
    * Dijkstra's algorithm is used to find the shortest paths from a source node to all other nodes in a graph. Its basic idea is to repeatedly choose the node closest to the source node and update the distances of other nodes using this node as an intermediary. Dijkstra's algorithm requires that the edge weights in the graph are non-negative.
    */
 
   /**
-   * BellmanFord time:O(VE) space:O(V)
+   * BellmanFord time:O(VE) space:O(VO)
    * one to rest pairs
    * The Bellman-Ford algorithm is also used to find the shortest paths from a source node to all other nodes in a graph. Unlike Dijkstra's algorithm, it can handle edge weights that are negative. Its basic idea involves iterative relaxation of all edges for several rounds to gradually approximate the shortest paths. Due to its ability to handle negative-weight edges, the Bellman-Ford algorithm is more flexible in some scenarios.
    * The `bellmanFord` function implements the Bellman-Ford algorithm to find the shortest path from a source vertex to
    */
 
   /**
-   * Floyd algorithm time: O(V^3) space: O(V^2), not support graph with negative weight cycle
+   * Floyd algorithm time: O(VO^3) space: O(VO^2), not support graph with negative weight cycle
    * all pairs
    * The Floyd-Warshall algorithm is used to find the shortest paths between all pairs of nodes in a graph. It employs dynamic programming to compute the shortest paths from any node to any other node. The Floyd-Warshall algorithm's advantage lies in its ability to handle graphs with negative-weight edges, and it can simultaneously compute shortest paths between any two nodes.
    */
 
   /**
-   * Floyd algorithm time: O(V^3) space: O(V^2), not support graph with negative weight cycle
+   * Floyd algorithm time: O(VO^3) space: O(VO^2), not support graph with negative weight cycle
    * all pairs
    * /
 
    /**
-   * Floyd algorithm time: O(V^3) space: O(V^2), not support graph with negative weight cycle
+   * Floyd algorithm time: O(VO^3) space: O(VO^2), not support graph with negative weight cycle
    * all pairs
    * The Floyd-Warshall algorithm is used to find the shortest paths between all pairs of nodes in a graph. It employs dynamic programming to compute the shortest paths from any node to any other node. The Floyd-Warshall algorithm's advantage lies in its ability to handle graphs with negative-weight edges, and it can simultaneously compute shortest paths between any two nodes.
    * The function implements the Floyd-Warshall algorithm to find the shortest path between all pairs of vertices in a
@@ -853,12 +811,12 @@ export abstract class AbstractGraph<
    * `predecessor` property is a 2D array of vertices (or `null`) representing the predecessor vertices in the shortest
    * path between vertices in the
    */
-  floyd(): {costs: number[][]; predecessor: (V | null)[][]} {
+  floyd(): { costs: number[][]; predecessor: (VO | null)[][] } {
     const idAndVertices = [...this._vertices];
     const n = idAndVertices.length;
 
     const costs: number[][] = [];
-    const predecessor: (V | null)[][] = [];
+    const predecessor: (VO | null)[][] = [];
     // successors
 
     for (let i = 0; i < n; i++) {
@@ -928,8 +886,8 @@ export abstract class AbstractGraph<
     if (needSCCs === undefined) needSCCs = defaultConfig;
     if (needCycles === undefined) needCycles = defaultConfig;
 
-    const dfnMap: Map<V, number> = new Map();
-    const lowMap: Map<V, number> = new Map();
+    const dfnMap: Map<VO, number> = new Map();
+    const lowMap: Map<VO, number> = new Map();
     const vertices = this._vertices;
     vertices.forEach(v => {
       dfnMap.set(v, -1);
@@ -938,10 +896,10 @@ export abstract class AbstractGraph<
 
     const [root] = vertices.values();
 
-    const articulationPoints: V[] = [];
-    const bridges: E[] = [];
+    const articulationPoints: VO[] = [];
+    const bridges: EO[] = [];
     let dfn = 0;
-    const dfs = (cur: V, parent: V | null) => {
+    const dfs = (cur: VO, parent: VO | null) => {
       dfn++;
       dfnMap.set(cur, dfn);
       lowMap.set(cur, dfn);
@@ -984,10 +942,10 @@ export abstract class AbstractGraph<
 
     dfs(root, null);
 
-    let SCCs: Map<number, V[]> = new Map();
+    let SCCs: Map<number, VO[]> = new Map();
 
     const getSCCs = () => {
-      const SCCs: Map<number, V[]> = new Map();
+      const SCCs: Map<number, VO[]> = new Map();
       lowMap.forEach((low, vertex) => {
         if (!SCCs.has(low)) {
           SCCs.set(low, [vertex]);
@@ -1002,9 +960,9 @@ export abstract class AbstractGraph<
       SCCs = getSCCs();
     }
 
-    const cycles: Map<number, V[]> = new Map();
+    const cycles: Map<number, VO[]> = new Map();
     if (needCycles) {
-      let SCCs: Map<number, V[]> = new Map();
+      let SCCs: Map<number, VO[]> = new Map();
       if (SCCs.size < 1) {
         SCCs = getSCCs();
       }
@@ -1019,9 +977,9 @@ export abstract class AbstractGraph<
     return {dfnMap, lowMap, bridges, articulationPoints, SCCs, cycles};
   }
 
-  protected abstract _addEdgeOnly(edge: E): boolean;
+  protected abstract _addEdgeOnly(edge: EO): boolean;
 
-  protected _addVertexOnly(newVertex: V): boolean {
+  protected _addVertexOnly(newVertex: VO): boolean {
     if (this.hasVertex(newVertex)) {
       return false;
       // throw (new Error('Duplicated vertex key is not allowed'));
@@ -1030,16 +988,13 @@ export abstract class AbstractGraph<
     return true;
   }
 
-  protected _getVertex(vertexOrKey: VertexKey | V): V | null {
+  protected _getVertex(vertexOrKey: VertexKey | VO): VO | null {
     const vertexKey = this._getVertexKey(vertexOrKey);
     return this._vertices.get(vertexKey) || null;
   }
 
-  protected _getVertexKey(vertexOrKey: V | VertexKey): VertexKey {
+  protected _getVertexKey(vertexOrKey: VO | VertexKey): VertexKey {
     return vertexOrKey instanceof AbstractVertex ? vertexOrKey.key : vertexOrKey;
   }
 
-  protected _setVertices(value: Map<VertexKey, V>) {
-    this._vertices = value;
-  }
 }