The New Sudoku Players' Forum

[ArkieTech]

Code: Select all

 *-----------*
 |6.4|..3|1.5|
 |...|.1.|...|
 |1.8|4..|2.6|
 |---+---+---|
 |8..|.7.|6..|
 |.4.|9.2|.8.|
 |..7|.8.|..1|
 |---+---+---|
 |7.3|..8|9.4|
 |...|.3.|...|
 |2.6|7..|3.8|
 *-----------*


Play/Print this puzzle online

[Leren]

Code: Select all

*--------------------------------------------*
| 6    279    4   | 8   29 3  | 1   79   5   |
| 35   23579  259 | 25  1  6  | 8   4    379 |
| 1    39-5   8   | 4   59 7  | 2   39   6   |
|-----------------+-----------+--------------|
| 8   *235   *25  | 1   7  4  | 6  *359  39  |
| 35   4      1   | 9   6  2  | 57  8    37  |
| 9    6      7   | 3   8  5  | 4   2    1   |
|-----------------+-----------+--------------|
| 7   *15     3   | 256 25 8  | 9   156  4   |
| 4    8     *59  | 56  3  19 | 57  1567 2   |
| 2  F*159    6   | 7   4  19 | 3  *15   8   |
*--------------------------------------------*

Franken Swordfish in 5's : r49b7 / c238 with endofin Cell r9c2 => - 5 r3c2; stte

Leren

[Ngisa]

Code: Select all

+----------------------+-------------------+---------------------+
| 6      279       4   | 8       29     3  | 1      79       5   |
|a35     279-5     259 | 25      1      6  | 8      4        379 |
| 1      39-5      8   | 4       59     7  | 2      39       6   |
+----------------------+-------------------+---------------------+
| 8      235       25  | 1       7      4  | 6      359      39  |
|b35     4         1   | 9       6      2  |c57     8        37  |
| 9      6         7   | 3       8      5  | 4      2        1   |
+----------------------+-------------------+---------------------+
| 7      15        3   | 256     25     8  | 9      156      4   |
| 4      8         59  | 56      3      19 |d57     1567     2   |
| 2     f159       6   | 7       4      19 | 3     e15       8   |
+----------------------+-------------------+---------------------+


(5)r2c1 = r5c1 - (5=7)r5c7 - (7=5)r8c7 - r9c8 = (5)r9c2 => - 5r23c2; stte

Clement

[SteveG48]

Code: Select all

 *---------------------------------------------------------------------*
 | 6      279    4      |  8     e29     3      | 1      7-9    5      |
 | 35     23579 c259    |de25     1      6      | 8      4      379    |
 | 1      359    8      |  4      59     7      | 2    ae39     6      |
 *----------------------+-----------------------+----------------------|
 | 8      235   b25     |  1      7      4      | 6    ae359    39     |
 | 35     4      1      |  9      6      2      | 57     8      37     |
 | 9      6      7      |  3      8      5      | 4      2      1      |
 *----------------------+-----------------------+----------------------|
 | 7      15     3      |  256    25     8      | 9     e156    4      |
 | 4      8     c59     |  56     3      19     |d57    e1567   2      |
 | 2      159    6      |  7      4      19     | 3     e15     8      |
 *---------------------------------------------------------------------*


(9=35)r4c8 - 5r4c3 = r28c3 - r2c4&r8c7 = (29)b2p24|(359)r34789c8 => -9 r1c8 ; stte

[SpAce]

Code: Select all

.-------------------.-------------.--------------------.
|  6    279     4   | 8    29  3  |   1     79    5    |
| d35  d23579  d259 | 25   1   6  |   8     4    e379  |
|  1   c359     8   | 4    59  7  |   2     39    6    |
:-------------------+-------------+--------------------:
|  8    235     25  | 1    7   4  |   6     359   39   |
|  35   4       1   | 9    6   2  | a(5)-7  8    e3(7) |
|  9    6       7   | 3    8   5  |   4     2     1    |
:-------------------+-------------+--------------------:
|  7    15      3   | 256  25  8  |   9     156   4    |
|  4    8       59  | 56   3   19 |  a57    1567  2    |
|  2   b159     6   | 7    4   19 |   3    b15    8    |
'-------------------'-------------'--------------------'

(5)r[5=8]c7 - r9c[8=2] - (5=3|9)r3c2 - (39)r2c123 = (3|9,7)r25c9 => -7 r5c7; stte

[SpAce]

Franken Swordfish in 5's : r49b7 / c238 with endofin Cell r9c2 => - 5 r3c2; stte

Very nice (though you missed one irrelevant elimination)! Haven't seen an endofin in a while. To me they're among the most interesting fish types because they add another level of complexity due to the mixed-rank logic. I'm wondering how they should be expressed using the Obi-Wahn notation (to avoid explicit fin cells), or set logic in general. As far as I understand, the endofin is actually a base-triplet using Allan Barker's terminology, but I think Obi-Wahn didn't cover those cases at all. How are triplets typically notated if one uses truth/link sets? All I can imagine is a verbose explanation (which I don't like at all):

Franken Swordfish (Mixed Rank 1/0; base-triplet r9b7\c2 -> c2:Rank 0):

5:R49B7\c238 => -5 r23c2; stte

[Added: On a second thought, perhaps Obi-Wahn would have just duplicated c2:

5:R49B7\c2238 => -5 r23c2; stte ?]

Of course a different (boring) fish would avoid such complications:

Mutant Swordfish (Rank 1):

5:C17B7\r58c2b1 (or 5:C17R9\r5c2b19) => -5 r23c2; stte

[Cenoman]

(5)r2c1 = r5c1 - (5=7)r5c7 - (7=5)r8c7 - r9c8 = (5)r9c2 => - 5r23c2; stte

Hi Clement,
Nice!
Your terms c, d form a subchain (5=7)r5c7 - (7=5)r8c7 demonstrating a derived strong link (5)r5c7==r8c7 that already exists as a native conjugacy.
Your solution could be shortened to:
(5)r2c1 = r5c1 - r5c7 - r8c7 - r9c8 = r9c2 => - 5r23c2; stte (i.e. the second mutant swordfish mentionned by SpAce)

[Cenoman]

Code: Select all

 +---------------------+------------------+--------------------+
 |  6    279     4     |  8    c29   3    |  1   b79     5     |
 |  35   23579   259   |  25    1    6    |  8    4      379   |
 |  1  Ce359     8     |  4   Bd59   7    |  2   a39     6     |
 +---------------------+------------------+--------------------+
 |  8    235     25    |  1     7    4    |  6   a359    39    |
 |  35   4       1     |  9     6    2    |  57   8      37    |
 |  9    6       7     |  3     8    5    |  4    2      1     |
 +---------------------+------------------+--------------------+
 |  7    1-5     3     |  256  A25   8    |  9    156    4     |
 |  4    8      z59    |  56    3    19   |  57   1567   2     |
 |  2    19-5    6     |  7     4    19   |  3    15     8     |
 +---------------------+------------------+--------------------+

MUG(156)r789c248 using externals
(53-9)r34c8 = r1c8 - r1c5 = (9-5)r3c5 = (5)r3c2
(5)r7c5 - r3c5 = (5)r3c2
(5)r8c3
=> -5 r79c2; ste
(internals equivalent)