champagne wrote:daj95376 wrote:Here are the individual JExocet eliminations (as I see them):
- Code: Select all
+--------------------------------------------------------------------------------+
| 9 8 234 | 7 36 1234 | 1236 125 12356 |
| 1237 127 6 | 138 5 1238 | 4 12789 1239 |
| 12347 5 2347 | 13468 368 9 | 12367 1278 1236 |
|--------------------------+--------------------------+--------------------------|
| 8 1279 2479 | 14569 679 147 | 1269 3 12569 |
| 1246 3 249 | 145689 689 148 | 1269 12459 7 |
| 1467 179 5 | 13469 2 1347 | 8 149 169 |
|--------------------------+--------------------------+--------------------------|
| 5 6 23789 | 389 Q1 378 | R39-27 q79-2 4 |
| 237 4 23789 | r39-8 Q79-38 6 | R5 1279 1239 |
| B37 B79 1 | 2 4 5 | 379 6 8 |
+--------------------------------------------------------------------------------+
Hi Danny,
In my view, this is more than just direct eliminations from a JE, but you are using the word Qexocet.
In fact, looking for all exocets in band for that puzzle, my solver finds
r7c4 r7c6 r8c1 r8c3
r7c4 r7c6 r8c3 r9c7
r9c1 r9c2 r7c7 r7c8
r9c1 r9c2 r7c7 r8c5
r9c1 r9c2 r8c4 r8c5
and we have the properties you apply. (r7c8==r8c5 r7c7==r8c4)
Eliminations made are very close to what can be done using the double exocet.
With the JE4, we have also r8c1 == r9c7
Most of the posts in this thread have gone beyond DPB's original definition of a JExocet. That said, I think "secondary equivalences" are trivial and qualify as ...
JExocet Corollary #1
- Code: Select all
When the JExocet pattern has:
*) a diagonal distribution of solutions -- Q & R -- and
*) a diagonal distribution of non-base candidates -- (/) -- and
*) non-base candidates in one cell (~) of a mini-unit containing Q and/or R and parallel to BB
Then secondary equivalences are forced for Q and/or R, and additional eliminations may exist.
- Code: Select all
R==r follows from: R eliminated from [r1] and [r3] and only possible remaining cell is r in [r2]
|---------------+---------------+---------------|
| B B . | . . . | . . . |
| . . . | Q ~ r | . . / |
| . . . | / . . | . . R |
|---------------+---------------+---------------|
Q==q follows from: Q eliminated from [r1] and [r2] and only possible remaining cell is q in [r3]
|---------------+---------------+---------------|
| B B . | . . . | . . . |
| . . . | Q . . | . . / |
| . . . | / . . | q ~ R |
|---------------+---------------+---------------|
both conditions apply
|---------------+---------------+---------------|
| B B . | . . . | . . . |
| . . . | Q ~ r | . . / |
| . . . | / . . | q ~ R |
|---------------+---------------+---------------|
When this corollary exists, you can expect me to treat any resulting eliminations as part of the original JExocet.
In fact, it's way past time for DPB to add this to his original definition.