ordered-set.ts 8.7 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255
  1. /**
  2. * Copyright (c) 2017 molio contributors, licensed under MIT, See LICENSE file for more info.
  3. *
  4. * @author David Sehnal <david.sehnal@gmail.com>
  5. */
  6. import S from '../sorted-array'
  7. import I from '../interval'
  8. type OrderedSetImpl = I | S
  9. type Nums = ArrayLike<number>
  10. export const Empty: OrderedSetImpl = I.Empty;
  11. export const ofSingleton = I.ofSingleton
  12. export const ofRange = I.ofRange
  13. export const ofBounds = I.ofBounds
  14. export function ofSortedArray(xs: Nums): OrderedSetImpl {
  15. if (!xs.length) return Empty;
  16. // check if the array is just a range
  17. if (xs[xs.length - 1] - xs[0] + 1 === xs.length) return I.ofRange(xs[0], xs[xs.length - 1]);
  18. return xs as any;
  19. }
  20. export function size(set: OrderedSetImpl) { return I.is(set) ? I.size(set) : S.size(set); }
  21. export function has(set: OrderedSetImpl, x: number) { return I.is(set) ? I.has(set, x) : S.has(set, x); }
  22. export function indexOf(set: OrderedSetImpl, x: number) { return I.is(set) ? I.indexOf(set, x) : S.indexOf(set, x); }
  23. export function getAt(set: OrderedSetImpl, i: number) { return I.is(set) ? I.getAt(set, i) : set[i]; }
  24. export function min(set: OrderedSetImpl) { return I.is(set) ? I.min(set) : S.min(set); }
  25. export function max(set: OrderedSetImpl) { return I.is(set) ? I.max(set) : S.max(set); }
  26. export function hashCode(set: OrderedSetImpl) { return I.is(set) ? I.hashCode(set) : S.hashCode(set); }
  27. // TODO: possibly add more hash functions to allow for multilevel hashing.
  28. export function areEqual(a: OrderedSetImpl, b: OrderedSetImpl) {
  29. if (I.is(a)) {
  30. if (I.is(b)) return I.areEqual(a, b);
  31. return areEqualIS(a, b);
  32. } else if (I.is(b)) return areEqualIS(b, a);
  33. return S.areEqual(a, b);
  34. }
  35. export function areIntersecting(a: OrderedSetImpl, b: OrderedSetImpl) {
  36. if (I.is(a)) {
  37. if (I.is(b)) return I.areIntersecting(a, b);
  38. return areIntersectingSI(b, a);
  39. } else if (I.is(b)) return areIntersectingSI(a, b);
  40. return S.areIntersecting(a, b);
  41. }
  42. /** Check if the 2nd argument is a subset of the 1st */
  43. export function isSubset(a: OrderedSetImpl, b: OrderedSetImpl) {
  44. if (I.is(a)) {
  45. if (I.is(b)) return I.isSubInterval(a, b);
  46. return isSubsetIS(a, b);
  47. } else if (I.is(b)) return isSubsetSI(a, b);
  48. return S.isSubset(a, b);
  49. }
  50. export function findPredecessorIndex(set: OrderedSetImpl, x: number) {
  51. return I.is(set) ? I.findPredecessorIndex(set, x) : S.findPredecessorIndex(set, x);
  52. }
  53. export function findPredecessorIndexInInterval(set: OrderedSetImpl, x: number, bounds: I) {
  54. return I.is(set) ? I.findPredecessorIndexInInterval(set, x, bounds) : S.findPredecessorIndexInInterval(set, x, bounds);
  55. }
  56. export function findRange(set: OrderedSetImpl, min: number, max: number) {
  57. return I.is(set) ? I.findRange(set, min, max) : S.findRange(set, min, max);
  58. }
  59. export function union(a: OrderedSetImpl, b: OrderedSetImpl) {
  60. if (I.is(a)) {
  61. if (I.is(b)) return unionII(a, b);
  62. return unionSI(b, a);
  63. } else if (I.is(b)) return unionSI(a, b);
  64. return ofSortedArray(S.union(a, b));
  65. }
  66. export function intersect(a: OrderedSetImpl, b: OrderedSetImpl) {
  67. if (I.is(a)) {
  68. if (I.is(b)) return I.intersect(a, b);
  69. return intersectSI(b, a);
  70. } else if (I.is(b)) return intersectSI(a, b);
  71. return ofSortedArray(S.intersect(a, b));
  72. }
  73. export function subtract(a: OrderedSetImpl, b: OrderedSetImpl) {
  74. if (I.is(a)) {
  75. if (I.is(b)) return subtractII(a, b);
  76. return subtractIS(a, b);
  77. } else if (I.is(b)) return subtractSI(a, b);
  78. return ofSortedArray(S.subtract(a, b));
  79. }
  80. function areEqualIS(a: I, b: S) { return I.size(a) === S.size(b) && I.start(a) === S.start(b) && I.end(a) === S.end(b); }
  81. function areIntersectingSI(a: S, b: I) {
  82. return areRangesIntersecting(a, b);
  83. }
  84. function isSubsetSI(a: S, b: I) {
  85. const minB = I.min(b), maxB = I.max(b);
  86. if (maxB - minB + 1 === 0) return true;
  87. const minA = S.min(a), maxA = S.max(a);
  88. if (minB < minA || maxB > maxA) return false;
  89. const r = S.findRange(a, minB, maxB);
  90. return I.size(r) === I.size(b);
  91. }
  92. function isSubsetIS(a: I, b: S) {
  93. const minA = I.min(a), maxA = I.max(a);
  94. if (maxA - minA + 1 === 0) return false;
  95. const minB = S.min(b), maxB = S.max(b);
  96. return minB >= minA && maxA <= maxB;
  97. }
  98. function areRangesIntersecting(a: OrderedSetImpl, b: OrderedSetImpl) {
  99. const sa = size(a), sb = size(b);
  100. if (sa === 0 && sb === 0) return true;
  101. return sa > 0 && sb > 0 && max(a) >= min(b) && min(a) <= max(b);
  102. }
  103. function isRangeSubset(a: OrderedSetImpl, b: OrderedSetImpl) {
  104. if (!size(a)) return size(b) === 0;
  105. if (!size(b)) return true;
  106. return min(a) <= min(b) && max(a) >= max(b);
  107. }
  108. function unionII(a: I, b: I) {
  109. if (I.areEqual(a, b)) return a;
  110. const sizeA = I.size(a), sizeB = I.size(b);
  111. if (!sizeA) return b;
  112. if (!sizeB) return a;
  113. const minA = I.min(a), minB = I.min(b);
  114. if (areRangesIntersecting(a, b)) return I.ofRange(Math.min(minA, minB), Math.max(I.max(a), I.max(b)));
  115. let lSize, lMin, rSize, rMin;
  116. if (minA < minB) { lSize = sizeA; lMin = minA; rSize = sizeB; rMin = minB; }
  117. else { lSize = sizeB; lMin = minB; rSize = sizeA; rMin = minA; }
  118. const arr = new Int32Array(sizeA + sizeB);
  119. for (let i = 0; i < lSize; i++) arr[i] = i + lMin;
  120. for (let i = 0; i < rSize; i++) arr[i + lSize] = i + rMin;
  121. return ofSortedArray(arr);
  122. }
  123. function unionSI(a: S, b: I) {
  124. const bSize = I.size(b);
  125. if (!bSize) return a;
  126. // is the array fully contained in the range?
  127. if (isRangeSubset(b, a)) return b;
  128. const min = I.min(b), max = I.max(b);
  129. const r = S.findRange(a, min, max);
  130. const start = I.start(r), end = I.end(r);
  131. const indices = new Int32Array(start + (a.length - end) + bSize);
  132. let offset = 0;
  133. for (let i = 0; i < start; i++) indices[offset++] = a[i];
  134. for (let i = min; i <= max; i++) indices[offset++] = i;
  135. for (let i = end, _i = a.length; i < _i; i++) indices[offset] = a[i];
  136. return ofSortedArray(indices);
  137. }
  138. function intersectSI(a: S, b: I) {
  139. if (!I.size(b)) return Empty;
  140. const r = S.findRange(a, I.min(b), I.max(b));
  141. const start = I.start(r), end = I.end(r);
  142. const resultSize = end - start;
  143. if (!resultSize) return Empty;
  144. const indices = new Int32Array(resultSize);
  145. let offset = 0;
  146. for (let i = start; i < end; i++) {
  147. indices[offset++] = a[i];
  148. }
  149. return ofSortedArray(indices);
  150. }
  151. function subtractII(a: I, b: I) {
  152. if (I.areEqual(a, b)) return Empty;
  153. if (!I.areIntersecting(a, b)) return a;
  154. const minA = I.min(a), maxA = I.max(a);
  155. const minB = I.min(b), maxB = I.max(b);
  156. if (maxA < minA || maxB < minB) return a;
  157. // is A subset of B? ==> Empty
  158. if (I.isSubInterval(b, a)) return Empty;
  159. if (I.isSubInterval(a, b)) {
  160. // this splits the interval into two, gotta represent it as a set.
  161. const l = minB - minA, r = maxA - maxB;
  162. if (l <= 0) return I.ofRange(maxB + 1, maxB + r);
  163. if (r <= 0) return I.ofRange(minA, minA + l - 1);
  164. const ret = new Int32Array(l + r);
  165. let offset = 0;
  166. for (let i = 0; i < l; i++) ret[offset++] = minA + i;
  167. for (let i = 1; i <= r; i++) ret[offset++] = maxB + i;
  168. return ofSortedArray(ret);
  169. }
  170. if (minA < minB) return I.ofRange(minA, minB - 1);
  171. return I.ofRange(maxB + 1, maxA);
  172. }
  173. function subtractSI(a: S, b: I) {
  174. const min = I.min(b), max = I.max(b);
  175. // is empty?
  176. if (max < min) return a;
  177. const r = S.findRange(a, min, max);
  178. const start = I.start(r), end = I.end(r);
  179. const resultSize = a.length - (end - start);
  180. // A is subset of B
  181. if (resultSize <= 0) return Empty;
  182. // No common elements
  183. if (resultSize === a.length) return a;
  184. const ret = new Int32Array(resultSize);
  185. let offset = 0;
  186. for (let i = 0; i < start; i++) ret[offset++] = a[i];
  187. for (let i = end, _i = a.length; i < _i; i++) ret[offset++] = a[i];
  188. return ofSortedArray(ret);
  189. }
  190. function subtractIS(a: I, b: S) {
  191. const min = I.min(a), max = I.max(a);
  192. // is empty?
  193. if (max < min) return a;
  194. const rSize = max - min + 1;
  195. const interval = S.findRange(b, min, max);
  196. const start = I.start(interval), end = I.end(interval);
  197. const commonCount = end - start;
  198. // No common elements.
  199. if (commonCount === 0) return a;
  200. const resultSize = rSize - commonCount;
  201. // A is subset of B
  202. if (resultSize <= 0) return Empty;
  203. const ret = new Int32Array(resultSize);
  204. const li = b.length - 1;
  205. const fst = b[Math.min(start, li)], last = b[Math.min(end, li)];
  206. let offset = 0;
  207. for (let i = min; i < fst; i++) ret[offset++] = i;
  208. for (let i = fst; i <= last; i++) {
  209. if (S.indexOfInterval(b, i, interval) < 0) ret[offset++] = i;
  210. }
  211. for (let i = last + 1; i <= max; i++) ret[offset++] = i;
  212. return ofSortedArray(ret);
  213. }