Блог пользователя Stepavly

Автор Stepavly, 4 года назад, По-русски

Все задачи были придуманы MikeMirzayanov и разработаны мной, Stepavly, и Supermagzzz.

1360A - Минимальный квадрат

Разбор
Решение

1360B - Честный тренер

Разбор
Решение

1360C - Похожие пары

Разбор
Решение

1360D - Покупка лопат

Разбор
Решение

1360E - Полигон

Разбор
Решение

1360F - Строка-шпион

Разбор
Решение

1360G - A/B матрица

Разбор
Решение

1360H - Двоичная медиана

Разбор
Решение
Разбор задач Codeforces Round 644 (Div. 3)
  • Проголосовать: нравится
  • +89
  • Проголосовать: не нравится

»
4 года назад, # |
  Проголосовать: нравится +13 Проголосовать: не нравится
»
4 года назад, # |
  Проголосовать: нравится 0 Проголосовать: не нравится
  • »
    »
    4 года назад, # ^ |
      Проголосовать: нравится +4 Проголосовать: не нравится
    if ((i <= n) and (n % i) == 0) {
        if ((n / i) <= k)ans = min(ans, i);
        if (i <= k)ans = min(ans, n / i);
    }
    

    Try using this block of code... your code is missing the (i<=k) condition

    • »
      »
      »
      4 года назад, # ^ |
        Проголосовать: нравится +4 Проголосовать: не нравится

      I also missed out on this one and got the same 3rd testcase wrong. But I am not able to understand that if I am iterating from i=2 then if (n%i==0) then do we need to check that n/i is smaller? I mean i is already smaller and all the 'n/i's are on the other side of sqrt(n). So, when we get n&i==0 && n/i<=k we break and print the value of i. Is there an example to contradict this? The testcase is on a very large index so it is just ... and I'm not able to see it. Here is my submission : 81251157

    • »
      »
      »
      4 года назад, # ^ |
        Проголосовать: нравится 0 Проголосовать: не нравится
      • »
        »
        »
        »
        4 года назад, # ^ |
          Проголосовать: нравится 0 Проголосовать: не нравится
        if(i <= k && n%i == 0){
            ans = min(ans,n/i);
            if(n/i <= k)ans = min(ans,i);
        }
        

        Instead of above code you should write below one and also start iterating i from 1 instead of 2.

        if(n%i == 0){
            if(i <= k)ans = min(ans,n/i);
            if(n/i <= k)ans = min(ans,i);
        }
        

        Also , your code gives ans as n only when (k==1) or (n is prime) which is incomplete. Try this case : n = 49 , k = 6

        • »
          »
          »
          »
          »
          4 года назад, # ^ |
            Проголосовать: нравится 0 Проголосовать: не нравится

          Hey Can you help me with this submission https://mirror.codeforces.com/contest/1360/submission/81362630 @darshancool25

          What I am doing is, I am creating a 2D array of characters. I am going through each element. If I find a 1 I am checking if the right element or bottom element is 1 or not for cells that are not in the last row or last column. If that is not true I am printing no and breaking out of the loop.

          For the cells of last row or last column (i.e r+1==n ||c+1==n) i am just continuing to the next cell I am really stuck with this . please help :)) Thanks in advance

          • »
            »
            »
            »
            »
            »
            4 года назад, # ^ |
              Проголосовать: нравится +1 Проголосовать: не нравится

            Your logic is correct... basically if there exists a 1 with its right and bottom element both equal to 0 , then ans is NO , else it is YES. I saw your implementation , its a bit complex to understand. Here's my code (I have used same idea as yours!)

            if (s[i][j] == '1') {
              if (i == n - 1 or j == n - 1)continue;
              if (s[i + 1][j] == '0' and s[i][j + 1] == '0') {
                poss = false;
                break;
              }
            }
            
            • »
              »
              »
              »
              »
              »
              »
              4 года назад, # ^ |
                Проголосовать: нравится 0 Проголосовать: не нравится

              @darshancool25 could u plz clarify or explain me that ur solution is of order of n square where n is size of matrix.. how this is working fine for such constraints?

              • »
                »
                »
                »
                »
                »
                »
                »
                4 года назад, # ^ |
                  Проголосовать: нравится 0 Проголосовать: не нравится

                It is clearly mentioned in the question statement that : "The total area of the matrices in all test cases in one test does not exceed 10^5". I hope that answers your question!

    • »
      »
      »
      4 года назад, # ^ |
        Проголосовать: нравится 0 Проголосовать: не нравится

      why this one is not working for(long long int i=2;i*i<=n&&i<=k;i++) { if(n%i==0) { ans=min(ans,i); if(n/i<=k) ans=min(ans,n/i); // ans=min(ans,n/i); } } if(k>=n) ans=1;

»
4 года назад, # |
  Проголосовать: нравится +8 Проголосовать: не нравится

For problem C case 2, how can we be so certain that we are only looking for one pair with a difference of 1?

  • »
    »
    4 года назад, # ^ |
    Rev. 2   Проголосовать: нравится +3 Проголосовать: не нравится

    A pair with a difference on 1 contains an odd number and an even number. Therefore removing that pair means that both the count of odd values and the count of even values is decreased by 1. We need both the count of odd values and even values to be even numbers (so that we can make pairs). Therefore if the count of odd values and even values are both odd, we can remove 1 pair with difference 1 to make them both even, and then do the rest of the pairing by parity.

  • »
    »
    4 года назад, # ^ |
      Проголосовать: нравится +8 Проголосовать: не нравится

    We create pair of those numbers with diff 1 and after that we have even $$$e' = e - 1$$$ and $$$o' = o - 1$$$, then it is first case.

»
4 года назад, # |
  Проголосовать: нравится -17 Проголосовать: не нравится

Max flow solution for G is easier and more straightforward. 81283859

»
4 года назад, # |
  Проголосовать: нравится +7 Проголосовать: не нравится
  • »
    »
    4 года назад, # ^ |
      Проголосовать: нравится -13 Проголосовать: не нравится

    Yes and it's very neat

    • »
      »
      »
      4 года назад, # ^ |
        Проголосовать: нравится +155 Проголосовать: не нравится

      Bashing a simple problem with an overcomplicated tool is not "neat".

      • »
        »
        »
        »
        4 года назад, # ^ |
          Проголосовать: нравится -28 Проголосовать: не нравится

        I don't see what's over-complicated but anyway it's just my opinion you know

        • »
          »
          »
          »
          »
          4 года назад, # ^ |
            Проголосовать: нравится +93 Проголосовать: не нравится

          If you don't see why flow is way more complicated than a cyclical filling pattern, then you're blind.

          Replacing thinking ability by direct application of knowledge will be harmful to your long-term progression, especially in the current CP meta.

          • »
            »
            »
            »
            »
            »
            4 года назад, # ^ |
              Проголосовать: нравится -36 Проголосовать: не нравится

            You didn't get me. I'm not saying my solution is easier than anyone's solution. But it's also not complicated as you're claiming, you just said it was direct application.

            • »
              »
              »
              »
              »
              »
              »
              4 года назад, # ^ |
                Проголосовать: нравится +65 Проголосовать: не нравится

              Flow is extremly hard to come up by yourself, way more than coming up with an elementary solution to this problem. That's why I say it's an overcomplicated concept for this problem.

              Of course, copy-pasting Dinic is easy in itself. Everything is easy to copy-paste. But you're not training yourself to come up with new ideas. That's why I say it's not neat at all.

              • »
                »
                »
                »
                »
                »
                »
                »
                4 года назад, # ^ |
                  Проголосовать: нравится +6 Проголосовать: не нравится

                I was tempted to implement a flow-based solution but I figured that it would take me less time to come up with a "normal" solution than to copy-paste dinic, and I was right.

                Also C can be done using the blossom algorithm

          • »
            »
            »
            »
            »
            »
            4 года назад, # ^ |
              Проголосовать: нравится +11 Проголосовать: не нравится

            "Replacing thinking ability by direct application of knowledge will be harmful to your long-term progression, especially in the current CP meta."

            How nicely you explained it! I always think that too. But couldn't come up with nice words like you.

  • »
    »
    4 года назад, # ^ |
    Rev. 2   Проголосовать: нравится 0 Проголосовать: не нравится

    [user:andr0901]Can you pls explain , how did you apply flows in this .... I know max flow algorithn but not able to figure the way to proceed with that

»
4 года назад, # |
  Проголосовать: нравится +8 Проголосовать: не нравится

In G, isn't shifting by $$$a$$$ enough?

»
4 года назад, # |
  Проголосовать: нравится +40 Проголосовать: не нравится

It was closer to a Div.4 than a Div.3, as far as I think!

»
4 года назад, # |
  Проголосовать: нравится 0 Проголосовать: не нравится
  • »
    »
    4 года назад, # ^ |
      Проголосовать: нравится 0 Проголосовать: не нравится

    You are calculating the maximum value of "count", i.e. the maximum number of pairs that are similar because their difference is 1. This value can be even in some cases. You should stop as soon as you find odd number of such cases (might stop simply at 1). So after subtracting "count" (which is odd) from "x" and "y" (which are both odd), the resultant "x" and "y" will be even.

  • »
    »
    4 года назад, # ^ |
      Проголосовать: нравится 0 Проголосовать: не нравится

    Lets say you have odd no of even no's and odd no's now as soon as you find a pair with diff 1 you can stop counting as in this case count of both even and odd no's will be (as x -y == 1 if x is even and y is odd or vice — versa ) so once you have gotten one such pair the job is done !
    https://mirror.codeforces.com/contest/1360/submission/81251269 you can check this for reference

»
4 года назад, # |
  Проголосовать: нравится +9 Проголосовать: не нравится

Why unnecessary $$$O(n^2)$$$ editorial solution for B? Even the explanation describes a $$$O(n \log n)$$$ solution.

  • »
    »
    4 года назад, # ^ |
      Проголосовать: нравится +5 Проголосовать: не нравится

    I was also surprised, first they sort and then use O(n^2) complexity for judging all the pairs. xD

  • »
    »
    4 года назад, # ^ |
      Проголосовать: нравится +1 Проголосовать: не нравится

    After checking their code, I went to check my code again for checking its correctness.

»
4 года назад, # |
  Проголосовать: нравится 0 Проголосовать: не нравится

Specialists be like.... "Bingo 6 brutes in 45minutes, finally expert"

»
4 года назад, # |
  Проголосовать: нравится 0 Проголосовать: не нравится

Next time, please mark such contests as Div 4

»
4 года назад, # |
  Проголосовать: нравится 0 Проголосовать: не нравится

can we do problem D using binary search?

»
4 года назад, # |
  Проголосовать: нравится 0 Проголосовать: не нравится

I've noticed that many of the test cases for D — Buying Shovels are just the same two numbers repeated t times. Is there a reason for this ?

  • »
    »
    4 года назад, # ^ |
      Проголосовать: нравится 0 Проголосовать: не нравится

    It is a prime no. so O(n) solutions with a break statement would fail. A lot of same test cases as a the solution might barely pass on a single test case.

»
4 года назад, # |
  Проголосовать: нравится +3 Проголосовать: не нравится
»
4 года назад, # |
  Проголосовать: нравится +18 Проголосовать: не нравится

I think there's a O(N*M) solution for problem F (and it works even if we aren't restricted to 26 letters).

Compare every string with the first string:

  • If all strings have at most one differing character from the first string, the first string works
  • If any string have exactly two differing characters with the first string, then there are two possible answers and you can verify them in O(N*M) each. For example if you found two strings "... a ... b ..." and "... c ... d ...", the only candidate answers are "... a ... d ..." and "... c ... b ..."
  • If there are more than 2 differing characters, return -1. This is because all strings should only have one difference with the answer which means they can only have at most two difference with each other.

Commented python solution: https://mirror.codeforces.com/contest/1360/submission/81330345

  • »
    »
    4 года назад, # ^ |
    Rev. 2   Проголосовать: нравится 0 Проголосовать: не нравится

    I don't know much syntax in python but it is looking O(N*max(N,M)) to me. But n and m are small so no need to worry. If n>>m then it would cause problem.

    • »
      »
      »
      4 года назад, # ^ |
      Rev. 2   Проголосовать: нравится 0 Проголосовать: не нравится

      Where does your N*N come from?

      Diff N-1 strings with the first string, O(M) work per diff, for a total of O((N-1)*M).

      If you found any diff with exactly two differences, you generate 2 solutions of length M which needs to be checked with all N strings for a total of O(2*N*M).

      So total is something like O(3*N*M)

      • »
        »
        »
        »
        4 года назад, # ^ |
          Проголосовать: нравится 0 Проголосовать: не нравится

        for comparing every N-1 strings, you call the function twoDiffAnswer. In that function, you run this loop "if all(sum(1 for x, y in zip(w1, w2) if x != y) <= 1 for w2 in A):" which I think runs almost N times.This gives O(N*N) if N>>M. But I am not that much familiar to python so maybe I am incorrect.

        • »
          »
          »
          »
          »
          4 года назад, # ^ |
            Проголосовать: нравится 0 Проголосовать: не нравится

          The line you quoted is O(N*M), not N.

          But it's only ever ran twice (you return the answer after), not N-1 times.

      • »
        »
        »
        »
        4 года назад, # ^ |
          Проголосовать: нравится 0 Проголосовать: не нравится

        I also found that your solution runtime(108,124,124,139) for first 4 test cases is larger than my solution runtime(30,0,30,30) https://mirror.codeforces.com/contest/1360/submission/81312565 which is same as editorial. Can you explain?

»
4 года назад, # |
  Проголосовать: нравится 0 Проголосовать: не нравится

how did you guys approach, your thought process to find out how to arrange all the one's

»
4 года назад, # |
  Проголосовать: нравится 0 Проголосовать: не нравится

In the problem F- Spy strings,

Can we reduce the complexity of O(m * 26 * n * m)? If so, can anyone explain how to do so? Thank you.

  • »
    »
    4 года назад, # ^ |
      Проголосовать: нравится 0 Проголосовать: не нравится

    I have done it in O(n*m*m). Initialise your answer with the first string and test 'm' versions of this string such that in version 'i', the ith character can be changed. For testing a version of the string, check all the characters except the one that can be changed. If the strings differ in exactly one place, then the ith character can be fixed according to the string it is being tested with. After you have changed the string, all the characters of the string should be tested. You can refer to my Solution

  • »
    »
    4 года назад, # ^ |
      Проголосовать: нравится 0 Проголосовать: не нравится

    https://mirror.codeforces.com/contest/1360/submission/81249769

    you can check my submission

    Explaination: — Assuming s[0] as an answer now change every letter to a to z and check whether it is possible answer or not

  • »
    »
    4 года назад, # ^ |
      Проголосовать: нравится 0 Проголосовать: не нравится
    • »
      »
      »
      4 года назад, # ^ |
        Проголосовать: нравится 0 Проголосовать: не нравится

      Wow, can you briefly explain?

      • »
        »
        »
        »
        4 года назад, # ^ |
        Rev. 3   Проголосовать: нравится 0 Проголосовать: не нравится

        Lets take two strings a and b , and solve for these two only for now. Lets define getDiff(a,b) = No of positions i in which a[i]!=b[i]. Let currAns = a.

        if getDiff(currAns,b)<=1 , then you have found the answer.

        else if getDiff(currAns,b) = 2 , then we need to change our currAns

        else , we cannot find the answer you can prove that.

        Lets modify currAns so that getDiff(currAns,b) <=1. How ? Let a = "abc" and b = "ebd" and currAns=a

        We can see that getDiff(currAns,a) = 0 and getDiff(currAns,b) = 2

        We have two options to reduce the difference.

        One is change currAns[2]=b[2] , then our currAns = abd.

        After changing one character we can easily see that getDiff(currAns,a) =1 and getDiff(currAns,b) = 1.

        Second way is to change currAns[0]=b[0] , then our currAns = ebc and we can easily see that getDiff(currAns,a) =1 and getDiff(currAns,b) = 1.

        I have used this idea to solve for n strings. Since we have proved that for solving for 2 strings we have only two options if getDiff(a,b) = 2 , we can use these answers to check if one of them satisfies all the strings or not else the answer wont exist.

»
4 года назад, # |
  Проголосовать: нравится 0 Проголосовать: не нравится

Don't you think Codeforces has decreased the difficulty level of Div3 very much as compared to past contest.Even Question F and G based on implementation.

  • »
    »
    4 года назад, # ^ |
      Проголосовать: нравится 0 Проголосовать: не нравится

    It is because this contest was previously designed as div4 and later converted to div3

»
4 года назад, # |
Rev. 2   Проголосовать: нравится +1 Проголосовать: не нравится

If anyone is interested F-Spy-string Solution with explanation Here

»
4 года назад, # |
  Проголосовать: нравится +1 Проголосовать: не нравится

Is there a more generalized solution for problem F? Not that the given solution is bad or anything.

»
4 года назад, # |
  Проголосовать: нравится 0 Проголосовать: не нравится

In problem G, can anyone explain What is the idea behind choosing d such that 0<d<m such that (d⋅n)%m=0. Please explain.

  • »
    »
    4 года назад, # ^ |
      Проголосовать: нравится 0 Проголосовать: не нравится

    If we shift d in every row, then total shifts would be n*d. We want these shifts to be cyclic around m. Therefore n*d should be divisible by m, implies (d*n)%m=0.

    • »
      »
      »
      4 года назад, # ^ |
        Проголосовать: нравится +3 Проголосовать: не нравится

      Why do you even try explaining when you yourself have 0 understanding how it works. Did you even read you own explanation ?

»
4 года назад, # |
  Проголосовать: нравится -12 Проголосовать: не нравится

Bi*ch where are the rating changes?

»
4 года назад, # |
  Проголосовать: нравится 0 Проголосовать: не нравится

Did anyone try attempting Prob. E by BFS/DFS?

»
4 года назад, # |
  Проголосовать: нравится 0 Проголосовать: не нравится

Did anyone try attempting problem E by BFS/DFS? or the trick stuck everyone right at the moment?

»
4 года назад, # |
  Проголосовать: нравится 0 Проголосовать: не нравится

Someone please explain the C problem ,I really dont get the tutorial logic;

  • »
    »
    4 года назад, # ^ |
    Rev. 2   Проголосовать: нравится 0 Проголосовать: не нравится

    The problem wants you to partition the array in pairs. A pair is valid if both of its elements have the same parity. So if you have an even amount of, for example, odd numbers in the array, it means you can already put all of them in pairs. The issue is when the number of elements of the same parity is odd. If that's the case, you would be left with one element unpaired. So the only other way to pair that element, is if there's an element that's also unpaired, from the set of numbers of the other parity.

    So at the end, you can partition the array if the amount of odd numbers and even numbers are both even (as you can pair them between themselves), or if both are odd and if you can find a pair of elements of different parity whose difference is 1, making it a valid pair. Those two you choose would be the unpaired ones I mentioned. Also, this means if the number of odd numbers is even, and the number of even numbers is odd, or vice versa, you can't partition the array as you would be left with one unpaired element.

    Knowing all of this, approaching the solution is counting the number of even elements and odd ones, and if you have the special case where both quantities are odd, you can easily sort the array and check for adjacent elements if their difference is 1 (as in that case they would have different parity).

»
4 года назад, # |
  Проголосовать: нравится 0 Проголосовать: не нравится

I am not able to find why I am getting run time error in test case 5 in problem H. Can someone please help. Link to my solution: https://mirror.codeforces.com/contest/1360/submission/81360379

»
4 года назад, # |
  Проголосовать: нравится +3 Проголосовать: не нравится

rating +300, LOL.

My solution for problem H in contest:

Realize that there's NO DIFFERENCE deleting TOO SMALL/BIG numbers and SMALL/BIG ENOUGH numbers. Just make [2^(m-1)-128,2^(m-1)+127] in a container, and delete numbers, output mid.

https://mirror.codeforces.com/contest/1360/submission/81278827

And another elegant solution. https://mirror.codeforces.com/contest/1360/submission/81358112

»
4 года назад, # |
  Проголосовать: нравится 0 Проголосовать: не нравится

Could anyone explain "Binary Median" editorial ,i did not get how to proceed with this problem?

  • »
    »
    4 года назад, # ^ |
      Проголосовать: нравится +1 Проголосовать: не нравится

    At the start, without removing any binary number, the median is 2^(m-1).

    Then for each string removed:

    1. If it is smaller than the current median, the median either goes up by 1 (if there is an even number of numbers left) or it stays the same (if there is an odd number of numbers left).

    2. If it is more than the current median, the median either goes down by 1 (if there is an odd number of numbers left) or it stays the same (if there is an even number of numbers).

    Note that you need to skip over all strings which have already been removed when you are going up or down by 1.

    Here's my submission if you need it: 81298077.

    • »
      »
      »
      4 года назад, # ^ |
        Проголосовать: нравится 0 Проголосовать: не нравится

      what if it's the same element ??????

      • »
        »
        »
        »
        4 года назад, # ^ |
          Проголосовать: нравится 0 Проголосовать: не нравится

        Then it depends on whether the current list has an odd or even number of elements.

        For example:

        [1,2,3,4,5] and you remove 3 (which is the median). The remaining list is [1,2,3,4] and the median is 2 which means the median goes down by 1.

        [1,2,3,4] and you remove 2 (current median). The list is [1,3,4] and the median goes up by 1.

        • »
          »
          »
          »
          »
          4 года назад, # ^ |
          Rev. 2   Проголосовать: нравится 0 Проголосовать: не нравится

          what if there are no elements left to go down in case of moving down or vice versa for moving up ??

          • »
            »
            »
            »
            »
            »
            4 года назад, # ^ |
              Проголосовать: нравится 0 Проголосовать: не нравится

            There should always be space to move up or down. (at least I have not had any trouble with this problem)

»
4 года назад, # |
  Проголосовать: нравится 0 Проголосовать: не нравится
»
4 года назад, # |
  Проголосовать: нравится 0 Проголосовать: не нравится

Can anyone please tell me why my solution 81366886 is getting TLE on TC5?

»
4 года назад, # |
  Проголосовать: нравится +3 Проголосовать: не нравится

I wanted to share my solution for G as my approach was a little different from editorial's and is easier to think and implement. I decided to iterate over columns from 1 to m and put b 1s greedily based on the number of 1s in each row. For that, I used a set of pairs {number of ones in this row, row number}. So for each column, just put 1s on the intersection of that column with the b rows with minimum number of 1s that is, first b rows in the set (and update set after putting each 1). And then check for the validity of solution by counting number of 1s in every row and column. 81293437

»
4 года назад, # |
  Проголосовать: нравится 0 Проголосовать: не нравится

https://mirror.codeforces.com/contest/1360/submission/81366312

Why am I getting TLE for this approach, please help me I have just started ! P.s: Problem is D

  • »
    »
    4 года назад, # ^ |
      Проголосовать: нравится +3 Проголосовать: не нравится

    And I really didn't understand the editorial for D !

  • »
    »
    4 года назад, # ^ |
      Проголосовать: нравится +3 Проголосовать: не нравится

    You are iterating for 1 to k linearly and k can be as large as 1e9. You can perform upto around 1e8 iterations in 1 second time limit. That is why time limit is exceeded. Find a way to find divisors of n in less than linear time. See editorial for that.

»
4 года назад, # |
Rev. 2   Проголосовать: нравится +1 Проголосовать: не нравится

For today's G there is a pretty simple and nice-looking solution. Check it here: 81371851

  • »
    »
    4 года назад, # ^ |
    Rev. 2   Проголосовать: нравится +5 Проголосовать: не нравится

    it's awesome, but why?

    update:
    understand, first n * a == m * b, that is count of '1', we can know that fact:
    n * a >= m and n * a mod m = 0 and n * a / m = b.
    make n * a divide by m, exactly perm b block, each block have m count of '1', distribute them by index [0, m — 1]. finally we get each index in [0, m — 1] count b times(for column).
    for row, distribute n * a by divide a, also get index in [0, n — 1] count a times.

»
4 года назад, # |
  Проголосовать: нравится 0 Проголосовать: не нравится

can someone help me in this for problem D. It is giving wrong answer on tc 3. https://mirror.codeforces.com/contest/1360/submission/81375221

thanks

»
4 года назад, # |
  Проголосовать: нравится 0 Проголосовать: не нравится

I was emailed about the violation that my solution 81275866 for the problem 1360F significantly coincides with solutions anishde85/81257823, ycui11/81275866, keep__calm/81282151. After I take a look at details, I found the only thing we are in commons is we used a template for FastIO to read input faster, and the template is used from the previous submmisoin, which the author published under contest blog, is it considered as a violation? Thanks! MikeMirzayanov

»
4 года назад, # |
  Проголосовать: нравится 0 Проголосовать: не нравится

Can someone explain how you can notice the solution for G?

  • »
    »
    4 года назад, # ^ |
      Проголосовать: нравится 0 Проголосовать: не нравится

    First you must look whether answer is YES/NO. This can be easily be checked if a*n == b*m.

    Now as you have asked how to notice the pattern , let me explain my thought process in approaching the answer.

    First check on most basic cases. Ex. n=2, m=2, a=1, b=1. You may easily visualize it as a 2X2 matrix which has all the elements along main diagonal = 1 and rest = 0.

    Now try a=2, b=2. When you check such 3 to 4 basic cases you will start finding a pattern.

    So rather than trying to find answer for some random cases try building it step by step, you will figure out the way. This is not just an answer to a particular question, but rather applies to a variety of problems that require keen observation skills.

    I hope this is what you wanted.

    • »
      »
      »
      4 года назад, # ^ |
        Проголосовать: нравится 0 Проголосовать: не нравится

      Thanks. I guess that's basically what I did, but I found the wrong pattern so I messed up :3.

    • »
      »
      »
      4 года назад, # ^ |
        Проголосовать: нравится 0 Проголосовать: не нравится

      please can you explain why we have to find 0<d<m such that (d*n)%m = 0

»
4 года назад, # |
  Проголосовать: нравится +3 Проголосовать: не нравится

You forgot the -1 in the initial value of the median in problem H (the implementation has it).

»
4 года назад, # |
  Проголосовать: нравится +1 Проголосовать: не нравится

Can someone explain that d*n%m condition geometrically or algebrically. I have no idea how that works

»
4 года назад, # |
  Проголосовать: нравится +2 Проголосовать: не нравится

Can somebody please tell how to solve F without the brute force approach ?

»
4 года назад, # |
  Проголосовать: нравится 0 Проголосовать: не нравится

The last problem H can be solved even in more easier way than the explained method in the editorial. First calculate the index using the formula (2^m-n-1)/2. Then check all the numbers which are to be deleted and maintain a cnt and prvCnt variable, where cnt is incremented when there exists some number in the deleted list which is less than the index, then set prvCnt = cnt. If at any stage cnt-prvCnt == 0, break the loop and there you go, you got the answer. At last just convert the decimal number to binary. https://mirror.codeforces.com/contest/1360/my

»
4 года назад, # |
  Проголосовать: нравится +7 Проголосовать: не нравится

this tutorial for problem G, no mathematical explanation, suck.

»
4 года назад, # |
  Проголосовать: нравится 0 Проголосовать: не нравится

My Solution for problem H. I think it's more clean. 81425658

»
4 года назад, # |
Rev. 2   Проголосовать: нравится 0 Проголосовать: не нравится

An easier to think of solution for G is instead of doing the cyclic shift, simply take the first a columns with the smallest number of ones, and add ones to those in the next row. Code is here: https://mirror.codeforces.com/contest/1360/submission/81428756

It's a lot slower, but it still manages to fit within the time limit

»
4 года назад, # |
  Проголосовать: нравится 0 Проголосовать: не нравится

Editorial of problem G doesn't make sense to me. Can anyone help me ? why cyclically shifted by d works?

  • »
    »
    4 года назад, # ^ |
    Rev. 2   Проголосовать: нравится +1 Проголосовать: не нравится

    In the matrix you can change the order of rows and columns, it is still valid. Which means order does not matter, we just have to distribute the 1 somewhat evenly.

  • »
    »
    4 года назад, # ^ |
      Проголосовать: нравится 0 Проголосовать: не нравится

    I have similar solution to that of editorial.We have to first check if $$$a.n=b.m$$$ . If it holds we can construct the solution in following way : in first row fill '$$$a$$$' number of 1's . In second row start from a+1 column and fill '$$$a$$$' number of 1's and so on (if anytime position reaches beyond $$$m$$$ , change it to 1) . Since $$$b.m$$$ is divisible by $$$m$$$ , thus 1's are evenly distributed across all the columns. submission

    • »
      »
      »
      4 года назад, # ^ |
        Проголосовать: нравится 0 Проголосовать: не нравится

      i am not getting why we start to fill the next row with a+1 column

      • »
        »
        »
        »
        4 года назад, # ^ |
          Проголосовать: нравится 0 Проголосовать: не нравится

        It's a constructive algorithm. By doing the method i have described we can equally distribute $$$1$$$'s in all columns .

»
4 года назад, # |
  Проголосовать: нравится 0 Проголосовать: не нравится

Can somebody help, why this is failing in test 2? Submission: 81434111

  • »
    »
    4 года назад, # ^ |
      Проголосовать: нравится 0 Проголосовать: не нравится

    You are only trying the largest factor <= sqrt(n) and n/largest_factor. So, you missed some factors.

    Wrong Test Case: 1 36 4

    Your Output: 36

    Correct Output: 9 (9*4=36)

    • »
      »
      »
      4 года назад, # ^ |
      Rev. 3   Проголосовать: нравится 0 Проголосовать: не нравится

      Yes, I rectified it some seconds ago and resubmitted with the submission 81439111, still it failed the same case.

      • »
        »
        »
        »
        4 года назад, # ^ |
        Rev. 2   Проголосовать: нравится 0 Проголосовать: не нравится

        Ah. I found the problem. On line 30: "else if( k >= p ){" where p is the smallest factor larger than or equal to sqrt(n). But, k can be larger than one of the factors which is larger than p.

        For example: 1 36 18

        Your code: p=6, k>=p is true, print 6

        Correct answer: 2 (2*18=36)

        A solution: Try all factors between 1 and sqrt(n) and their inversions. O(sqrt(n)) is good enough.

»
4 года назад, # |
  Проголосовать: нравится 0 Проголосовать: не нравится

What's wrong with this solution for H:

Let $$$f_i=0$$$ if $$$i \in A$$$ else $$$f_i=1$$$. Let $$$b=\left\lceil\frac{2^m-n}{2}\right\rceil$$$. Then use binary searching to find the first $$$x < 2^{m}$$$ that $$$\sum_{i=0}^{x}f(x) = b$$$. Then $$$x$$$ is the result.

»
4 года назад, # |
  Проголосовать: нравится +3 Проголосовать: не нравится

Can somebody help me with my solution to problem E?? my solution E

  • »
    »
    4 года назад, # ^ |
    Rev. 2   Проголосовать: нравится 0 Проголосовать: не нравится

    please make your array char and add this to if

    i != n - 1 && j != n - 1
    

    P.S Do not forget a[i][j]=='1' not a[i][j] = 1

    • »
      »
      »
      4 года назад, # ^ |
      Rev. 2   Проголосовать: нравится 0 Проголосовать: не нравится

      Why does the array needs to be of char type??

      • »
        »
        »
        »
        4 года назад, # ^ |
        Rev. 2   Проголосовать: нравится 0 Проголосовать: не нравится

        as you can see, the input numbers are not divided. if you write cin >> a[i][j], the compiler will not take only one number, he will take number before space or enter. just try to output your array.

        int a[n][n];
        for(int i=0;i<n;++i){
           for(int j=0;j<n;++j){
              cin>>a[i][j];
              cout << a[i][j] << ' ';
           }
           cout << '\n';
        }
        
      • »
        »
        »
        »
        4 года назад, # ^ |
          Проголосовать: нравится 0 Проголосовать: не нравится

        or you can write like

        int a[n][n];
        for(int i=0;i<n;++i){
           for(int j=0;j<n;++j){
              char q; cin >> q;
              a[i][j] = (int)(q - '0');
           }
        }
        
»
4 года назад, # |
  Проголосовать: нравится +1 Проголосовать: не нравится

Problem C:

Note that if the parities of e and of o do not equal, then the answer does not exist.

Given that n is always even, it is impossible.

»
4 года назад, # |
  Проголосовать: нравится +3 Проголосовать: не нравится

In Honest Coach editorial i think that this code block is not necessary.

for (int i = 0; i < n; i++) {
	for (int j = i + 1; j < n; j++) {
		result = min(result, a[j] - a[i]);
	}
}

Since we've sorted the vector. When we slice it in the i'th position, maximum of left array would be (i-1)'th element and minimum of right array would be i'th element so that doing it in one iteration is enough.

for (int i = 1; i < n; i++) {
	result = min(result, a[i] - a[i-1]);
}

Please correct me if i'm wrong

»
4 года назад, # |
  Проголосовать: нравится 0 Проголосовать: не нравится

In Problem H, why does the approach below Doesn't work?

Approach:- We Need to find the median (let's call that median X, basically X=floor((k-1)/2) ) from the K remaining strings.

  1. Since the numbers(binary strings) from 0 to 2^m are lexicographically sorted, removing given n given strings, should not disturb the lexicographical order of the strings.

  2. Our Answer Would be Xth number, but since we have removed some numbers( n numbers/strings), From all those n numbers, we will find numbers which are smaller than X, therefore we need to increase X, by all the smaller numbers we encounter, and increase X ... until there are no smaller numbers are left.

  3. And return the updated X to be our final answer.

My Code : 81399744

  • »
    »
    4 года назад, # ^ |
      Проголосовать: нравится 0 Проголосовать: не нравится

    I am not able to understand can you explain again, why are we increasing X if a[i] <= X and what if we delete median itself ?

»
4 года назад, # |
  Проголосовать: нравится +1 Проголосовать: не нравится

In the solution of G, why there are always $$$b$$$ ones in every column when the solution exists?

  • »
    »
    4 года назад, # ^ |
      Проголосовать: нравится +1 Проголосовать: не нравится

    For a matrix of size $$$h * w$$$, let's represent the total number of ones in each column as a frequency array $$$F$$$ of length $$$w$$$ initially filled with zeros and for each time we place a 1 in the $$$i-th$$$ row and the $$$j-th$$$ column we increment $$$F[j]$$$, and let's periodically fill this array as the solution states, for example let $$$h = 4, w = 4, a = 2, b = 2$$$,

    Iteration 1: $$$F = {1, 1, 0, 0}$$$ filling the first two columns in the 1st row

    Iteration 2: $$$F = {1, 1, 1, 1}$$$ filling the second two columns in the 2nd row

    Iteration 3: $$$F = {2, 2, 1, 1}$$$ filling the first two columns in the 3rd row

    Iteration 4: $$$F = {2, 2, 2, 2}$$$ filling the second two columns in the 4th row

    If a solution exists for a matrix of size $$$h * w$$$, we know for a fact that $$$h * a = b * w$$$. Observe from the example above that the total number of times we iterate $$$F$$$ (the number of times we iterated all $$$w$$$ elements of $$$F$$$) is equal to the total number of ones we have to place in the matrix divided by the size of $$$F$$$ which is equal to $$$(h * a) / w = b$$$, therefore, after we're done filling the matrix we know that for all $$$ (1 <= i <= w)$$$ $$$F[i] = b$$$

    • »
      »
      »
      4 года назад, # ^ |
        Проголосовать: нравится 0 Проголосовать: не нравится

      No offense but I wanted a proof, not an example.

      I guess that is because if we sort the column numbers where we put ones in ascending order we will have m*b consecutive numbers, then we take $$$\bmod m$$$ and what we should have is the pattern $$$0,1,...,m-1$$$, b times.

»
4 года назад, # |
  Проголосовать: нравится 0 Проголосовать: не нравится

Why is there unnecessary o(n2) loop even after sorting in problem B?

»
4 года назад, # |
  Проголосовать: нравится 0 Проголосовать: не нравится

Why (d⋅n)%m=0 tho , If anyone can explain than it would be of great help

»
4 года назад, # |
Rev. 2   Проголосовать: нравится 0 Проголосовать: не нравится

Can someone explain editorial's construction for G. Basically I want to know how the following ensures the condition given in question:

Let's show how to construct the desired matrix if it exists. Let's find any number $$$0<d<m$$$ such that $$$(d\cdot n)\% m=0$$$, where $$$a\%b$$$ — is the remainder of dividing $$$a$$$ by $$$b$$$. In the first row of the desired matrix, we put the ones at the positions $$$[1,a]$$$, and in the $$$i$$$-th row we put the ones, as in the $$$i−1$$$ row, but cyclically shifted by $$$d$$$ to the right.

And how does one come up with this idea.. why shifting by such a $$$d$$$ always ensure the condition in question?

  • »
    »
    4 года назад, # ^ |
      Проголосовать: нравится 0 Проголосовать: не нравится

    I have the exact same doubt. I will try asking the contest setters in pm and let you know if they respond. Meanwhile please let me know if you get the answer :)

    • »
      »
      »
      4 года назад, # ^ |
      Rev. 2   Проголосовать: нравится +3 Проголосовать: не нравится

      Yes I got some partial intuition in this regard. Consider that we fill in the manner described in tutorial, shifting that number $$$d$$$ to the right each time we enter next row. So in tutorial we are already filling $$$a$$$ ones in each row, so the only thing we need to worry about is that all columns are getting $$$b$$$ or equal number of ones.

      Now the thing is that if we distribute the block of ones evenly, then each row will must have $$$b$$$ ones because $$$na = mb$$$.

      So now we worry about the amount $$$d$$$ by which we shift. Following $$$0$$$ indexing, if first row has no shift, then our filling is done evenly iff the $$$n$$$th or one past the last row also starts its filling with no shift, right? So that means total shift is $$$nd$$$ and that must be multiple of $$$m$$$ (Why? because of the above line.)

      The only other condition we must worry about is that $$$d \not\equiv 0 (\mod m)$$$ because in that case you keep filling the same columns!

      • »
        »
        »
        »
        4 года назад, # ^ |
          Проголосовать: нравится 0 Проголосовать: не нравится

        I didn't understood your third paragraph, "that if first row has no shift, then our filling is done evenly iff the nth or one past the last row also starts its filling with no shift"

        • »
          »
          »
          »
          »
          4 года назад, # ^ |
            Проголосовать: нравится 0 Проголосовать: не нравится

          Consider this:

          • ooo..
          • .ooo. < Uneven filling for n = 3 rows
          • ..ooo (4th row does not begin its filling similar to first row)

          And this

          • ooo--
          • -ooo-
          • --ooo <- Even filling for n = 5 rows
          • o--oo (Notice that 6th row will start similar to initial row)
          • oo--o
»
4 года назад, # |
  Проголосовать: нравится 0 Проголосовать: не нравится

Explanation for tutorial of G. A/B matrix

Let we fill the first 'a' one's in first row then fill the second row by shifting the first row cyclically and so on. Let the shift be d. Then as there are n rows total number of shifts will be (n*d) as we have to fill the one's evenly number of shifts has to be distributed evenly among all 'm' columns (Imagine equal distibution of (n*d) sweets among 'm' children).It means that (n*d)%m should be zero. We can find d and build the matrix;

»
4 года назад, # |
Rev. 2   Проголосовать: нравится 0 Проголосовать: не нравится

Small remark regarding G. As we have $$$n a = m b$$$ we can take $$$d = a$$$.

Though I still don't understand why the described tiling is correct.

»
4 года назад, # |
Rev. 5   Проголосовать: нравится +3 Проголосовать: не нравится

I personally found problem G's editorial hard to understand, and I thought it could be helpful for others if i shared my understanding.

First things first, notice that the number of $$$1$$$'s in the rows must be equal to the number of $$$1$$$'s in the columns. This means $$$n \times a = m \times b\;$$$. If this doesn't hold for given $$$n,m,a,b$$$ , the answer is NO. Otherwise, it can be shown that the answer is always YES. From now on, I am going to use zero-based indexing.

We can follow a greedy algorithm :

  1. Fill the first $$$a$$$ consecutive cells with $$$1$$$'s in the first row. Here, the column we started to fill the $$$1$$$'s is $$$0$$$ and let's call this starting column $$$c$$$.
  2. For the rows $$$1$$$ to $$$n-1$$$ respectively, set $$$c = (c +a)\;(mod\;m)\;$$$ and starting from column $$$c$$$, fill the first $$$a$$$ cyclically consecutive cells with $$$1$$$.

In this way, we know that every row has exactly $$$a$$$ cells with $$$1$$$'s. The first condition is fulfilled.

Now it remains to check if we have $$$b\;\;1$$$'s filled for every column. Now when we fill the rows this way, notice the pattern of filling the columns :

First, we fill columns $$$0$$$ to $$$a-1$$$ for the first row , and then we fill columns $$$a$$$ to $$$2a-1$$$ for the second row and so on , and before ever going back to column number $$$0$$$ we fill the column $$$m-1$$$. We start again from column $$$0$$$ and keep doing the same thing until we fill $$$n \times a\;1$$$'s. The final filling sequence of columns looks like this :

$$$0,1,2,...,m-1,0,1,2,...,m-1,0,1,2,...,m-1,...,m-1$$$.

The sequence must finish at column $$$m-1$$$ because there is no remainder when $$$n \times a$$$ is divided by $$$m$$$. Since all the columns appear in the same frequency ,the sequence also shows that every column has exactly $$$\frac{n \times a}{m} = b\;\;1$$$'s filled.

I hope it helps.

  • »
    »
    2 года назад, # ^ |
      Проголосовать: нравится +3 Проголосовать: не нравится

    it helped a lot...thanx.. your solution show that d=a for ever..why in editorial he didnot show that??

    I get AC but with different sol it based on filling diagonals
    

    ``

»
3 года назад, # |
  Проголосовать: нравится 0 Проголосовать: не нравится

Proof for why the answer will always exist in Problem G when $$$a.n=b.m$$$
Denote $$$cnt_j$$$ as the sum of ones in $$$j^{th}$$$ column. Now, lets assume that each row contains $$$a$$$ ones. And now lets prove that when we are in some row and $$$cnt_j>b$$$ for some $$$j^{th}$$$ column, then there exists some column $$$k$$$ for which $$$cnt_k<b$$$ as well as cell is $$$0$$$ in the same row in this column.
Now, lets prove this by contradiction. There will be $$$m-a$$$ zeroes in that row and for each such column lets assume that count of ones in that column is at least $$$b$$$. So, there will be $$$(m-a).b$$$ ones in those columns which is equal to $$$n.a - b.a$$$ because $$$a.n=b.m$$$. Now, let's assume there are $$$k$$$ ones in the remaining columns, so $$$k=b.a$$$ as total ones are $$$n.a$$$. So, these remaining columns will contain $$$b$$$ ones each which contradicts our condition that one of these columns contain more than $$$b$$$ ones. So, the above statement must be true.
So the following algorithm works to solve the problem
Assign first $$$a$$$ cells equal $$$1$$$ for each row. Now, traverse the matrix row by row. While in some row, if at some columns the count of that columns is more than $$$b$$$ and that cell equals $$$1$$$, then find some cell in that same row where count of ones in column corresponding to that cell is less than $$$b$$$ and cell is equal to $$$0$$$, then swap them. Do this for all cells of matrix.

»
23 месяца назад, # |
Rev. 5   Проголосовать: нравится 0 Проголосовать: не нравится

Probably nobody cares by now, but the editorial for G has a mistake. Choosing any $$$d$$$ such that $$$0 < d < m$$$ and $$$m | (d\cdot n)$$$ won't work in general. Indeed, it's easy to see that it doesn't work if $$$n, m, a, b, d$$$ are $$$15, 30, 2, 1, 6$$$ respectively.

However, any such $$$d$$$ such that $$$d | a$$$, will work.

The given solution works because it ends up choosing the minimum $$$d$$$, and the minimum $$$d$$$ will divide $$$a$$$.

I haven't yet figured out whether these are the only values of $$$d$$$ that will work.

Edit: In fact, if $$$0 < d < m$$$ and $$$m | (d\cdot n)$$$, then $$$d$$$ works iff $$$\gcd(d, m) | a$$$.

»
15 месяцев назад, # |
  Проголосовать: нравится 0 Проголосовать: не нравится

Bitmask Dp solution for F[submission:217977243]