a long time ago sudokuEd wrote: Managed to get out V3
Hmm. Don't know how. So, this is one of Para & Glyn's Unsolvables. Thanks Ruud.
Managed to find some nice tricks, but stuck now. Thought I'd had it.... Pretty sure this far is correct. Anyone want to lend a hand? Over to A44 V1.5 for the interim.
Cheers
Ed
A39 V3
Prelims
i. 17(5)n3: no 8,9
ii. 15(2)n1 = {69/78}
iii. 10(2)n3: no 5
iv. 13(2)n6: no 1,2,3
v. 11(2)n4, 5 & 9: no 1
vi. 8(2)n4: no 4,8,9
vii. 5(2)n6 = {14/23}
viii. 27(4)n6: no 1,2
ix. 26(4)n8: no 1
x. 14(2)n7 = {59/68}
xi. 9(3)n7: no 7,8,9
1. "45" r6789: r5c146 = h23(3) = {689}
1a. all locked for r5
1b. r4c9: no 4,5,7
1c. r6c14 = {235}
1d. no 2 r5c23
2. "45" r1234: r5c59 = h9(2) = [27/45/54](no 1,3)
2a. r5c5 = {245}
3. "45"r1234: r4c4569 = h26(4)
4. "45" r6789: r6c1456 = h11(4) = {1235}: all locked for r6
4a. 1 only in r6c56 in 12(3)
4b. 1 locked for n5 & 12(3) must have 1 = {129/138/156}
5. "45" c6789: r4569c6 = h26(4) = {2789/3689/5678}(no 1, 4) ({4589/4679} are blocked by combo's in 12(3)n5)
5a. = 8{279/369/567}
5b. 8 locked for c6
6. 12(3)n5 = {129/138/156} = 1{..}
6a. r6c5 = 1
6b. r56c6 = [92/83/65]
6c. -> from step 5, r49c6 = {78/69} = {6789}
7. 22(4)n5 must have 4 & 7 for n5 = 47{29/38/56}.
7a. r4c456+r4c9 = h26(4) must have 3 cells overlapping with the 22(4) = {2789/4679/5678}
7b. = {279}[8]/{467}[9]/{479}[6]/{567}[8]
7c. no 3 or 8 r4c456
7d. 22(4) = {2479/4567}
7e. 7 locked for r4
7f. r4c456 = [6/9..]
8. 3 in n5 only in r6: 3 locked for r6
8a. no 8 r5c1
9. deleted
10.from step 5, r4569c6 = h26(4) = {2789/3689/5678} =
10a. = [7928]/{6[83]9}/[7658]
10a. no 7 r9c6
11. "45" c1234: r14c4 = h11(2) = {29/47/56}(no 1,3,8)
12. 11(2)n4 = [92/65]
12a. 15(3)n1 = {168/249/348/357/456} ({159/258/267} all blocked by 11(2))
13. "45" n3:2 outies + 1 = 1 innie r3c7
13a. min r3c7 = 3
13b. max 2 outies = 8 -> no 9 r1c6
14. "45" n236: r23c4 + r6c78 = 35
14a. max r6c789 = {679} = 22 ({789/689} blocked by 13(2)n6)
14b. -> min r23c4 = 13 (no 1..3)
15. r23c4 = 13..17 -> r6c789 = 22..18
15a. r6c789 =
15b. = 18 Blocked: {468} clashes with 13(2)n6
15c. = 19 = {469} ({478} clashes with 13(2)
15d. = 20 = {479}
15e. = 21 = {489/678}
15f. = 22 = {679}
15f. [89] must be in r6c789 or 13(2) for n6: no 89 in r4c7
16. Not sure if this is strictly logical. No 4 in r5c78. Here's how.
16a. from step 15c..f: 4 must be in r6c789
16b. or it is forced into 13(2) by {678}
16c. or it is forced into r5c5 by {679} through h9(2)r5c59 = [45]
16d. -> no 4 r5c78
17. 5(2)n6 = {23}: both locked for n6 & r5
18. 8(2)n4 = {17}: both locked for n4 & r5
18a. no 6 r4c9
18b. 13(2)n6 = [94/85]
19. from step 15d..f. r6c789 must have 7
19a. = 20 = {479}
19b. = 21 = {678}
19c. = 22 = {679}
19d. -> innies n236 = 35 -> r23c4 = 13-15
20. 1 in c4 only in n8: 1 locked for n8
21. from step 19a.r6c789 = 20{479}/21{678}/22{679}
21a. "45" n9: 5 outies = 31
21b. min r6c789 = 20 -> max r78c6 = 11
21c. min r7c6 = 3 -> max r8c6 = 8
22. Now a nice trick to get of 9 from r7c6
22a. 9 in r7c6 -> since max r78c6 = 11 (step 21b) and since min r8c6 = 2 -> r78c6 can only be [92] = 11
22b. from outies n9 = 31, when r78c6 = 11 -> r6c789 = 20 = {479} only (step 22)
22c. since r6c78 is in the same cage as r7c6 -> 9 can only go in r6c9
22d. However, cannot have {47} in r6c78 in a 27(4) cage {4+7+9+7} clash
22e. -> no 9 r7c6
23. Generalized X-wing on 9 in c78: must be in 27(4)n6 or c78 in n3: 9 locked for c78
23a. no 2 r78c8
24. 27(4)n6
24a. {3789} cannot have {89} in r6c78 because of r4c9 -> must have 7 in r6c78 -> 3 must be in r7c6 -> no 3 in r7c7
24b. {4689} same logic -> no 4 r7c7
25. 17(5)n3 = 123{47/56} = [123]
25a. 23 locked for n3
25b. CPE: no 1 r12c8
26. 10(2)n3 = {46}/[19]
26a. since 17(4) = 123{47/56} = [14/16] -> whichever combination is in 19(2), the leftover 1/4/6 has to be in r4c8
26b. -> r2c7 = r4c8 (no 5)
26c. -> r24c8 = [46/64/91]
27. "45" c9: r34c8 + 1 = r9c9
27a. -> min r9c9 = 4
27b. -> r4c8 != r9c9
27c. -> from step 26b, the 14(3)n6 must have [1/4/6] in r78c9
27d. -> 14(3)n6 = {149/158/167/347/356}(no 2) ({248} clashes wtih 13(2)n6)
27e. 14(3)n6 = [1/3..]
28. 2 in c9 only in n3
28a. no 2 r3c8
29. because r78c9 = [1/3..] (step 27e)-> the 1 & 3 required in 17(5)n3 cannot both be in c9
29a. they also cannot both be in r34c8 since that would leave 1/3 missing from c9 (r78c9 can only have 1 of 1/3)
29b. -> 1/3 must be in r34c8 = [14/16/41/51/61/71](cannot have [36] since sum is max 8);[34] forces 8 into both r9c9 & r4c9
29c. no 3 r3c8
29d. 3 locked for c9 in r123c9
29e. 1 must be r34c8: no 1 r9c8, no 1 r123c9
29f. min r34c8 = {14} -> min r9c9 = 6
29g. r234c8 = [614/416/941/951/961/971]
30. 14(3)n6 = 1{49/58/67}
30a. 1 locked for n9
30b. 8 in {158} must be in r6c9 -> no 8 r78c9
31. 16(4)n2 must have 1 because of 1's in n6. Here's how.
31a. "45" n3: 2 outies + 1 = 1 inn.
31b. 1 in r4c8 -> min r1c6 = 2 -> 1 in n2 in r23c6 in 16(4)
31c. 1 in r4c7 must be in 16(4) = 1{..}
31d. {2347/2356} blocked
32. no 1 in r1c7, r2c6 or r3c13 because of 1s in c8. Here's how.
32a. 1 in r4c8 -> 1 in r2c7 (step 26b) -> 1 in 16(4) in r3c6 -> no 1 in r1c7, r2c6 or r3c13
32b. 1 in r3c8 -> no 1 in r1c7 & r3c13 -> 1 in n6 in r4c7 -> no 1 in r2c6
33. "45" n3: 2 outies + 1 = r3c7 -> no 4 in r4c8. Here's how.
33a. 4 in r4c8 -> 4 in r2c7 (step 26b) -> 6 in r2c8
33b. 4 in r4c8 -> 1 in r4c7 -> 1 in n2 in r1c6 -> 6 in r3c7 (step 33)
33c. but this means 2 6s n3
33d. no 4 r4c8
33e. no 4 r2c7
33f. no 6 r2c8
34.when 6 in r4c8 -> 1 in r4c7 -> 1 in n2 in r1c6 -> max 2 outies n3 = 7
34a. -> max r3c7 = 8
35. {1249} combo blocked from 16(4)n2. Here's how.
35a. "45" n3: 2 outies + 1 = r3c7
35b. {1249} combo must have 4 in r3c7 -> 2 outies = 3 = [21]: but this forces 2 into both r1c6 & r23c6
35c. 16(4) = {1258/1267/1348/1357/1456} (no 9)
36. 9 in c6 only in h26(4)r4569c6
36a. = 9{278/368} (no 5)
36b. -> no 6 r5c6
36c. = [7928/6839/9836]
Code: Select all
.-------------------------------.-------------------------------.-------------------------------.
| 123456789 123456789 123456789 | 245679 23456789 1234567 | 456789 456789 234567 |
| 123456789 6789 123456789 | 456789 23456789 234567 | 16 49 234567 |
| 23456789 6789 23456789 | 456789 23456789 1234567 | 45678 14567 234567 |
:-------------------------------+-------------------------------+-------------------------------:
| 2345689 2345689 2345689 | 245679 245679 679 | 1456 16 89 |
| 69 17 17 | 689 45 89 | 23 23 45 |
| 25 4689 4689 | 235 1 23 | 46789 46789 46789 |
:-------------------------------+-------------------------------+-------------------------------:
| 123456789 123456789 123456789 | 123456789 23456789 34567 | 56789 345678 145679 |
| 123456789 5689 5689 | 123456789 23456789 234567 | 2345678 345678 145679 |
| 123456789 123456 123456 | 123456 23456789 689 | 2345678 2345678 6789 |
'-------------------------------.-------------------------------.-------------------------------'