by SpAce » Wed Jul 18, 2018 5:34 pm
If no exotic pattern is found, I'd say guessing becomes a viable strategy as mentioned in the related thread. Right? If nothing else works, should we just call the puzzle unsolvable or what? I don't think so. Since guessing is sort of taboo here, as also mentioned in the other thread, there's little information available about such strategies. I just tried a naive t&e approach with this puzzle, which seems to work very quickly if you have a capable software solver helping to test the paths (I used SudokuWiki). However, since I do my real solving on pure p&p only, that approach wouldn't really work there (theoretically possible, but way too much work). How should one do the guessing when solving without any software help?
Anyway, my software-helped t&e approach here was a simple Ariadne's thread using random conjugate pairs and wishing for a conflict (or a solution), and if none found, then nesting them. I used zero thinking on picking the tested and nested pairs. Can someone show how this could be made smarter, more efficient, and doable on p&p (i.e. requiring simpler logic on the tested paths)?
1. (6|7)r8c4 -> no direct contradictions
1.1. (6)r8c4 & (2|9)r2c8 :
1.1.1. (6)r8c4 & (2)r2c8 -> contradiction
1.1.2. (6)r8c4 & (9)r2c8 -> no direct contradiction
1.1.2.1. (6)r8c4 & (9)r2c8 & (1|2)r3c8 -> contradiction with both 1 & 2 -> -6 r8c4 => 7r8c4
2. (2)r12c1 -> no direct contradictions
2.1. (2)r1c1 & (5|6)r1c6 -> contradiction with both 5 & 6 -> -2 r1c1 => 2r2c1
3. (7|9)r2c8 -> no direct contradictions
3.1. (7)r2c8 & (2)r1c6|7 :
3.1.1. (7)r2c8 & (2)r1c6 -> contradiction
3.1.2. (7)r2c8 & (2)r1c7 -> no direct contradiction
3.1.2.1. (7)r2c8 & (2)r1c7 & (5|6)r1c6 :
3.1.2.1.1. (7)r2c8 & (2)r1c7 & (5)r1c6 -> contradiction
3.1.2.1.2. (7)r2c8 & (2)r1c7 & (6)r1c6 -> SOLUTION => 7r2c8, 2r1c7, 6r1c6
=> => 7r8c4, 2r2c1, 7r2c8, 2r1c7, 6r1c6
Not at all elegant, but at least the solution was found very quickly. (By solution I mean that it was made solvable by the available SudokuWiki strategies, which approximate human capabilities on p&p).
(Btw, a JExocet was used in the test for (6)r1c6 in 2.1.)
- Code: Select all
* | | | | *
* |=()=| / _ \ |=()=| *
* | | |-=( )=-| | | *
* \ ¯ / *
"If one is to understand the great mystery, one must study all its aspects, not just the dogmatic narrow view of the Jedi."