Calcudoku puzzle forum https://www.calcudoku.org/forum/ |
|
More fuel to the fire https://www.calcudoku.org/forum/viewtopic.php?f=3&t=236 |
Page 1 of 2 |
Author: | arjen [ Sun Jun 10, 2012 9:42 am ] |
Post subject: | Re: More fuel to the fire |
Total of known numbers first 3 columns = 107 3*45 - 107 = 28 left for "-4" and c1, c2 & c4 Possible series for c1,c2,c4 by [4,8] = [3,6,7] & [4,5,7] [5,9] = [3,4,7] & [3,5,6] [4,8] & [4,5,7] is invalid because of the 4 on a2 & c2 [5,9] & [3,4,7] is invalid because of the 5 on d1 & d4 that makes c2 = 6 -> [37] for c1 & d1 -> 2 for h2 |
Author: | jomapil [ Sun Jun 10, 2012 11:23 am ] |
Post subject: | Re: More fuel to the fire |
Good point, Arjen. The rule of the sum of columns ( or rows ) has many facets ( aspects ). I didn't see that. I must dedicate more attention and concentration to follow the ways smarter and more interesting of the analysis and not the ways simpler and more immediate of TAE but much more complicated, more laborious and more time-consuming. But the question is still present : My resolution, ( although with a " little " TAE ), can be considered Analytical or TAE? In other words, what is TAE method and Analytical method? What is the border between the two methods? |
Author: | mce [ Sun Jun 10, 2012 3:44 pm ] |
Post subject: | Re: More fuel to the fire |
Jomapil is right. There is no clear boundary between TAE and Fully Analytical Solution (hereby baptized "FAS" ). Even though I agree that taking random shots until everything fits is not "the correct approach", and that neither would brute forcing all possible solutions be "correct", I find the whole debate around "my solution approach is better then yours because you used TAE at some point while I have a FAS" quite silly. Many of the so called FAS that I've seen discussed in the forum include steps like "we see that a3 cannot be 4, because if it were then a6 would have to be 8, which is not possible because d6 already is known to be 8". I can call that TAE if I want: we try a 4 in a3 and discover that it's an error, even if we never write down the 4. In short, the whole TAE vs. FAS topic is badly defined and cannot be otherwise. A more relevant distinction between "good" and "bad", or with better terminology "elegant" and "less elegant" or "clumsy", would be based on how many solution steps are used, where every time one has to backtrack a cell is also counted as a "step". Just like in mathematics, where a proof is considered more elegant if it requires less steps, or required less "parallel" cases, and where an analytical proof is valued higher than an exhaustive computer proof that just explores all possible combinations. The trouble is that for these puzzles it still not possible to define such elegance in a measurable way. What one person does in his or her head, another does on paper, and a third one does online. Only the last case can be measured somewhat accurately (if it weren't for typos), but such measurement still is meaningless as long as the other approaches exist as a preparation. |
Author: | jaek [ Sun Jun 10, 2012 4:17 pm ] |
Post subject: | Re: More fuel to the fire |
I'm afraid this is all about your own definitions. I think that if I am juggling the numbers around in my head trying to follow them out to a conflict; find a conflict; then go back to follow a different path, that is still analytical. But as soon as I get 5 or 6 steps down a path; forget which number I'd put in a given cell; and go back to write it down/type it out/etc. then I've switched to TAE. And for the record I do that on a regular basis out of frustration, laziness, what have you. I know I have a dozen puzzles to do every day, so if I'm mired in a 6x6 and a guess will get me through it quicker then I'm not averse to that. Or in a larger puzzle when large portions are complete. I try to avoid it when I there are still any, many cells open because the chances of discovering a contradiction quickly are fewer. In addition, I generally think that if I find myself going 5 or 6 steps down a particular path then I have probably missed something somewhere else. So even if I do get to a solution without what I would consider TAE, I still sometimes think there must have been an even more analytical solution. |
Author: | jomapil [ Sun Jun 10, 2012 4:55 pm ] |
Post subject: | Re: More fuel to the fire |
Mce and Jaek: Your opinions come to reinforce my thoughts - almost every puzzles have a component TAE and a component FAS. ( of course, the simplest 4x4, 5x5 and some 6x6 can be purely FAS ). But the most of the puzzles are a combination of those two.Even when Clm says all the puzzles can be solved by FAS, there will always be the component TAE. The praiseworthy objective is to reduce the more possible the TAE for all good reasons. |
Author: | jotempe [ Mon Jun 11, 2012 9:59 am ] |
Post subject: | Re: More fuel to the fire |
jaek wrote: I'm afraid this is all about your own definitions. I think that if I am juggling the numbers around in my head trying to follow them out to a conflict; find a conflict; then go back to follow a different path, that is still analytical. But as soon as I get 5 or 6 steps down a path; forget which number I'd put in a given cell; and go back to write it down/type it out/etc. then I've switched to TAE. And for the record I do that on a regular basis out of frustration, laziness, what have you. I know I have a dozen puzzles to do every day, so if I'm mired in a 6x6 and a guess will get me through it quicker then I'm not averse to that. Or in a larger puzzle when large portions are complete. I try to avoid it when I there are still any, many cells open because the chances of discovering a contradiction quickly are fewer. That's exactly what I said before. The classificaton of a soluton (analytical vs. TAE) depends on the 'mental agility' of the solver, on how many steps of a hypothesis he can go before he needs to start puttng the numbers down on diagram. There exist, of course, diagrams that can be solved in a completely straightforward way, without need for ad absurdum kind of reasoning, that is building hypotheses, and showing that they lead to a contradiction. But the majority do require some of that, and people may have dfferent views on the question if the solution is analytical. I, for one, find that wth Patrck's diagrams I most often need to do TAE on 6x6 patterned and 8x8 difficult. I is long time since I last needed TAE on a 12x12 diagram (and that was most probably because at that tme I didn't know all the tricks, that I know now ). I now solve all 12x12 in memory, only occasionally using a calculator to factor a large product, or a piece of paper to note possible combinations in a larger cage. Also almost all 10x10 dagrams here can be solved in memory. Many 8x8, on the other hand, requre TAE, and often wth multiple "branching points", that is neither assumption about the content of some cell leads straight to a contradiction, and you have to make another guess before you know which one is correct. |
Author: | jomapil [ Mon Jun 11, 2012 10:56 am ] |
Post subject: | Re: More fuel to the fire |
Jotempe I'm completely with you! I use exclusively FAS with 10x10 and 12x12. Some of 6x6 difficult I use TAE. But you forgot one type, the 9x9's that I use TAE and FAS particularly the patterned 9x9 of the Tuesdays. ( The 9x9 of today I used exclusively Analytical method ). |
Author: | clm [ Mon Jun 11, 2012 1:07 pm ] |
Post subject: | Re: More fuel to the fire |
jomapil wrote: Jotempe I'm completely with you! I use exclusively FAS with 10x10 and 12x12. Some of 6x6 difficult I use TAE. But you forgot one type, the 9x9's that I use TAE and FAS particularly the patterned 9x9 of the Tuesdays. ( The 9x9 of today I used exclusively Analytical method ). Hi, jomapil, congrats!, you are obtaining more and more solutions with analytical methods . Btw, I would like to add something (now that we are more familiarized with the philosophy for the initial phase of that Jun 06, 2012, 9x9 puzzle) to my yesterday's "analysis". It can be useful to you (and perhaps to more calcudokers). It is the possibility of applying “The use of maximums and minimums in the sum of cages” (there is a topic on this subject, Jun 21, 2011, in this same section “Solving strategies and tips”). It’s a powerful tool that I use some times, though in our actual discussion does not look specially relevant, but we can practice a little bit with it. The idea is the following: Instead of commencing the “analysis” with the cage “2-” (d2-d3) we will determine the unique combination for the cage “2-” (g1-h1-h2). Considering the same first equation: s1 + s2 + s3 = 32, we define the boundaries for s3 (let’s remind, anyway, that the higher number, the number from which the other are subtracted, in a cage “n-”, which sum is “s”, regardless of the number of cells, is always equal to (s + n) / 2)). Since the maximum values of s1 and s2 (among the possibilities) are 14 and 12 (which sum is 26), the minimum value for s3 will be 6. And since the minimum values of s1 and s2 (among the possibilities) are 12 and 6 (which sum is 18), the maximum value for s3 will be 14. So, being s3 an even cage, it must be 6, or 8, or 10, or 12, or 14. At a first glance, the value 16 for s3, that is, when a 9 is inside, does not “exist”, in the other hand that’s very easy to deduce. Now let’s go with those 5 values: s3 = 6 >>> [1,1,4], cancelled; s3 = 14 = [x,y,8], cancelled; s3 = 12 = [1,4,7] >>> h2 = 4 >>> c2 = 1 + 7 (from the yesterdays’s second equation) = 8, cancelled; s3 = 12 = [2,3,7] >>> h2 = 2 >>> c2 = 3 + 7 = 10, cancelled. Finally, s3 = 10 >>> [2,2,6], cancelled, or [1,3,6] >>> h2 = 6 >>> c2 = 1 + 3 = 4. But now s1 + s2 = 22. If s1 = 14 ([5,9]) then s2 = 8 = [3,5], cancelled; and if s1 = 12 ([4,8]) then s2 = 10 = [4,6], cancelled (due to the conflict with the hypothesis, in other words, the presence of both, the 4 and the 6, in row 2). So we are left again with the only possibility s3 = 8 = [1,2,5] >>> h2 = 2, g1-h1 = [1,5] and c2 = 1 + 5 = 6 and from this point we join the original line of reasoning exposed yesterday. |
Page 1 of 2 | All times are UTC + 1 hour [ DST ] |
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group http://www.phpbb.com/ |