Danny wrote:However, actually attaining the initial eliminations in your examples may prove to be difficult outside of a network (using memory).

Indeed. I would like to get views as to the acceptability/unacceptability of the following unconventional rank 2 multi-fish. First though, let's consider a different example of the same structure:

- Code: Select all
`+---------------------+------------------------+----------------------+`

| 9 8 234 | 7 6(3) 1234 | 1236 125 12356 |

| 127(3) 127 6 | 18(3) 5 128(3) | 4 12789 129(3) |

| 12347 5 2347 | 13468 68(3) 9 | 12367 1278 1236 |

+---------------------+------------------------+----------------------+

| 8 1279 2479 | 14569 679 147 | 1269 3 12569 |

| 1246 3 249 | 145689 689 18 | 1269 12459 7 |

| 1467 179 5 | 13469 2 137 | 8 149 169 |

+---------------------+------------------------+----------------------+

| 5 6 23789 | 389 1 378 | 2379 279 4 |

| 237 4 23789 | 389 789(3) 6 | 5 1279 129-3 |

| 7(3) 79 1 | 2 4 5 | 79(3) 6 8 |

+---------------------+------------------------+----------------------+

3 Truths = {3R29 3C5}

5 Links = {3r8 3c19 3b29}

1 Elimination --> r8c9<>3

The above is a rank 2 fish with no triplets, so r8c9 <> 3 as it a member of 0 truth-sets and 3 link-sets. I think this is an acceptable technique. Now, I would like to stretch the envelope and change the technique from a fish to a multi-fish and to add unconventional elements to the set mix such as DJE and NP:

Leren's ADJE puzzle:

- Code: Select all
`+----------------------+---------------------+-----------------------+`

| 9 8 12345 | 7 1234 1245 | 6 1234 234 |

| 7 1345 12345 | 12459 6 12458 | 1248 123489 23489 |

| 123 134 6 | 1249 12349 1248 | 12478 5 234789 |

+----------------------+---------------------+-----------------------+

| 4 1567 125 | 3 12 9 | 1278 12678 25678 |

| 126 169 8 | 1246 5 7 | 3 12469 2469 |

| 12356 135679 1235 | 8 124 1246 | 1247 124679 245679 |

+----------------------+---------------------+-----------------------+

| 3568 2 345 | 4569 479 456 | 478 34678 1 |

| 1368 1346 9 | 1246 1247 1246 | 5 234678 234678 |

| 156 1456 7 | 12456 8 3 | 9 246 246 |

+----------------------+---------------------+-----------------------+

My proposed multi-fish has 2 truths (SIS), 4 links (WIS), 0 triplets, so requires 3 overlap link-sets to cause the elimination of (4)r6c689, so is the same structure as the rank 2 fish example. Note that SIS = strong inference set (at least one truth), WIS = weak inference set (at most one truth).

1st truth SIS = {DJE*, (12)r8c5, (4)r6c7}

2nd truth SIS = {(12)NPr46c5, (4)r6c5}

1st link WIS = {DJE*, (4)r6c689}

2nd link WIS = {(4)r6c5, (4)r6c689}

3rd link WIS = {(4)r6c7, (4)r6c689}

4th link WIS = {(12)r8c5, (12)NPr46c5}

1 Elimination --> r6c689<>4

The DJE* is DJE[B:r1c89,r3c12;T:r1c5,r2c37,r3c5;C:12r46,4r7c5], i.e. using a row and a column as the covering lines for digit (4).

One might try to draw it as a multi-fish to see the three WIS converging on (4)r6c689:

- Code: Select all
`DJE*==(12)r8c5==(4)r6c7`

| | |

| (12)NPr46c5 |

| || |

| (4)r6c5 |

| | |

\-----(4)r6c689-----/

So, acceptable/unacceptable?