SudokuSolver Forum

A forum for Sudoku enthusiasts to share puzzles, techniques and software
It is currently Fri Apr 26, 2024 7:43 am

All times are UTC




Post new topic Reply to topic  [ 5 posts ] 
Author Message
 Post subject: Texas Jigsaw Killer 49
PostPosted: Sun May 10, 2015 7:10 pm 
Offline
Addict
Addict

Joined: Sat Mar 28, 2015 8:36 pm
Posts: 24
Here is my next Jigsaw Killer, I hope you find it enjoyable.

ImageImage
SS: 1.50
Note the two disconnected cages at cells R19C19 and R37C5 R5C37.

Code: Paste into solver:
SumoCueV1=26J0=15J0=16J0+2J0=13J1+4J1=9J1=12J1+0J1+1J0+1J2+2J2=15J2+4J1=12J3+6J3+7J3+7J1=9J0+18J2+12J2=15J2=25J4=15J3+14J3=24J3+25J1=12J0+12J2+21J2+21J2=20J4+23J3+23J3+14J3+25J1+27J0+27J0+22J4+31J4+31J4+31J4+22J4=12J5+43J5=16J6=14J7=15J7+47J7+31J4=15J8+50J8=15J8+43J5+45J6+45J7+46J7+47J7+22J4+50J8+52J8=12J8+61J5=14J6+63J7=11J7+46J7=13J6+52J8=21J8=9J8+70J5+0J6+63J6+65J6+67J6+67J6+69J5+69J5+70J5+0J5

Solution:
897634125
243765819
186542397
321956748
458193672
974821563
615379284
569287431
732418956


I have two harder versions of this puzzle. The harder of the two is almost definitely too hard for human solvers, (SudokuSolver can't eliminate even a single candidate (unique solution is confirmed by JSudoku)), but the other is at a human level, so I may post that as a V2.


Top
 Profile  
Reply with quote  
PostPosted: Fri May 29, 2015 2:05 am 
Offline
Grand Master
Grand Master

Joined: Wed Apr 23, 2008 6:04 pm
Posts: 1895
Location: Lethbridge, Alberta, Canada
Thanks ixsetf for an interesting and enjoyable puzzle, but quite difficult after an easy start.

I used:
Law of Leftovers , Windoku Hidden Windows and fairly difficult combination analysis. The hidden windows weren't essential but made some eliminations more quickly. It's unlikely that Sudoku Solver would have used hidden windows as the code string didn't indicate that there is a Windoku pattern.

Here is my walkthrough for Texas Jigsaw Killer 49:
Prelims

a) R12C7 = {18/27/36/45}, no 9
b) R3C12 = {18/27/36/45}, no 9
c) R7C89 = {39/48/57}, no 1,2,6
d) R89C3 = {29/38/47/56}, no 1
e) 24(3) cage at R3C8 = {789}
f) 21(3) cage at R8C7 = {489/579/678}, no 1,2,3
g) 9(3) cage at R8C8 = {126/135/234}, no 7,8,9
h) 26(4) disjoint cage R19C19 = {2789/3689/4589/4679/5678}, no 1

1a. 45 rule on NR1C1 + NR2C2 1 innie R1C1 = 8, placed for NR1C1
1b. 45 rule on NR1C5 + NR2C6 1 innie R1C9 = 5, placed for NR1C5
1c. 45 rule on NR6C1 + NR6C2 1 innie R9C1 = 7, placed for NR6C1
1d. 45 rule on NR5C8 + NR6C6 1 innie R9C9 = 6, placed for NR5C8
1e. Clean-up: no 1,4 in R2C7, no 1,2 in R3C2, no 7 in R7C8, no 4,5 in R8C3
[These steps would also have worked with R19C19 as blank cells; however it’s better the way ixsetf presented this puzzle with a disjoint cage as blank cells might have given more of a pointer to these steps.]

2. 21(3) cage at R8C7 = {489/579} (cannot be {678} because 6,7 only in R8C7), no 6 in R8C7
2a. 7 of {579} must be in R8C7 -> no 5 in R8C7

3. 45 rule on R12 2 remaining innies R2C46 = 12 = {39/48/57}, no 1,2,6

4. 45 rule on R89 2 remaining innies R8C46 = 9 = {18/27/36/45}, no 9

5. 45 rule on C12 2 remaining innies R46C2 = 9 = {18/27/36/45}, no 9

6. 45 rule on C89 2 remaining innies R46C8 = 10 = {19/28/37/46}, no 5

7. Naked triple {789} in 24(3) cage at R3C8, CPE no 7,9 in R1C8

8. Law of Leftovers (LoL) for R1234 two outies R5C12 must exactly equal two innies R34C5, no 8 in R5C12 -> no 8 in R34C5

9. LoL for R6789 two outies R5C89 must exactly equal two innies R67C5, no 6 in R5C89 -> no 6 in R67C5

10. LoL for C1234 two outies R89C5 must exactly equal two innies R5C34, no 7 in R89C5 -> no 7 in R5C34

11. LoL for C6789 two outies R12C5 must exactly equal two innies R5C67, no 5 in R12C5 -> no 5 in R5C67

[Just realised that, because there are square jigsaw houses at R2C2, R2C6, R6C2 and R6C6, the Windoku property applies and there are five hidden windows. Some of the hidden window steps can also be made using LoL but hidden window may be quicker, especially for R159C159.]

12. 26(4) disjoint cage R19C19 = [8576], placed for hidden window R159C159, no 5,6,7,8 in R19C5 + R5C159

13. 7 in NR5C8 only in 12(3) cage at R5C8 = {147/237} or in R7C89 = [57] -> 12(3) cage = {129/138/147/237} (cannot be {345} = 5{34}, locking-out cages), no 5 in R5C8
13a. 5 in NR5C8 only in R9C678, locked for R9, clean-up: no 6 in R8C3
13b. 5 in NR6C1 only in R678C1 + R8C5, locked for hidden window R678C159, no 5 in R67C5
[Or LoL for R6789.]

14. 7 in NR5C8 only in 12(3) cage at R5C8 and R7C9, grouped X-Wing for 7 in 24(3) cage at R3C8, 12(3) cage and R7C9, no other 7 in C89, clean-up: no 3 in R46C8 (step 6)

15. 45 rule on NR6C6 3 innies R7C8 + R8C78 = 15 = {159/249/258/348/357/456} (cannot be {168/267} because 1,2,6 only in R8C8)
15a. R7C8 + R8C78 = {249/258/348/357/456} (cannot be {159} which clashes with 9(3) cage at R8C8 = {135} = [135] while 9(3) cage cannot be {126} with 1 in R8C8), no 1
15b. R7C8 + R8C78 = {258/348/357/456} (cannot be {249} = [492] because R7C89 = [48] clashes with 21(3) cage at R8C7 = 9{48}, cannot be {249} = [942] because R7C78 = [93] clashes with 9(3) cage at R8C8 = 2{34}), no 9, clean-up: no 3 in R7C9

16. 21(3) cage at R8C7 (step 2) = {489/579}, 9 locked for R9 and NR5C8, clean-up: no 3 in R7C8, no 2 in R8C3
16a. 9 in C9 only in R234C9, locked for NR1C5
16b. 9 in R1 only in R1C234, locked for NR1C1
16c. 9 in C1 only in R678C1, locked for NR6C1

17. 9 in C5 only in R34567C5, 9 in R5 only in R5C34567 -> 9 must be in R5C5
17a. R5C5 = 9 -> 20(5) cage at R4C5 = {12359}, locked for NR3C5
17b. 20(5) cage = {12359}, CPE no 5 in R4C4

[Continuing from step 15, after those simplifications]
18. R7C8 + R8C78 (step 15b) = {348/357/456} (cannot be {258} = [582] because 21(3) cage at R8C7 = 8{49} clashes with 9(3) cage at R8C8 = 2{34}), no 2
18a. R7C8 + R8C78 = {348/357} (cannot be {456} = [546] blocks 5 from R9)
[Alternatively 5 in R9 only in 21(3) cage at R8C7 => R8C7 = 7 => R7C8 + R8C78 = [573] or 5 in 9(3) cage at R8C8 = [315])
18b. R7C8 + R8C78 = {348/357} -> R8C8 = 3, clean-up: no 6 in R8C46 (step 4), no 8 in R9C3
18c. 9(3) cage at R8C8 = [315/324/342], no 1 in R9C8
18d. 3 in NR5C8 only in 12(3) cage at R5C8 = {138/237}, no 4
18e. LoL for R6789 two outies R5C89 must exactly equal two innies R67C5, no 4 in R5C89 -> no 4 in R7C5
18f. Killer pair 7,8 in R7C5 and R7C89, locked for R7

19. 1,3 in R9 only in R9C2345, locked for NR6C1
19a. 1,3 in C1 only in R2345C1, locked for NR1C1
19b. 1,3 in R1 only in R1C5678, locked for NR1C5
19c. 1 in C9 only in R568C9, locked for NR5C8

20. 12(3) cage at R5C8 (step 18d) = {138/237}
20a. 8 of {138} must be in R5C8 -> no 8 in R6C9
20b. Consider combinations for R7C89 = {48}/[57]
R7C89 = {48} => caged X-Wing for 8 in 24(3) cage at R3C8 and R7C89, no other 8 in C89
or R7C89 = [57] => 12(3) cage = {138} => R5C8 = 8
-> no 8 in R246C8, clean-up: no 2 in R46C8 (step 6)

21. 12(3) cage at R1C8 = {129/246} (cannot be {156} because no 1,5,6 in R2C9), no 5,8
21a. 12(3) cage = {129/246}, CPE no 2 in R2C5

22. 45 rule on NR2C6 3 innies R2C78 + R3C8 = 18 = {189/279/459/468/567} (cannot be {369} = 3[69] which clashes with R46C8, cannot be {378} because no 3,7,8 in R2C8), no 3, clean-up: no 6 in R1C7
22a. R2C78 + R3C8 = {189/279/468/567} (cannot be {459} = [549] which clashes with R46C8)
22b. R2C78 + R3C8 = {189/279/567} (cannot be {468} = [648] which clashes with R7C89 = [48] because R7C9 is the only remaining place for 8 in C9), no 4
22c. 8 of {189} must be in R2C7 -> no 8 in R3C8

23. 24(3) cage at R3C8 = {789}, 8 locked for C9 and NR1C5, clean-up: no 4 in R7C8
23a. R7C8 + R8C78 (step 18b) = {348/357}
23b. 4,7 only in R8C7 -> R8C7 = {47}
23c. 21(3) cage at R8C7 (step 2) = {489/579}
23d. R8C7 = {47} -> no 4 in R9C67
23e. LoL for C6789 two outies R12C5 must exactly equal two innies R5C67, no 8 in R12C5 -> no 8 in R5C7

24. 12(3) cage at R2C6 = {129/138/156/246/345} (cannot be {147} which clashes with R2C78 + R3C8, cannot be {237} because no 2,3,7 in R4C8), no 7, clean-up: no 5 in R2C4 (step 3)
24a. 9 of {129} must be in R2C6 -> no 9 in R3C7 + R4C8, clean-up: no 1 in R6C8 (step 6)
24b. 4 of {246} must be in R2C6, 4 of {345} must be in R4C8 -> no 4 in R3C7
24c. 15(3) cage at R3C6 = {168/249/267/348/357/456} (cannot be {159/258} which clash with R2C78 + R3C8)

25. 13(3) cage at R1C5 = {247/346}, no 1, 4 locked for NR1C5, clean-up: no 5 in R2C7
25a. 12(3) cage at R1C8 (step 21) = {129} (only remaining combination), no 6, 9 locked for R2, clean-up: no 3 in R2C46 (step 3)
25b. 6 in NR1C5 only in 13(3) cage = {346}, no 2,7, 3 locked for NR1C5, clean-up: no 6 in R2C7
25c. R2C78 + R3C8 (step 22b) = {189/279}, 9 locked for C8 and NR2C6, clean-up: no 1 in R4C8 (step 6)
25d. LoL for C6789 two outies R12C5 must exactly equal two innies R5C67, no 1,2,7 in R12C5 -> no 1,2,7 in R5C67 -> R5C6 = 3, R1C5 = 3
25e. R6C9 = 3 (hidden single in C9) -> R5C89 = 9 = [72/81], no 2 in R5C8, clean-up: no 6 in R4C2 (step 5)

26. Naked pair {46} in R46C8, locked for C8, clean-up: no 2 in R8C9 (step 18c)
26a. 4 in R9 only in R9C2345, locked for NR6C1
26b. 4 in C1 only in R2345C1, locked for NR1C1
26c. R1C6 = 4 (hidden single in R1) -> R2C5 = 6, clean-up: no 8 in R2C4 (step 3), no 5 in R8C4 (step 4)
26d. LoL for C6789 two outies R12C5 must exactly equal two innies R5C67, R2C5 = 6 -> R5C7 = 6
26e. 6 in NR6C1 only in R678C1, locked for C1, clean-up: no 3 in R3C2

27. Killer triple 1,4,7 in R8C46, R8C7 and R8C9, locked for R8, clean-up: no 4 in R9C3

28. 12(3) cage at R4C1 = {147/237/345}
28a. 3 of {237/345} must be in R4C1 -> no 2,5 in R4C1
28b. 5,7 only in R5C2 -> R5C2 = {57}

29. 16(3) cage at R1C3 = {169/259/268/367} (cannot be {178/349/358/457} because 1,3,4,5,8 only in R2C3)
29a. 1,3,5,8 only in R2C3 -> R2C3 = {1358}

30. 13(3) cage at R8C5 = {148/238}, no 5, 8 locked for NR6C1
30a. 1 of {148} must be in R9C5 (R89C5 cannot be [84] which clashes with R37C5, ALS block), no 1 in R9C4
30b. 3 of {238} must be in R9C4 -> no 2 in R9C4
30c. 8 of {148} must be in R8C5, 3 of {238} must be in R9C4 -> R8C5 = 8

31. Naked quad {1234} in R9C2345, locked for R9 and NR6C1 -> R9C8 = 5, R8C9 = 1 (cage sum), R7C8 = 8, R5C8 = 7, R7C9 = 4, R8C3 = 9 -> R9C3 = 2
31a. R9C67 = {89} -> R8C7 = 4 (cage sum)
31b. 7 in R8 only in R8C46 (step 4) = {27}, locked for R8
31c. R8C12 = {56} -> R9C2 = 3 (cage sum), R9C45 = [41], R46C5 = [52], R5C49 = [12], R5C12 = [45], R4C1 = 3 (cage sum), R8C12 = [56], clean-up: no 4 in R3C2

32. R2C4 = 7 -> R2C6 = 5 (step 3), R8C46 = [27], R3C2 = 8 -> R3C1 = 1

and the rest is naked singles, without using the jigsaw nonets.


Top
 Profile  
Reply with quote  
PostPosted: Wed Jun 03, 2015 2:12 am 
Offline
Addict
Addict

Joined: Sat Mar 28, 2015 8:36 pm
Posts: 24
Here is the V2 of this puzzle. A slight change in the cage pattern, but a large change in difficulty.

ImageImage
SS: 3.30
Note the two disconnected cages at cells R19C19 and R37C5 R5C37.

Code: Paste into solver:
SumoCueV1=26J0=15J0=16J0+2J0=9J1=13J1+5J1=12J1+0J1+1J0+1J2+2J2=15J2+4J1=12J3+5J3+7J3+7J1=12J0+18J2+12J2=15J2=25J4=15J3+14J3=24J3+25J1+18J0+12J2+21J2+21J2=20J4+23J3+23J3+14J3+25J1=9J0+36J0+22J4+31J4+31J4+31J4+22J4=9J5+43J5=16J6=14J7=15J7+47J7+31J4=15J8+50J8=15J8=15J5+45J6+45J7+46J7+47J7+22J4+50J8+52J8+53J8+53J5=14J6+63J7=15J7+46J7=9J6+52J8=21J8=9J8+70J5+0J6+63J6+65J6+65J6+67J6+69J5+69J5+70J5+0J5

Solution:
897634125
243765819
186542397
321956748
458193672
974821563
615379284
569287431
732418956

Note the solution to both puzzles are the same.


Top
 Profile  
Reply with quote  
PostPosted: Wed Jun 03, 2015 7:42 pm 
Offline
Grand Master
Grand Master

Joined: Wed Apr 30, 2008 9:45 pm
Posts: 694
Location: Saudi Arabia
I like the concept of using just the Windoku as a jigsaw killer.


Top
 Profile  
Reply with quote  
PostPosted: Mon Nov 09, 2015 12:23 am 
Offline
Grand Master
Grand Master

Joined: Wed Apr 23, 2008 6:04 pm
Posts: 1895
Location: Lethbridge, Alberta, Canada
The V2 was posted five months ago but I only started working on it a few days ago.

Some of my steps are harder than the ones I used for TJK 49 but it's not as much harder as the difference in SS scores suggests (more comments hidden below).

Here is my walkthrough for TJK 49 V2:
Prelims

a) R12C5 = {18/27/36/45}, no 9
b) R5C12 = {18/27/36/45}, no 9
c) R5C89 = {18/27/36/45}, no 9
d) R89C5 = {18/27/36/45}, no 9
e) 24(3) cage at R3C8 = {789}
f) 21(3) cage at R8C7 = {489/579/678}, no 1,2,3
g) 9(3) cage at R8C8 = {126/135/234}, no 7,8,9
h) 26(4) disjoint cage R19C19 = {2789/3689/4589/4679/5678}, no 1

1a. 45 rule on NR1C1 + NR2C2 1 innie R1C1 = 8, placed for NR1C1, clean-up: no 1 in R2C5, no 1 in R5C12
1b. 45 rule on NR1C5 + NR2C6 1 innie R1C9 = 5, placed for NR1C5, clean-up: no 4 in R12C5, no 4 in R5C8
1c. 45 rule on NR6C1 + NR6C2 1 innie R9C1 = 7, placed for NR6C1, clean-up: no 2 in R5C2, no 2 in R89C5
1d. 45 rule on NR5C8 + NR6C6 1 innie R9C9 = 6, placed for NR5C8, clean-up: no 3 in R5C89, no 3 in R8C5
[These steps would also have worked with R19C19 as blank cells; however it’s better the way ixsetf presented this puzzle with a disjoint cage as blank cells might have given more of a pointer to these steps.]

2. 9 in R5 and C5 only in NR3C5 -> R5C5 = 9 -> 20(5) cage at R4C5 = {12359}, locked for NR3C5
[That’s probably the only easy step introduced by the changes to the cage pattern.]

3. 21(3) cage at R8C7 = {489/579} (cannot be {678} because 6,7 only in R8C7), no 6 in R8C7
3a. 7 of {579} must be in R8C7 -> no 5 in R8C7

4. 45 rule on R12 2 remaining innies R2C46 = 12 = {39/48/57}, no 1,2,6
4a. Min R2C6 = 3 -> max R3C7 + R4C8 = 9, no 9 in R3C7 + R4C8

5. 45 rule on R89 2 remaining innies R8C46 = 9 = {18/27/36/45}, no 9

6. 45 rule on C12 2 remaining innies R46C2 = 9 = {18/27/36/45}, no 9

7. 45 rule on C89 2 remaining innies R46C8 = 10 = [19]/{28/37/46}, no 5, no 1 in R6C8

8. Naked triple {789} in 24(3) cage at R3C8, CPE no 7,9 in R1C8

9. Law of Leftovers (LoL) for R1234 two outies R5C12 must exactly equal two innies R34C5, no 1,8 in R5C12 -> no 8 in R3C5, no 1 in R4C5

10. LoL for R6789 two outies R5C89 must exactly equal two innies R67C5, no 3,6 in R5C89 -> no 3 in R6C5, no 6 in R7C5

11. LoL for C1234 two outies R89C5 must exactly equal two innies R5C34, no 2,7 in R89C5 -> no 7 in R5C3, no 2 in R5C4

12. LoL for C6789 two outies R12C5 must exactly equal two innies R5C67, no 4,5 in R12C5 -> no 5 in R5C6, no 4 in R5C7

[When I reached this stage for the original TJK 49, I realised that, because there are square jigsaw houses at R2C2, R2C6, R6C2 and R6C6, the Windoku property applies and there are five hidden windows. Some of the hidden window steps can also be made using LoL but hidden window may be quicker, especially for R159C159.]

13. 26(4) disjoint cage R19C19 = [8576], placed for hidden window R159C159, no 5,6,7,8 in R19C5 + R5C19, clean-up: no 2,3 in R2C5, no 3,4 in R5C2, no 1,2 in R5C8, no 1,4 in R8C5

14. 7 in NR5C8 only in R5C8 and R67C9, grouped X-Wing for 7 in 24(4) cage at R3C8, R5C8 and R67C9, no other 7 in C89, clean-up: no 3 in R46C8 (step 7)

[Because of the changes to the cage pattern, I’ve now reached a stage where many of the steps I used for TJK 49 no longer apply.]

15. 45 rule on NR6C6 3 innies R7C8 + R8C78 = 15
15a. Consider combinations for 9(3) cage at R8C8 = {126/135/234}
9(3) cage = {126}, no 3 => 3 in NR5C8 only in 15(3) cage at R6C9 = {348} => R5C8 = 7 (hidden single in NR5C8) or 15(3) cage = {357} => R7C8= 5 => no 5 in R5C8
or 9(3) cage = {135}, 5 locked for C8
or 9(3) cage = {234} with 4 in R8C89 => 21(3) cage at R8C7 (step 3) contains one of 4,5 in R9C67 => R5C89 cannot be [54]
or 9(3) cage = {234} with 4 in R9C8, placed for NR5C8 => R5C89 cannot be [54]
-> no 5 in R5C8, clean-up: no 4 in R5C9
15b. 9(3) cage = {135/234} (cannot be {126} which clashes with R5C9), no 6
15c. 5 in NR5C8 only in R9C678, locked for R9
15d. LoL for R6789 two outies R5C89 must exactly equal two innies R67C5, no 4,5 in R5C89 -> no 5 in R6C5, no 4 in R7C5

16. R7C8 + R8C78 = 15 (step 15), 21(3) cage at R8C7 (step 3) = {489/579}
16a. R67C9 cannot total 14 -> no 1 in R7C8
16b. Consider combinations for 9(3) cage at R8C8 (step 15b) = {135/234}
9(3) cage = {135} => R7C8 + R8C78 cannot be {159/249}
or 9(3) cage = {234} => 5 in NR5C8 only in 21(3) cage => R8C7 = 7
-> no 9 in R8C7
16c. 21(3) cage = {489/579}, 9 locked for R9 and NR5C8
16d. 9 in hidden window R159C234 only in R1C234, locked for R1 and NR1C1
16e. Max R9C34 = 12 -> min R8C3 = 3

17. R7C8 + R8C78 = 15 (step 15) cannot be {249} because 15(3) cage at R6C9 = {249} and R7C8 + R8C78 = [942] clash with 9(3) cage at R8C8 -> no 9 in R7C8

18. 15(3) cage at R6C9 = {168/267/348/357} (cannot be {258} which clashes with R5C89, cannot be {456} because 5,6 only in R7C8)
18a. 6 of {267} must be in R7C8 -> no 2 in R7C8

19. 15(3) cage at R6C9 (step 18) = {168/267/348/357}, 21(3) cage at R8C7 (step 3) = {489/579}, 9(3) cage at R8C8 (step 15b) = {135/234}
19a. R7C8 + R8C78 = 15 (step 15)
19b. Hidden killer triple 7,8,9 in 15(3) cage at R6C6, 15(3) cage at R6C8 and R7C8 + R8C78 for NR6C6, 15(3) cages cannot contain more than one of 7,8,9 -> R7C8 + R8C78 must contain one of 7,8,9
19c. R7C8 + R8C78 = 15 = {168/267/348/357} (cannot be {258} = [582] because 21(3) cage = 8{49} clashes with 9(3) cage = 2{34}, cannot be {456} which doesn’t contain one of 7,8,9)

20. R5C8 = {78}, 15(3) cage at R6C9 (step 18) contains one of 7,8
20a. Grouped X-Wing for 8 in 24(3) cage at R3C8, R5C8 and 15(3) cage, no other 8 in C89, clean-up: no 2 in R46C8 (step 7)
20b. R7C8 + R8C78 (step 19c) = {267/348/357} (cannot be {168} = [681] which clashes with R46C8), no 1

21. 12(3) cage at R1C8 = {129/156/246/345}
21a. 5 of {345} must be in R2C8 -> no 3 in R2C8

22. 45 rule on NR2C6 3 innies R2C78 + R3C8 = 18 = {189/279/459/468/567} (cannot be {369} = 3[69] which clashes with R46C8, cannot be {378} because no 3,7,8 in R2C8), no 3
22a. R2C78 + R3C8 = {189/279/468/567} (cannot be {459} because 12(3) cage at R1C8 cannot contain one of 4,5 and 9, which is only remaining place for 9 in NR1C5)

23. 12(3) cage at R1C8 (step 21) = {129/156/246/345}
23a. Consider permutations for R12C5 = [18/27/36]
R12C5 = [18], 1 placed for NR1C5 => 12(3) cage cannot be {156}
or R12C5 = [27] => R67C5 = [18] => R5C89 = [81] (LoL for R6789) => no 1,5,6 in R2C9 => 12(3) cage cannot be {156}
or R12C5 = [36], 6 placed for NR1C5 => 12(3) cage cannot be {156}
-> 12(3) cage = {129/246/345}

24. 12(3) cage at R1C8 (step 23a) = {129/246/345}
24a. R2C78 + R3C8 (step 22a) = {189/279/567} (cannot be {468} = {46}8, 4,6 locked for R2 => 12(3) cage = {46}2 and R2C9 + R3C8 = [28] clash with R5C89), no 4

25. 12(3) cage at R1C8 (step 23a) = {129/246/345}, R2C78 + R3C8 (step 22a) = {189/279/567}
25a. Consider placements for 6 in NR1C5
R12C5 = [36], 3 placed for NR1C5 => 12(3) cage cannot be {345}
or 6 in R1C67, locked for 13(3) cage at R1C6 => no 6 in R2C7 => R2C78 + R3C78 cannot be [657] => 12(3) cage cannot be {345}
or R1C8 = 6 => 12(3) cage cannot be {345}
-> 12(3) cage = {129/246}, no 3,5
25b. 3 in NR1C6 only in R1C567, locked for R1
25c. 3 in NR1C1 only in R2345C1, locked for C1
25d. 3 in NR6C1 only in R9C2345, locked for R9
25e. 9(3) cage at R8C8 (step 15b) = {135/234}, 3 locked for R8, clean-up: no 6 in R8C46 (step 5)

26. 12(3) cage at R1C8 (step 25a) = {129/246}, R2C78 + R3C8 (step 22a) = {189/279/567}
26a. Consider permutations for R12C5 = [18/27/36]
R12C5 = [18] => R67C5 = [27] => R5C89 = [72] (LoL for R6789) => R2C78 + R3C8 cannot be [567]
or R12C5 = [27], 2 placed for NR1C5 => 2 of 12(3) cage must be in R2C8
or R12C5 = [36]
-> no 6 in R2C8
26b. 6 of 12(3) cage = {246} must be in R1C8 -> no 4 in R1C8
26c. R2C78 + R3C8 = {189/279} (cannot be {567} because no 5,6,7 in R2C8), no 5,6 in R2C7, 9 locked for NR2C6, clean-up: no 3 in R2C4 (step 4)

27. 13(3) cage at R1C6 = {139/148/247} (cannot be {238} which clashes with R12C5 = [18], cannot be {346} because no 3,4,6 in R2C7), no 6
27a. 8,9 of {139/148} must be in R2C7 -> no 1 in R2C7

28. 13(3) cage at R1C6 (step 27) = {139/148/247}, 12(3) cage at R1C8 (step 25a) = {129/246}
28a. Consider combinations for 13(3) cage
13(3) cage = {139} = {13}9
or 13(3) cage = {148/247}, 4 locked for NR1C5 => 12(3) cage = {129}
-> 9 in R2C789, locked for R2, clean-up: no 3 in R2C6 (step 4)

29. 12(3) cage at R1C8 (step 25a) = {129/246}
29a. R2C78 + R3C8 (step 26c) = {189/279}
29b. {189} must be [819] (cannot be [918] which clashes with 12(3) cage = [219]) -> no 8 in R3C8

30. Naked triple {789} in 24(3) cage at R3C8, 8 locked for C9 and NR1C5, clean-up: no 1 in R1C5
30a. LoL for C6789 no 1,8 in R12C5 -> no 1 in R5C6, no 8 in R5C7

31. Max R67C9 = 11 -> min R7C8 = 4
31a. R8C8 = 3 (hidden single in C8) => R7C8 + R8C78 (step 19c) = {348/357}, no 6
31b. R8C8 = 3 -> R8C9 + R9C8 = 6 = [15/24/42], no 1 in R9C8

32. 12(3) cage at R1C8 (step 25a) = {129/246}, R2C46 (step 4) = {48/57}
32a. Consider placements for R2C5 = {67}
R2C5 = 6, placed for NR1C5 => no 6 in R1C8
or R2C5 = 7 => R2C46 = {48}, locked for R2 => no 4 in R2C9
-> 12(3) cage = {129}, 9 locked for R2
32b. R46C8 (step 4) = {46} (cannot be [19] which clashes with 12(3) cage, ALS block), locked for C8, clean-up: no 2 in R8C9 (step 31b)
32c. 3 in NR5C8 only in 15(3) cage at R6C9 = {348/357}, no 1,2

33. R2C5 = 6 (hidden single in NR1C5 => R1C5 = 3
33a. LoL for C6789 R12C5 = [36] -> R5C67 = [36]
33b. 6 in R1 only in R1C234, locked for NR1C1

34. 4 in NR1C5 only in 13(3) cage at R1C6, locked for R1
34a. 4 in C9 only in R678C9, locked for NR5C8 and hidden window R678C159
34b. 21(3) cage at R8C7 (step 3) = {489/579}
34c. 4,7 only in R8C7 -> R8C7 = {47}
[With hindsight I could have got R8C7 = {47} from a clean-up after step 32b.]

35. 12(3) cage at R2C6 must contain one of 1,2,3 -> R3C7 = {123}
35a. Min R3C7 + R4C8 = 5 -> max R2C6 = 7, clean-up: no 4 in R2C4 (step 4)

36. R7C8 + R8C78 (step 31a) = {348/357}
36a. 15(3) cage at R6C8 = {168/249/267} (cannot be {159/258} because R6C8 only contains 4,6, cannot be {456} which clashes with R7C8 + R8C78), no 5
36b. R6C8 = {46} -> no 4 in R7C7 + R8C6, clean-up: no 4,5 in R8C4 (step 5)
36c. 15(3) cage at R6C6 = {159/168/249} (cannot be {258/267/456} which clash with 15(3) cage at R6C8), no 7
36d. Killer triple 1,4,7 in R8C46 and R8C79, locked for R8

37. 1 in NR5C8 only in R58C9, locked for C9
37a. 1 in NR1C5 only in R1C678, locked for R1
37b. 1 in NR1C1 only in R234C1, locked for C1

[Only just spotted, it works after step 34…]
38. 3 in R2 only in 15(3) cage at R1C2 = {357} = 7{35} (cannot be {348} because no 3,4,8 in R1C2) or in 16(3) cage at R1C3 = {367} = {67}3 -> 7 in R1C234 (locking cages), locked for R1 and NR1C1 -> R5C2 = 5, R5C1 = 4, R5C34 = [81], R5C89 = [72], R67C5 = [27], R34C5 = [45], R89C5 = [81], R9C8 = 5 -> R8C9 = 1 (cage sum), clean-up: no 4,7 in R4C2, no 4 in R6C2 (both step 6)
38a. Naked pair {27} in R8C46, locked for R8 -> R8C7 = 4
38b. R6C8 = 6 -> R7C7 + R8C6 = 9 = [27], clean-up: no 3 in R4C2 (step 6)
38c. R2C6 + R4C8 = [54] -> R3C7 = 3 (cage sum), R2C4 = 7 (step 4)
38d. R2C4 = 7 -> R3C3 + R4C2 = 8 = {26}, locked for NR2C2, clean-up: no 1,8 in R6C2 (step 6)

39. 16(3) cage at R6C1 = {169} (only possible combination) -> R67C1 = [96], R7C2 = 1
39a. R8C1 = 5 -> R89C2 = 9 = [63]

and the rest is naked singles, without using the jigsaw nonets.

SudokuSolver didn't know that:
TJK 49 and the V2 are also Windokus, because the code string didn't include that feature. If one uses the code strings to set up the puzzles in SudokuSolver and then specifies that it's a Windoku, the score for TJK 49 drops from 1.50 to 1.40, while the score for the V2 drops from 3.30 to 2.60.


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

All times are UTC


Who is online

Users browsing this forum: No registered users and 13 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