94

Is the runtime complexity defined by the JS standard on common Array functions like push, pop, shift, slice or splice? Esp. I'm interested in removing and inserting entries at random positions. If the complexity is not defined, what can I expect, e.g. in V8?

(This question was inspired by this. Also, this benchmark, posted here, also makes me curious, but maybe that is some unrelated phenomena.)

(A very related question is here. However, one of the comments on the accepted answer says that it is wrong now. Also, the accepted answer does not have any reference that the standard really defines it that way.).

0

3 Answers 3

178

The ECMA specification does not specify a bounding complexity, however, you can derive one from the specification's algorithms.

push is O(1), however, in practice it will encounter an O(N) copy costs at engine defined boundaries as the slot array needs to be reallocated. These boundaries are typically logarithmic.

pop is O(1) with a similar caveat to push but the O(N) copy is rarely encountered as it is often folded into garbage collection (e.g. a copying collector could only copy the used part of an array).

shift is at worst O(N) however it can, in specially cases, be implemented as O(1) at the cost of slowing down indexing so your mileage may vary.

slice is O(N) where N is end - start. Not a tremendous amount of optimization opportunity here without significantly slowing down writes to both arrays.

splice is, worst case, O(N). There are array storage techniques that divide N by a constant but they significantly slow down indexing. If an engine uses such techniques you might notice unusually slow operations as it switches between storage techniques triggered by access pattern changes.

One you didn't mention, is sort. It is, in the average case, O(N log N). However, depending on the algorithm chosen by the engine, you could get O(N^2) in some cases. For example, if the engine uses QuickSort (even with an late out to InsertionSort), it has well-known N^2 cases. This could be a source of DoS for your application. If this is a concern either limit the size of the arrays you sort (maybe merging the sub-arrays) or bail-out to HeapSort.

8
  • 1
    This is great, but without a source specific to javascript, it's hard to verify. For instance, I know that sort can be O(NlogN), but is it in every language? No. (Also, what about filter, reverse, etc?) Mar 26, 2014 at 18:20
  • 2
    These are hard to verify but you can rely on them being no worse complexity than the algorithm in the spec. As for filter and reverse they are O(N).
    – chuckj
    Mar 26, 2014 at 23:05
  • 7
    What about concat? Jun 14, 2017 at 3:01
  • 7
    Please mention unshift(), I assume that's O(n) as well. Jun 4, 2018 at 1:10
  • 3
    concat and unshift are almost certainly O(n)
    – Whatabrain
    Aug 16, 2020 at 1:55
15

in very simple words

push -> O(1)

pop -> O(1)

shift -> O(N)

slice -> O(N)

splice -> O(N)

Here is a complete explanation about time complexity of Arrays in JavaScript.

3
  • 1
    Yes, exactly! Array.prototype.splice is a universal multifunctional tool, and its complexity depends on what is done with it. For example, it can remove and/or add the last element (as push or pop), then complexity will be O(1); if it performs same as shift /unshift, its complexity will be O(n). Also other, "middle" situations are possible. Mar 14, 2021 at 12:58
  • 1
    Yeah, So we can say, in the worst case, it's still O(n). Mar 14, 2021 at 13:14
  • That article hypothesizes a lot but doesn't cite the standard (which also doesn't specify complexities) or any specific engine. Just because it would be smart to implement things that way, doesn't mean any specific implementation is forced to do so. Mar 2 at 13:31
3

Just a side note, it is possible to implement shift / unshift, push / pop methods in O(1) using RingBuffer (i.o.w CircularQueue / CircularBuffer) data structure. It would be O(1) for worst case whenever the circular buffer is not required to grow. Did anyone actually measure performance of these operations? It's always better know rather than to guess...

2
  • 1
    yeah I tried it out a couple months ago on a jsperf - shift and unshift did indeed perform closer to O(n) than O(1), and were a lot slower with large n. made this Queue implementation to avoid shift and unshift gist.github.com/tbjgolden/142f2e0b2c1670812959e3588c4fa8a2
    – tbjgolden
    Apr 11, 2020 at 19:52
  • 1
    @TomGolden - Sorry, not to be too abrupt here, but that implementation needs several caveats. It never lets anything go. It accumulates not only unused array slots, but it also holds references to objects in those unused array slots. If you push large objects into that queue, it will hold them forever, causing memory usage to go up on O(n) if the size of the total items added during the usage of the queue. At the very least, please set the array slots to undefined after removing them with dequeue.
    – huntharo
    Aug 27, 2021 at 18:04

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.

Not the answer you're looking for? Browse other questions tagged or ask your own question.