MikeMirzayanov's blog

Codeforces Round #218 (Div. 2): Tutorial
By MikeMirzayanov, 11 years ago, translation, In English

The tutorial has been prepared by Fefer_Ivan and NALP.

371A - K-Periodic Array

For array to be periodic, elements 1, 1 + k, 1 + 2 * k, … must be equal. Also, elements

Unable to parse markup [type=CF_TEX]

must be equal. And so on up to k. So each element of the array is a part of exactly one group. And there are k groups total. Each such group is independent. Let’s consider some group of elements, that contain a ones and b twos. All elements in this group must be equal. So we either change all ones to twos or all twos to ones. First option will require a changing operations and second one — b changing operations. For the optimal solution, you should select the operation with smaller number of changing operations required.

371B - Fox Dividing Cheese

It is easy to see that the fox can do three type of operations: divide by 2, divide by 3 and divide by 5. Let’s write both given numbers in form

Unable to parse markup [type=CF_TEX]

,

Unable to parse markup [type=CF_TEX]

, where x and y are not dibisible by 2, 3 and 5. If x ≠ y the fox can’t make numbers equal and program should print -1. If x = y then soluion exists. The answer equals to

Unable to parse markup [type=CF_TEX]

, because

Unable to parse markup [type=CF_TEX]

is the minimal number of operations to have 2 in the same power in both numbers,

Unable to parse markup [type=CF_TEX]

is the minimal number of operations to have 3 in the same power in both numbers, and

Unable to parse markup [type=CF_TEX]

is the same for 5.

371C - Hamburgers

Let's use binary search approach. For given number of hamburgers (say, x) let's find the minimal number of money needed to cook them. Say, for one hamburger Polycarpus needs

Unable to parse markup [type=CF_TEX]

bread pieces,

Unable to parse markup [type=CF_TEX]

sausages pieces,

Unable to parse markup [type=CF_TEX]

cheese pieces. So for x hamburgers he needs:

Unable to parse markup [type=CF_TEX]

,

Unable to parse markup [type=CF_TEX]

and

Unable to parse markup [type=CF_TEX]

pieces (by types). Since he already has

Unable to parse markup [type=CF_TEX]

,

Unable to parse markup [type=CF_TEX]

and

Unable to parse markup [type=CF_TEX]

pieces, so he needs to buy:
  • bread:

    Unable to parse markup [type=CF_TEX]

    ,
  • sausages:

    Unable to parse markup [type=CF_TEX]

    ,
  • cheese:

    Unable to parse markup [type=CF_TEX]

    .

So the formula to calculate money to cook x hamburgers is:

Unable to parse markup [type=CF_TEX]

Obviously, the function f(x) is monotonic (increasing). So it is possible to use binary search approach to find largest x such that

Unable to parse markup [type=CF_TEX]

.

371D - Vessels

The naive solution for this problem will work like this. Let us store an amount of water in each vessel in some array v. If we need to know how much water is in some vessel, we just take the number from the array. If we need to pour x units of water into vessel number i, we must follow the simple procedure: 1. If x = 0 then all water is poured and we must end the procedure 2. If

Unable to parse markup [type=CF_TEX]

then all remaining water is spilled on the floor and we must end the procedure 3. If x units of water can fit into the i-th vessel, then add x to

Unable to parse markup [type=CF_TEX]

and end the procedure 4. Fill i-th vessel completely and subtract used amount from x. 5. Assign

Unable to parse markup [type=CF_TEX]

. 6. Go to the first step.

In the worst case scenario such procedure can iterate through all vessels each time. For example, if there are n vessels and each vessels have capacity of one unit of water, each query like

Unable to parse markup [type=CF_TEX]

will take O(n) time to process.

To make this solution faster we should notice, that once completely filled, vessel can be skipped during the algorithm above because it can not consume any more water.

So instead of

Unable to parse markup [type=CF_TEX]

assignment should be like

Unable to parse markup [type=CF_TEX]

.

To implement this function we can use different structures. For example, we can use sorted set of numbers (set in C++, TreeSet in Java). Let store the set of indices of unfilled vessels. So to find next not filled vessel from i-th vessel, we must find smallest number, that is contained in set and is strictly greater than i. There are built-in methods for it (upper_bound in C++, higher in Java).

Also, each time we fill the vessel, we must erase corresponding index from the set.

So now we can see, that algorithm can not complete more that

Unable to parse markup [type=CF_TEX]

operations for all queries. Because on each iteration of the pouring procedure either the vessel is filled (which can only happen n times during the whole runtime), or we run out of water (or vessels) and the procedure is stopped. So there will be only total of

Unable to parse markup [type=CF_TEX]

iterations of the pouring procedure and each iteration require one lookup in the sorted set, which takes O(logn) operations. So the total number of needed operations is

Unable to parse markup [type=CF_TEX]

.

371E - Subway Innovation

It is easy to see that you need to minimize the sum of pairwise distances between k stations. The main idea to do it is to sort them and the required stations will form a continuous segment. It is easy to prove by contradiction.

Huge constraints do not allow to use straight-forward method to find required segment. Let’s call

Unable to parse markup [type=CF_TEX]

— sum of pairwise distances of k stations starting from the i-th. To find

Unable to parse markup [type=CF_TEX]

you need to start from

Unable to parse markup [type=CF_TEX]

and use transformation from calculated

Unable to parse markup [type=CF_TEX]

to

Unable to parse markup [type=CF_TEX]

. You can use equation:

Unable to parse markup [type=CF_TEX]

Unable to parse markup [type=CF_TEX]

Unable to parse markup [type=CF_TEX]

where sum(l, r) means

Unable to parse markup [type=CF_TEX]

. We can precalculate

Unable to parse markup [type=CF_TEX]

and use equation

Unable to parse markup [type=CF_TEX]

to find sum(l, r) in O(1).

Actually we need

Unable to parse markup [type=CF_TEX]

,

Unable to parse markup [type=CF_TEX]

and so on (and find minimal value among them).

To recalculate

Unable to parse markup [type=CF_TEX]

to

Unable to parse markup [type=CF_TEX]

you need exclude xi and include

Unable to parse markup [type=CF_TEX]

. Using the method like in the previous paragraph:

Unable to parse markup [type=CF_TEX]

.
  • Vote: I like it
  • +30
  • Vote: I do not like it

Comments Comments (23)
| Write comment?
»
11 years ago, # |
  Vote: I like it 0 Vote: I do not like it

in 371C, i have another way to solve it. first, we use nb, ns, nc as much as possible. then, we fill the rest if there are still somethings left and it may be used. finally, use the rest of the money to buy as much as possible. the time will not over O(max(nb,ns,nc)),and they are all not over 100.

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

    You need to be careful to that the recipe doesn't use some kind of ingredients and its initial number is not 0. If you don't notice this case will get TLE. This solution 5390433 is my first submission and it doesn't check the case i describe.

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

      yeah, i made the same mistake in my 1st submission toooo....

      → Reply
»
11 years ago, # |
  Vote: I like it +3 Vote: I do not like it

For 371E, we must pay attention to using LongLong instead of Int. I got an FST because of typing Int for numbers in my stucture. I will notice that in the following contests.

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

    For 371E I used long long and got WA on test 11. Then I changed to unsigned long long and got AC.

    → Reply
»
11 years ago, # |
  Vote: I like it 0 Vote: I do not like it

in 371C please can anybody explain in detail how we can use binary search in this problem

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

    you will calculate the number of bread,cheese and sauce needed for each recipe then you will try to maximize your solution which can be affordable using binary search

    → Reply
»
9 years ago, # |
  Vote: I like it 0 Vote: I do not like it

BFS solution for 371B.. :) http://codeforces.net/contest/371/submission/16594018

→ Reply
»
6 years ago, # |
  Vote: I like it -9 Vote: I do not like it

In the question E, can’t we just find the shortest segment containing k numbers after sorting? I tried that and am getting wrong answer. What I thought was if the distance between the two ends is shortest, the pairwise sum of absolute distance of the points in between will also be minimum...

Can anyone give an example where this goes wrong?

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

    try this n=4 1 3 5 7 n=4 1 5 6 7 Both will give different pairwise distance.

    → Reply
»
6 years ago, # |
  Vote: I like it 0 Vote: I do not like it

Find error if possible. https://codeforces.net/contest/371/submission/43155192

→ Reply
»
6 years ago, # |
  Vote: I like it 0 Vote: I do not like it

In problem B, how did he derive the forms of the two numbers?? what formula/theories he used?

→ Reply
»
5 years ago, # |
  Vote: I like it 0 Vote: I do not like it

I think It is not a good a good editorial. You should also give the code too. There are many people like me who needs the code as well as explanation to understand the editorial clearly. Please consider giving implementation in editorial.

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

    If you need the code, you can view other people's submissions. Sorting by execution time can give you the most optimal ones.

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

      But I need code that is the implementation of the idea given in Editorial. In people's submission I will not have it. Don't you think implementation should be given in editorial ?

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

        Yeah, it would definitely be better if it was given in the editorial, but if not hopefully someone else has solved it in the same way.

        → Reply
»
4 years ago, # |
  Vote: I like it 0 Vote: I do not like it

For D, solution using Disjoint Sets.

→ Reply
»
4 years ago, # |
  Vote: I like it 0 Vote: I do not like it

in 371C, in this case, BBBBBBBBBBCCCCCCCCCCCCCCCCCCCCSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSS 10 20 40 100 100 100 300 the given answer is 0 but he can make 1 hamburger right ? as nb, nc, ns are equal to the required count of b, s, and c.

→ Reply
  • »
    »
    4 years ago, # ^ |
    ← Rev. 2   Vote: I like it 0 Vote: I do not like it 
    // C problem
int32_t main(){
	
	// fuck ratings

    string str; cin>>str;

    int b=0,s=0,c=0,ans=0;

    for(auto ch:str){
        if(ch=='B')b++;
        else if(ch=='S')s++;
        else c++;
    }

    int nb,ns,nc; cin>>nb>>ns>>nc;
    int pb,ps,pc; cin>>pb>>ps>>pc;

    int R; cin>>R;

    // After reading editorial -> Awesome Binary Search application

    // For x burgers 
    // no of bread needed to be bought = max(0,b*x-nb)
    // no of sauce needed to be bought = max(0,s*x-ns)
    // no of cheese needed to be bought = max(0,c*x-nc)

    // Magic : Whole interpretation of this complex question is 
    //         folded into 1-variable
    
    // Intuition of Magic:
    // Since in whole , question only no. of burgers is the protagonist
    // so we let burgers =x 
    // and now we just want all other less important variables 
    // in terms of x and break down this complex scenario

// cost of x burger = f(x) = max(0,b*x-nb)+max(0,s*x-ns)+max(0,c*x-nc)
// f(x) monotonic increasing
// x->increase  f(x)=cost->increase

 // Range of cost or f(x)
 // 1<=f(x)<=R(money in our pocket)

    // We have to apply binary search on no. of burgers
    // low=1 , hi=100

    int left=0, ri=1e13, z=0;

    // left ------R--------mid(=x)------------R---------ri

    int limit=50;

    while(left<ri){

        limit--;
 //       int mid=(left+ri)/2;  //this will work if    while(left+1<ri)


       int mid = (left+ri+1)>>1; //this will work if   while(left<ri)

       // cout<<left<<" "<<ri<<"\n";

        int x=mid;
        int cost=pb*max(z,b*x-nb)+ps*max(z,s*x-ns)+pc*max(z,c*x-nc);

       // cout<<cost-R<<"\n\n";
       
        if(cost>R){   // buy less burger
            ri=mid-1;
        }
        else{
            left=mid;
        }

        if(limit==0)break; // 50 iterations max 
     
    }
    
    // Security check
    int x=left+1;
    int cost=pb*max(z,b*x-nb)+ps*max(z,s*x-ns)+pc*max(z,c*x-nc);

    
    if(cost<=R)left++;

    cout<<left;
 
  
   return 0;
}
    → Reply
»
2 years ago, # |
← Rev. 5   Vote: I like it -6 Vote: I do not like it

‎ nice contest

→ Reply