hxano's blog

A stack/deque problem
By hxano, history, 10 months ago, In English

The problem goes as follows:

You are given an array a of N non-negative integers, indexed from 1 to N. Define prev(x) such that prev(x) is the largest integer that satifies both following conditions: prev(x) < x, and a[prev(x)] < x. Print prev(i) for each i from 1 to N.

This is a basic problem that can be solved using stacks. However, I've seen an interesting implementation that avoids data structures altogether. Here's the main code for it:

cin>>n;
for (int i=1; i<=n; ++i) cin>>a[i];
a[0]=-inf;
for (int i=1; i<=n; ++i){
    int p=i-1;
    while (a[p]>=a[i]) p=sol[p];
    sol[i]=p;
}
for (int i=1; i<=n; ++i) cout<<sol[i]<<" "; cout<<"\n";
return 0;

It seems to me that this runs in O(n) on average, but I cannot find its worst-case complexity. I suspect it to be O(n^2) but have had no luck proving it so far (I once used this implementation in a practice problem and got TLEed). Any help would be greatly appreciated. Thanks!

  • Vote: I like it
  • +8
  • Vote: I do not like it

»
10 months ago, # |
  Vote: I like it +18 Vote: I do not like it

It is doing the same thing as the stack solution, using the sol array to keep the stack

→ Reply
  • »
    »
    10 months ago, # ^ |
      Vote: I like it 0 Vote: I do not like it

    Do you have a proof for it?

    → Reply
    • »
      »
      »
      10 months ago, # ^ |
        Vote: I like it +13 Vote: I do not like it

      Proof of the complexity would be the same as for the stack. You do n pushes into the stack and each element is removed at most once, so the number of removals is at most n, thus the complexity is O(n).

      → Reply
»
10 months ago, # |
  Vote: I like it +13 Vote: I do not like it

not a proof, but if you clear the stack at the end, then number of iterations is exactly n

	int iterations = 0;
	for (int i=1; i<=n; ++i){
		int p=i-1;
		while (a[p]>=a[i]) p=sol[p], iterations++;
		sol[i]=p;
	}
	//clearing the stack at the end
	int p = n;
	while (p >= 1) p=sol[p], iterations++;
	assert(iterations == n);
→ Reply