Loading [MathJax]/jax/output/HTML-CSS/fonts/TeX/fontdata.js

AkiLotus's blog

By AkiLotus, history, 6 years ago, In English

1152A - Neko Finds Grapes

Author: xuanquang1999
Development: xuanquang1999, AkiLotus, GreenGrape
Theme development: AkiLotus, GreenGrape
Editorialist: xuanquang1999

Tutorial
Solution (xuanquang1999)

1152B - Neko Performs Cat Furrier Transform

Author: AkiLotus
Development: AkiLotus, xuanquang1999
Theme development: AkiLotus
Editorialist: AkiLotus

Tutorial
Solution 1 - Greedy (Akikaze)
Solution 2 - BFS (Akikaze)

1152C - Neko does Maths

Author: stefdasca
Development: stefdasca, AkiLotus
Theme development: xuanquang1999, neko_nyaaaaaaaaaaaaaaaaa
Editorialist: stefdasca

Tutorial
Solution (implemented by stefdasca)
Solution (implemented by Akikaze)

1152D - Neko and Aki's Prank

Author: cdkrot
Development: cdkrot
Theme development: xuanquang1999
Editorialist: cdkrot

Tutorial
Solution (_kun_)

1152E - Neko and Flashback

Author: xuanquang1999
Development: xuanquang1999
Theme development: xuanquang1999
Editorialist: xuanquang1999

Tutorial
Solution (xuanquang1999)

1152F1 - Neko Rules the Catniverse (Small Version)

1152F2 - Neko Rules the Catniverse (Large Version)

Author: MofK
Development: MofK, xuanquang1999, AkiLotus
Theme development: xuanquang1999, AkiLotus
Editorialist: MofK, AkiLotus

Tutorial - F1 (Small version)
Tutorial - F2 (Large version)
Solution F1 (xuanquang1999)
Solution F2 (xuanquang1999)
Solution F2 (veryheckingfast by MofK)
Bonus

Authors' logs (miscellaneous things during our preparations)
  • Vote: I like it
  • +115
  • Vote: I do not like it

| Write comment?
»
6 years ago, # |
  Vote: I like it +6 Vote: I do not like it

You said tomorrow, isn't it? Anyway thanks for an awesome contest and a fast editorial. Keep up the great work.

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

    I felt things are nearly complete, so there's no need to actually wait for a day. ;)

    • »
      »
      »
      6 years ago, # ^ |
      Rev. 2   Vote: I like it +4 Vote: I do not like it

      AkiLotus During the contest I too thought that making the gcd as large as possible might be optimal but we have to minimise the lcm which is equal to product of 2 numbers divided by the gcd. How does maximising the gcd ensures minimum lcm. In the process of maximising the gcd we are also incresing the numbers. Then how is this optimal. What is the mathematical proof for this

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

Can anyone please let me know how 5 0 7 15 is not the right answer for sample test case 1 of B? It results in 63 as per my calculation. I'm surely missing something.

»
6 years ago, # |
  Vote: I like it +10 Vote: I do not like it

Why does gcd?

  • »
    »
    6 years ago, # ^ |
    Rev. 4   Vote: I like it +6 Vote: I do not like it

    Because of the Euclidean Algorithm, if we subtract the smaller number from the larger number the GCD remains the same.

  • »
    »
    6 years ago, # ^ |
      Vote: I like it +18 Vote: I do not like it

    One common way of understanding \gcd(a,b) is connecting it to the set of all numbers you can make by adding or subtracting a and b. \gcd(a,b) can be interpreted as the smallest strictly positive number in this set.

    So the question, is \gcd(a+k,b+k) \stackrel{?}{=} \gcd(a+k,b-a), can simply be answered by noting that they both form the same set. This is true as (a+k) + (b-a) = (b+k).

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

      Can you explain how iterating the divisor of b-a will lead me to the solution ?

      • »
        »
        »
        »
        6 years ago, # ^ |
        Rev. 20   Vote: I like it +12 Vote: I do not like it

        First observation is LCM({a+k},{b+k})=\dfrac{(a+k)\times (b+k)}{GCD({a+k},{b+k})}.

        What to do with |b-a|? Basically let g be GCD({a+k},{b+k}). You then have a+k=x\times g and b+k=y\times g (x and y are some integers), which means b-a=(y-x)\times g, so g is a divisor of |b-a| (we can exclude the case that x=y).

        That means with an arbitrary value of k, GCD({a+k},{b+k}) must be a divisor of |b-a|. Thus you don't need to examine all the values of k since there are finite values of divisors of |b-a|. Instead just focus on finding minimal k based on our finite divisor set of |b-a|, which are the set of potential GCD({a+k},{b+k}).

        With each divisor d of |b-a|, you can calculate k by considering d=GCD({a+k},{b+k}) and update the result. However I pass this with another way. I calculate k by considering d as the divisor of both a+k and b+k. Don't know why it passed, maybe I missed something :\

        EDIT: Maybe I know why I passed with the other way. Since I consider d as the divisor of both a+k and b+k, the k I calculated surely makes GCD({a+k},{b+k}) not smaller than d. As k is the minimal to makes d the divisor of both a+k and b+k, if you want d to become GCD({a+k},{b+k}) (if it hasn't been), you need to raise k to a value k' which is not smaller than k. Now of course \dfrac{(a+k)\times (b+k)}{GCD({a+k},{b+k})} is smaller than \dfrac{(a+k')\times (b+k')}{d}, which means we get a better result.

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

          Damn those revisions.

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

          Yeah, I was also confused in the last part that even after considering d as divisor NOT gcd, the answer remains correct. This hasn't been explained in the editorial but is really an intricate fact. Thank you for sharing it!

      • »
        »
        »
        »
        6 years ago, # ^ |
          Vote: I like it +11 Vote: I do not like it

        Firstly, define d=\gcd(a+k,b+k).Then it's easy to know that a+k=da',b+k=db'(a',b'\in\mathbb{N_+}). Therefore d|((b+k)-(a+k))=d(b'-a'), \gcd(a+k,b+k) should be the divisor of b-a.

        Secondly, because \text{lcm}(a+k,b+k)=\frac{(a+k)(b+k)}{\gcd(a+k,b+k)}, therefore if \gcd(a+k,b+k) is known, a+k and b+k should be minimum as possible to make least common multiple be minimum as possible, it's not hard to know that a+k=\lceil\frac{a}{d}\rceil d and b+k=\lceil\frac{b}{d}\rceil d.

        All in all, we can enumerate all divisors of b-a to get all possible answers, and the solution is in them.

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

          Ok i understand till this part that for every divisor d i have to find smallest value of k such that ** gcd(a+k,b+k) = d** . How can i proceed further ?

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

            After you find the smallest k, just calculate the least common multiple of a+k and b+k. The solution has minimum \text{lcm}(a+k,b+k) and smallest value of k.

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

            This is my code.

            53264271

        • »
          »
          »
          »
          »
          6 years ago, # ^ |
            Vote: I like it +1 Vote: I do not like it

          How is a+k = ceil(a/d) * d? (where d is the gcd(a+k, b+k) as you mentioned.

          Also, in the editorial author says k = q-a%q. How is that? (q is the divisor of (b-a) here)

          • »
            »
            »
            »
            »
            »
            6 years ago, # ^ |
              Vote: I like it +1 Vote: I do not like it

            Note that a + k = ceil(a / d) * d has a lot (infinite number) of possible k that satisfies the equation but we need a minimum value from them (with k>=0 at the same time), so we take the minimum value greater than a that is a divisor of d. For example, for d = 3 and a = 6 k would be 0 because ceil(a / d)*d = a, for a = 7, d = 3 k would be 2. The same logic applies in the editorial. Consider some x such that x*q is the greatest value less than a. So it is clear that x * q <= a <= x * q + q. There are 2 possible variants: 1) a = x * q, then k = 0. 2) a != x * q. So a is somewhere between. We are to find such k that a + k = x * q + q. How do we? Well, we already could iterate for all x starting from zero until we get k>=0, but what else we could do is to find m = a - x * q which is a % q by definition. With this m and the total length of the interval x * q + q - x * q = q, we calculate the other part as k = q - m, so k = q - a % q.

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

              Thank you so much! I couldn't have asked for a better explanation. This also helped me develop a much better understanding of modulo operations. :)

  • »
    »
    6 years ago, # ^ |
      Vote: I like it +3 Vote: I do not like it

    From Euclid's theorem, gcd(a, b) = gcd(b%a, a)

    Now let b >= a and x = b - a, thenb = a + x

    Take gcd(a + k, b + k), which will be

    = gcd((b + k) % (a + k) , (a + k))

    = gcd((a + x + k) % (a + k) , (a + k))

    = gcd(x, (a + k))

    = gcd(b - a, a + k)

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

    if (x==y) gcd(x,y)=x; if (x>y) gcd(x,y)= gcd(x-y,y); if (x<y) gcd(x,y)= gcd(x,y-x)。

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

Can someone explain this statement for C ? "For each divisor q of b−a, we can use it only if a%q=b%q, therefore adding 0 if a%q=0 and q−a%q otherwise. "

  • »
    »
    6 years ago, # ^ |
    Rev. 5   Vote: I like it 0 Vote: I do not like it

    if a%q=b%q you can add k to each other and make those numbers divisible by q

    (a+k)%q == 0 && (b+k)%q == 0

    k is either 0 or q-(a%q)

»
6 years ago, # |
  Vote: I like it +9 Vote: I do not like it

i dont get this part minimize lcm(a+k,b+k), this means that we're going to make gcd(a+k,b+k) as big as possible. can anybody help me? why is this true?

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

    That's because lcm(a, b) == (a*b) / gcd(a, b) So if gcd is bigger it means the lcm is going to be smaller

    • »
      »
      »
      6 years ago, # ^ |
      Rev. 6   Vote: I like it +15 Vote: I do not like it

      you mean k is fixed right? when then gcd means greatest common divisor.. how can we get different value of gcd(x,y)

      when we iterate through k ...

      there's counter example ( i guess...)

      when a = 3, b = 1
      
      least lcm is 3 when k = 0 and gcd(1, 3) = 1
      
      if k = 1 :
      gcd(2, 4) = 2 and lcm is 4

      (no offense..)

      • »
        »
        »
        »
        6 years ago, # ^ |
        Rev. 2   Vote: I like it +3 Vote: I do not like it

        Maximizing GCD is not the optimal solution — like your example shows.

        The steps to get to gcd(a + k, |b - a|) are pretty clear in above comments. So now you need to find it's value. It's a divisor of |b — a| for sure, and all divisors of this number are pretty easy to find.

        Given this, you iterate through divisors d of |b — a|. That may be the most important part I am seeing a lot of people miss. You need to test d as the denominator. Because d = gcd(a + k, |b - a|) for some d (it not only divides |b — a|, but also divides (a + k)), we need to change the numbers on the numerator: (a + (d - a%d)) and (b + (d - b%d)) to make it divisible through addition. This is a very simple step, since we are adding d to a number and removing the necessary amount for it to be divisible.

        Now, before assigning anything to your answer, check: The obtained LCM (adding k = (d - a%d) to both a and b) is smaller than the already stored one? If it is, update it's value and store the just used k. If it's equal, you can update the stored k if the k just used is smaller. That's pretty much everything.

        Notice that assigning either (d - a%d) or (d - b%d) to your stored k is the same thing, because since we know that d | (b + k) and d | (a + k) , then a mod d = b mod d. This is a great step to dwell on if you haven't realized the whole thing yet. You will se a lot of submissions going with (a + (d - a%d)) * (b + (d - a%d)) [...] (notice how a%d is used on both).

        I was frustrated with this problem during the contest due to all the little things you can easily get tangled on. I hope I didn't mess up my explanation at any point and that you are left with no doubts.

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

          Thanks a lot for the explanation. It clarified all my doubts

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

      let's a=1924 , b = 5834 then b-a = 3910 Also Maximum gcd possible is 3910 But when taking gcd = 3910 , lcm = 7820 ans taking gcd = 1955 , lcm = 5865 . Also in general maximum divisor of (b-a) is (b-a) itself then why we have to iterate over divisors of b-a to get minimum lcm .

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

    I am confused too....

  • »
    »
    6 years ago, # ^ |
      Vote: I like it +9 Vote: I do not like it

    That part seems to be incorrect.What we should do is to try all divisors of b-a and find the minimum lcm.

»
6 years ago, # |
Rev. 2   Vote: I like it +10 Vote: I do not like it

In problem F: The statement says that if you are at current planet x, you can move to planet y <= x + m.

For N = 100000, m =4 If we start at planet x = 500 we can move to planet 504, then from that planet to 508, then 512, 516, 520 etc.

However, the solutions assume that if we start at planet x = 500, We can never make any moves beyond 504, that doesn't apply just for the next move. so we can go to planet 504, but we will never be allowed to move to 505 and beyond. If we move ever move, for example to 490, then after reaching node 490, we don't be allowed to go to 495 and above.

Is this a translation issue, is Russian version of this problem different than english?

  • »
    »
    6 years ago, # ^ |
      Vote: I like it +3 Vote: I do not like it

    No, we do allow to make moves beyond 504, and our solution handles that.

    The idea is to insert the planets in decreasing order into the path; it is possible that we first insert 508, then insert 504 before 508, then 500 before 504, which gives the path 500-504-508.

    Sorry if any part of the solution confuses you. Hope this clears.

»
6 years ago, # |
  Vote: I like it +7 Vote: I do not like it

For problem A there is no need to define vector space. Directly read a variable and update counter values.

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

Can anyone explain how MSB(4) = MSB(7) = 2 in question no. 2.

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

    Keep in mind that the most significant bit is the leftmost 1 bit of a number written in binary form.

    When writing the numbers in binary form, we can see that:

    {4}_{(10)} = {100}_{(2)}

    and:

    {7}_{(10)} = {111}_{(2)}

    If we start counting the exponential of each bit from 0 and from the right to the left, we can see that the most significant bit of both cases is the 2nd rightmost bit (3rd actually, but again we're counting from 0).

    Thus, MSB(4) = MSB(7) = 2.

»
6 years ago, # |
  Vote: I like it +1 Vote: I do not like it

I do not understand the problem D Can someone elaborate to me what this means "Aki then came up with an interesting problem: What is the size of the maximum matching (the largest set of edges such that there are no two edges with a common vertex) in this trie?"

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

    Just in case, you should read the definition of a trie and maximum matching of a graph.
    Generally, a trie is a tree, and as a result, could be considered as a graph (but with a few special attributes) and had some other attributes, including maximum matching.

    P/s: Still I think the sentence did quite a good job in explaining the task though.

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

Auto comment: topic has been updated by AkiLotus (previous revision, new revision, compare).

»
6 years ago, # |
  Vote: I like it +1 Vote: I do not like it

For problem C, for every divisor q of (b-a) the condition of a%q = b%q will be true and there is no need for an additional check.

  • »
    »
    6 years ago, # ^ |
      Vote: I like it -8 Vote: I do not like it

    Oh, I was overkilling when writing my implementation ;)
    Thanks, solution updated. ;)

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

What is MSB? Could you explain a little bit deeply?(B)

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

Found a mistake, a little one. Problem B-> Greedy Solution-> plain text->solve function->while(isCompletion(x)) should be while(!isCompletion(x))

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

Problem B Greedy solution. In your loop the third logic with MSB. I can't understand why you would do 2^(MSB(x)+1)−1? What's the logic behind it?

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

    never mind. just understood it. neat one. I was thinking a bit differently. trying to find the leftmost 0 which is after the MSB. Then count its position and xor with 2^(pos+1)-1.

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

    The core idea of this greedy solution is to remove the most significant bit of x until x becomes a number of the form we want (well, since even in the worst case, 0 is still one correct final value for x).

    Assume that we have x and its MSB(x). Given the plan I said earlier, we need to find a number to perform operation A to remove that significant bit, without accidentally adding other more significant bits (in case you didn't realize, 1 \oplus 1 = 0).

    Then, 2^{MSB(x)+1} - 1 is a perfect candidate. If you write it out in the binary notation, it consists of MSB(x) + 1 '1' bits, which mean the most significant bit of it is also MSB(x).

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

Could you please describe your greedy solution of prob. 2 by an example? Say 39?

  • »
    »
    6 years ago, # ^ |
      Vote: I like it +1 Vote: I do not like it

    I'll just iterate the things as I stated in the tutorial.

    Initially, x = 39, neither lower than 2 or being of 2^m - 1 form.

    We'll find its MSB, in this case MSB(x) = MSB(39) = 5.

    Thus, we'll choose n = 6, and convert x into x \oplus (2^6 - 1) using operation A.

    To be precise, x := 39 \oplus 63 or x := 24.

    24 is not a correct final number, so we'll perform operation B and return to the beginning of the loop. Now x = 25.

    Since 25 is also not a correct final number, we'll calculate the MSB again. MSB(x) = MSB(25) = 4.

    Perform operation A: x := 25 \oplus (2^4 - 1) or x := 6.

    6 is not a correct number, so we'll perform operation B. Now x = 7.

    You can see that 7 is a valid number (as 7 = 2^3 - 1). Therefore, we stop the loop here.

    The output should be:

    4
    6 5
»
6 years ago, # |
  Vote: I like it +9 Vote: I do not like it

I have a simpler solution for D(easy to code but hard to understand).

Let f_{i,j}=f_{i-1,j}+f_{i,j-1};f_{1,1}=1,we can easily calc f for j\le i\le n+1in O(n^2),just use the definition.

Then ans=\sum\limits_{(i+j)\bmod 2=1} f_{i,j}

Now let's explain why it works.

First,here is a way to choose a set of edges which has biggest size:choose all vertices with even depth,and choose the edge between each vertex and its father one by one(if its father is still not covered).In this way,all vertices with odd depth are covered(the leaves of the trie have even depth),and all edegs are between an odd vertex and an even vertex,so the size of the set has been as big as possible.

Now we can see that the ans is equal to the number of vertices with odd depth,and the solution above just calculates this.

Let's think about f,it's easy to see that f_{i,i} is the i-th Catalan number. As we know,Catalen number equal to the number of correct bracket sequences.And f_{i,j} equal to the number of bracker swquences which has a lenth of i+j,i opening brackets and j closing brackets.So the sum of all f_{i,j},(i+j)\bmod 2=1 is ans we need.

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

So what's dreamoon_love_AA's solution? I can't understand his dp and combinations. Btw, I was very sleepy and tired during the contest and my rating falls down:(

»
6 years ago, # |
Rev. 3   Vote: I like it 0 Vote: I do not like it

I have a doubt in problem D.
I wrote a solution to maximize the number of edges using a simple DP with states [1000][1000][2].
The aim was to print (max(number_of_edges)) % mod but apparently the test cases are to maximize(number_of_edges%mod) and not (max(number_of_edges))%mod.

I got WA on case 16 when didn't use mod anywhere but final place. (WA here)

Then I used mod on all the additions and submitted. I did not expect to get a Accepted verdict but I did. (Accepted here)

The Accepted solution is maximizing the modulo-ed value and not finding the maximum edges possible % mod. Please note that these two things are completely different values.

Please look into this. I was confused during the contest of how to find maximum possible edges all at once (as complete answer cannot lie in range of long long int) and then find it's modulo but test cases are to maximizing the modulo-ed value.

AkiLotus Please look into this!

  • »
    »
    6 years ago, # ^ |
    Rev. 2   Vote: I like it 0 Vote: I do not like it

    We just checked things up again, and the model solution was correct. Maybe the testset could't kill such solutions like your second one (I haven't tried yet actually, MofK even claimed it was even impossible for n \le 1000 due to the atrociously low probability of such to happen).
    But still, your first solution won't work, since long long wasn't enough to avoid overflow.

    UPD: kun locally tested it for all n and no counter tests exist for your second solution.

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

      Hey!

      Yes long long is not enough to prevent the overflow then how can we find the maximum number of leaves without taking mod initially at all? The sample solution takes use of mod before evaluating the final answer and thus how can one know if it works as specified in the question (Take modulo of maximum edges not maximize modulo of number of edges)?

      • »
        »
        »
        »
        6 years ago, # ^ |
          Vote: I like it +1 Vote: I do not like it

        The solution does not use any min/max operations, only additions, so it works fine.

        If you insist on using the standard (take max) solution, comparing them using big integer is the correct way, but you can pass just by using modulo because there's (unsurprisingly) no n \le 1000 such that your solution fails (read my other reply).

        • »
          »
          »
          »
          »
          6 years ago, # ^ |
            Vote: I like it -8 Vote: I do not like it

          Oops! Just read the word dp and assumed they were using standard DP approach. It is a greedy solution so it does work! Thanks for the help. :)

  • »
    »
    6 years ago, # ^ |
      Vote: I like it +1 Vote: I do not like it

    For a rough intuition of why there was no counter-test against your second solution, you can read this comment.

    To be fair, we could have killed such solutions if we wanted to, by deliberately choosing a modulo that makes those solutions fail, or including the modulo in the input. But then again it will be unfair because there might be other implementations we are unaware of that avoid this specific counter-test, but fail on other tests.

    A close analogy to this situation is: Should we include a test that kills a hash function with modulo 10^9 + 7 and base 31 just because we can?

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

      Got it! Thanks for the help :D

      Killing such solution would mandate the participants to pick on a greedy approach and restrict them from using DP approaches :o

      Great thing learnt to enforce greedy :D

      Thanks again! :)

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

    I did the same dp as you, and before submitting I realized the mistake.

    So I tried to change the dp to not use max, and I was able to do this by leaving the dp kind of greedy.

    When you can choose two different sub-trees to place the edge, you can choose the largest subtree, that is, if you have an x ​​quantity of "(" and an y quantity ")" until now, you choose to place the parentheses on the subtree of the minor x or y.

    I have not been able to prove formally because it works.

    Code

    • »
      »
      »
      6 years ago, # ^ |
        Vote: I like it +3 Vote: I do not like it

      The greedy approach does seem right! Thanks for pointing it out :)

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

For problem E, I thought that if the number of vertexes whose degree(except for going to oneself) is odd is 2, there is always solution. It was wrong. But I don't know why my thought is wrong. Could anybody explain me?

  • »
    »
    6 years ago, # ^ |
      Vote: I like it +1 Vote: I do not like it

    The graph needs to be connected as well (if you don't count isolated vertices).

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

      !! thank you

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

      I am getting TLE on problem E. Can someone please look into the code. Approach is same as given in editorial.code

»
6 years ago, # |
Rev. 2   Vote: I like it 0 Vote: I do not like it

Can someone explain the idea of this 53236803 :< Does his dp(i, j) mean number of ways to reach vertex (i, j) ? If it does, so why the ans are the sum of all exist vertices ? P/S : i'm not good at English :v Hope you can understand what i mean :3

  • »
    »
    6 years ago, # ^ |
    Rev. 2   Vote: I like it 0 Vote: I do not like it

    dp[i][j] stores the number of nodes at depth i of the trie with the number of opening brackets minus the number of closing brackets equal to j. For the transitions, we can append an opening bracket to the sequence represented by the current nodes and we get a sequence represented by dp[i + 1][j + 1]. If j is positive we can also append a closing bracket which gives us a sequence represented by dp[i + 1][j - 1]. To get the maximum matching, we want to take the edges in every other layer so we take the sum of dpvalues for every other value of i, excluding the values where i + j > 2 * n because those sequences have too many opening brackets to form a correct bracket sequence of length 2 * n.

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

      Thank u, I understood. The result is the sum of all odd layers. By someway, I thought it was the sum of both odd and even layers :v

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

Can someone please explain GRAPH approach (BFS) in 1152B — Neko Performs Cat Furrier Transform .

  • »
    »
    6 years ago, # ^ |
      Vote: I like it +12 Vote: I do not like it

    You can think of an undirected graph, each node is identified by a pair of number (x, parity), while x is the current number x, parity is the parity of the moved that number has gone through: if parity = 0 then the next operation should be operation A, else if parity = 1 then the next operation should be operation B.

    Performing xor operations with any bits higher than 2^{20} has no use given the constraints of the problem, therefore the graph will only have 2^{21} nodes.

    The edges are drawn as following:

    • For each node (x, 1) (0 \le x < 2^{20}), there is an edge between (x, 1) and (x+1, 0).
    • For each node (x, 0) and for each n (0 \le x \le 2^{20}, 1 \le n \le 21), there is an edge between (x, 0) and (x \oplus (2^n - 1), 1).

    From this point, the graph is complete, and you can do a BFS traverse as normal convention.

»
6 years ago, # |
Rev. 2   Vote: I like it 0 Vote: I do not like it

Thanks for your awesome tutorial. I think two lines of problem C 's solution by @stefdasca is redundant because it is always a%nr==b%nr. Because nr is divisor of a-b

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

Extension of Problem E: Drop the condition that b and c have been ordered with the same permutation, i.e. b' and c' represent merely the multiset of all consecutive minimums and maximums, in no particular order. Even though the structural constraint is reduced because now elements on the same index in b' and c' don't have to be generated by the same pair, I think that a greedy construction is still admissable. I wonder if any of you have given it some thought?

»
6 years ago, # |
  Vote: I like it +15 Vote: I do not like it

For problem F, Given fixed values of k, m, the solution f_{k,m}(n) starting from n \geq k(m+1) is a polynomial of n with a rather small degree — at most k. This means that you can use optimized brute-force for small values of n and then just interpolate. Actually, my brute-force was able to solve any n,k,m other than k=12, m=4 in under 7 seconds, so I just hardcoded the first 100 values for k=12, m=4 and then interpolated.

Code: 53511773

  • »
    »
    6 years ago, # ^ |
      Vote: I like it +15 Vote: I do not like it

    Nice solution! Actually you can solve for all n up to k(m+1) using DP in O(k^2 * m * 2^m), so this problem can be done for even larger constraints (e.g. k \le 100, m \le 10) than I expected.

    Well, this problem was still WIP by the time it was chosen (because something unexpected happened), so I did expect that I may have missed better solutions. But my unfinished idea was very close to this one, so I'm pretty "salty" now :D

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

    Could you explain why the answer is such a polynomial? I have been trying to prove it for a long time but there's no progress.

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

Can someone explain D more clearly. Like what is dp[i][j] giving. In tutorial it say's dp[v] is giving no. of edges which we can take in subtree and then it say's we can add a edge upwards. If we are traversing then we should move top to bottom and edge should be added downwards. I am totally confused about what is happening here. Can someone help ?