The New Sudoku Players' Forum

[mith]

Code: Select all

+-------+-------+-------+
| . . . | . . . | . . . |
| 9 . . | . . 8 | 7 . . |
| . 6 . | . 5 . | . 4 . |
+-------+-------+-------+
| . 5 . | . 6 . | . 3 . |
| 2 . . | . . 1 | 9 . . |
| . . 6 | . . . | . . . |
+-------+-------+-------+
| . 3 . | 2 . . | . 5 . |
| 1 . . | . . 9 | 8 . . |
| . . . | 1 . . | 2 . . |
+-------+-------+-------+
.........9....87...6..5..4..5..6..3.2....19....6.......3.2...5.1....98.....1..2..

[SpAce]

I already ate fish today. (Not much bigger than two meters.)

Code: Select all

.------------------------.----------------------.----------------------.
|  34578  12478  1234578 |  34679  c129   23467 |  1356  12689  125689 |
|  9      124    12345   |  346    c12    8     |  7     126    1256   |
| c378    6      12378   | c379     5    c237   | b13    4      1289   |
:------------------------+----------------------+----------------------:
| d478    5      19      |  4789    6     247   |  14    3      12478  |
|  2     e478   e3478    |  34578   347   1     |  9    f678    45678  |
| d3478   19     6       |  345789  29    23457 |  145   1278   124578 |
:------------------------+----------------------+----------------------:
|  4678   3      4789    |  2       478   467   | b146   5     a1467-9 |
|  1      247    2457    |  34567   347   9     |  8    f67     3467   |
|  45678  4789   45789   |  1       3478  34567 |  2    f679    34679  |
'------------------------'----------------------'----------------------'

(1)r7c9 = (13)r73c7 - (3=12978)b2p2579,r3c1 - r46c1 = r5c23 - (8=679)r589c8 => -9 r7c9; stte

11x11 PM: Show

Code: Select all

      7n9
      9b9   1c7   3r3   2b2   1b2   9b2   7r3   8c1    8r5    6c8   7c8
   .--------------------------------------------------------------------
1R7| 1r7c9 1r7c7
3N7| . . . 1r3c7 3r3c7
3N6| . . . . . . 3r3c6 2r3c6 . . . . . . 7r3c6
2N5| . . . . . . . . . 2r2c5 1r2c5 . . . . . .
1N5| . . . . . . . . . 2r1c5 1r1c5 9r1c5 . . .
3N4| . . . . . . 3r3c4 . . . . . . 9r3c4 7r3c4
3N1| . . . . . . 3r3c1 . . . . . . . . . 7r3c1 8r3c1
8B4| . . . . . . . . . . . . . . . . . . . . . 8r46c1 8r5c23
5N8| . . . . . . . . . . . . . . . . . . . . . . . .  8r5c8  6r5c8 7r5c8
8N8| . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6r8c8 7r8c8
9N8| 9r9c8 . . . . . . . . . . . . . . . . . . . . . . . . . 6r9c8 7r9c8
   '====================================================================
    -9r7c9

11x12 (Rank 1): {1R7 8B4 12N5 3N1467 589N8 \ 37r3 8r5 1c7 67c8 8c1 129b2 9b9 7n9} => -9 r7c9; stte

[denis_berthier]

Nice to find the good old fishes are back.

Using only Subsets:

Code: Select all

***********************************************************************************************
***  SudoRules 20.1.s based on CSP-Rules 2.1.s, config = SFin
***  Using CLIPS 6.32-r778
***********************************************************************************************
252 candidates, 1872 csp-links and 1872 links. Density = 5.92%
whip[1]: c4n8{r6 .} ==> r6c5 ≠ 8, r5c5 ≠ 8
whip[1]: c7n3{r3 .} ==> r3c9 ≠ 3, r1c9 ≠ 3, r2c9 ≠ 3
hidden-pairs-in-a-block: b4{r4c3 r6c2}{n1 n9} ==> r6c2 ≠ 8, r6c2 ≠ 7, r6c2 ≠ 4, r4c3 ≠ 8, r4c3 ≠ 7, r4c3 ≠ 4
hidden-triplets-in-a-column: c5{n1 n2 n9}{r1 r2 r6} ==> r6c5 ≠ 7, r6c5 ≠ 4, r6c5 ≠ 3, r2c5 ≠ 4, r2c5 ≠ 3, r1c5 ≠ 7, r1c5 ≠ 4, r1c5 ≠ 3
finned-x-wing-in-rows: n3{r2 r5}{c3 c4} ==> r6c4 ≠ 3
swordfish-in-columns: n9{c2 c5 c8}{r9 r6 r1} ==> r9c9 ≠ 9, r9c3 ≠ 9, r6c4 ≠ 9, r1c9 ≠ 9, r1c4 ≠ 9
swordfish-in-columns: n6{c1 c6 c7}{r7 r9 r1} ==> r9c9 ≠ 6, r9c8 ≠ 6, r7c9 ≠ 6, r1c9 ≠ 6, r1c8 ≠ 6, r1c4 ≠ 6
swordfish-in-columns: n1{c2 c5 c8}{r6 r2 r1} ==> r6c9 ≠ 1, r6c7 ≠ 1, r2c9 ≠ 1, r2c3 ≠ 1, r1c9 ≠ 1, r1c7 ≠ 1, r1c3 ≠ 1
swordfish-in-rows: n5{r2 r5 r8}{c3 c9 c4} ==> r9c3 ≠ 5, r6c9 ≠ 5, r6c4 ≠ 5, r1c9 ≠ 5, r1c3 ≠ 5
hidden-pairs-in-a-row: r9{n5 n6}{c1 c6} ==> r9c6 ≠ 7, r9c6 ≠ 4, r9c6 ≠ 3, r9c1 ≠ 8, r9c1 ≠ 7, r9c1 ≠ 4
swordfish-in-columns: n3{c1 c6 c7}{r1 r6 r3} ==> r3c4 ≠ 3, r3c3 ≠ 3, r1c4 ≠ 3, r1c3 ≠ 3
hidden-triplets-in-a-row: r1{n3 n5 n6}{c6 c1 c7} ==> r1c6 ≠ 7, r1c6 ≠ 4, r1c6 ≠ 2, r1c1 ≠ 8, r1c1 ≠ 7, r1c1 ≠ 4
whip[1]: b2n4{r2c4 .} ==> r4c4 ≠ 4, r5c4 ≠ 4, r6c4 ≠ 4, r8c4 ≠ 4
naked-triplets-in-a-column: c4{r3 r4 r6}{n7 n9 n8} ==> r8c4 ≠ 7, r5c4 ≠ 8, r5c4 ≠ 7, r1c4 ≠ 7
naked-single ==> r1c4 = 4
whip[1]: b2n7{r3c6 .} ==> r3c1 ≠ 7, r3c3 ≠ 7
naked-pairs-in-a-block: b2{r1c6 r2c4}{n3 n6} ==> r3c6 ≠ 3
swordfish-in-columns: n4{c1 c6 c7}{r4 r6 r7} ==> r7c9 ≠ 4, r7c5 ≠ 4, r7c3 ≠ 4, r6c9 ≠ 4, r4c9 ≠ 4
hidden-triplets-in-a-row: r6{n3 n4 n5}{c6 c1 c7} ==> r6c6 ≠ 7, r6c6 ≠ 2, r6c1 ≠ 8, r6c1 ≠ 7
hidden-quads-in-a-column: c9{n3 n4 n5 n6}{r8 r9 r5 r2} ==> r9c9 ≠ 7, r8c9 ≠ 7, r5c9 ≠ 8, r5c9 ≠ 7, r2c9 ≠ 2
jellyfish-in-columns: n7{c1 c9 c4 c6}{r7 r4 r6 r3} ==> r7c5 ≠ 7, r7c3 ≠ 7, r6c8 ≠ 7
stte

[SteveG48]

Code: Select all

 *------------------------------------------------------------------------------------------*
 |   34578    12478    1234578  |   34679   b129      23467    | 1356     12689    125689   |
 |   9        124      12345    |   346     b12       8        | 7        126      1256     |
 |ack378      6       k12378    |abk379      5     abk237      |b1-3      4        1289     |
 *------------------------------+------------------------------+----------------------------|
 |  d478      5      ij19       |  j4789     6        247      | 14       3        12478    |
 |   2       e478     e3478     |   34578    347      1        | 9       f678      45678    |
 |  d3478     19       6        |   345789   29       23457    | 145      1278     124578   |
 *------------------------------+------------------------------+----------------------------|
 |   4678     3       h4789     |   2        478      467      | 146      5        14679    |
 |   1        247      2457     |   34567    347      9        | 8       f67       3467     |
 |   45678   g4789    g45789    |   1        3478     34567    | 2       f679      34679    |
 *------------------------------------------------------------------------------------------*


3r3c146 = ((1297)b2p2579)&(3r3c7) - (3|7=8)r3c1 - r46c1 = r5c23 - (8=769)r589c8 - 9r9c23 = r7c3 - 9r4c3 = (1,9)r4c34 - (1|9=2783)r3c1346 => -3 r3c7 ; stte

[Cenoman]

Five fishes:

Code: Select all

 +----------------------------+--------------------------+--------------------------+
 |  34578   12478   123478-5  |  3479-6   129    23467   |  1356   1289-6  1289-56  |
 |  9       124     12345*    |  346^     12     8       |  7      126^    1256*^   |
 |  378     6       12378     |  379      5      237     |  13     4       1289     |
 +----------------------------+--------------------------+--------------------------+
 |  478     5       19        |  4789     6      247     |  14     3       12478    |
 |  2       478     3478      |  34578*   347    1       |  9      678^    45678*^  |
 |  3478    19      6         |  34789-5  29     23457   |  145    1278    12478-5  |
 +----------------------------+--------------------------+--------------------------+
 |  4678    3       4789      |  2        478    467     |  146    5       1479-6   |
 |  1       247     2457*     |  34567*^  347    9       |  8      67^     3467^    |
 |  45678   4789    4789-5    |  1        3478   34567   |  2      79-6    3479-6   |
 +----------------------------+--------------------------+--------------------------+

Swordfishes (5)r347\c349, (6)r347\c489 => -5 r19c3, r6c4, r16c9, -6 r1c4, r19c8, r179c9; HP(56)r9c16

Code: Select all

 +---------------------------+-------------------------+------------------------+
 |  34578*  12478   12478-3  |  479-3   129    23467*  |  1356*  1289   1289    |
 |  9       124     12345    |  346     12     8       |  7      126    1256    |
 |  378*    6       1278-3   |  79-3    5      237*    |  13*    4      1289    |
 +---------------------------+-------------------------+------------------------+
 |  478     5       19       |  4789    6      247     |  14     3      12478   |
 |  2       478     3478     |  34578   347    1       |  9      678    45678   |
 |  3478*   19      6        |  4789-3  29     23457*  |  145    1278   12478   |
 +---------------------------+-------------------------+------------------------+
 |  4678    3       4789     |  2       478    467     |  146    5      1479    |
 |  1       247     2457     |  34567   347    9       |  8      67     3467    |
 |  56      4789    4789     |  1       3478   56      |  2      79     3479    |
 +---------------------------+-------------------------+------------------------+

Swordfish (3)c167\r136 => -3 r13c3, r136c4; HT(356)r1c167, HT(356)r258c4; +4 r1c4, HP(36)b2p34

Code: Select all

 +------------------------+-----------------------+-----------------------+
 |  35     1278   1278    |  4     129    36      |  356   1289   1289    |
 |  9      124    12345   |  36    12     8       |  7     126    1256    |
 |  38     6      128     |  79    5      27      |  13    4      1289    |
 +------------------------+-----------------------+-----------------------+
 |  478*   5      19      |  789   6      247*    |  14*   3      1278-4  |
 |  2      478    3478    |  35    347    1       |  9     678    45678   |
 |  3478*  19     6       |  789   29     23457*  |  145*  1278   1278-4  |
 +------------------------+-----------------------+-----------------------+
 |  4678*  3      789-4   |  2     78-4   467*    |  146*  5      179-4   |
 |  1      247    2457    |  356   347    9       |  8     67     3467    |
 |  56     4789   4789    |  1     3478   56      |  2     79     3479    |
 +------------------------+-----------------------+-----------------------+

Swordfish (4)c167\r467 => -4 r7c35, r467c9; HQ(3456)r2589c9, HT(345)r6c167

Code: Select all

 +------------------------+---------------------+----------------------+
 |  35     1278*  1278*   |  4     129    36    |  356   1289   1289   |
 |  9      124    12345   |  36    12     8     |  7     126    56     |
 |  38     6      128     |  79    5      27    |  13    4      1289   |
 +------------------------+---------------------+----------------------+
 |  478    5      19      |  789   6      247   |  14    3      1278   |
 |  2      478*   3478*   |  35    347*   1     |  9     678*   456    |
 |  34     19     6       |  789   29     345   |  45    128-7  1278   |
 +------------------------+---------------------+----------------------+
 |  4678   3      89-7    |  2     8-7    467   |  146   5      179    |
 |  1      247*   2457*   |  356   347*   9     |  8     67*    346    |
 |  56     4789*  4789*   |  1     3478*  56    |  2     79*    34     |
 +------------------------+---------------------+----------------------+

Jellyfish (7)r1589\c2358 => -7r6c8, r7c35 => -7 r6c8, r7c35; ste

Swordfishes (1) & (9) that are available are not needed to solve the puzzle.

[SteveG48]

Five fishes:

Swordfishes (1) & (9) that are available are not needed to solve the puzzle.

Good thing. I think there's a bag limit.