SudokuSolver Forum

A forum for Sudoku enthusiasts to share puzzles, techniques and software
It is currently Thu Mar 28, 2024 11:11 pm

All times are UTC




Post new topic Reply to topic  [ 4 posts ] 
Author Message
 Post subject: Assassin 413
PostPosted: Tue Mar 15, 2022 8:48 am 
Offline
Grand Master
Grand Master

Joined: Wed Apr 16, 2008 1:16 am
Posts: 1040
Location: Sydney, Australia
Attachment:
a413.png
a413.png [ 69.89 KiB | Viewed 3342 times ]
Note: Three broken cages 28(5)r3c5+r5c37+r7c46, 11(2)r46c5 and 9(2)r57c5

Assassin 413

Nothing too strenuous once I found the right areas to work in. Did the basics and it came out with a couple of nice steps. SS gives it 1.45 and JSudoku uses 3 advanced steps.

code:
3x3::k:3840:3840:3585:3585:3074:2051:2051:6660:6660:3840:3840:2565:2822:3074:1799:1799:6660:6660:4360:4360:2565:2822:7177:1799:7178:7178:7435:5388:4360:1293:1293:2841:2840:2840:7178:7435:5388:5388:7177:3344:2330:2321:7177:7178:7435:5388:2322:2322:3344:2841:2321:7178:7178:7435:4883:4883:4883:7177:2330:7177:7188:7435:7435:4117:4117:2582:2583:2583:7188:7188:5391:5391:4117:4117:2582:2062:2062:7188:7188:5391:5391:
solution:
+-------+-------+-------+
| 4 1 5 | 9 7 6 | 2 3 8 |
| 3 7 2 | 8 5 1 | 4 6 9 |
| 9 6 8 | 3 4 2 | 5 1 7 |
+-------+-------+-------+
| 6 2 4 | 1 9 3 | 8 7 5 |
| 5 3 9 | 7 8 4 | 6 2 1 |
| 7 8 1 | 6 2 5 | 9 4 3 |
+-------+-------+-------+
| 8 5 6 | 2 1 7 | 3 9 4 |
| 1 9 3 | 4 6 8 | 7 5 2 |
| 2 4 7 | 5 3 9 | 1 8 6 |
+-------+-------+-------+
Cheers
Ed


Top
 Profile  
Reply with quote  
 Post subject: Re: Assassin 413
PostPosted: Fri Mar 18, 2022 3:10 am 
Offline
Grand Master
Grand Master

Joined: Wed Apr 23, 2008 6:04 pm
Posts: 1893
Location: Lethbridge, Alberta, Canada
Another tough one. From his comments, maybe Ed found a better way to solve it.

Here's how I solved Assassin 413:
Prelims

a) R1C34 = {59/68}
b) R12C5 = {39/48/57}, no 1,2,6
c) R1C67 = {17/26/35}, no 4,8,9
d) R23C3 = {19/28/37/46}, no 5
e) R23C4 = {29/38/47/56}, no 1
f) R4C34 = {14/23}
g) R46C5 = {29/38/47/56}, no 1
h) R4C67 = {29/38/47/56}, no 1
i) R56C4 = {49/58/67}, no 1,2,3
j) R57C5 = {18/27/36/45}, no 9
k) R56C6 = {18/27/36/45}, no 9
l) R6C23 = {18/27/36/45}, no 9
m) R89C3 = {19/28/37/46}, no 5
n) R8C45 = {19/28/37/46}, no 5
o) R9C45 = {17/26/35}, no 4,8,9
p) 7(3) cage at R2C6 = {124}
q) 19(3) cage at R7C1 = {289/379/469/478/568}, no 1
r) 26(4) cage at R1C8 = {2789/3689/4589/4679/5678}, no 1

1a. 45 rule on R89 1 outie R7C7 = 3, clean-up: no 5 in R1C6, no 8 in R4C6, no 6 in R5C5
1b. 45 rule on C89 2 outies R36C7 = 14 = {59/68}
1c. R36C7 = 14 -> R3456C8 = 14 = {1238/1247/1256/1346/2345} (cannot be {1256} which clashes with R36C7), no 9
1d. 45 rule on C6789 2 innies R5C7 + R7C6 = 13 = {49/58/67}, no 1,2
1e. 45 rule on N1 1 innie R1C3 = 1 outie R4C2 + 3, R1C3 = {5689} -> R4C2 = {2356}
1f. 45 rule on N1 3 innies R1C3 + R3C12 = 20 = {389/479/569/578}, no 1,2
1g. 45 rule on N4 3 innies R4C23 + R5C3 = 15, max R4C23 = 10 -> min R5C3 = 5
1h. 45 rule on C12 2 outies R67C3 = 7 = [16/25/34/52]
1i. Hidden killer quad 1,2,3,4 in R23C3, R4C3, R67C3 and R89C3, R23C3 and R89C3 each contain one of 1,2,3,4, R4C3 = {1234} -> R67C3 can only contain one of 1,2,3,4 = [16/25/52] -> R6C2 = {478}
1j. 19(3) cage at R7C1 = {289/469/568} (cannot be {478} because R7C3 only contains 2,5,6), no 7
1k. Max R7C3 = 6 -> min R7C12 = 13, no 2 in R7C12
1l. Naked triple {124} in 7(3) cage at R2C6, CPE no 2,4 in R2C45, clean-up: no 8 in R1C5, no 7,9 in R3C4
[16(4) cage at R8C1 omitted; it didn’t provide any eliminations and not specifically used later.]

2a. 3,7 in C3 only in R23C3 = {37} or R45C3 = [37] or R89C3 = {37} (locking cages)
2b. R4C23 + R5C3 = 15 (step 1g), R67C3 = 7 (step 1h)
2c. Consider permutations for R6C23 = [45/72/81]
R6C23 = [45] => no 5 in R4C2 => R45C3 cannot be [37]
or R6C23 = [72]
or R6C23 = [81] => R7C3 = 6, no 4 in R23C3 and R89C3 => R4C3 = 4 (hidden single in C3)
-> R45C3 cannot be [37]
2d. R23C3 = {37} or R89C3 = {37} (locking cages), locked for C3, clean-up: no 2 in R4C4
2e. 45 rule on C123 3 innies R145C3 = 18 = {189/459/468}, no 2, clean-up: no 3 in R4C4
2f. Naked pair {14} in R4C34, locked for R4, clean-up: no 7 in R4C67, no 7 in R6C5

3a. 45 rule on N5 3 innies R4C46 + R5C5 = 12 = {129/138/156/246/345} (cannot be {237} because R4C4 only contains 1,4, cannot be {147} because no 1,4,7 in R4C6), no 7, clean-up: no 2 in R7C5
3b. R4C4 = {14} -> no 1,4 in R5C5, clean-up: no 5,8 in R7C5
3c. 6,9 of {129/246} must be in R4C6 -> no 2 in R4C6, clean-up: no 9 in R4C7
3d. Consider placement for 1 in N5
R4C4 = 1 => R4C46 + R5C5 = {129/138/156}
or R56C6 = {18}, 8 locked for N5 => 3 in N5 only in R4C6 + R5C5 => R4C46 + R5C5 = {345}
-> R4C46 + R5C5 = {129/138/156/345}
3e. 1 in C5 only in R389C5 and R57C5 = [81]
3f. 45 rule on C5 3 innies R389C5 = 13 = {139/148/157/247/256/346} (cannot be {238} which clashes with R57C5 = [81], blocking cages)
3g. Consider combinations for R389C5
R389C5 = {139}, locked for C5 => R12C5 = [48]/{57} => R57C5 cannot be [54], clashes with R12C5
or R389C5 = {148/157} => R57C5 cannot be [54], clashes with R389C5
or R389C5 = {247/256/346} => R57C5 = [81]
-> R57C5 = [27/36/81], no 5 in R5C5, no 4 in R7C5
3h. R4C46 + R5C5 = {129/138/345} (cannot be {156} because 5,6 only in R4C6), no 6, clean-up: no 5 in R4C7
3i. Consider placement for 4 in C5
4 in R13C5 => R23C6 = {12}, 1 locked for C6 => R4C4 = 1 (hidden single in N4)
or R6C5 = 4 => R4C4 = 1
or R8C5 = 4 => R8C4 = 6, no 6 in R7C5 => no 3 in R5C5 => R4C46 + R5C5 = {129/138} (cannot be {345} because R5C5 only contains 2,8)
-> R4C46 + R5C5 = {129/138}, no 4,5, clean-up: no 6 in R4C7
3j. R4C4 = 1 -> R4C3 = 4, clean-up: no 6 in R23C3, no 8 in R56C6, no 5 in R6C3, no 2 in R7C3 (step 1i), no 6 in R89C3, no 9 in R8C5, no 7 in R9C5
3k. 19(3) cage at R7C1 (step 1j) = {469/568}, 6 locked for R7 and N7, clean-up: no 3 in R5C5, no 7 in R5C7 (step 1d)
[Continuing in N5]
3l. R46C5 = {29/38/56}/[74], R57C5 = [27/81] -> combined cage R4567C5 = {29}[81]/{38}[27]/{56}[27]/{56}[81]/[7481]
3m. R56C4 = {49/67} (cannot be {58} which clashes with R456C5), no 5,8
3n. R46C5 = {29/38/56} (cannot be [74] which clashes with R56C4), no 7 in R4C5, no 4 in R6C5
3o. Hidden killer pair 4,7 in R56C4 and R56C6 for N5, R56C4 contains one of 4,7 -> R56C6 must contain one of 4,7 = {27/45}, no 3,6
3p. 8 in N5 only in R456C5, locked for C5, clean-up: no 4 in R1C5, no 2 in R8C4
3q. R389C5 = {139/247/256/346} (cannot be {157} which clashes with R7C5)
3r. R389C5 = {247/256/346} (cannot be {139} because combined cage R12C5 = {57} + R389C5 = {139} which clashes with R7C5), no 1,9, clean-up: no 9 in R8C4, no 7 in R9C4

[Fairly straightforward from here.]
4a. R7C5 = 1 (hidden single in C5) -> R5C5 = 8, clean-up: no 3 in R46C5, no 5 in R7C6 (step 1d)
4b. R4C6 = 3 (hidden single in N5) -> R4C7 = 8, clean-up: no 6 in R1C3 (step 1e), no 8 in R1C4, no 5 in R1C7, no 6 in R36C7 (step 1b)
4c. Naked pair {59} in R36C7, locked for C7, 5 locked for 28(6) cage at R3C7, clean-up: no 4,8 in R7C6 (step 1d)

5a. R23C6 = {12/14} (cannot be {24} which clashes with R56C6), 1 locked for C6 and 7(3) cage at R2C7, clean-up: no 7 in R1C7
5b. Killer pair 2,4 in R23C6 and R56C6, locked for C6, clean-up: no 6 in R1C7
5c. 8 in C6 only in R89C6, locked for N8, clean-up: no 2 in R8C5
5c. Killer pair 3,6 in R8C45 and R9C45, locked for N8
5d. R1C6 = 6 (hidden single in C6) -> R1C7 = 2, R2C7 = 4, R5C7 = 6 -> R7C6 = 7 (step 1d), clean-up: no 8 in R1C3, no 2 in R56C6, no 7 in R6C4, no 3 in R8C45
5e. R5C4 = 7 (hidden single in N5) -> R6C4 = 6 -> R8C45 = [46], clean-up: no 2 in R9C45
5f. Naked pair {45} in R56C6, 5 locked for C6 and N5
5g. Naked pair {29} in R46C5, locked for C5, clean-up: no 3 in R12C5
5h. Naked pair {57} in R12C5, locked for N2, 5 locked for C5 -> R1C34 = [59], R12C5 = [75], R5C3 = 9, R9C45 = [53], R4C2 = 2 (step 1e), R6C3 = 1 -> R6C2 = 8, R7C34 = [62], R46C5 = [92], R4C89 = [75], clean-up: no 7 in R8C3
5i. Naked pair {38} in R1C89, locked for R1 and N3
5j. R1C89 = 11 -> R2C89 = 15 = {69}, locked for R2 and N3
5k. R36C7 = [59] = 14, R34C8 = [17] = 8 -> R56C8 = 6 = [24]
5l. R3456C9 = [7513] = 16 -> R7C89 = 13 = [94]
5m. Naked pair {14} in R1C12, locked for N1
5n. R1C12 = {14} = 5 -> R2C12 = 10 = {37} (cannot be {28} because 2,8 only in R2C1), locked for N1, 3 locked for R2

and the rest is naked singles.


Top
 Profile  
Reply with quote  
 Post subject: Re: Assassin 413
PostPosted: Sat Mar 19, 2022 11:41 pm 
Offline
Grand Master
Grand Master

Joined: Tue Jun 16, 2009 9:31 pm
Posts: 280
Location: California, out of London
Took me ages to find any sort of nice path! My first attempt had many long contradiction chains. But eventually found a decent way through... Thanks again Ed!
Assassin 413 WT:
1. Outies r89 = r7c7 = 3
-> 3 in n8 in r89c45
-> Either 10(2)n8 = {37} or 8(2)n8 = {35}

2. 1 in n2 only in r3c5 or in c6
Innies n5 = r4c46+r5c5 = +12(3)
11(2)r4c6 prevents r4c46 = +11 -> r5c5 cannot be 1
-> 1 in n5 in r4c4 or r56c6

3. 12(2)n2 cannot be {48} since that puts r23c6 = {12}, 11(2)n2 = {56}, (NS) r1c4 = 9, which leaves no solution for 13(2)n5

4! Odds and Evens on c5
11(2)c5 and 9(2)c5 each contain one odd and one even number
12(2)n2 is {39} or {57} (Two odd numbers)
-> Innies c5 = r389c5 = +13(3) contains one odd number and two even numbers
Since either 10(2)n8 = {37} or 8(2)n8 = {35} (I.e., one odd number in r89c5)
-> r3c5 is even and the other of r89c5 is even
-> 10(2)n8 cannot be {19} and 8(2)n8 cannot be {17}

-> 1 in n2 in r123c6
-> (HS 1 in n5) 5(2)r4c3 = [41]
-> (HS 1 in n8) r7c5 = 1
-> r5c5 = 8
-> (Remaining Innie n5) 11(2)r4c6 = [38]

5. Remaining Innies n14 = r15c3 = +14(2)
-> r1c4 = r5c3
Since r5c3 cannot be 8 -> r1c4 cannot be 8 -> 8 in c4 in r23c4 -> 11(2)n2 = {38}
-> 12(2)n2 = {57}
-> 11(2)n5 = {29}
-> (HS 9 in n2) 14(2)r1c3 = [59]
-> r5c3 = 9
-> (Remaining Innie n4) r4c2 = 2
-> 11(2)n5 = [92]
Also 13(2)n5 = {67}
-> 9(2)n5 = {45}
-> r3c5 = 4
-> r23c6 = {12} and r2c7 = 4
-> 8(2)r1c6 = [62]

6. Outies c12 = r67c3 = +7(2) can only be [16]
-> (Innies c6789) [r5c7,r7c6] = [67]
etc.


Top
 Profile  
Reply with quote  
 Post subject: Re: Assassin 413
PostPosted: Mon Mar 28, 2022 3:59 am 
Offline
Grand Master
Grand Master

Joined: Wed Apr 16, 2008 1:16 am
Posts: 1040
Location: Sydney, Australia
Reposting my WT after an accidental deletion. Love wellbeback's step 4! I will find one of those one day. Thanks to Andrew for noticing an error in the original step 16.
A413 WT:
Preliminaries by SudokuSolver
Cage 5(2) n45 - cells only uses 1234
Cage 14(2) n12 - cells only uses 5689
Cage 8(2) n23 - cells do not use 489
Cage 8(2) n8 - cells do not use 489
Cage 12(2) n2 - cells do not use 126
Cage 13(2) n5 - cells do not use 123
Cage 9(2) n58 - cells do not use 9
Cage 9(2) n5 - cells do not use 9
Cage 9(2) n4 - cells do not use 9
Cage 10(2) n8 - cells do not use 5
Cage 10(2) n1 - cells do not use 5
Cage 10(2) n7 - cells do not use 5
Cage 11(2) n5 - cells do not use 1
Cage 11(2) n56 - cells do not use 1
Cage 11(2) n2 - cells do not use 1
Cage 7(3) n23 - cells ={124}
Cage 19(3) n7 - cells do not use 1
Cage 26(4) n3 - cells do not use 1

This is a highly optimised solution so any clean-up needed is stated.
1. "45" on r89: 1 outie r7c7 = 3
1a. no 8 in r4c6

2. 3 in n8 only in 10(2) = {37} or in 8(2)
2a. -> {17} blocked from 8(2) (Locking-out cages)
2b. = {26/35}(no 1,7)

3. {39}{45} blocked from combined cage 21(4)r1257c5 by 11(2)r4c5 needs one of 3,4,5,9
3a. -> 9(2)r5c5 = {18/27}[36](no 4,5. No 6 in r5c5)

4. "45" on n5: 1 outie r4c7 + 1 = 2 innies r4c4 + r5c5
4a. r4c47 see each other so the difference cannot be 0 -> no 1 in r5c5 (Innie Outie Unequal IOU)
4b. no 8 in r7c5

5. "45" on n5: 1 outie r4c3 + 7 = 2 innies r4c6 + r5c5
5a. -> no 7 in r5c5 (IOU)
5b. -> no 2 in r7c5

More than 4 combinations the result here so an advanced step for me.
6. "45" on c5: 3 innies r389c5 = 13
6a. but {148} blocked by none of those in r9c5
6b. {238} blocked by r5c5 = (238)
6c. = {139/157/247/256/346}(no 8)

key step
7. 8 in c5 in 12(2) -> combined half-cage with r23c6 = {48}/{12} -> 1 locked for c6
7a. or 8 in c5 in r456c5
7b. either way, {18} in 9(2)r5c6 is blocked
7c. -> r4c4 = 1 (hsingle n5)
7d. r4c3 = 4
7e. no 9 in r8c5

8. "45" on n5: 2 remaining innies r4c6 + r5c5 = 11 = [38/92]
8a. -> r4c7 = (28)
8b. and r7c5 = (17)

9. "45" on c5: 1 outie r8c4 = 2 innies r39c5 - 3
9a. -> no 3 in r3c5 (IOU)

10. h13(3)r389c5: {157} blocked by r7c5 = (17)
10a. = {139/247/256/346}
10b. {139} can only be [913] -> no 1 in r3c5

11. "45" on n14: 2 remaining innies r15c3 = 14 = {59/68}

12. "45" on c6789: 2 innies r5c7 + r7c7 = 13 = {49/58/67} = 4 or 5 or 6
12a. -> r3c5 + r5c3 + r7c4 = 15 (cage sum)
12b. but {456} blocked by split 13(2)
12c. and doesn't have any 1 or 3 anymore
12d. = {249/258/267}: note - if it has 4 must also have 2
12e. must have 2 in one of r3c5 or r7c4 -> no 2 in r23c4 nor r89c5 (Common Peer Elimination CPE)
12f. no 9 in 11(2)n2
12g. no 8 in r8c4, no 6 in r9c4

13. [7841] blocked from combined cage 20(4)r4567c5 by 13(2)n5 needs one of 4,7,8
13a. -> 11(2)r4c5 = {29/38/56}(no 4,7)

14. hidden killer pair 4,7 in n5
14a. -> 13(2) must have one = {49/67}(no 5,8)
14b. and 9(2) = {27/45}(no 3,6)

15. 8 in n5 only in c5: locked for c5
15a. no 4 in 12(2)n2

I made an error in my original step 16.
16. 4 in c5 only in r3c5 -> 2 in r7c4 (step 12d), or 4 in c5 in r8c5 -> 6 in r8c4
16a. -> [26] blocked from 8(2)n8
16b. -> 8(2) = {35} only
16c. 4 in c5 only in h13(3)r389c5
16d. but {247} blocked by none are in r9c5
16e. = {46}[3] only
16f. 6 locked for c5, and just for fun, no 4,6 in r7c46 since it sees those through the 28(5)r3c5
16g. r9c4 = 5

17. 12(2)n2 = {57}: both locked for n2 and c5
17a. -> r57c5 = [81]
17b. -> r4c6 = 3 (h11(2)), r4c7 = 8

18. "45" on c89: 2 outies r36c7 = 14 = {59} only: both locked for c7 and for 28(6) cage

19. 11(2)n5 = {29}: both locked for n5
19a. -> 9(2)n5 = {45}: 4 locked for c6 and n5
19b. -> r123c6 = [6]{12}: 2 locked for c6
19c. -> r2c7 = 4 (cage sum)
19d. r3c5 = 4 (Nsingle)
19e. r8c45 = [46]
19f. r1c7 = 2

20. r123c4 = [9]{38}
20a. r7c4 = 2 (hsingle n8)
20b. -> r5c3 = 9 (sp15(3) cage sum)
20c. r1c3 = 5
20d. r5c7 + r7c6 = [67] (sp13(2)

21. "45" on c12: 2 outies r67c3 = 7 = [16]

22. 1 remaining innie n4, r4c2 = 2
22a. -> r3c12 = 15
22b. but {78} blocked by 10(2)n1 which needs one of them
22c. = {69} only: both locked for n1 and r3

23. "45" on r12: 3 outies r3c346 = 13 = {38}[2] only: 3,8 locked for r3

Pretty straight ahead now.
Cheers
Ed


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

All times are UTC


Who is online

Users browsing this forum: No registered users and 16 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:  
Powered by phpBB® Forum Software © phpBB Group