@mark1russell7/highways 0.1.2 → 0.1.3

package/src/routers/sections.ts

@@ -1,4 +1,5 @@
-import { center, dist, polylineLength, type Box, type Point } from "../geom.ts";
+import { BACKTRACK_MIN, goesOutAndBack } from "../bench/links.ts";
+import { center, dist, pointSegmentDistance, polylineLength, type Box, type Point } from "../geom.ts";
 import { levelLinks, type ItemPair } from "../levels.ts";
 import { nodeIndex, type Graph, type Level, type LevelItem, type Node, type Result, type Route, type Router, type SharedRun } from "../model.ts";
 import { placePlug } from "../plugs.ts";
@@ -23,12 +24,20 @@ export interface SectionsOptions extends WayOptions, SectionOptions {
 
 const dedupe = (p: readonly Point[]): Point[] => p.filter((q, i) => i === 0 || dist(q, p[i - 1]!) > 1e-9);
 
+/**
+ * A hub can be this many units farther from the target than the nearest approach of the way before it.
+ * A hub farther away goes out and back, so the way skips it.
+ */
+const HUB_SLACK = 2 * BACKTRACK_MIN;
+
 /**
  * This function makes a router with a tree of sections. Each section has a hub: the free corner nearest to the center of its nodes.
  * An edge goes from its node up the hubs of its sections to the lowest common section, across, and down to the other node.
  * Each way from hub to hub is found one time, so all the edges on it share its points.
  * The edges in one section of the lowest level go straight around the nodes.
  *
+ * An edge skips a hub that takes it away from its target. A way that still goes out and back gives way to the direct way.
+ *
  * The result gives one zoom level for each depth of the tree.
  * A link of a level goes from the boundary of one item to the boundary of the other, around the other items.
  */
@@ -66,6 +75,20 @@ export function sectionsRouter(options: SectionsOptions): Router {
         }
         return h;
       };
+      // The sections of the chain whose hubs do not take the way away from its target. The test uses the straight lines from hub to hub.
+      const forward = (list: readonly Section[], from: Point, to: Point): Section[] => {
+        const kept: Section[] = [];
+        let near = dist(from, to);
+        let last = from;
+        for (const c of list) {
+          const h = hub(c);
+          if (dist(h, to) > near + HUB_SLACK) continue;
+          near = Math.min(near, pointSegmentDistance(to, last, h));
+          last = h;
+          kept.push(c);
+        }
+        return kept;
+      };
       const up = (s: Section): Section[] => {
         const out: Section[] = [];
         for (let x: Section | undefined = s; x; x = parent.get(x)) out.push(x);
@@ -111,20 +134,24 @@ export function sectionsRouter(options: SectionsOptions): Router {
         const lca = a.find((x) => common.has(x))!;
         const keep = options.hubs ?? Infinity;
         const side = (list: Section[]): Section[] => list.slice(Math.max(0, list.indexOf(lca) - keep), list.indexOf(lca));
-        const chain = [...side(a), ...side(b).reverse()];
+        const end = ways.out(pt);
+        const start = ways.out(ps);
+        const chain = forward([...side(a), ...side(b).reverse()], start, pt.point);
+        if (chain.length === 0) {
+          routes.push({ edge: e.id, points: ways.between(ps, pt, new Set<Node>([s, t])) });
+          continue;
+        }
         const out: Point[] = [ps.point];
         const append = (p: readonly Point[]): void => {
           for (const q of p) if (dist(q, out[out.length - 1]!) > 1e-9) out.push(q);
         };
         const used: string[] = [];
-        const start = ways.out(ps);
         append(piece(at(start), start, chain[0]!.id, hub(chain[0]!), used));
         for (let i = 1; i < chain.length; i++) append(piece(chain[i - 1]!.id, hub(chain[i - 1]!), chain[i]!.id, hub(chain[i]!), used));
-        const end = ways.out(pt);
         append(piece(chain[chain.length - 1]!.id, hub(chain[chain.length - 1]!), at(end), end, used));
         append([pt.point]);
-        // A way through the hubs that is too long gives way to the direct way.
-        if (polylineLength(out) > stretch * dist(ps.point, pt.point) + 4 * ways.margin) {
+        // A way through the hubs that is too long, or that goes out and back, gives way to the direct way.
+        if (polylineLength(out) > stretch * dist(ps.point, pt.point) + 4 * ways.margin || goesOutAndBack(out)) {
           routes.push({ edge: e.id, points: ways.between(ps, pt, new Set<Node>([s, t])) });
           continue;
         }

package/src/visibility.ts

@@ -1,4 +1,4 @@
-import { dist, inflate, segmentHitsRect, type Point } from "./geom.ts";
+import { dist, inflate, segmentHitsRect, type Box, type Point } from "./geom.ts";
 import { Grid } from "./grid.ts";
 import type { Node } from "./model.ts";
 
@@ -14,14 +14,21 @@ export class Obstacles {
 
   /** This method tells if the segment `ab` stays out of each box, made larger by `pad`. The nodes in `skip` do not count. */
   clear(a: Point, b: Point, pad: number, skip?: ReadonlySet<Node>): boolean {
-    let ok = true;
-    this.#grid.querySegment(a, b, pad, (n) => {
-      if (ok && !skip?.has(n)) {
-        const x = n.box;
-        if (segmentHitsRect(a, b, x.x - pad, x.y - pad, x.x + x.w + pad, x.y + x.h + pad)) ok = false;
-      }
+    return this.hit(a, b, pad, skip) === undefined;
+  }
+
+  /**
+   * This method gives a node whose box, made larger by `pad`, the segment `ab` goes into, or `undefined` when the segment is clear.
+   * The nodes in `skip` do not count. The test stops at the first such node.
+   */
+  hit(a: Point, b: Point, pad: number, skip?: ReadonlySet<Node>): Node | undefined {
+    let found: Node | undefined;
+    this.#grid.someSegment(a, b, pad, (n) => {
+      if (skip?.has(n) || !hits(a, b, n, pad)) return false;
+      found = n;
+      return true;
     });
-    return ok;
+    return found;
   }
 
   /** This method tells if the polyline stays out of each box, made larger by `pad`. The nodes in `skip` do not count. */
@@ -30,6 +37,11 @@ export class Obstacles {
     return true;
   }
 
+  /** This method gives each node whose bucket the box touches to `visit`. A node can be outside the box. */
+  query(box: Box, visit: (n: Node) => void): void {
+    this.#grid.query(box, visit);
+  }
+
   /** This method tells if the point is inside a box, made larger by `pad`. The node `skip` does not count. */
   inside(p: Point, pad: number, skip?: Node): boolean {
     let hit = false;
@@ -43,6 +55,26 @@ export class Obstacles {
   }
 }
 
+/** This function tells if the segment `ab` goes into the box of the node, made larger by `pad`. */
+function hits(a: Point, b: Point, n: Node, pad: number): boolean {
+  const x = n.box;
+  return segmentHitsRect(a, b, x.x - pad, x.y - pad, x.x + x.w + pad, x.y + x.h + pad);
+}
+
+/** A free point at an end of a search of `CornerGraph.pathAmong`, and the cost to reach it. */
+export interface Terminal {
+  readonly point: Point;
+  readonly cost: number;
+}
+
+/** A path of `CornerGraph.pathAmong`: its points, the index of its first point in `from`, the index of its last point in `to`, and its cost. */
+export interface Among {
+  readonly points: Point[];
+  readonly from: number;
+  readonly to: number;
+  readonly cost: number;
+}
+
 /** The options of the corner graph. */
 export interface CornerGraphOptions {
   /** The distance from a box to its corners. */
@@ -78,11 +110,18 @@ export class CornerGraph {
   #open = new Int32Array(0);
   #closed = new Int32Array(0);
   #stamp = 0;
-  // The stamp of the last call of nearestVisible that tested each corner.
-  #tested = new Int32Array(0);
-  #testStamp = 0;
+  // The corners in each bucket of the point grid, by the key of the bucket. A corner is in one bucket: the bucket of its point.
+  readonly #buckets = new Map<number, number[]>();
+  // The distance from the point of the last call of nearestVisible to each corner that the call found.
+  #dist = new Float64Array(0);
+  // The corners of one ring of nearestVisible, nearest first.
+  readonly #near = new MinHeap();
   // The corners that each end of a path sees, by the coordinates of the end.
   readonly #endCache = new Map<string, number[]>();
+  // The corners that each end of a path of `pathAmong` sees. Such a path has several ends, so each end takes fewer corners.
+  readonly #fewCache = new Map<string, number[]>();
+  // The connected part of the graph of each corner. The first call of `path` makes it.
+  #part: Int32Array | undefined;
 
   /** This constructor makes the graph of the nodes. */
   constructor(nodes: readonly Node[], obstacles: Obstacles, options: CornerGraphOptions) {
@@ -138,7 +177,12 @@ export class CornerGraph {
   }
 
   #addPoint(c: Point): void {
-    this.#pointGrid.add(this.points.length, { x: c.x, y: c.y, w: 0, h: 0 });
+    const j = this.points.length;
+    this.#pointGrid.add(j, { x: c.x, y: c.y, w: 0, h: 0 });
+    const key = bucketKey(Math.floor(c.x / this.#cell), Math.floor(c.y / this.#cell));
+    const list = this.#buckets.get(key);
+    if (list === undefined) this.#buckets.set(key, [j]);
+    else list.push(j);
     this.points.push(c);
   }
 
@@ -172,24 +216,78 @@ export class CornerGraph {
     return this.#nearestVisible(p, k, self, this.#pad);
   }
 
+  /**
+   * This method tests the corners in rings of radius `r` = 1, 2, 4 and 8 cells. In each ring, it tests the corners
+   * within `r` that an earlier ring did not test, nearest first, and equal distances by index.
+   * The ring of `r` takes the corners of the buckets that the square of side `2r` around `p` touches.
+   * A corner of these buckets beyond `r` waits for the next ring. So the method visits each bucket one time.
+   */
   #nearestVisible(p: Point, k: number, self: number, pad: number): number[] {
     const out: number[] = [];
-    if (this.#tested.length < this.points.length) this.#tested = new Int32Array(this.points.length);
-    const tested = this.#tested;
-    const stamp = ++this.#testStamp;
-    for (let r = this.#cell; r <= this.#cell * 8; r *= 2) {
-      const cands: [number, number][] = [];
-      this.#pointGrid.query({ x: p.x - r, y: p.y - r, w: 2 * r, h: 2 * r }, (j) => {
-        if (j !== self && tested[j] !== stamp) cands.push([dist(p, this.points[j]!), j]);
-      });
-      cands.sort((a, b) => a[0] - b[0] || a[1] - b[1]);
-      for (const [d, j] of cands) {
-        // A corner beyond r can be nearer than a corner of the next ring, so it waits for that ring.
-        if (d > r) break;
-        tested[j] = stamp;
-        if (this.#obstacles.clear(p, this.points[j]!, pad)) out.push(j);
-        if (out.length >= k) return out;
+    if (this.#dist.length < this.points.length) this.#dist = new Float64Array(this.points.length);
+    const dd = this.#dist;
+    const points = this.points;
+    const cell = this.#cell;
+    const blockers: Node[] = [];
+    const now = this.#near;
+    // The corners that the rings found beyond their radius. The next ring takes them.
+    let wait: number[] = [];
+    // The bucket range of the ring before. The first ring has none.
+    let pi0 = 1;
+    let pi1 = 0;
+    let pj0 = 1;
+    let pj1 = 0;
+    for (let r = cell; r <= cell * 8; r *= 2) {
+      // These bounds are the bounds of a query of the box at (p.x - r, p.y - r) with the side 2r.
+      const x0 = p.x - r;
+      const y0 = p.y - r;
+      const i0 = Math.floor(x0 / cell);
+      const j0 = Math.floor(y0 / cell);
+      const i1 = Math.floor((x0 + 2 * r) / cell);
+      const j1 = Math.floor((y0 + 2 * r) / cell);
+      const later: number[] = [];
+      now.clear();
+      for (const j of wait) {
+        if (dd[j]! > r) later.push(j);
+        else now.add(dd[j]!, j);
+      }
+      for (let bi = i0; bi <= i1; bi++) {
+        const before = bi >= pi0 && bi <= pi1;
+        for (let bj = j0; bj <= j1; bj++) {
+          if (before && bj >= pj0 && bj <= pj1) continue;
+          const list = this.#buckets.get(bucketKey(bi, bj));
+          if (list === undefined) continue;
+          for (const j of list) {
+            if (j === self) continue;
+            const d = dist(p, points[j]!);
+            dd[j] = d;
+            if (d > r) later.push(j);
+            else now.add(d, j);
+          }
+        }
+      }
+      // The heap gives the corners nearest first, and equal distances by index. A call often stops after a few corners.
+      now.build();
+      while (now.size > 0) {
+        const j = now.pop();
+        // A node that stopped an earlier segment often stops this segment too, so the test takes these nodes first.
+        // The order of the nodes does not change the result.
+        const q = points[j]!;
+        let blocked = false;
+        for (let b = 0; b < blockers.length && !blocked; b++) blocked = hits(p, q, blockers[b]!, pad);
+        if (blocked) continue;
+        const hit = this.#obstacles.hit(p, q, pad);
+        if (hit !== undefined) blockers.push(hit);
+        else {
+          out.push(j);
+          if (out.length >= k) return out;
+        }
       }
+      wait = later;
+      pi0 = i0;
+      pi1 = i1;
+      pj0 = j0;
+      pj1 = j1;
     }
     return out;
   }
@@ -202,6 +300,35 @@ export class CornerGraph {
    */
   path(from: Point, to: Point, cost?: (i: number, j: number, d: number) => number, floor: number = 1): Point[] | undefined {
     if (this.#obstacles.clear(from, to, this.#pad)) return [from, to];
+    return this.#search([{ point: from, cost: 0 }], [{ point: to, cost: 0 }], cost, floor, this.#k * 2)?.points;
+  }
+
+  /**
+   * This method gives the shortest path from a point of `from` to a point of `to`, or `undefined` when the graph has none.
+   * The cost of a path includes the costs of its two points. One search finds the path, so this method is faster than a call of `path` for each pair.
+   */
+  pathAmong(from: readonly Terminal[], to: readonly Terminal[]): Among | undefined {
+    const found = this.#search(from, to, undefined, 1, this.#k);
+    // A straight line between two points that costs less than the found path is better. The test takes the lines in order of cost.
+    const lines: Among[] = [];
+    from.forEach((a, i) =>
+      to.forEach((b, k) => {
+        const c = a.cost + dist(a.point, b.point) + b.cost;
+        if (!found || c < found.cost) lines.push({ points: [a.point, b.point], from: i, to: k, cost: c });
+      }),
+    );
+    lines.sort((u, v) => u.cost - v.cost);
+    return lines.find((l) => this.#obstacles.clear(l.points[0]!, l.points[1]!, this.#pad)) ?? found;
+  }
+
+  /** This method is the search (A*) of `path` and `pathAmong`. */
+  #search(
+    from: readonly Terminal[],
+    to: readonly Terminal[],
+    cost: ((i: number, j: number, d: number) => number) | undefined,
+    floor: number,
+    count: number,
+  ): Among | undefined {
     const n = this.points.length;
     if (this.#g.length < n) {
       this.#g = new Float64Array(n);
@@ -210,28 +337,54 @@ export class CornerGraph {
       this.#closed = new Int32Array(n);
     }
     const stamp = ++this.#stamp;
+    const points = this.points;
+    // The cost from each corner near a point of `to` to that point, and the index of that point.
     const goal = new Map<number, number>();
-    for (const j of this.#ends(to)) goal.set(j, dist(this.points[j]!, to));
+    const goalOf = new Map<number, number>();
+    to.forEach((b, k) => {
+      for (const j of this.#ends(b.point, count)) {
+        const tail = dist(points[j]!, b.point) + b.cost;
+        const now = goal.get(j);
+        if (now === undefined || tail < now) {
+          goal.set(j, tail);
+          goalOf.set(j, k);
+        }
+      }
+    });
     if (goal.size === 0) return undefined;
+    const starts = from.map((a) => this.#ends(a.point, count));
+    // Without a start and a goal in one connected part, A* finds no path. This test stops it before it visits the whole part.
+    if (!starts.some((list) => this.#joined(list, goal))) return undefined;
     const heap = new MinHeap();
-    const h = (i: number): number => floor * dist(this.points[i]!, to);
+    const G = this.#g;
+    const parentOf = this.#parent;
+    const open = this.#open;
+    const closed = this.#closed;
+    const estimate = (p: Point): number => {
+      let h = Infinity;
+      for (const b of to) h = Math.min(h, dist(p, b.point));
+      return floor * h;
+    };
     const relax = (j: number, g: number, parent: number): void => {
-      if (this.#closed[j] === stamp) return;
-      if (this.#open[j] === stamp && this.#g[j]! <= g) return;
-      this.#open[j] = stamp;
-      this.#g[j] = g;
-      this.#parent[j] = parent;
-      heap.push(g + h(j), j);
+      if (closed[j] === stamp) return;
+      if (open[j] === stamp && G[j]! <= g) return;
+      open[j] = stamp;
+      G[j] = g;
+      parentOf[j] = parent;
+      heap.push(g + estimate(points[j]!), j);
     };
-    for (const j of this.#ends(from)) relax(j, dist(from, this.points[j]!), -1);
+    // The parent of a first corner is -1 - i, where i is the index of its point in `from`.
+    from.forEach((a, i) => {
+      for (const j of starts[i]!) relax(j, a.cost + dist(a.point, points[j]!), -1 - i);
+    });
     let best = Infinity;
     let bestEnd = -1;
     while (heap.size > 0) {
       if (heap.topKey >= best) break;
       const i = heap.pop();
-      if (this.#closed[i] === stamp) continue;
-      this.#closed[i] = stamp;
-      const gi = this.#g[i]!;
+      if (closed[i] === stamp) continue;
+      closed[i] = stamp;
+      const gi = G[i]!;
       const tail = goal.get(i);
       if (tail !== undefined && gi + tail < best) {
         best = gi + tail;
@@ -241,29 +394,67 @@ export class CornerGraph {
       const len = this.#len[i]!;
       for (let m = 0; m < adj.length; m++) {
         const j = adj[m]!;
+        if (closed[j] === stamp) continue;
         const d = len[m]!;
         relax(j, gi + (cost ? cost(i, j, d) : d), i);
       }
     }
     if (bestEnd < 0) return undefined;
-    const out: Point[] = [to];
-    for (let i = bestEnd; i >= 0; i = this.#parent[i]!) out.push(this.points[i]!);
-    out.push(from);
-    return out.reverse();
+    const k = goalOf.get(bestEnd)!;
+    const out: Point[] = [to[k]!.point];
+    for (let i = bestEnd; ; i = parentOf[i]!) {
+      out.push(points[i]!);
+      if (parentOf[i]! < 0) {
+        const f = -1 - parentOf[i]!;
+        out.push(from[f]!.point);
+        return { points: out.reverse(), from: f, to: k, cost: best };
+      }
+    }
+  }
+
+  /** This method tells if a corner of `starts` and a corner of `goal` are in one connected part of the graph. */
+  #joined(starts: readonly number[], goal: ReadonlyMap<number, number>): boolean {
+    const part = (this.#part ??= this.#parts());
+    const goals = new Set<number>();
+    for (const j of goal.keys()) goals.add(part[j]!);
+    for (const j of starts) if (goals.has(part[j]!)) return true;
+    return false;
+  }
+
+  /** This method gives the number of the connected part of each corner. */
+  #parts(): Int32Array {
+    const part = new Int32Array(this.points.length).fill(-1);
+    const stack: number[] = [];
+    let count = 0;
+    for (let i = 0; i < part.length; i++) {
+      if (part[i] !== -1) continue;
+      part[i] = count;
+      stack.push(i);
+      while (stack.length > 0) {
+        for (const j of this.#adj[stack.pop()!]!) {
+          if (part[j] !== -1) continue;
+          part[j] = count;
+          stack.push(j);
+        }
+      }
+      count++;
+    }
+    return part;
   }
 
   /**
-   * This method gives the corners that an end of a path can see. An end near a box sees no corner with the clearance.
+   * This method gives at most `count` corners that an end of a path can see. An end near a box sees no corner with the clearance.
    * Then the end takes the corners that it sees without the clearance, so the path does not cut through the boxes.
    * The graph does not change, so the method keeps the corners of each end.
    */
-  #ends(p: Point): number[] {
+  #ends(p: Point, count: number): number[] {
+    const cache = count === this.#k * 2 ? this.#endCache : this.#fewCache;
     const key = `${p.x},${p.y}`;
-    let out = this.#endCache.get(key);
+    let out = cache.get(key);
     if (!out) {
-      out = this.nearestVisible(p, this.#k * 2);
-      if (out.length === 0) out = this.#nearestVisible(p, this.#k * 2, -1, 0);
-      this.#endCache.set(key, out);
+      out = this.nearestVisible(p, count);
+      if (out.length === 0) out = this.#nearestVisible(p, count, -1, 0);
+      cache.set(key, out);
     }
     return out;
   }
@@ -283,65 +474,91 @@ export class CornerGraph {
   }
 }
 
-/** A binary min-heap of (key, value) pairs. Equal keys come out by the smaller value, so the order is deterministic. */
-class MinHeap {
-  readonly #k: number[] = [];
-  readonly #v: number[] = [];
-
-  get size(): number {
-    return this.#k.length;
-  }
-
-  #less(a: number, b: number): boolean {
-    return this.#k[a]! < this.#k[b]! || (this.#k[a] === this.#k[b] && this.#v[a]! < this.#v[b]!);
-  }
+/** This function packs the two indices of a bucket into one number. Each index stays within ±2^20. */
+const bucketKey = (i: number, j: number): number => (i + 1_048_576) * 2_097_152 + (j + 1_048_576);
 
-  #swap(a: number, b: number): void {
-    const k = this.#k[a]!;
-    this.#k[a] = this.#k[b]!;
-    this.#k[b] = k;
-    const v = this.#v[a]!;
-    this.#v[a] = this.#v[b]!;
-    this.#v[b] = v;
-  }
+/**
+ * A binary min-heap of (key, value) pairs in typed arrays. The pairs come out by key, and equal keys by value, so the order is deterministic.
+ * The method `push` adds a pair to the heap. The method `add` only appends a pair, and the method `build` then makes the heap of all the pairs.
+ */
+class MinHeap {
+  #d = new Float64Array(64);
+  #j = new Int32Array(64);
+  size = 0;
 
   /** The smallest key. */
   get topKey(): number {
-    return this.#k[0]!;
+    return this.#d[0]!;
   }
 
   push(key: number, value: number): void {
-    this.#k.push(key);
-    this.#v.push(value);
-    let i = this.#k.length - 1;
+    this.add(key, value);
+    const d = this.#d;
+    const jj = this.#j;
+    let i = this.size - 1;
     while (i > 0) {
       const p = (i - 1) >> 1;
-      if (!this.#less(i, p)) break;
-      this.#swap(i, p);
+      if (!(key < d[p]! || (key === d[p] && value < jj[p]!))) break;
+      d[i] = d[p]!;
+      jj[i] = jj[p]!;
       i = p;
     }
+    d[i] = key;
+    jj[i] = value;
+  }
+
+  clear(): void {
+    this.size = 0;
+  }
+
+  add(d: number, j: number): void {
+    if (this.size === this.#d.length) {
+      const dd = new Float64Array(2 * this.size);
+      dd.set(this.#d);
+      this.#d = dd;
+      const jj = new Int32Array(2 * this.size);
+      jj.set(this.#j);
+      this.#j = jj;
+    }
+    this.#d[this.size] = d;
+    this.#j[this.size] = j;
+    this.size++;
+  }
+
+  build(): void {
+    for (let i = (this.size >> 1) - 1; i >= 0; i--) this.#down(i);
   }
 
   /** This method removes the pair with the smallest key and gives its value. */
   pop(): number {
-    const top = this.#v[0]!;
-    const k = this.#k.pop()!;
-    const v = this.#v.pop()!;
-    if (this.#k.length > 0) {
-      this.#k[0] = k;
-      this.#v[0] = v;
-      let i = 0;
-      for (;;) {
-        const l = 2 * i + 1;
-        const r = l + 1;
-        let m = i;
-        if (l < this.#k.length && this.#less(l, m)) m = l;
-        if (r < this.#k.length && this.#less(r, m)) m = r;
-        if (m === i) break;
-        this.#swap(i, m);
-        i = m;
-      }
+    const top = this.#j[0]!;
+    this.size--;
+    if (this.size > 0) {
+      this.#d[0] = this.#d[this.size]!;
+      this.#j[0] = this.#j[this.size]!;
+      this.#down(0);
     }
     return top;
   }
+
+  #down(i: number): void {
+    const d = this.#d;
+    const jj = this.#j;
+    const n = this.size;
+    const di = d[i]!;
+    const ji = jj[i]!;
+    for (;;) {
+      const l = 2 * i + 1;
+      if (l >= n) break;
+      const r = l + 1;
+      let m = l;
+      if (r < n && (d[r]! < d[l]! || (d[r] === d[l] && jj[r]! < jj[l]!))) m = r;
+      if (!(d[m]! < di || (d[m] === di && jj[m]! < ji))) break;
+      d[i] = d[m]!;
+      jj[i] = jj[m]!;
+      i = m;
+    }
+    d[i] = di;
+    jj[i] = ji;
+  }
 }