2021-06-10 13:40:10 +03:00
|
|
|
/*
|
|
|
|
Copyright 2021 The Matrix.org Foundation C.I.C.
|
|
|
|
|
|
|
|
Licensed under the Apache License, Version 2.0 (the "License");
|
|
|
|
you may not use this file except in compliance with the License.
|
|
|
|
You may obtain a copy of the License at
|
|
|
|
|
|
|
|
http://www.apache.org/licenses/LICENSE-2.0
|
|
|
|
|
|
|
|
Unless required by applicable law or agreed to in writing, software
|
|
|
|
distributed under the License is distributed on an "AS IS" BASIS,
|
|
|
|
WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
|
|
|
|
See the License for the specific language governing permissions and
|
|
|
|
limitations under the License.
|
|
|
|
*/
|
|
|
|
|
2021-06-11 12:33:00 +03:00
|
|
|
import { reorder } from "./arrays";
|
|
|
|
|
2021-06-10 13:40:10 +03:00
|
|
|
export const ALPHABET_START = 0x20;
|
|
|
|
export const ALPHABET_END = 0x7E;
|
|
|
|
export const ALPHABET = new Array(1 + ALPHABET_END - ALPHABET_START)
|
|
|
|
.fill(undefined)
|
|
|
|
.map((_, i) => String.fromCharCode(ALPHABET_START + i))
|
|
|
|
.join("");
|
|
|
|
|
2021-06-14 16:37:05 +03:00
|
|
|
export const baseToString = (base: bigint, alphabet = ALPHABET): string => {
|
|
|
|
const len = BigInt(alphabet.length);
|
|
|
|
if (base < len) return alphabet[Number(base)];
|
|
|
|
return baseToString(base / len, alphabet) + alphabet[Number(base % len)];
|
2021-06-10 13:40:10 +03:00
|
|
|
};
|
|
|
|
|
2021-06-14 16:37:05 +03:00
|
|
|
export const stringToBase = (str: string, alphabet = ALPHABET): bigint => {
|
|
|
|
let result = BigInt(0);
|
|
|
|
const len = BigInt(alphabet.length);
|
|
|
|
for (let i = str.length - 1, j = BigInt(0); i >= 0; i--, j++) {
|
|
|
|
result += BigInt(str.charCodeAt(i) - alphabet.charCodeAt(0)) * (len ** j);
|
2021-06-10 13:40:10 +03:00
|
|
|
}
|
|
|
|
return result;
|
|
|
|
};
|
|
|
|
|
|
|
|
const pad = (str: string, length: number, alphabet = ALPHABET): string => str.padEnd(length, alphabet[0]);
|
|
|
|
|
2021-06-11 18:28:07 +03:00
|
|
|
export const midPointsBetweenStrings = (
|
|
|
|
a: string,
|
|
|
|
b: string,
|
|
|
|
count: number,
|
|
|
|
maxLen: number,
|
|
|
|
alphabet = ALPHABET,
|
|
|
|
): string[] => {
|
|
|
|
const n = Math.min(maxLen, Math.max(a.length, b.length));
|
|
|
|
const aPadded = pad(a, n, alphabet);
|
|
|
|
const bPadded = pad(b, n, alphabet);
|
|
|
|
const aBase = stringToBase(aPadded, alphabet);
|
|
|
|
const bBase = stringToBase(bPadded, alphabet);
|
2021-06-14 16:37:05 +03:00
|
|
|
if (bBase - aBase - BigInt(1) < count) {
|
2021-06-11 18:28:07 +03:00
|
|
|
if (n < maxLen) {
|
|
|
|
// this recurses once at most due to the new limit of n+1
|
|
|
|
return midPointsBetweenStrings(
|
|
|
|
pad(aPadded, n + 1, alphabet),
|
|
|
|
pad(bPadded, n + 1, alphabet),
|
|
|
|
count,
|
|
|
|
n + 1,
|
|
|
|
alphabet,
|
|
|
|
);
|
|
|
|
}
|
2021-06-10 13:40:10 +03:00
|
|
|
return [];
|
|
|
|
}
|
2021-06-14 16:37:05 +03:00
|
|
|
const step = (bBase - aBase) / BigInt(count + 1);
|
|
|
|
const start = BigInt(aBase + step);
|
|
|
|
return Array(count).fill(undefined).map((_, i) => baseToString(start + (BigInt(i) * step), alphabet));
|
2021-06-10 13:40:10 +03:00
|
|
|
};
|
2021-06-11 12:33:00 +03:00
|
|
|
|
|
|
|
interface IEntry {
|
|
|
|
index: number;
|
|
|
|
order: string;
|
|
|
|
}
|
|
|
|
|
|
|
|
export const reorderLexicographically = (
|
|
|
|
orders: Array<string | undefined>,
|
|
|
|
fromIndex: number,
|
|
|
|
toIndex: number,
|
2021-06-11 18:28:07 +03:00
|
|
|
maxLen = 50,
|
2021-06-11 12:33:00 +03:00
|
|
|
): IEntry[] => {
|
2021-06-14 16:37:05 +03:00
|
|
|
// sanity check inputs
|
2021-06-11 12:33:00 +03:00
|
|
|
if (
|
|
|
|
fromIndex < 0 || toIndex < 0 ||
|
|
|
|
fromIndex > orders.length || toIndex > orders.length ||
|
|
|
|
fromIndex === toIndex
|
|
|
|
) {
|
|
|
|
return [];
|
|
|
|
}
|
|
|
|
|
2021-06-14 16:37:05 +03:00
|
|
|
// zip orders with their indices to simplify later index wrangling
|
2021-06-11 12:33:00 +03:00
|
|
|
const ordersWithIndices: IEntry[] = orders.map((order, index) => ({ index, order }));
|
2021-06-14 16:37:05 +03:00
|
|
|
// apply the fundamental order update to the zipped array
|
2021-06-11 12:33:00 +03:00
|
|
|
const newOrder = reorder(ordersWithIndices, fromIndex, toIndex);
|
|
|
|
|
|
|
|
const orderToLeftUndefined = newOrder[toIndex - 1]?.order === undefined;
|
|
|
|
|
|
|
|
let leftBoundIdx = toIndex;
|
|
|
|
let rightBoundIdx = toIndex;
|
|
|
|
|
2021-06-14 16:37:05 +03:00
|
|
|
let canMoveLeft = true;
|
|
|
|
const nextBase = newOrder[toIndex + 1]?.order !== undefined
|
|
|
|
? stringToBase(newOrder[toIndex + 1].order)
|
|
|
|
: BigInt(Number.MAX_VALUE);
|
|
|
|
|
|
|
|
for (let i = toIndex - 1, j = 1; i >= 0; i--, j++) {
|
|
|
|
if (newOrder[i]?.order !== undefined && nextBase - stringToBase(newOrder[i].order) > j) break;
|
|
|
|
leftBoundIdx = i;
|
|
|
|
}
|
|
|
|
|
|
|
|
if (leftBoundIdx === 0 &&
|
|
|
|
newOrder[0].order !== undefined &&
|
|
|
|
nextBase - stringToBase(newOrder[0].order) < toIndex
|
|
|
|
) {
|
|
|
|
canMoveLeft = false;
|
2021-06-11 12:33:00 +03:00
|
|
|
}
|
|
|
|
|
|
|
|
const canDisplaceRight = !orderToLeftUndefined;
|
2021-06-14 16:37:05 +03:00
|
|
|
let canMoveRight = canDisplaceRight;
|
2021-06-11 12:33:00 +03:00
|
|
|
if (canDisplaceRight) {
|
|
|
|
const prevBase = newOrder[toIndex - 1]?.order !== undefined
|
|
|
|
? stringToBase(newOrder[toIndex - 1]?.order)
|
2021-06-14 16:37:05 +03:00
|
|
|
: BigInt(Number.MIN_VALUE);
|
|
|
|
|
2021-06-11 18:28:07 +03:00
|
|
|
for (let i = toIndex + 1, j = 1; i < newOrder.length; i++, j++) {
|
2021-06-11 12:33:00 +03:00
|
|
|
if (newOrder[i]?.order === undefined || stringToBase(newOrder[i].order) - prevBase > j) break; // TODO verify
|
|
|
|
rightBoundIdx = i;
|
|
|
|
}
|
2021-06-14 16:37:05 +03:00
|
|
|
|
|
|
|
if (rightBoundIdx === newOrder.length - 1 &&
|
|
|
|
(newOrder[rightBoundIdx]
|
|
|
|
? stringToBase(newOrder[rightBoundIdx].order)
|
|
|
|
: BigInt(Number.MAX_VALUE)) - prevBase <= (rightBoundIdx - toIndex)
|
|
|
|
) {
|
|
|
|
canMoveRight = false;
|
|
|
|
}
|
2021-06-11 12:33:00 +03:00
|
|
|
}
|
|
|
|
|
2021-06-14 16:37:05 +03:00
|
|
|
const leftDiff = canMoveLeft ? toIndex - leftBoundIdx : Number.MAX_SAFE_INTEGER;
|
|
|
|
const rightDiff = canMoveRight ? rightBoundIdx - toIndex : Number.MAX_SAFE_INTEGER;
|
2021-06-11 12:33:00 +03:00
|
|
|
|
|
|
|
if (orderToLeftUndefined || leftDiff < rightDiff) {
|
|
|
|
rightBoundIdx = toIndex;
|
|
|
|
} else {
|
|
|
|
leftBoundIdx = toIndex;
|
|
|
|
}
|
|
|
|
|
|
|
|
const prevOrder = newOrder[leftBoundIdx - 1]?.order
|
2021-06-14 16:37:05 +03:00
|
|
|
?? String.fromCharCode(ALPHABET_START).repeat(5);
|
2021-06-11 12:33:00 +03:00
|
|
|
const nextOrder = newOrder[rightBoundIdx + 1]?.order
|
2021-06-14 16:37:05 +03:00
|
|
|
?? String.fromCharCode(ALPHABET_END).repeat(prevOrder.length);
|
2021-06-11 12:33:00 +03:00
|
|
|
|
2021-06-11 18:28:07 +03:00
|
|
|
const changes = midPointsBetweenStrings(prevOrder, nextOrder, 1 + rightBoundIdx - leftBoundIdx, maxLen);
|
2021-06-11 12:33:00 +03:00
|
|
|
|
2021-06-14 16:37:05 +03:00
|
|
|
console.log("@@ test", { canMoveLeft, canMoveRight, prevOrder, nextOrder, changes, leftBoundIdx, rightBoundIdx, orders, fromIndex, toIndex, newOrder, orderToLeftUndefined, leftDiff, rightDiff });
|
2021-06-11 12:33:00 +03:00
|
|
|
|
|
|
|
return changes.map((order, i) => {
|
|
|
|
const index = newOrder[leftBoundIdx + i].index;
|
|
|
|
|
|
|
|
return { index, order };
|
|
|
|
});
|
|
|
|
};
|