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

Автор isaf27, 5 лет назад, По-русски
Tutorial is loading...

Решение жюри: 54047380

Tutorial is loading...
Решение жюри: 54047416
Tutorial is loading...
Решение жюри: 54047456
Tutorial is loading...
Решение жюри: 54047487
Tutorial is loading...
Решение жюри: 54047513
Tutorial is loading...
Решение жюри: 54047561
Tutorial is loading...
Решение жюри: 54047626
Tutorial is loading...
Решение жюри: 54047665
Разбор задач Codeforces Round 559 (Div. 1)
Разбор задач Codeforces Round 559 (Div. 2)
  • Проголосовать: нравится
  • +62
  • Проголосовать: не нравится

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

Большое спасибо за раунд, особенно за 4 задачу, получил большое удовольствие, придумывая конструктив. И вообще, люблю раунды на идею, а этот именно такой, у меня в 4 решённых задачах по 10 строк кода. Побольше бы подобных соревнований!

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

В разборе Div1.B, сказано, как решать, и показано, почему это будет правильным ответом. Но куда интереснее понять, как до этого можно было додуматься? Какие рассуждения должны были привести именно к такому виду ответа и такому $$$\texttt{a}$$$?

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

Hard B, trivial C and D, cool E. And I completely understand that it's easy to misjudge the difficulty of B.

I don't like limits in F and I want setters to take some things into consideration in the future. Here, the jury solution (attached in the editorial) takes 40% of TL what is quite tight, especially considering the fact that it does all modulo efficiently — avoiding the % operator if possible, doing if(x >= MOD) x -= MOD instead. You should do that in brute force solutions and make sure they still don't pass, but the author solution shouldn't be written very efficiently. Remember that participants won't necessarily implement everything in the same way. Do you really want to penalize them for writing a code that is twice slower? And let's remember about a bit slower Java, though maybe it wasn't an issue here — because modulo was the heaviest operation. TL 8-10s and ML 512MB look much better to me (the author solution takes 118MB and it would barely pass after replacing ints with long longs).

Tight limits can be forced by a dangerously fast brute force and maybe everything was chosen as good as possible in this problem, I don't know. Even in that case, I think that my post still can be of use for future setters.

Remember this: limits should be chosen in such a way that naive solutions don't pass. If this condition is satisfied, it's great to make TL to be much much more than twice the running time of your solution.

And limits in C were too tight as well. Reading $$$500\,000$$$ numbers and possibly doing something with a set or a segment tree? That takes some time, especially in slower languages. It's good if easy problems are solvable with Python. Just make TL to be 2s or 3s. Why not?

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

    I don't agree that B was difficult. If you implement brute force solution which just runs through all possible strings of length n and play around with it for a while you can clearly see the pattern.

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

    In problem C, segment tree/set takes $$$\mathcal{O}(n\log n)$$$ time, and author's solution is $$$\mathcal{O}(n)$$$, so such a tight TL could be the result of one of following considerations: 1) the author didn't know about $$$\mathcal{O}(n\log n)$$$, so he didn't see any difference between $$$500\,000$$$ and $$$200\,000$$$ and chose arbitrarily, or he tried to avoid participants sending unoptimal unpredicted solutions; 2) the author knew about $$$\mathcal{O}(n\log n)$$$ solutions and didn't want them to pass. Actually, in this case he didn't perform the clipping perfectly as the segment tree approach turned out to be productive for some participants, but my segtree failed the system testing (though changing the vectors to arrays and switching compiler from С++17 to C++14 let me gain an ok in upsolving in 998ms).

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

    C can be solved in O(n)

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

can anyone explain me div 1 C with more detail how to solve this with set/segment tree.

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

Можно разбор div.2 1159C — Праздник и конфеты, плез

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

When will the editorials of rest of the problems be translated to english?

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

    BTW, is it only me who is thinking that after AtCoder in japanese and Codeforces in Russian, Codechef will start publishing editorials in Hindi and will refuse to translate them?

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

Please translate

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

Can anyone please explain 1159 C the party and sweets?

if the testcase is the following

4 1

1 2 3 4

5

then shouldnt the answer be -1?

how is it possible for the boys to give 1,2,3,4 chocolates, and for the girl to also get 5 chocolates from some boy

Thanks

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

UPDATE: Answered here

In Div2E/Div1C.
Does anybody know why this 54049263 gives MLE? When I change stack to set I get AC in this 54047364

My Approach: Construct a directed graph where edge (u,v) means a[u] < a[v] and then do topological sort on that graph.

The way I construct it is if nxt[i] = j that means there is an edge(i, j), also there is an edge between all elements [i+1, j-1] and i since all of them must be less than i. I only keep track of the least previous element.

Here's an example where ix, jx means nxt[ix] = jx:
i1 i2 i3 ... j3 j2 j1. Edges are (i1, j1), (i2, j2), (i3, j3), (i2, i1), (i3, i2). I don't add (i3, i1) since it's redundant.
In a case like i1 .. i2 .. j1 .. j2 In the MLE submission I exit immediately and say that it's impossible. In the AC submission with set I let the topological sort handle it.

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

isaf27 why no english editorial ?

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

    I'm sorry, before the round I've written only Russian editorial. Now I should translate it, but I have a very hard time at university. Before the end of the week, I will finish. You will see the update in "Recent actions" section.

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

      First of all, thank you for having prepared a CF round. It helps the community and it requires a lot of work. ... But, why couldn't you write the editorial in English from the beginning? In that case you wouldn't have to spend extra time translating.

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

        Yes, I wanted to do this. But I started working on test cases shortly before the round and was busy doing test cases. Next time I will definitely begin from doing statements and editorials because it is usually hardest work for me :)

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

Where could I find the solutions in English pls

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

English solutions please!!

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

Can anyone help, what is 'l' in the explanation of D above?

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

Now editorials in English are available, sorry for waiting. If something isn't clear you can ask in comments.

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

in problem c (The Party And The Sweets) in test case 1 what is wrong in this ans: b1- 1 1
b2- 3 4
b3- 1 1
ans=11 ??

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

    It was really the most popular question during the round :) Check the formal explanation of the problem, a minimal number in the second row is wrong.

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

Div2D: Editorial is not helpful at all.
You explained the pattern to generate the answers.
But how to come up with that kind of pattern in first place.
Please share some ideas in what direction to think for problem like that to come up with patterns like that. Stating formula and why formula works is not helpful at all.

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

    To solve this problem it's better to solve some cases, for example:

    1. k = n, it is an obvious case
    2. k = n — 2, I think it isn't hard to guess, that 0101010101 is the correct example
    3. k = n — 4. This is the hardest case. But if you will think for some time, checking some examples, you will guess, that periodic string is correct

    And after the last case, it's easy to guess the pattern. I think it is a good way to solve this problem.

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

About Div2-D, condition on the assumption of periodic a and minimum unique length k, I got

$$$ a >= (n - k + 1) / 2 $$$

doesn't it means the period not unique but have a lower bound? But I failed on program checking.

And when the parity of n and k not same, even the lower bound of a is wrong. Why is that? Really doubtful.

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

    Hi, I guess, ( n%2 = k%2 ) ensures about parity being same. Unless you are talking about the bonus question provided at the end of solution.

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

      Actually I have doubts to both problem. In the original problem I cannot justify the unique of a, else on bonus I completely have no idea... Anyway, Thanks for your reply.

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

I think the editorial's proof is overly complicated for Problem E. We can just prove it by induction. (construction from the right side)

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

Does the checker code of Div1B/Div2D use string hashing? I think there is some (very small) probability of failure. Is there any deterministic checker?