SudokuSolver Forum

A forum for Sudoku enthusiasts to share puzzles, techniques and software
It is currently Fri Mar 29, 2024 12:42 am

All times are UTC




Post new topic Reply to topic  [ 2 posts ] 
Author Message
PostPosted: Thu Jun 26, 2008 10:03 am 
Offline
Addict
Addict
User avatar

Joined: Wed Apr 23, 2008 10:44 pm
Posts: 54
While working on SOK 1 (I was trying to make it harder but IMHO this one is easier) I created this version:

Image

Code:
Hidden Text:
3x3::k:4864:4864:8194:8194:8194:8194:8194:3847:3847:4864:4864:2315:2315:3085:3085:4623:4623:3847:3346:11539:11539:2315:2326:11543:11543:4623:5146:3346:4124:4124:11539:2326:1568:1568:11543:5146:3620:11539:11539:11539:3624:3624:11543:11543:5146:3620:3620:3620:11539:4913:11543:3891:3891:5146:4406:11539:11539:4913:4913:11543:11543:11543:5146:4406:2624:2113:2113:4913:4913:4421:4421:4421:4406:2624:8266:8266:8266:8266:8266:4421:4421:

Solution:
Hidden Text:
2 4 9|8 7 5|3 1 6
6 7 1|2 3 9|4 5 8
5 3 8|6 4 1|7 9 2
-----+-----+-----
8 9 7|1 5 4|2 6 3
3 5 2|7 8 6|9 4 1
4 1 6|9 2 3|8 7 5
-----+-----+-----
7 6 4|3 1 2|5 8 9
9 8 3|5 6 7|1 2 4
1 2 5|4 9 8|6 3 7

The only difference to SOK 1 is in r8c67 which was originally a 8(2)-cage.

I tried to score the puzzle but after 40 minutes SSolver hadn't come up with anything. So I solved it by hand to verify that it has a unique solution (which it has).

After that I walked it through SSolver step by step to find out what the problem is. Here's the output:
Hidden Text:
SudokuSolver V3.2.0 by Richard Broughton
Successfully Imported Puzzle definition

Preliminaries
Cage 16(2) n4 - cells ={79}
Cage 6(2) n56 - cells only uses 1245
Cage 14(2) n5 - cells only uses 5689
Cage 15(2) n6 - cells only uses 6789
Cage 8(2) n78 - cells do not use 489
Cage 12(2) n2 - cells do not use 126
Cage 13(2) n14 - cells do not use 123
Cage 9(2) n25 - cells do not use 9
Cage 10(2) n7 - cells do not use 5
Cage 9(3) n12 - cells do not use 789
Cage 14(4) n4 - cells do not use 9
Cage 17(5) n9 - cells do not use 89
Cage 32(5) n123 - cells do not use 1
Cage 32(5) n789 - cells do not use 1

1. Naked pair {79} found at r4c23
1a. Cage sum in cage 13(2) n14 - removed 46 from r3c1
1b. Cage sum in cage 9(2) n25 - removed 2 from r3c5
1c. Combinations {1247} no longer valid in cage 14(4) n4

2. 45 Rule on r12 - outies r3c48 total 15
2a. Set candidate at r3c4 to 6
2b. Set candidate at r3c8 to 9
2c. Cage sum in cage 9(3) n12 - removed 345 from r2c3 - removed 345 from r2c4
2d. Cage sum in cage 13(2) n14 - removed 4 from r4c1
2e. Cage sum in cage 9(2) n25 - removed 3 from r4c5
2f. Cage sum in cage 15(2) n6 - removed 6 from r6c7
2g. Cage sum in cage 8(2) n78 - removed 2 from r8c3
2h. Combinations {159} {249} no longer valid in cage 15(3) n3
2i. Only combination {126} valid in cage 9(3) n12
2j. Combinations {378} {468} {567} no longer valid in cage 18(3) n3
2k. Combinations {49} no longer valid in cage 13(2) n14

3. Naked pair {12} found at r2c34
3a. Cage sum in cage 18(3) n3 - removed 78 from r2c7 - removed 78 from r2c8
3b. Combinations {189} {279} no longer valid in cage 18(3) n3

4. Candidate 1 locked in cage 17(5) n9 for n9 nowhere else in n9

5. Candidate 2 locked in cage 17(5) n9 for n9 nowhere else in n9

6. Candidate 3 locked in cage 17(5) n9 for n9 nowhere else in n9

7. Candidate 8 locked in cage 32(5) n123 for r1 nowhere else in r1

8. Candidate 9 locked in cage 32(5) n123 for r1 nowhere else in r1

9. Candidate 8 locked in cage 32(5) n789 for r9 nowhere else in r9
9a. Cage sum in cage 10(2) n7 - removed 2 from r8c2

10. Candidate 9 locked in cage 32(5) n789 for r9 nowhere else in r9
10a. Cage sum in cage 10(2) n7 - removed 1 from r8c2

11. Candidate 9 in c9 must be in cage 20(5) n369
11a. Removed combinations {12368} {12458} {12467} {13457} {23456} - cells ={12359}

12. Hidden single 8 found at r2c9 in c9
12a. Cage sum in cage 15(3) n3 - removed 7 from r1c8 - removed 7 from r1c9
12b. Cage sum in cage 12(2) n2 - removed 4 from r2c5 - removed 4 from r2c6
12c. Combinations {1378} {1468} {2368} {2458} no longer valid in cage 19(4) n1
12d. Combinations {267} {357} {456} no longer valid in cage 15(3) n3
12e. Combinations {48} no longer valid in cage 12(2) n2

13. Candidate 7 locked in n3 for c7 nowhere else in c7
13a. Cage sum in cage 15(2) n6 - removed 8 from r6c8

14. Candidate 7 locked in n6 for c8 nowhere else in c8

15. 45 Rule on r1 split cage 19(4) n1
15a. Included cells set as split cage 6(2) n1
15b. Excluded cells set as split cage 13(2) n1
15c. Combinations {1369} {2359} {3457} no longer valid in cage 19(4) n1

16. Candidate 1 locked in cage 20(5) n369 for c9 nowhere else in c9
16a. Cage sum in cage 15(3) n3 - removed 6 from r1c8

17. Candidate 2 locked in cage 20(5) n369 for c9 nowhere else in c9
17a. Cage sum in cage 15(3) n3 - removed 5 from r1c8

18. Candidate 3 locked in cage 20(5) n369 for c9 nowhere else in c9
18a. Cage sum in cage 15(3) n3 - removed 4 from r1c8

19. Candidate 5 locked in cage 20(5) n369 for c9 nowhere else in c9
19a. Cage sum in cage 15(3) n3 - removed 2 from r1c8
19b. Combinations {258} no longer valid in cage 15(3) n3

20. Candidate 8 locked in c8 for cage 45(9) n235689 nowhere else in cage 45(9) n235689

21. Killer LOL on n369
21a. No 8 in outies r367c6 - removed from innies at r9c7


22. Hidden single 8 found at r6c7 in c7
22a. Last cell in cage 15(2) n6 at r6c8 set to 7
22b. Combinations {69} no longer valid in cage 15(2) n6

23. Hidden single 8 found at r7c8 in cage 45(9) n235689

24. Hidden single 7 found at r5c4 in r5
24a. Cage sum in cage 8(2) n78 - removed 1 from r8c3

25. Candidate 6 locked in n6 for cage 45(9) n235689 nowhere else in cage 45(9) n235689

26. Killer LOL on n369
26a. No 6 in outies r367c6 - removed from innies at r19c7


27. Naked triple {459} found at r7c79 r9c7
27a. Only combinations valid in cage 17(5) n9

28. Naked pair {67} found at r89c9
28a. Cage sum in cage 15(3) n3 - removed 1 from r1c8
28b. Combinations {168} no longer valid in cage 15(3) n3

** Solver error: Candidate:6 not found in n3 trying
29. Naked Single 3 found at r1c8
29a. Cage sum in cage 18(3) n3 - removed 6 from r2c7 - removed 6 from r2c8
29b. Combinations {35789} no longer valid in cage 32(5) n123
29c. Combinations {369} no longer valid in cage 18(3) n3

Look at the Killer LOLs in steps 21 and 26 (highlighted in red). Step 21 works, but I don't know if the logic behind it is correct. It certainly fails in step 26 which removes 6 from r9c7.

I work with the standard solver options. BTW - is there a way to export the options so that you can post them here?

Cheers,
Nasenbaer


Top
 Profile  
Reply with quote  
PostPosted: Sat Jun 28, 2008 9:28 am 
Offline
Site Admin

Joined: Sun Apr 13, 2008 1:50 pm
Posts: 191
Location: London
Nasenbaer wrote:
I tried to score the puzzle but after 40 minutes SSolver hadn't come up with anything. So I solved it by hand to verify that it has a unique solution (which it has).

After that I walked it through SSolver step by step to find out what the problem is
Thanks for this, I've investigated and isolated the problem and now have a working fix for it. This will be included in the next release.

Quote:
I work with the standard solver options. BTW - is there a way to export the options so that you can post them here?

You can Export/Import the options in the Solver Options dialog. This will create a file (wherever you want) with an extension of ".solveroptions". Which you can the upload here. Like this one:

Attachment:


Rgds
Richard


Top
 Profile  
Reply with quote  
Display posts from previous:  Sort by  
Post new topic Reply to topic  [ 2 posts ] 

All times are UTC


Who is online

Users browsing this forum: No registered users and 6 guests


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 post attachments in this forum

Search for:
Jump to:  
cron
Powered by phpBB® Forum Software © phpBB Group