@ 2016-03-08 7:27 AM (#21210 - in reply to #21113) (#21210) Top | |
Posts: 241 Country : Indonesia | chaotic_iak posted @ 2016-03-08 7:27 AM 57 of 120 people that started the puzzle managed to successfully crack this puzzle. Congratulations for Endo (1st), Hideaki (2nd), and Prasanna (3rd) to take the podium. More complete statistics, including intended solution (mostly the opening), will come after I'm done with classes (read: a few hours). |
@ 2016-03-08 9:21 AM (#21211 - in reply to #21113) (#21211) Top | |
Posts: 241 Country : Indonesia | chaotic_iak posted @ 2016-03-08 9:21 AM Now that I have some time to make a better reply: There are 120 people that started this test. 57 of them succeeded to crack the puzzle. 16 of them took more than six hours, so that's the progress of chipping away here and there, continuing to go through even when the odds look small. Special mention to Rakesh Rai (55th, 48:51:59) which had 27 incorrect attempts before succeeding. Only one of them managed to crack this puzzle in under an hour, which means Endo Ken (1st, 00:41:07) would be the only person with bonus had this puzzle appeared in the Marathon. Hideaki Jo (2nd, 01:01:13), Prasanna Seshadri (3rd, 01:01:35), Walker Anderson (4th, 01:02:30), and Yuhei Kusui (5th, 01:04:00) are just a few minutes too much from breaking the one-hour mark, but at least they managed to take the top five positions. Congratulations for Japan to have the most finishers (15 out of 18), even though USA has more participants (8 out of 23). At this moment, the puzzle is rated 9.11 out of 10 from five players; I'm not sure how it can happen (with five ratings, the result should be a multiple of 0.20), but regardless, thank you for the positive reception. Aesthetics is simple. The givens are there just because it looks nice, several tilted squares in a tilted square pattern. Believe it or not, I put them that way before deciding about the break-in (see below). The center square spells out LMI; this is also a necessary touch due to logical reasons, not just because I can fit such theme. (The original draft had the entire grid partitioned into 2x2 squares, just like what you see around the grid now, but that can be proven to be non-unique.) Yes, the choice of light gray borders for the rest other than the center was a poor choice; I couldn't think up of another way to highlight the LMI theme, but it's already done, so oh well. The logic is tough. Of course, this is a challenging puzzle; the title even spells it out. (Yes, the title of the test is "NEW, HUGE, AND CHALLENGING".) The break-in is the toughest point: 1. Notice that since the 10s are all given, and it's at the bottom of the graph, we can effectively remove it out. 2. Suppose we group the numbers into odds (1,3,5,7,9), evens (2,4,6,8), and tens (11,12,13,14,15,16). Then x < y implies that x,y belong to the same group; there's no path between two different groups. (Not even using the 10, because that would require you to go down, then up again, so you won't follow the directions.) 3. Thus, we can divide the grid into regions; each region has all their cells connected to each other by some chain of inequalities. For example, everything but the middle 4x4 square is partitioned into 2x2 squares; those containing the 10s are further partitioned into L-blocks. In each region, all its cells must have numbers belonging to the same group. 4. This is Crazy Pavement logic. Along the first row, there must be 5 odd numbers. However, almost all the regions contribute two squares to it; the only region that doesn't is the L-block in R1-2C5-6. Thus, this L-block must contain odd numbers (otherwise we can't have 5 odd numbers). 5. Apply the same reasoning over rows 2, 3, 4, 13, 14, 15, 16, and columns 1, 2, 3, 4, 13, 14, 15, 16. Now all the L-blocks contain odd numbers. 6. Note that if a < b < c < d, then a,b,c,d are all odds or evens; there is no chain of four numbers in the tens. 7. In the first two columns, there are three 2x2 regions with a chain of four numbers, located conveniently at the top-left corner (so you hopefully can notice them early). Thus they all are odds or evens. This, together with the two L-block regions in the same columns, identify all cells containing the odds and evens. 8. Which of the three 2x2 blocks in the first two columns can contain the odds? It cannot be R5-6C1-2, since it would force R1-2C1-2 and R3-4C1-2 to be evens, and thus would force R1C1 and R3C1 to be both 8. Thus R5-6C1-2 has even numbers. 9. Continuing from before, R1-2C1-2 cannot have the odds either; if that's the case, row 2 doesn't have any place for the 1. (All odd squares in row 2 are identified, namely R2C1,2,5,6,7. All of them are greater than some other number, so they can't be the 1.) Thus R1-2C1-2 has the evens, and thus it forces R3-4C1-2 to be the odds. 10. Since R1-2C1-2 has the evens, that means R1C1 has to be 8. This rules out R1-2C3-4 to be evens (it would make R1C4 to be 8 as well). Since it's a chain of 4 squares, it thus has to be odds. 11. A similar deduction of steps 7-10 happen in the last two columns. That completes the opening. The rest of the puzzle, while pretty tough, is nowhere as difficult as this, as long as you keep track which cells are odds/evens/tens. You might apply step 6 a few more times to rule out a region from being tens. Note that the graph is made of 10 at the bottom, then the odds and the evens in a linear order. The tens form a divisibility graph; if you throw away the 1, the rest is the same graph in one of the practice puzzles, where x < y means x divides y. The LMI theme is there because, if not (I keep the 2x2 everywhere theme), you can't distinguish 12/14 and 13/16. There can't ever be 12/16; this can be proven. After so, we can just remove that arrow, and now 12/14 and 13/16 are indistinguishable, requiring me to add more givens. That would break the aesthetics. |
@ 2016-03-08 9:25 AM (#21212 - in reply to #21211) (#21212) Top | |
Country : India | debmohanty posted @ 2016-03-08 9:25 AM chaotic_iak - 2016-03-08 9:21 AM It is weighted by LMI ratings, just like it is done for other contests.At this moment, the puzzle is rated 9.11 out of 10 from five players; I'm not sure how it can happen (with five ratings, the result should be a multiple of 0.20), but regardless, thank you for the positive reception. |
@ 2016-03-08 9:55 AM (#21213 - in reply to #21211) (#21213) Top | |
Posts: 774 Country : India | rakesh_rai posted @ 2016-03-08 9:55 AM chaotic_iak - 2016-03-08 9:21 AM I had (confidently) deduced the 2x2 boxes in R1-4 C9-12 wrongly (exactly the opposite of the actual solution). And the grid allowed me to continue a long way, before getting a contradiction in the 11-16 range. In these columns, R1-2 and R3-4 had the same set of inequality signs, and this induced the mistake. And this error took a lot of time to "undo".... 27 incorrect attempts before succeeding... |
@ 2016-03-08 2:12 PM (#21215 - in reply to #21113) (#21215) Top | |
Posts: 1801 Country : India | prasanna16391 posted @ 2016-03-08 2:12 PM I'm really surprised by my position in this contest. My printer gobbled up 10 randomly placed inequality signs, so I first had to slowly scan the PDF and place them (and keep the PDF open all the time just in case I went wrong). Then for some odd reason, I used triangles to mark the 13579 group when I usually use circles, and when it came to filling in this group later I realized that I'd made some of the triangles too small and spent a few more minutes erasing the smaller triangles (while keeping an eye on the PDF to make sure I didn't take away more inequality markings). I wouldn't have defeated Endo, but its nice to know I might have had a 'marathon bonus' on this puzzle if external factors hadn't played a part in it the way they did. The break-in was really cool and while I expected some more solvers to see it quickly I did expect there to be many DNFs which is a good reason to not have it in the Marathon. But as a fun contest, well this was a lot of fun :) |
@ 2016-03-09 5:15 AM (#21220 - in reply to #21113) (#21220) Top | |
Country : India | debmohanty posted @ 2016-03-09 5:15 AM Password removed and solutions appended. Thanks Ivan for a great puzzle (and also for the neat write up). I'm not sure how you felt when we "rejected" this one from Marathon, but now I'm very glad we did that. Thanks also to Branko for testing this. |
@ 2016-03-09 5:17 AM (#21221 - in reply to #21215) (#21221) Top | |
Country : India | debmohanty posted @ 2016-03-09 5:17 AM prasanna16391 - 2016-03-08 2:12 PM Congratulations for double-podium-weekend.I'm really surprised by my position in this contest. |
@ 2016-03-10 6:40 AM (#21227 - in reply to #21113) (#21227) Top | |
Posts: 3 Country : United States | aclayton posted @ 2016-03-10 6:40 AM Spent a rainy weekend periodically fiddling with this puzzle, trying to find a break in.. I marked the 2x2 region divisions, found and marked with various colors the 4- and 3-chains, but eventually put it on hold until the end of the contest, figuring I'd find the hint I needed from the thread comments. I think I would have eventually realized what each 2x2 quartet belonging to a single leg of the number map implies for categorizing and placing the quartets, but my thought process never really came near the direction required to realize the parity break-in. However, getting stumped was not discouraging at all, I knew from looking at the puzzle (and from Ivan's past puzzles) that it would eventually be enjoyable, and I patiently waited out the contest duration. Sure enough, by about bullet 3 or 4 of Ivan's great break-in explanation, I was off to the races. And was happy to find that all the cell-coloring work I had done earlier was not wasted, and very useful during the solve process. As expected, an extremely fun solve after getting over that first hurdle. Thank you Ivan! |
@ 2016-03-11 12:24 AM (#21230 - in reply to #21211) (#21230) Top | |
Posts: 3 Country : Canada | romanm44 posted @ 2016-03-11 12:24 AM I believe there is a somewhat simpler way to determine that the L-blocks must all contain only odd numbers. If one looks at any row (or column) of 2x2 blocks, there are 6 blocks each containing 4 values and 2 L-blocks each containing 3 values (when the 10s are excluded). In these blocks we need to place 10 odds, 8 evens and 12 tens with the restriction that each block can only contain values of the same type. The only way the odds can be accommodated is by using one 4-block and both L-blocks. The remaining groups fit comfortably in 2 and 3 4-blocks respectively. I still can't understand how anyone can solve this puzzle in 41 minutes! :) |