Interesting to see the different ways to solve A83.
I must admit that I couldn't follow goooders step 4. From my understanding of the first four steps I still had R34C7 as {24} rather than [42] but even if they were [42] I can't see why 13(3) at R3C8 can't be {39}1.
Gary said the key moves were to work on r6c9,r9c7 plus I-O of r789/N7. I used the three of those but, although I tried it at several times, I never managed to use I-O of r789 and I don't think the other posted walkthroughs did either.
Mike wrote:Indeed, it took me a long time to even find a way into the puzzle without using some sort of contradiction move.
I was the same with this puzzle. Although it may not look it to go through my walkthrough, I found it difficult to make progress in the early stages. My key breakthrough, step 22, could have been made earlier but I didn't see it until then. I think there are some interesting moves between when it might first have appeared, probably after step 12, and when I spotted it.
Because of the difficulty of getting into this puzzle, I rate it a moderate 1.5.
Here is my walkthrough
, with step 15 edited for clarity.
Prelims
a) R1C89 = {69/78}
b) R9C12 = {49/58/67}, no 1,2,3
c) 7(3) cage at R3C7 = {124}
d) 7(3) cage at R6C2 = {124}, CPE no 1,2,4 in R89C2, clean-up: no 9 in R9C1
1. 45 rule on N1 1 outie R4C1 = 1 innie R1C3 + 5, R1C3 = {1234}, R4C1 = {6789}
2. 45 rule on N9 1 outie R6C9 = 1 innie R9C7 + 4, R6C9 = {56789}, R9C7 = {12345}
3. 45 rule on R6789 3 innies R6C178 = 23 = {689}, locked for R6, clean-up: no 2,4,5 in R9C7 (step 2)
3a. Max R6C56 = 11 (cannot be {57} which clashes with R6C9) -> min R7C6 = 5
4. R678C9 = {279/378/459/567} (cannot be {189/369/468} because R6C9 only contains 5,7), no 1
5. 45 rule on N7 2 innies R79C3 = 1 outie R6C2 + 11, min R79C3 = 12, no 1,2
6. 45 rule on C89 2 outies R26C7 = 1 innie R7C8 + 13
6a. Max R26C7 = 17 -> max R7C8 = 4
6b. Min R26C7 = 14, no 1,2,3,4
7. 17(3) cage in N9 = {179/269/278/359/368/458/467}
7a. R7C8 = {1234} -> no 1,2,3,4 in R78C7
8. 45 rule on R1 4 innies R1C1234 = 14 = {1238/1247/1256/1346/2345}, no 9
9. 45 rule on N4 4 innies R4C1 + R5C3 + R6C23 = 15 = {1239/1248/1257/1347/1356/2346}
9a. R4C1 = {6789} -> no 6,7,8,9 in R56C3
10. 45 rule on C89 4 outies R2678C7 = 30 = {6789}, locked for C7
10a. Min R2C7 = 6 -> max R2C89 = 9, no 9
11. 45 rule on N3 2 innies R13C7 = 1 outie R4C8 + 2
11a. Max R13C7 = 9 -> max R4C8 = 7
12. 13(3) cage at R3C8 = {139/148/157/238/247/256/346}
12a. 7 of {157/247} must be in R3C89 (7 cannot be in R4C8 because R3C89 = {15/24} clash with R13C7 = [54], step 11) -> no 7 in R4C8
13. 45 rule on N12 2 outies R1C7 + R4C1 = 1 innie R3C4 + 9
13a. Max R1C7 + R4C1 = 14 -> max R3C4 = 5
14. 45 rule on R89 3 innies R8C479 = 15, min R8C7 = 6 -> max R8C49 = 9, no 9, clean-up: no 2,4 in R7C9 (step 4)
15. Hidden killer quad 1,2,3,4 in R7C12, R7C45 and R7C8 for R7
-> R7C45 cannot contain more than one of 1,2,3,4 -> min R7C45 = {15} = 6 -> max R8C4 = 6
16. 45 rule on R9 2 innies R9C67 = 1 outie R8C8 + 5
16a. Max R9C67 = 12 -> max R8C8 = 7
16b. Min R9C67 = 6 -> min R9C6 = 4 (R9C67 cannot be [33])
17. 45 rule on N8 2 outies R9C37 = 1 innie R7C6 + 1
17a. Min R7C6 = 5 -> min R9C37 = 6, min R9C3 = 4 (R9C37 cannot be [33])
17b. Min R9C3 = 4 -> max R9C45 = 9, no 9
17c. R9C45 cannot be {13} which clashes with R9C7 -> no 9 in R9C3, clean-up: no 3 in R7C3 (step 5)
18. R678C9 = {279/378/459/567}
18a. 14(3) cage in N9 = {149/158/167/239/248/257/347/356}
18b. Hidden killer quad 6,7,8,9 in R78C7, R78C9 and 14(3) cage -> R78C9 and 14(3) cage must each contain one of 6,7,8,9
18c. 7 of {279/378/567} must be in R6C9 (R678C9 cannot be 5{67} because of step 18b) -> no 7 in R78C9
18d. 14(3) cage = {149/158/239/248/257/347/356} (cannot be {167} because of step 18b)
19. 3 in N7 locked in R8C123, locked for R8, clean-up: no 8 in R7C9 (steps 18 and 18c)
19a. R8C123 = 3{29/47/56}, no 1,8
20. 1 in N7 locked in R7C12, locked for R7 and 7(3) cage -> no 1 in R6C2, clean-up: no 4 in R7C3 (step 5)
20a. Min R7C3 = 5 -> max R6C34 = 7, no 7
21. Hidden killer quad 1,2,3,4 in R7C12, R7C8 and R7C459 for R7 -> R7C459 can only contain one of 2,3,4
21a. 12(3) cage in N8 = {129/138/147/156/237/246/345}
21b. 5,6 of {246/345} must be in R7C45 (step 21) -> no 5,6 in R8C4
22. 45 rule on N6 4 innies R4C78 + R5C7 + R6C9 = 17 = {1367/1457/2357} (cannot be {2456} because R345C7 = 1{24} => R9C7 = 3 => R6C9 = 7) -> R6C9 = 7, R9C7 = 3 (step 2); clean-up: no 8 in R1C8
22a. R78C9 = 11 = {56}/[92], no 4,8
22b. 1 in N9 locked in 14(3) cage (step 18d) = {149/158}, no 2,6,7
22c. R4C78 + R5C7 + R6C9 = {1457/2357} (cannot be {1367} because 3,6 only in R4C8), no 6, 5 locked for N6
23. 7 in N9 locked in 17(3) cage = {278/467}, no 9, 7 locked for C7
24. Naked triple {124} in R7C128, locked for R7
24a. 3 in R7 locked in R7C45, 12(3) cage in N8 = 3{18/27/45}, no 6,9
25. 16(3) cage at R6C5 = {259/268/349/358/367/457} (cannot be {169/178} because no 6,7,8,9 in R6C56), no 1
25a. 7,8,9 only in R7C6 -> R7C6 = {789}
26. 1 in R6 locked in R6C34
26a. 12(3) cage at R6C3 = 1{29/38/47/56}
26b. 5 of {156} must be in R6C34 -> no 5 in R7C3
27. 2 in R9 locked in R9C45, locked for N8, clean-up: no 7 in R7C45 (step 24a)
27a. R9C345 = 2{47/56}, no 1,8
27b. R9C12 = [49]/{58} (cannot be {67} which clashes with R9C345), no 6,7
28. 1 in R9 locked in R9C89, locked for N9
28a. 14(3) cage (step 22b) = {149/158}
28b. 4,5 must be in R8C8 -> no 4,5 in R9C89
29. Killer pair 8,9 in R9C12 and R9C89, locked for R9
29a. Killer pair 4,5 in R9C12 and R9C345, locked for R9
30. 21(4) cage at R8C5 = {3468/3567} (cannot be {1389/3459} because R9C6 only contains 6,7), no 1,9
31. R8C4 = 1 (hidden single in R8), R7C45 = {38}, locked for R7 and N8
32. 21(4) cage at R8C5 (step 30) = {3567} (only remaining combination), 5,6,7 locked for N8 -> R7C6 = 9
32a. 5 locked in R8C56, locked for R8 -> R8C8 = 4, R7C8 = 2, R78C9 = [56], R78C7 = [78], R7C3 = 6; clean-up: no 9 in R1C8
[While checking the walkthrough I saw that I could now have fixed R1C89 because of the clash with R2C7. Missing this probably didn’t make much difference since the remaining steps are straightforward.]
33. Naked pair {57} in R8C56, locked for R8 and N8 -> R9C6 = 6
34. Naked pair {14} in R7C12, locked for N7 and 7(3) cage -> R6C2 = 2, clean-up: no 9 in R9C2
35. R7C6 = 9 -> R6C56 = 7 = {34} (only remaining combination), locked for R6 and N5, R7C23 = [15], clean-up: no 6 in R4C1 (step 1)
36. 4 in 7(3) cage locked in R34C7, locked for C7
37. R9C3 = 7 (hidden single in R9)
38. R1C7 + R4C1 = R3C4 + 9 (step 13)
38a. R4C1 cannot be 8 more than R3C4 -> no 1 in R1C7
38. R1C567 = {259/358/457} (cannot be {169/178/349/367} because R1C7 only contains 2,5, cannot be {268} which clashes with R1C89), no 1,6
38a. 5 of {358/457} must be in R1C7
38b. 9 of {259} must be in R1C5
38c. -> no 2,5 in R1C5
39. 15(3) cage at R3C4 = {249/267} (cannot be {168} because R3C4 only contains 2,3,4, cannot be {348} because 3,4 only in R3C4), no 1,3,8
39a. CPE no 2 in R5C4
40. 45 rule on N2 2 outies R1C37 = 1 innie R3C4 + 4, R3C4 = {24} -> R1C37 = 6,8 = [35/42], no 2 in R1C3
41. R2C789 = {159/168/249/267/456} (cannot be {258/348/357} because R2C7 only contains 6,9), no 3
41a. 6 of {168/267/456} must be in R2C7 -> no 6 in R2C8
42. 3 in N3 locked in R3C89, locked for R3 and 13(3) cage -> no 3 in R4C8
42a. 13(3) cage at R3C8 = {139} (only remaining cage) -> R4C8 = 1, R4C67 = [24], R3C7 = 1, R3C89 = {39}, locked for R3 and N3, R1C89 = [78], R2C789 = [654], R1C7 = 2, R5C7 = 5, R6C7 = 9, R9C89 = [91], R3C89 = [39], R45C9 = [32], clean-up: no 7 in R4C1 (step 9)
43. R1C7 = 2 -> R1C56 = 14 = [95], R8C56 = [57]
44. 1 in R1 locked in R1C12, locked for N1
44a. 16(3) cage = {169} (only remaining combination), locked for N1 -> R2C2 = 9, R1C12 = {16}, locked for R1, R8C2 = 3
45. R1C34 = {34}, locked for 15(4) cage at R1C3 -> R2C45 = 8 = [71]
46. 8 in N2 locked in 18(3) cage = [864] (only remaining permutation)
and the rest is naked singles, a hidden single and a cage sum