SudokuSolver Forum

A forum for Sudoku enthusiasts to share puzzles, techniques and software
It is currently Sat Apr 27, 2024 6:32 am

All times are UTC




Post new topic Reply to topic  [ 3 posts ] 
Author Message
PostPosted: Sat Jun 26, 2010 5:10 pm 
Offline
Addict
Addict

Joined: Sun May 18, 2008 6:22 pm
Posts: 47
Here's an Anti-King Anti-Knight puzzle. I solved the MEDIUM version without using certain patterns that apply when these two Anti-Chess variants are combined, but they should become necessary in the INSANE.

MEDIUM version:
Image3x3::k:16:17:18:5643:5643:2316:19:20:21:22:23:24:5643:5643:2316:25:26:27:28:29:30:2314:2314:6405:6405:6405:5134:4609:3842:3842:2314:3849:6405:6157:6157:5134:4609:4611:4611:5892:3849:6405:6157:6157:5134:4609:4611:4611:5892:3849:5382:783:783:5134:4609:5892:5892:5892:5382:5382:31:32:33:34:35:36:3335:4616:4616:37:38:39:40:41:42:3335:4616:4616:43:44:45:


INSANE version:
Image3x3::k:16:17:18:5643:5643:2316:19:20:21:22:23:24:5643:5643:2316:25:26:27:28:29:30:2314:2314:6405:6405:6405:5134:4609:3842:3842:2314:31:6405:32:33:5134:4609:34:35:5892:36:6405:37:38:5134:4609:39:40:5892:41:5382:783:783:5134:4609:5892:5892:5892:5382:5382:42:43:44:45:46:47:3335:4616:4616:48:49:50:51:52:53:3335:4616:4616:54:55:56:


Edit: the INSANE version is actually very straightforward if you know and apply these patterns I mentioned.

_________________
Puzzle Blog


Top
 Profile  
Reply with quote  
PostPosted: Wed Jun 30, 2010 10:37 pm 
Offline
Grand Master
Grand Master

Joined: Wed Apr 23, 2008 6:04 pm
Posts: 1895
Location: Lethbridge, Alberta, Canada
Thanks Dan for a fun puzzle. I'd never tried an Anti-kNight puzzle before so this was more new territory for me.

Dan wrote:
I solved the MEDIUM version without using certain patterns that apply when these two Anti-Chess variants are combined ...
I used AK, AN and AKAN steps in my solving path. Afterwards I had a try just using AK and AN but didn't get very far because I couldn't see how to make some of the key eliminations in my step 4 without using AKAN steps.
However a thought after starting to look at the INSANE version:
Maybe you specifically meant patterns and not that you didn't use AKAN steps? I can now see that R4C4 "sees" all the cells in N2 except for R12C5 + R123C6 and that its value cannot be in R2C5 + R3C6 (AN); similar comments apply for R6C4 and N8.

Rating Comment:
I'll rate my walkthrough for Anti-King Anti-kNight MEDIUM at MEDIUM/HARD because of steps 13 and 14. With hindsight if I'd spotted step 15 earlier my solving path would have been easier and I would probably have gone with the MEDIUM rating.

Here is my walkthrough for Anti-King Anti-kNight MEDIUM:
AK = Anti-King, AN = Anti-kNight, AKAN = Anti-King+Anti-kNight

Prelims (not including any cage interactions)

a) R12C6 = {18/27/36/45}, no 9
b) R4C23 = {69/78}
c) R6C78 = {12}
d) R89C4 = {49/58/67}, no 1,2,3
e) 9(3) cage at R3C4 = {126/135/234}, no 7,8,9
f) 21(3) cage at R6C6 = {489/579/678}, no 1,2,3

1. Naked pair {12} in R6C78, locked for R6 and N6, no 1,2 in R7C78 (AK), no 1,2 in R8C78 (AN), no 1,2 in R7C9 (AKAN)
[With hindsight, also no 1,2 in R6C5 (AKAN).]

2. 45 rule on N4 1 outie R7C1 = 6, no 6 in R6C2 (AK), no 6 in R5C2 + R6C3 (AN)
2a. 18(4) cage at R4C1 = {1269/1368/1467/2367/3456}
2b. 8,9 of {1269/1368} must be in R6C1 -> no 8,9 in R45C1

3. 45 rule on N6 1 outie R3C9 = 2
3a. 2 in N9 only in R9C78, locked for R9

[Optimised slightly. I originally missed the next step but I’ve inserted it here since it, and the sub-steps which follow from it, simplify later steps.]
4. 2 in N9 only in R9C78, no 2 in R8C6 (AKAN)
4a. 2 in N8 only in R7C4 + R8C5, no 2 in R5C5 + R7C3 + R8C2 (AN), no 2 in R8C3 (AK)
4b. 2 in N7 only in R7C2 + R8C1, no 2 in R5C1 (AN)
4c. 2 in R7 only in R7C24, no 2 in R5C3 (AN)
4d. 2 in C3 only in R12C3, locked for N1, no 2 in R12C4 (AK), no 2 in R12C5 (AN)
4e. 2 in N4 only in R4C1 + R5C2, no 2 in R4C4 (AN)
4f. 2 in N2 only in R12C6 = {27}, locked for C6 and N2, no 7 in R12C7 (AK), no 7 in R12C8 (AN), no 7 in R3C7 (AKAN)
4g. 7 in N3 only in R12C9 + R3C8, no 7 in R4C9 (AK), no 7 in R5C9 (AN)

5. 9(3) cage at R3C4 = {135} (only remaining combination), no 4,6, CPE no 1,3,5 in R12C4, no 1,3,5 in R3C3 + R4C5 (AK), no 1,3,5 in R2C5 + R3C26 + R5C4 (AN), no 1,3,5 in R2C3 + R4C6 + R5C5 (AKAN)
5a. Naked quad {4689} in R1C4 + R2C45 + R3C6, locked for N2

6. 45 rule on N2 1 innie R3C6 = 1 outie R4C4 + 5, R3C6 = {68}, R4C4 = {13}
6a. 9(3) cage at R3C4 (step 5) = {135}, 5 locked for R3 and N2

7. 45 rule on N8 1 outie R6C6 = 1 innie R7C4 + 7, R6C6 = {89}, R7C4 = {12}

8. 21(3) cage at R6C6 = {489/579}, CPE no 9 in R89C6, no 9 in R5C56 + R7C8 + R8C5 (AN), no 9 in R6C5 + R7C7 (AK), no 9 in R8C7 (AKAN)
8a. 7 of {579} must be in R7C5 -> no 5 in R7C5

9. 1,2 in R7 only in R7C234, locked for 23(5) cage at R5C4, no 2 in R5C4
9a. 1,2 in R7 only in R7C234, no 1 in R8C2 (AN), no 1 in R8C3 (AK)
9b. 23(5) cage = {12389/12479/12569/12578}
9c. 3 of {12389} must be in R56C4 (R56C4 cannot be {89} which clashes with R6C6), no 3 in R7C23

10. 3 in R7 only in R7C789, locked for N9, no 3 in R5C8 (AN), no 3 in R6C9 (AKAN)

11. 6 in N4 only in R4C23 + R5C3, no 6 in R2C3 + R4C5 (AN), no 6 in R3C3 (AK), no 6 in R3C2 + R5C4 (AKAN)

12. 4,9 in N2 only in 22(4) cage, no 4,9 in R2C2 (AN), no 4,9 in R2C3 (AK), no 4,9 in R13C3 (AKAN)

13. 21(3) cage at R6C6 = {489/579}
13a. 21(3) cage = {489} or
21(3) cage = {579} = 9[75] => R89C4 = {49}
-> 4 locked in 21(3) cage or R89C4 (locking cages), locked for N8
13b. 4 in N8 only in R7C56 + R89C4, no 4 in R6C4 + R7C3 (AKAN)

14. 18(4) cage in N4 = {1278/1359/1458/2349/2358/2457/3456} (cannot be {1269} because 1,2,6 only in R5C23, cannot be {1368/1467/2367} which clash with R4C23)
14a. Hidden killer pair 6,9 in R4C23 and 18(4) cage for N4, R4C23 contains both or neither of 6,9 -> 18(4) cage cannot contain 9 unless it also contains 6 -> 18(4) cage = {1278/1458/2358/2457/3456} (cannot be {1359/2349} which contain 9 but not 6), no 9
14b. 9 in N4 only in R4C23 + R6C1, no 9 in R3C1 (AKAN)

[I should probably have seen the next step a bit earlier.]
15. 8 in N2 only in R1C4 + R2C45 + R3C6, no 8 in R3C3 (AKAN)
15a. R3C3 = 7, no 7 in R4C2 (AK), no 7 in R4C5 + R5C24 (AN), clean-up: no 8 in R4C23
15b. 7 in N3 only in R12C9, locked for C9,

16. Naked pair {69} in R4C23, locked for R4 and N4, no 6 in R2C2 (AN), no 9 in R3C2 (AK), no 9 in R5C4 (AKAN)

17. 9 in R3 only in R3C78, locked for N3, no 9 in R5C78 (AN)
17a. 25(5) cage at R3C6 = {13489/14569}, no 4 in R4C7 (AK), no 4 in R4C8 + R5C7 (AKAN)
17b. 4,8 of {13489} must be in R34C6, 4 of {14569} must be in R4C6 -> R4C6 = 4, no 4 in R2C57 + R5C8 (AN)
17c. R3C6 = {68} -> no 6,8 in R3C78 + R5C6

18. 4 in N2 only in R12C4, locked for C4, no 4 in R1C2 (AN), clean-up: no 9 in R89C4

19. R7C5 = 4 (hidden single in N7), R67C6 = {89) (step 8), locked for C6, no 8 in R5C57 + R8C7 (AKAN), no 4 in R6C3 + R8C37 (AN), no 8 in R6C5 + R7C7 (AK), no 8,9 in R6C4 + R7C8 + R8C5 (AN)

20. R3C6 = 6, no 6 in R1C7 + R2C8 + R5C57 (AN), no 6 in R2C7 (AK)
20a. 25(5) cage at R3C6 (step 17a) = {14569} (only remaining combination), no 3 -> R5C6 = 5, no 5 in R3C5 + R4C8 + R7C7 (AN), no 5 in R4C7 (AK)

21. R5C5 = 7, no 7 in R4C7 (AN)

22. R5C4 = 8, no 8 in R6C2 (AN), no 8 in R6C3 (AK), clean-up: no 5 in R89C4

23. R67C6 = [98],no 8 in R8C8 (AN)

24. R5C78 = [36], R4C78 = [87], R456C9 = [594], no 5,8 in R2C8 (AN), no 3 in R7C8 (AN), no 4 in R8C8 (AN)

25. R7C789 = [753], R8C78 = [69], R89C4 = [76], R6C45 = [36], R6C123 = [875], no 5,8 in R8C2 (AN), no 3 in R8C3 (AN)

and the rest is naked singles.

Solution:
5 3 6 9 1 2 4 8 7
9 1 2 4 8 7 5 3 6
4 8 7 5 3 6 9 1 2
3 6 9 1 2 4 8 7 5
1 2 4 8 7 5 3 6 9
8 7 5 3 6 9 1 2 4
6 9 1 2 4 8 7 5 3
2 4 8 7 5 3 6 9 1
7 5 3 6 9 1 2 4 8


Top
 Profile  
Reply with quote  
PostPosted: Fri Jul 02, 2010 6:20 am 
Offline
Grand Master
Grand Master

Joined: Wed Apr 23, 2008 6:04 pm
Posts: 1895
Location: Lethbridge, Alberta, Canada
Dan wrote:
Edit: the INSANE version is actually very straightforward if you know and apply these patterns I mentioned.
And much harder for those of us who aren't familiar with using the patterns. ;)

It took me quite a long time to find steps 8 and 9 although, as I've suggested in the comment after those steps, there was a significantly easier way to see those steps which those familiar with the patterns should find quite easily.

Non-hidden rating comment. Don't be put off from trying this puzzle. It isn't really INSANE.

Rating Comment:
Although this puzzle is called INSANE it wasn't anywhere near as hard as the two INSANE Anti-Bishop Killers because it didn't involve chains, apart from my step 14 which I'll guess wasn't necessary but, since I spotted it at that time, I've kept it in walkthrough. I'll therefore rate my walkthrough for Anti-King Anti-kNight INSANE as HARD/INSANE.

Here is my walkthrough for Anti-King Anti-kNight INSANE:
AK = Anti-King, AN = Anti-kNight, AKAN = Anti-King+Anti-kNight

a) R12C6 = {18/27/36/45}, no 9
b) R4C23 = {69/78}
c) R6C78 = {12}
d) R89C4 = {49/58/67}, no 1,2,3
e) 9(3) cage at R3C4 = {126/135/234}, no 7,8,9
f) 21(3) cage at R6C6 = {489/579/678}, no 1,2,3

1. Naked pair {12} in R6C78, locked for R6 and N6, no 1,2 in R7C78 (AK), no 1,2 in R8C78 (AN), no 1,2 in R5C6 + R7C9 (AKAN)

2. 45 rule on N2 1 innie R3C6 = 1 outie R4C4 + 5, R3C6 = {6789}, R4C4 = {1234}

3. 45 rule on N8 1 outie R6C6 = 1 innie R7C4 + 7, R6C6 = {89}, R7C4 = {12}

4. 9(3) cage at R3C4 = {126/135/234}
4a. 6 of {126} must be in R3C4 (R34C4 cannot be {12} which clashes with R7C4), no 6 in R3C5

5. 1,2 in R7 only in R7C1234, no 1,2 in R8C2 + R9C3 (AN), no 1,2 in R8C3 (AK)

6. 3 in N8 only in 18(4) cage, no 3 in R89C7 (AKAN)

7. 1,2 in N4 only in R4C1 + R5C123, no 1,2 in R3C2 (AKAN)

8. 45 rule on N2 3 innies R3C456 = 14
8a. 9(3) cage at R3C4 = {126/135/234} cannot be {126}, here’s how
{126} can only be [612] (cannot be [621] because R3C456 cannot be [626] => no 1 in R4C45 + R5C5, no 1 in R5C4 (AN), no 1 in R4C6 (AK) so cannot place 1 in N5
-> 9(3) cage at R3C4 = {135/234}, no 6, CPE no 3 in R12C4, no 3 in R2C3 + R4C6 (AKAN), no 3 in R2C5 + R3C2 + R5C45 (AN), no 3 in R3C3 + R4C5 (AK)
8b. 3 in C4 only in R346C4, no 3 in R5C3 (AKAN)

9. 9(3) cage at R3C4 = {135/234}
9a. R3C45 cannot contain 1 or 2 because these cells “see” all 1 and 2 in N5 using AKAN -> 1,2 of 9(3) cage only in R4C4 -> R4C4 = {12}, R3C45 = {345}, 3 locked for R3 and N3, clean-up: no 6 in R12C6, no 8,9 in R3C6 (step 2)
9b. R12C6 = {18/27} (cannot be {45} which clashes with R3C45), no 4,5

[With hindsight the key part of steps 8 and 9 can be seen more directly as
1,2 in N5 only in R4C456 + R5C45, no 1,2 in R3C45 (AKAN)
This became available after step 1. Maybe someone writing an optimised walkthrough would do steps 1, 2 and 3 followed by this step.]

10. Naked pair {12} in R47C4, locked for C4, no 1,2 in R5C35 (AKAN)
10a. 1,2 in N5 only in R4C456, locked for R4, no 1,2 in R2C5 (AN)
10b. Hidden killer pair 1,2 in R1C5 and R12C6 for N2, R12C6 contains one of 1,2 -> R1C5 = {12}

11. 9 in N2 only in 22(4) cage, no 9 in R13C3 (AKAN), no 9 in R2C2 (AN), no 9 in R2C3 (AK)
11a. 4,5 in N2 only in R1C4 + R23C45, no 4,5 in R23C3 (AKAN)

12. R5C12 = {12} (hidden pair in N4), no 1,2 in R3C1 + R7C12 (AN)
12a. R7C34 = {12} (hidden pair in R7), no 1,2 in R8C5 (AN)
12b. 23(5) cage at R5C4 = {12389/12479/12569/12578}
12c. 3 of {12389} must be in R6C4 (R56C4 cannot be {89} which clashes with R6C6), no 3 in R7C2

13. 3 in N4 only in R4C1 + R6C123, no 3 in R7C1 (AKAN)
13a. 3 in R7 only in R7C789, locked for N9
13b. 3 in C6 only in R589C6, no 3 in R7C7 (AKAN)
13c. 3 in R7 only in R7C89, no 3 in R5C89 (AN), no 3 in R6C9 (AK)
13d. 3 in R5 only in R5C67, no 3 in R4C7 (AK), no 3 in R4C8 + R6C5 (AN)
[There’s also a forcing chain which eliminates 3 from R2C2 but I’ll leave that; there’s a simpler way to do this later.]

14. 3 in N6 only in R4C9 + R5C7, 3 in R7 only in R7C89
If R5C7 = 3 => no 3 in R7C8 (AN) => R7C9 = 3
-> 3 in R4C9 or R7C9, locked for C9

15. Naked pair {12} in R5C2 + R7C3 (they cannot have the same value because of AN), no 1,2 in R3C3 (AN)
15a. 1,2 in R3 only in R3C789, locked for N3

16. 6 in N2 only in R1C4 + R2C45 + R3C6, no 6 in R3C3 (AKAN)

17. R4C23 = {69} (cannot be {78} which clashes with R3C3 using AK), locked for R4 and N4, no 6 in R2C23 (AN), no 6,9 in R3C2 (AK), no 6,9 in R3C1 + R5C4 (AKAN)

18. 6 in N5 only in R5C56 + R6C45, no 6 in R7C56 (AKAN)

19. 21(3) cage at R6C6 = {489/579}, CPE no 9 in R89C6, no 9 in R5C56 + R7C8 (AN), no 9 in R6C5 + R7C7 (AK), no 9 in R6C4 + R8C7 (AKAN)

20. R6C6 = 9 (hidden single in N5)
20a. R7C56 = {48/57}
20b. R89C4 = {49/67} (cannot be {58} which clashes with R7C56), no 5,8
20c. Combined cage R7C56 + R89C4 = {48}{67}/{57}{49}, 4,7 locked for N8

21. R7C4 = 2 (step 3), R4C4 = 1, R3C6 = 6 (step 2), R7C3 = 1, no 6 in R1C7 + R2C8 + R5C57 (AN), no 6 in R2C7 (AK), no 1 in R5C2 (AN)
21a. R5C12 = [12]

22. 9(3) cage at R3C4 (step 9) = {135} (only remaining combination), no 4, 5 locked for R3 and N2, no 5 in R4C5 (AK), no 5 in R4C6 (AKAN), no 5 in R5C45 (AN)

23. Naked triple {478} in R3C123, locked for R3 and N1 -> R2C3 = 2, no 4,7,8 in R4C1 (AKAN), clean-up: no 7 in R1C6
23a. Naked triple {129} in R3C789, 9 locked for N3

24. 6 in N5 only in R6C45, locked for R6, no 6 in R8C45 (AN), clean-up: no 7 in R9C4
24a. 6 in N8 only in R9C45, locked for R9

25. 2 in C6 only in R14C6, no 2 in R3C7 (AKAN)

26. 5 in N5 only in R5C6 + R6C45, no 5 in R5C3 (AKAN)
26a. Naked triple {478} in R5C345, locked for R5, no 4,7,8 in R6C3 (AKAN), no 4,7,8 in R6C4 (AK), no 4,7,8 in R6C5 (AN)
26b. 5 in R5 only in R5C6789, no 5 in R4C7 (AK), no 5 in R4C8 (AN)
26c. R4C19 = {35} (hidden pair in R4)
26d. Naked triple {356} in R6C456, locked for R6, no 5 in R7C5 (AKAN), no 3 in R8C3 (AN), clean-up: no 7 in R8C6 (step 20a)

27. 18(4) cage at R4C1 = {1368/1458} (cannot be {1359} because 3,5,9 only in R47C1, cannot be {1467} because R4C1 only contains 3,5), no 7,9, 8 locked for C1
27a. R4C1 = {35} -> no 5 in R7C1
27b. 8 in C1 only in R67C1, no 8 in R67C2 (AK), no 8 in R8C2 (AN)
27c. 7 in N4 only in R5C3 + R6C2, no 7 in R37C2 + R5C4 (AN)

28. 23(5) cage at R5C4 (step 12b) = {12389/12569}, no 4
28a. R5C4 = 8 -> 23(5) cage = {12389} -> R6C4 = 3, R7C2 = 9, R3C45 = [53], R6C3 = 5, R4C19 = [35], R4C23 = [69], R5C6 = 5, R6C5 = 6, no 3,5 in R2C2 (AN), no 5 in R2C8 + R7C7 (AN), no 9 in R8C4 (AN), clean-up: no 7 in R7C5 (step 20a), no 4 in R9C4

29. Naked pair {48} in R7C56, locked for R7 and N8 -> R7C1 = 6, R6C1 = 8 (step 27), R7C789 = [753], R8C4 = 7, R9C4 = 6, no 7 in R6C9 (AN)

30. Naked pair {59} in R12C1, locked for C1 and N1, R12C2 = [31], R1C3 = 6, clean-up: no 8 in R1C6

31. R6C9 = 4, R6C2 = 7, R5C3 = 4, R5C5 = 7, R4C78 = [87], R8C3 = 8, R3C123 = [487], R8C1 = 2, R9C13 = [73], R89C6 = [31], R1C56 = [12], R4C56 = [24], R7C56 = [48], R2C6 = 7, no 4 in R2C7 + R8C8 (AN)

32. R2C5 = 8 (hidden single in N2), R2C9 = 6, R5C9 = 9, R8C9 = 1, no 1 in R6C8 (AN)

and the rest is naked singles.
The solution is the same as for the MEDIUM in my earlier post in this thread.


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

All times are UTC


Who is online

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