FRMQ - Editorial

PROBLEM LINK:

Practice
Contest

Author: Vasia Antoniuk
Tester: Sergey Kulik
Editorialist: Adury Surya Kiran

DIFFICULTY:

Easy-Medium

PREREQUISITES:

Range Maximum Queries

PROBLEM:

You are given an array of integers, and are asked a lot of queries (at most 10^8) like give two indices find the maximum of all the integers in the array whose index lies between those two.

EXPLANATION:

The generation of the queries as given in the question is
x = x + 7 (mod N - 1)
y = y + 11 (mod N)
l = min(x, y)
r = max(x, y)
You need to find maximum of a[i] such that l <= i <= r.

The generation of (l, r) pairs is like a pseudo random procedure, so its very very hard task to find a pattern in that. Now as we got (l, r) for each query the finding maximum is quite a standard task of range queries.

There are a lot of ways to find range queries. Some of them are

  1. O(1) per Update and O(N) per query : Using an array, we can update each element in O(1) and when queried iterate through all elements from l to r.
  2. O(log N) per Update and O(log N) per query : There are a lot of ways to do this. We can use Segment trees, Binary index trees, etc.
  3. O(N) per Update and O(1) per query : We can use Sparse Table to solve this case.

The methods used for 2 and 3 are very standard and their explanation can be found at a lot of places.

Some useful links for solving Range Queries using Method 2 are

  1. Utkarsh Lath’s Blog using Segment trees
  2. Geeks for Geeks using Segment trees
  3. Using BIT

You can find very useful explanation of all methods including the sparse table method here in this Topcoder Tutorial.

AUTHOR’S AND TESTER’S SOLUTIONS:

Author’s solution
Tester’s solution

4 Likes

I expect to see a lot of comments like “I wrote a correct solution but got TL, why?!” below :smiley:

What was the reason for giving such constraints? There are no idea at all in given task, only problem is because of constraints. If you want to prevent logN solutions from passing - much lower constraints are enough; if you want to make task challenging and teach people to write well-optimized code - you may set TL even stricter (0.75 is still not hard to reach)… This problem is already awful even with 1 second, so why to stop at it?

14 Likes

will 10^8 run in one second? i used to assume around 10^7 calculations per second. what should is assume as upper limit for computations in one sec.

1 Like

Can someone explain “Method 3”? How to use splay trees with O(N) update and O(1) query?

I did just the same thing and was getting 70 points.

I used and array for the sparse matrix as arr[N][logN] ,but as soon as I changed my array to arr[logN][N] ,it gave 100 Points…

What’s the reason for this?

Why did the running time decrease?

1 Like

Can any one give me a useful link for splay tree ?

Read about cache

1 Like

http://digital.cs.usu.edu/~allan/DS/Notes/Ch22.pdf

The reason of arr[logN][N] getting accepted is that since x and y are increased only by a small amount, the row number tends to remain constant, and column number increases only by a small amount. So subsequent accesses tend to happen within the same memory block. This increases the number of cache hits.

7 Likes

It have been fixed now; when edotorial was published, there was “We can use Splay Tree to solve this case.” in case 3.

Ok, thank you.

This problem was kind of a disaster . Its very sad that all those people who didnt use a kind of worthless optimisation atleast from the respect of goals of codechef didn`t get the points and hence the ranking they deserved. Very sad .

1 Like

On the other hand, such “worthless optimization” may give you one more solved problem at regional contest or even world finals. For me it happened 10-15 times during trainings already. I don’t think that this problem is good, for me picking such constants looks like easy way to make problem “harder” and simply get more money for it :smiley: But people who can’t solve a problem - don’t deserve higher rankings.

2 Likes

I wrote the solution with sparse table but it took only 70 points. I managed to get 100 with these 2 further optimizations:

  • When you have something like (A + b) C and b is very small compared to C, using C++ the code` (a + b) cis far slower thana += b; if(a > c) a -= c; ` Don’t ask me why because I don’t know, but I noticed that only this was enough to take 100 point (from more than 1s to 0.8).
  • N is O(10^5) so x can have at most 10^5 -1 different values, and y 10^5 different values. We can find the length of the two cycles ( length of x cycle = N / 7, length of y cycle = N/11, because 7 and 11 are prime numbers). Then you can find L = lcm of these 2 numbers and if L < M you can just make L queries and if sum[ i ] is the sum of answers at i-th iteration answer will be
 sum[ L ]* (M/L) + sum[ M % L]
1 Like

Hi i used method 1 to solve this problem. this is my code with this i got only 20pts. Can any please tell me why i got only 20pts?

1 Like

order of 10^8 operations per second is a good approximation on an upper bound.

1 Like

I think M<=10⁡ or N,M<=10⁜ would have perfectly make the M*logN solutions time out, there was no need at all for M<=10⁸ (which is supposed to be TLE on other tasks btw)

Why is nowadays every problem so much about crazy optimization?

I mean, why do we have to spend hours trying to find out whether if we (don’t) inline a function/use post-increment operator outside of while()/swap the dimensions of an array/take modulo one time less/other useless optimizations, then the running time will decrease by 0.01sec and will be inside the limit? It just doesn’t make sense in my opinion, since you can’t know, what will decrease and what will actually increase the running time. E.g. I changed N times post-increment on X to X+=N; and the program actually ran 0.10sec slower on one single test case.

2 Likes

@prasadram126 the O(M*N) solution is really supposed to get 20 points, you should implement the third one to get 100p

thanks, upper bound for codechef increased,

but i feel its risky in competitions where you can make one submission or you get penalty for wrong one.

can anyone post a link to a resource where i can learn this approach of using sparse tables.