Puzzle you already posted near the end of your previous thread. Same solution as previously.
- Code: Select all
+-----------------------+----------------------------+----------------------------+
| 9 8 345 | 7 T123-4 12345 | 6 1235 1245 | x
| 7 1234 3456 | b1236 8 123456 | 1235 9 45-12 |
| 1234 1234 3456 | b1236 1236-4 9 | 12358 3578-12 4578-12 |
+-----------------------+----------------------------+----------------------------+
| 6 5 379 | 9-123 t13-279 8 | 4 127 1279 | x
| 1248 124 4789 | 5 1267-9 B126 | 1289 678-12 3 |
| 1238 123 3789 | 4 12367-9 B1236 | 12589 5678-12 125789 |
+-----------------------+----------------------------+----------------------------+
| 5 7 2 | 1389 49-13 13-4 | 1389 38-1 6 |
| 348 9 348 | T1236-8 5 t1236 | 7 1238 128 | x
| 38 6 1 | 2389 9-23 7 | 23589 4 589-2 |
+-----------------------+----------------------------+----------------------------+
- - - 1 1
- - - 2 2
3 3 - 3 -
6 - 6 - -
Almost Double Junior Exocet (1236) r23c4, r4c5, r8c6; r45c6, r1c5, r8c4
Digit 3 misses the 2-cover sectors JE criterion.
Nevertheless, digit 3 fulfils the fundamental property of exocets for both potential exocets above:
+3r23c4, -3r4c5, -3r8c6 => no solution
+3r45c6, -3r1c5, -3r8c4 => no solution
demontrated in both cases by the following short sequence of singles:
row HS 3r4c3
row HS 3r1c8
row HS 3r8c1
box HS 4r8c3
=>+56r123c3 (contradiction)
Hence, Double General Exocet (1236) r23c4, r4c5, r8c6; r45c6, r1c5, r8c4
Eliminations:
-123r4c4, -123r79c5 (cells in sight of all four base cells or target cells)
-4r1c5, -79r4c5, -8r8c4 (non base digits in target cells)
-4r3c5, -4r7c6, -9r56c5, (non base digits in mirror nodes)
-2r4c5 (base digit false in mirror node)
-12r356c8, -1r7c8, -12r236c9, -2r9c9 (true base digits in non S-cells of cover sectors - for 'JE digits')
Resulting resolution state, with 5 placements: 9r4c4, 9r5c3, 4r7c5, 9r7c7, 9r9c5 (skfr 9.0)
- Code: Select all
+-----------------------+------------------------+------------------------+
| 9 8 345 | 7 123 45 | 6 1235 1245 |
| 7 123 36 | 1236 8 45 | 123 9 45 |
| 1234 1234 3456 | 1236 1236 9 | 12358 3578 4578 |
+-----------------------+------------------------+------------------------+
| 6 5 37 | 9 13 8 | 4 127 127 |
| 1248 124 9 | 5 1267 126 | 18 678 3 |
| 1238 123 378 | 4 12367 1236 | 158 5678 9 |
+-----------------------+------------------------+------------------------+
| 5 7 2 | a38-1 4 13 | 9 b38 6 |
| 348 9 348 | 236 5 236 | 7 1238 128 |
| 38 6 1 | 238 9 7 | 2358 4 58 |
+-----------------------+------------------------+------------------------+
(8)r7c4 = r7c8 - r89c9 = (8-7)r3c9 = r4c9 - (7=31)r4c35 - r13c5 = (1)r23c4 => -1 r7c4; lclste
