Afmob wrote:
There were lots of little eliminations you could make but after going through my wt again, I noticed that a lot of those moves were unnecessary which helped me to shorten my walkthrough quite a bit.
That's certainly true. I also had a lot of little eliminations but since I didn't know which ones were necessary I've left them in.
manu wrote:
A 144 is going to be posted, so I'd like to post an alternative end for solving V2.
IMHO it would have been better to wait a few more days. It's normal to wait a week unless there have been at least two walkthroughs posted or there is something that requires earlier comment. That should apply particularly for the harder puzzles which take longer to solve; I only finished v2 yesterday evening. It's only 4 days since V2 was posted.
I'll agree with Afmob's rating of Easy 1.75 because of my forcing chains and contradiction move.
Here is my walkthrough for A143 V2. I started by using any steps from my A143 walkthrough that still worked for this variant. I tried to find a forcing chain for step 34 but could only see it as a contradiction move.
Prelims
a) R56C5 = {14/23}
b) R6C23 = {18/27/36/45}, no 9
c) R6C78 = {19/28/37/46}, no 5
d) R9C34 = {49/58/67}, no 1,2,3
e) R9C67 = {17/26/35}, no 4,8,9
f) 27(4) cage in N3 = {3789/4689/5679}, no 1,2, 9 locked for N3
g) R4567C1 = {1238/1247/1256/1346/2345}, no 9
h) 17(5) cage in N8 = {12347/12356}, no 8,9, 1,2,3 locked for N8, clean-up: no 5,6,7 in R9C7
i) 39(6) cage at R4C2 = {456789}
j) 41(8) cage at R1C5 = {12356789}
1. 8,9 in C5 locked in R1234C5, locked for 41(8) cage at R1C5
2. 45 rule on N3 1 outie R1C6 = 1 innie R2C7 + 7, R1C6 = {89}, R2C7 = {12}
3. 45 rule on N1 1 outie R1C4 = 1 innie R2C3, no 4,8,9 in R1C4
3a. 4 in N2 locked in R3C46, locked for R3
4. 45 rule on N7 2 innies R7C1 + R9C3 = 6 = [15/24], clean-up: R9C4 = {89}
5. 45 rule on N9 2 innies R7C9 + R9C7 = 10 = [73/82/91]
6. 45 rule on R123 1 outie R4C5 = 2 innies R3C46 + 3
6a. Max R3C46 = 6 and must contain 4 -> R3C46 = {14/24}
6b. R3C46 = 5,6 -> R4C5 = {89}
7. 45 rule on C1234 3(2+1) innies R2C34 + R8C4 = 8, R1C4 = R2C3 (step 3) -> R128C4 = 8 = {125/134}, no 6,7, 1 locked for C4, clean-up: no 6,7 in R2C3 (step 3)
7a. 4 of {134} must be in R8C4 -> no 3 in R8C4
7b. Killer pair 2,4 in R128C4 and R3C4, locked for C4
8. 4 in 39(6) cage at R4C2 locked in R4C2 + R5C23, locked for N4, clean-up: no 5 in R6C23
8a. R4567C1 = {1238/1256}, no 7, 1,2 locked for C1
8b. R6C23 = {18/27} (cannot be {36} which clashes with R456C1), no 3,6
8c. Killer pair 1,2 in R456C1 and R6C23, locked for N4
9. 45 rule on C5 4 innies R1234C5 = 2 outies R8C46 + 23
9a. Max R1234C5 = 30 -> max R8C46 = 7, no 7 in R8C6
9b. Min R8C46 = 3 -> min R1234C5 = 26, no 1
9c. 1 in 41(8) cage locked in R2C3467, locked for R2
10. 45 rule on R1234 4 innies R4C1289 = 14 = {1238/1247/1256/1346/2345}, no 9
10a. 8 of {1238} must be in R4C2 -> no 8 in R4C189
11. 45 rule on C6789 3(2+1) innies R2C67 + R8C6 = 10
11a. Max R2C7 + R8C6 = 8 -> no 1 in R2C6
11b. R2C67 + R8C6 cannot be [226] -> no 2 in R2C6
12. 45 rule on R89 2 innies R8C37 = 1 outie R7C5 + 10
12a. Min R8C37 = 11, no 1
13. 13(3) cage at R3C4 = {238/256/346} (cannot be {247} because 2,4 only in R3C4), no 7,9
13a. R4C1289 (step 10) = {1238/1247/1256} (cannot be {1346/2345} which clash with R4C34), 1,2 locked for R4
14. 9 in N4 locked in R5C23, locked for R5 and 39(6) cage at R4C2
14a. R9C4 = 9 (hidden single in C4), R9C3 = 4, R7C1 = 2 (step 4)
14b. 1 in C1 locked in R456C1, locked for N4, clean-up: no 8 in R6C23
14c. 4 in N4 locked in R45C2, locked for C2
14d. 2 in R4 locked in R4C89, locked for N6, clean-up: no 8 in R6C78
14e. 8 in N8 locked in R7C46, locked for R7, clean-up: no 2 in R9C7 (step 5), no 6 in R9C6
15. Naked pair {27} in R6C23, locked for R6 and N4, clean-up: no 3 in R5C5, no 3 in R6C78
16. 45 rule on N8 4 innies R7C46 = 28 = {4789/5689}
16a. R9C6 = {57} -> no 5,7 in R7C46
16b. R5C4 = 7 (hidden single in C4)
16c. 5 in 39(6) cage at R4C2 locked in R4C2 + R5C23 + R6C4, CPE no 5 in R6C1
17. 45 rule on N4 2 remaining outies R67C4 = 1 innie R4C3 + 8
17a. Max R67C4 = 14 -> max R4C3 = 6
18. 14(3) cage in N7 = {158/167/356}, no 9
18a. 9 in N7 locked in R8C12, locked for R8
19. R8C37 = R7C5 + 10 (step 12)
19. Max R8C37 = 15 -> max R7C5 = 5
19b. Min R8C37 = 11, no 2 in R8C7
20. R4567C9 = {1389/1578/2379/2469/2478/3459/3567} (cannot be {1479/1569} which clash with R6C78, cannot be {2568/3468} because R7C9 only contains 7,9)
20a. 2 of {2379/2478} must be in R4C9, 7 of {1578/3567} must be in R7C9 -> no 7 in R4C9
20b. R4C1289 (step 13a) = {1238/1247/1256}
20c. 4 of {1247} must be in R4C2, no 4 in R4C89
21. 18(3) cage in N9 = {189/378/459/567} (cannot be {369} which clashes with R7C9 + R9C7, cannot be {468} which clashes with R7C46)
21a. 8 in {378} must be in R8C7 -> no 3 in R8C7
21b. Killer pair 7,9 in 18(3) cage and R7C9, locked for N9
22. 14(3) cage in N7 (step 18) = {158/167/356} -> 25(4) cage = {1789/3589/3679}
22a. 6 of {3679} must be in R9C12 (R9C12 cannot be {37} which clashes with R9C67), no 6 in R8C12
22b. 5 of {3589} must be in R8C2 + R9C12 (R89C1 cannot be {35/58} which clash with R456C1 and 9 of {59} must be in R8C1), no 5 in R8C1
23. R4C1289 (step 13a) = {1238/1247/1256}
23a. Hidden killer pair 4,7 in R4C28 and R4C67 for R4 -> R4C28 must have both or neither of 4,7
23b. R4C67 cannot be {47} because 15(3) cage at R3C6 cannot be 4{47} -> R4C28 must contain both of 4,7 -> R4C1289 = {1247} = [1472]
23c. 2 in N9 locked in R89C8, locked for C8
[In hindsight most of this step could have been done immediately after step 13a but I don’t think it made much difference that I didn’t see it then.]
24. R4567C9 (step 20) = {2379/2469/2478}, no 1,5
24a. 3 of {2379} must be in R5C9 -> no 3 in R6C9
24b. 5 in R6 locked in R6C46, locked for N5
24c. R4567C1 (step 8a) = {1238/1256}
24d. R56C1 = {38}/[56], no 6 in R5C1
24e. 18(3) cage in N9 (step 21) = {189/378/459/567}
24f. 7 of {378} must be in R7C7 -> no 3 in R7C7
25. 5 in N6 locked in R4C7 + R5C78
25a. 45 rule on N6 3 remaining innies R4C7 + R5C78 = 1 outie R7C9 + 7
25b. R7C9 = {79} -> R4C7 + R5C78 = 14,16 = {158/356/358}, no 4,9
25c. 9 in N6 locked in R6C789, locked for R6
26. 29(6) cage at R4C8 = {125678/134678/234578}
26a. Hidden killer pair 1,2 in R56C5 and R56C6 for N5 -> R56C6 must contain one of 1,2
26b. R5C6 must contain 2 or R567C6 must contain 1,4 -> 2 locked in R3C6 + R5C6, locked for C6
26c. Hidden killer triple 1,2,4 in R56C5 and R56C6 for N5 -> either R56C6 = {14} or R5C6 = 2 -> R5C6 = {124}
26d. Hidden killer triple 1,2,4 in R5C56 and R5C789 for R5 -> R5C789 must contain one of 1,4
26e. Killer pair 1,4 in R5C789 and R6C78, locked for N6
27. R4567C9 (step 24) = {2379/2469/2478}
27a. 4 of {2469/2478} must be in R5C9 -> no 6,8 in R5C9
28. 15(3) cage at R3C6 = {159/258/348/456} (cannot be {168} which clashes with R4C34, cannot be {249} because 2,4 only in R3C6)
28a. 5 of {456} must be in R4C7 -> no 6 in R4C7
29. 1,3,5 in R7 locked in R7C23578
29a. 45 rule on R789 5 innies R7C23578 = 22 = {13459/13567}
29b. 5,9 of {13459} cannot both be in R7C78 (because R7C23 = {13} clashes with 14(3) cage in N7) -> no 4 in R8C7 (step 21)
30. 1,2 in N3 locked in R1C789 + R2C7
30a. R2C7 = 1, R1C7 = 2 -> no 2 in R1C4 -> no 1,2 in R2C3 (also using step 3)
R2C7 = 2, 1 in N3 locked in R1C789 -> no 1 in R1C4 -> no 1,2 in R2C3 (also using step 3)
-> R2C3 = {35}, R1C4 = {35} (step 3)
30b. R128C4 (step 7) = {125/134}
30c. R1C4 = {35} -> no 3,5 in R28C4
[Alternatively for step 30a, R1C4 = R2C3 (step 3), R1C4 + R2C3 “see” all of R1C789 + R2C7 -> no 1,2 in R1C4 + R2C3, a CPE “clone” step. However although it looks a simpler move, IMHO it's a technically harder one.]
31. Naked pair {12} in R2C47, locked for R2 and 41(8) cage at R1C5
32. 21(4) cage in N1 = {1389/1569/1578/2379/2568} (cannot be {3567} which clashes with R2C3)
32a. Killer pair 3,5 in 21(4) cage and R2C3 for N1
33. 45 rule on N3 5 innies R1C789 + R2C79 = 18 = {12348/12357/12456}
33a. 7 of {12357} must be in R1C79 (R1C789 cannot be {135/235} which clash with R1C4), no 7 in R2C9
34. R4C3 cannot be 3, here’s how
R4C3 = 3 => R2C3 = 5 => R1C4 = 5 (step 3) => R467C4 are all {68}
34a. 3 in N4 locked in R56C1 = {38} (step 24d), locked for C1 and N4
34b. 8 in 39(6) cage at R4C2 locked in R67C4, locked for C4
35. 13(3) cage at R3C4 (step 13) = {256/346}, 6 locked in R4C34, locked for R4
36. 5 in N6 must be in R4C7 or R5C78
36a. R4C7 = 5 => no 5 in R4C3 => 5 in R5C23 => no 5 in R6C4 => R6C6 = 5 => 5 in 29(6) cage at R4C8
5 in R5C67 => 5 in 29(6) cage at R4C8
-> 29(6) cage at R4C8 must contain 5
36b. 29(6) cage (step 26) = {125678/234578} (cannot be {134678} which doesn’t contain 5) -> R5C6 = 2, clean-up: no 3 in R6C5
37. Naked pair {14} in R56C5, locked for C5 and N5
37a. 2 in C5 locked in R89C5, locked for N8
37b. 1 in N8 locked in R8C46, locked for R8
38. 29(6) cage (step 36b) = {125678/234578}
38a. 6 of {125678} must be in R67C6 (R5C78 cannot be {16} which clashes with R4C7 + R5C78, step 25b), no 6 in R5C78
39. R5C23 = {69} (hidden pair in R5), locked for N4 and 39(6) cage at R4C2 -> R4C3 = 5, R2C3 = 3, R1C4 = 3 (step 3), R4C4 = 6, R67C4 = [58], R3C4 = 2 (step 35), R2C47 = [12], R3C6 = 4, R7C6 = 6, R8C4 = 4, R9C6 = 5 (step 16), R9C7 = 3, R7C9 = 7 (step 5), R7C5 = 3, R8C6 = 1, R4C7 = 8, R4C56 = [93], R16C6 = [98], R56C1 = [83], R2C6 = 7, R7C23 = [51], R8C3 = 8 (step 22), R8C7 = 5 (step 21), R8C89 = [26], R89C5 = [72], R8C12 = [93], R5C7 = 1, R56C5 = [41], R56C9 = [39], R5C8 = 5
39a. 4 in C9 locked in R12C9, locked for N3
40. 27(4) cage in N3 = {3789/5679} -> R3C7 = 7, R1C7 = 6, R6C78 = [46], R7C78 = [94], clean-up: no 5 in 27(4) cage
41. R3C1 = 5 (hidden single in C1), R3C9 = 8, R3C5 = 6, R3C23 = [19], R2C2 = 6 (step 32)
and the rest is naked singles