PSHTRG [Unofficial Editorial] (Pishty and Triangles) MARCH LONG

Difficulty : Medium
Prerequisites : Segment Tree
Problem : Given n sides,there are two types of queries: Update one of the sides or Find the maximum possible perimeter of a non-degenerate triangle whose sides are in a[l]…a[r]

Approach for subtask-1 and subtask-2 (Brute Force) :
For query of type 1, simply change the value of the element at the required position

For query of type 2, copy the elements a[l]…a[r] (both inclusive) into a temporary array, say S. Sort this array in descending order. Starting from the first element, find the first three consecutive elements which can form a valid triangle i.e. if the three sides are a,b and c, then,
(a+b > c) and (b+c > a) and (a+c > b)
If such a triangle exists, print the sum of the three sides. Else print 0 if no triangle can be formed.

Time Complexity : O(N^2\log_{2}N)

Analysis for subtask-3 :
Here, we will use a segment tree which will appear exactly same as a Merge-Sort tree. We will keep only those elements which form the largest valid triangle and those greater than these sides. First, lets analize the number of elements in each node of the tree.

For a list of sides to not form a valid triangle, the side length must be such that when the sides are sorted, every element is atleast the sum of previous two elements. In the worst case, the values may be of the form:
1, 2, 3, 5, 8, 13, 21, and so on…
This is nothing but the Fibonacci Series. In this series, the 44th number is 1134903170 which is greater than 10^9. This is an important conclusion as this means that if a node contains NO valid triangle, than it will AT MAX hold Just 43 values
Thus, any node in the segment tree will hold at max 45 values where the sides are of the form:
1, 1, 1, 2, 3, 5, 8, 13... and so on till 701408733

Approach :
Building the Segment Tree: Each node of the segment tree will store a vector which is built as follows. Starting from the root, travel through to the leaf. Store the value of the corresponding array element in the leaf. Now for each parent, first create a temporary array and store the elements of its children in sorted merge way.

For example, say there are two vectors, v1 and v2, for the two children. Keep two pointers p1 and p2, one for each vector, initialized to 0. Add the smaller element out of v1[p1] and v2[p2] to our temporary array and increment the corresponding pointer. If one of the list exhausts, add the remaining elements of the other list to the temporary array. It’s important to know that the total number of elements in the temporary array will not be greater than 90.

Now, starting from the third element from the last, travel linearly to find the first set of three consecutive elements which form a valid triangle. Say elements T[i],T[i+1] and T[i+2] form a valid triangle. Store the elements from T[i] till the end of array in the node. It’s safe to say that the side lengths smaller than T[i] will never contribute to the triangle of the largest perimeter.
If no valid triangle exists, store all the elements from the temporary array.

For query of type 1, starting from the root, traverse through to the leaf, change the value of the lone element in the leaf to the new value. Now, when travelling backwards, for each parent, perform sorted merge of the vectors of the children nodes in exactly the same manner as that in building the tree.

For query of type 2, there can be three cases for each node:
The span of current node is completely outside the query range: Return an empty vector.

The span of current node is completely inside the query range: Return the vector present in the node.

The span of current node intersects partially with the query range: Make a call to each of its children. Merge the two vectors it has got from its children in the same manner as dpne during building, and return the Merged-Sorted Vector.

Now, in the main method, linearly travel from the third element from the last in the vector received to find three consecutive elements which can form a valid triangle. The sum of these three elements is our required answer. If no such trio exists, then 0 is our answer.

Time Complexity: For either type of query, in the worst case, we may have to travel to a leaf and return.
So, complexity is O(90\log_{2}N) per query.
Overall Complexity: O(90*Q\log_{2}N) \approx O(Q\log_{2}N)

This is the link to my code.
Hope this editorial helps. I’ll be glad to clear doubts and hear other solutions.

15 Likes

For a list of sides to not form a valid triangle, the side length must be such that when the sides are sorted, every element is atleast the sum of previous two elements. In the worst case, the values may be of the form:
1, 2, 3, 5, 8, 13, 21, and so on…
This is nothing but the Fibonacci Series. In this series, the 44th number is 1134903170 which is greater than 109. This is an important conclusion as this means that if a node contains NO valid triangle, than it will AT MAX hold Just 43 values
Thus, any node in the segment tree will hold at max 45 values where the sides are of the form:
1,1,1,2,3,5,8,13… and so on till 701408733
@awesome conclusion @harshmmodi bhaiya thanks for editorial

1 Like

Anybody tell me why its showing WA for this solution:link text

@doramon u r getting wrong because of the size of temporary array which is b[60] set the size to 90 because u can have 45 +45 from the fibonacci series
But suprisingly the last test case is timing out

Link:https://www.codechef.com/viewsolution/17822566

Happy to hear that it helped :slight_smile:

@doramon change all those 30’s to 50’s , 29’s to 49’s and 60’s to 100’s and run… it may work then

Runtime can be further improved by the fact that you dont have to create a tmp array, directly do the idea of merge sort tree in reverse.

U need max 45 values out of 90 values, right.

U merge the nodes such that elements in a node are stored in decreasing order, because it will save the time to create tmp array first. Also, do the work of 2nd loop inside and as soon as u find a triangle, or run out of lists, break the loop.

Another thing, Minimum value of K is 40, since 40th term of fibonacci series exceed 1e9.

Btw, nice detailed editorial…

Yes, you are completely correct that the temp array is not required. I included it just so that its easier for others to understand. (But, should’ve mentioned that it’s not necessary :’) )

And as far as that 40th number is concerned, I think there’s some confusion. 40th number is 102334155 which is less than 1e9.

Oh… Miscounted digits…

I guess i miscounted digits of 40th fib number :stuck_out_tongue:

TCs didnt include a failing test case, because my soln passed with 40.

Anybody plz tell me why i am getting TLE for this solution : link text

Heyy… Can anyone provide the editorial for the problem Chef And GCD queries(GCDCNT). I tried to solve the problem and my complexity for each query was around O(2^6 log(n)) but still it gave TLE. Here is the link to my soln.

In every node of the tree, you are storing all the elements in its span. This is giving TLE. Store only those elements which form the largest valid triangle and those greater than these sides. You may read the Approach for building the segment tree written above

Nice Editorial. For similar problems, check out yandex problem D(the last round ie (waitt… last or the second last… i forgot XD)). Also, Polish informatics Olympiad’s problem : triangles and triangles2

1 Like

My solution: https://www.codechef.com/viewsolution/17653578

I have used square root decomposition. Each segment is sorted using TreeSet for logarithmic time complexity.Each query in √n log n time using heap.

2 Likes

thanks, @harshmmodi Now I understand the reason behind the value of K = 45 or 50 in the official editorial.

Happy to hear that :slight_smile:

Can you please explain your solution. What are you storing in bucket of n^(1/2) and how are u handling the queries.

For query, I have used a PriorityQueue (Heap). In this heap, I have inserted the max value from each bucket (and their bucket index). Complexity: √(N).log N

Now, the tricky part. I have 'poll’ed the maximum value from the heap and inserted the next largest value in that bucket

Suppose the heap contains [9,5,4]. 9 is polled. The next largest value from the bucket containing the ‘9’ is added to the heap, say 3. So, the heap becomes [5,4,3]. Again 5 is polled and so on…

The last tricky part: handling multiple occurrence of the same value.
For this, TreeMap is used all over instead of TreeSet

Each bucket is just a frequency record, containing the frequency of each value in that segment.

TreeMap is used for that purpose.

thank you sir for the editorial :slight_smile: please keep posting such awesome contents for us to learn :slight_smile: