Sudoku Programmers Forum Index

 
 FAQFAQ   SearchSearch   MemberlistMemberlist   UsergroupsUsergroups   RegisterRegister   ProfileProfile   Log inLog in          Games  Calendar

Log in to check your private messagesLog in to check your private messages   

Solve/Rate this!

 
Post new topic   Reply to topic    Sudoku Programmers Forum Index -> Solving sudoku
View previous topic :: View next topic  
Author Message
gaby

Joined: 02 Jul 2005
Posts: 120
:

Items
PostPosted: Thu Oct 13, 2005 7:17 pm    Post subject: Solve/Rate this! Reply with quote

I can't recall if I generated this puzzle or if somebody sent it to me, but it's certainly a tricky one. My solver rates it a 1.4.0.1, requiring either templating or tabling to solve it. So I ask the assembled masses: how does your solver rate this? What sequence of solving does your solver require to crack it?

Code:
-7--6---9
--51-9--6
--97581--
-3----2--
51-----93
--6----1-
--73214--
6--8-49--
1---9--2-

_________________
Free daily sudoku - Online puzzle database
http://vanhegan.net/sudoku/
Back to top
View user's profile Send private message Visit poster's website
Lummox JR

Joined: 07 Sep 2005
Posts: 202
:

Items
PostPosted: Thu Oct 13, 2005 9:46 pm    Post subject: Reply with quote

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.
Back to top
View user's profile Send private message
Display posts from previous:   
Post new topic   Reply to topic    Sudoku Programmers Forum Index -> Solving sudoku All times are GMT
Page 1 of 1

 
Jump to:  
You cannot post new topics in this forum
You cannot reply to topics in this forum
You cannot edit your posts in this forum
You cannot delete your posts in this forum
You cannot vote in polls in this forum
Sudoku Programmers topic RSS feed 


Powered by phpBB © 2001, 2005 phpBB Group

Igloo Theme Version 1.0 :: Created By: Andrew Charron