| Lummox JR
| Joined: 07 Sep 2005 | Posts: 202 | : | | Items |
|
Posted: Thu Oct 13, 2005 9:46 pm Post subject: |
|
|
Well, I had a response all ready to go, but apparently I forgot to post it when my battery backup started screaming at me for the third time in a month. Let's see how this new one works.
Anyway, I tried out this puzzle in my solver and it says that it's solvable with nothing more advanced than supercoloring. (The output calls it multicoloring, mostly because that's the first term that came to mind when I first implemented it, and I wasn't sure if this method was the same as supercoloring or not. It is.) Here's the output from my solver:
Code: | . 7 .|. 6 .|. . 9
. . 5|1 . 9|. . 6
. . 9|7 5 8|1 . .
-----------------
. 3 .|. . .|2 . .
5 1 .|. . .|. 9 3
. . 6|. . .|. 1 .
-----------------
. . 7|3 2 1|4 . .
6 . .|8 . 4|9 . .
1 . .|. 9 .|. 2 . |
Hidden single 1 in box 9 at 9,8
Hidden single 1 in box 5 at 5,4
Hidden single 2 in box 3 at 9,3
Hidden single 6 in box 1 at 2,3
Hidden single 1 in box 1 at 3,1
Naked single 7 at 5,8
Hidden single 6 in row 7 at 8,7
Hidden single 6 in box 6 at 7,5
Hidden single 7 in row 5 at 6,5
Pointing pair for digit 2 in box 2, row 1
Pointing pair for digit 4 in box 3, column 8
Pointing pair for digit 5 in box 8, row 9
Naked subset found for column 4 in digits 24 for positions 15
Hidden subset found for column 6 in digits 23 for positions 16
Uniqueness test shows pair 56 at 6,9, 4,9, and 6,4, eliminating 56 from 569 at 4,4
Hidden single 6 in box 5 at 6,4
Hidden single 5 in box 5 at 4,6
Naked single 5 at 6,9
Naked single 6 at 4,9
Naked single 9 at 4,4
Hidden single 5 in column 7 at 7,1
Multicoloring analysis:
Code: | 348 . . | 24 . 23 | . 348 .
E | Cc cC | e
2348 248 . | . 34 . | 378 3478 .
L l | cC | cI i
34 . . | . . . | . 34 .
Ff | | fF
--------------------------------------------------------
478 . 48 | . . . | . 578 4578
D Mm | | cI HC
. . 248 | 24 48 . | . . .
C k | cC kK |
24789 2489 . | . 348 23 | 78 . 478
l d G g | C k Cc | Jj h
--------------------------------------------------------
89 589 . | . . . | . . 58
Gg C G | | cC
. 25 23 | . . . | . 35 .
Cc cC | | cC
. 48 348 | . . . | 378 . 78
bB cB | | Ca Aa |
c!c
C!a
C!G
C!H
C!k
C!l
(I'll interrupt here to explain this output. As you can see, color c appears in (5,2)=3 and (7,2)=3, which touch in row 2, digit 3. Since these can't both be true, c is false, and its conjugate C is true. Since C excludes a, G, H, k, and l, all of those colors are false.)
Multicoloring places 2 at 4,1
Multicoloring places 3 at 6,1
Multicoloring places 4 at 5,2
Multicoloring places 5 at 9,4
Multicoloring places 2 at 3,5
Multicoloring places 4 at 4,5
Multicoloring places 3 at 5,6
Multicoloring places 2 at 6,6
Multicoloring places 5 at 2,7
Multicoloring places 8 at 9,7
Multicoloring places 2 at 2,8
Multicoloring places 3 at 3,8
Multicoloring places 5 at 8,8
Multicoloring places 3 at 7,9
a!a
Multicoloring places 7 at 9,9
G!G
Multicoloring places 9 at 2,6
Multicoloring places 9 at 1,7
H!H
Multicoloring places 4 at 9,6
k!k
Multicoloring places 8 at 5,5
l!l
Multicoloring places 2 at 1,2
Hidden single 3 in box 1 at 1,3
Naked single 4 at 8,3
Naked single 8 at 2,2
Naked single 8 at 8,1
Naked single 4 at 1,1
Hidden single 8 in box 7 at 3,9
Hidden single 4 in box 7 at 2,9
Hidden single 8 in box 6 at 7,6
Hidden single 7 in box 6 at 8,4
Hidden single 8 in box 4 at 1,4
Hidden single 7 in box 4 at 1,6
Hidden single 4 in box 4 at 3,4
Hidden single 7 in box 3 at 7,2
Hidden single 3 in box 3 at 8,2
If you're looking for something tougher, I invite you to check out the puzzle I posted in the bifurcating chains thread. Supposedly templates can solve anything, so it'll be interesting to see how it handles that case. I personally don't find templates interesting except for the possibility of discovering new configurations like Ruud has been doing. Bifurcating chains though is basically equivalent to tabling. |
|