Author of the problem 2031C - Penchick and BBQ Buns here, hope you enjoyed the contest yesterday! (Or today morning, for some of you)
Looking at the votes on the editorial, it's obvious that it's a very polarizing problem: an hour or so after the contest, the problem had roughly equal numbers of "likes" and "dislikes", and now (as of writing) there are around 320 likes to 200 dislikes. Of course, this is completely predictable: the opinions on this problem were quite polarized for a few reasons:
- Troll and WA trap: it's very easy to fall into the trap of thinking that there is no solution for all odd $$$n$$$; thus, over 12,900 (!) WA on pretest 2 solutions were received, as compared to only 4,700ish Accepted solutions. This ratio seems a bit extreme for a problem C; in the previous Div.2's problem C (2028C - Alice's Adventures in Cutting Cake), there were 3,500ish Rejected solutions to 2,500ish Accepted ones.
- The construction: hard-coding the case $$$n=27$$$ seems weird and mundane, and with such a "big" base case, it may be annoying (and ugly) to figure out. Some testers said they were "disappointed" by the solution.
- In general, constructive math problems are going to attract two-sided opinions: people who solve it would love it and find it cute, people who don't solve it would be upset. This is especially true for a problem C, as most people can solve A, B and few people can solve E, F, and thus C and D are the biggest "choke points".
With these negative opinions, including during testing, why was this problem still adopted?
- There was no compelling reason to do so; a good number of testers liked it, and in general it received decent reviews across the community.
- There was no good alternative problem, especially as the problemset had already been changed once (see the editorial).
- I think a round with only conventional problems would be boring, and had always enjoyed constructive problems, and of course would love to share the problem with everyone of you!
This problem reminds me of another "troll", controversial C: IMO 2024 C4, adopted as Problem 5 on the contest, otherwise known as the infamous Turbo problem. Without spoiling too much, there are some funny similarities:
- Both are constructives; the IMO problem could quite reasonably be translated to a ~2500 rated interactive problem on Codeforces.
- Both have quite unexpected solutions that many people do not expect, which contributes to its troll-ness. Once again, no spoiling the solution here!
- Both were proposed by a Hongkonger!
- Both received very polarized opinions. During the IMO, many participants, especially from stronger teams, resented it; many relatively strong teams scored poorly on it compared to a typical problem 5. I remember reading on AOPS all the negative comments regarding this problem; this is to be expected, given that some people may have trained for an entire year, risen above their peers, only to be hit with such a problem 5 and lose out on a good score and a medal?
But this is a core part of the competition process; you're gonna get trolled.