The New Sudoku Players' Forum

[daj95376]

Code: Select all

 +-----------------------+
 | 2 . . | 5 6 . | . . . |
 | . . 5 | . . 4 | 6 . . |
 | . 6 . | . . 7 | . . . |
 |-------+-------+-------|
 | 7 . . | 4 . . | . . 3 |
 | 3 . . | . 5 6 | 4 . 9 |
 | . 5 9 | . 3 8 | . 7 . |
 |-------+-------+-------|
 | . 7 . | . 1 . | 5 . . |
 | . . . | . . 3 | . . . |
 | . . . | 6 7 . | . . 4 |
 +-----------------------+

 +--------------------------------------------------------------+
 |  2     4     7     |  5     6     19    |  3     189   18    |
 |  189   138   5     |  1239  289   4     |  6     129   7     |
 |  189   6     138   |  1239  289   7     |  129   4     5     |
 |--------------------+--------------------+--------------------|
 |  7     128   6     |  4     29    129   |  128   5     3     |
 |  3     128   128   |  7     5     6     |  4     128   9     |
 |  4     5     9     |  12    3     8     |  12    7     6     |
 |--------------------+--------------------+--------------------|
 |  6     7     4     |  289   1     29    |  5     3     28    |
 |  5     9     18    |  28    4     3     |  7     6     128   |
 |  18    23    23    |  6     7     5     |  189   189   4     |
 +--------------------------------------------------------------+
 # 56 eliminations remain


Play this puzzle online at the Daily Sudoku site

_

[JC Van Hay]

First solution :

Code: Select all

+-------------------+------------------+---------------------+
| 2    4      7     | 5     6    9(1)  | 3      89(1)  8(1)  |
| 189  138    5     | 1239  289  4     | 6      29(1)  7     |
| 189  6      38(1) | 1239  289  7     | 29(1)  4      5     |
+-------------------+------------------+---------------------+
| 7    28(1)  6     | 4     29   29(1) | 128    5      3     |
| 3    28(1)  28(1) | 7     5    6     | 4      28-1   9     |
| 4    5      9     | 12    3    8     | 12     7      6     |
+-------------------+------------------+---------------------+
| 6    7      4     | 289   1    29    | 5      3      28    |
| 5    9      8(1)  | 28    4    3     | 7      6      28(1) |
| 18   23     23    | 6     7    5     | 189    189    4     |
+-------------------+------------------+---------------------+


Starfish(1C369B34) :=> (1)[r5c23==r2c8] - 1r5c8

Code: Select all

r5c8
r5c23=r4c2
      r4c6=r1c6
r2c8=======r1c89=r3c7
           r1c9=======r8c9
r5c3=============r3c3=r8c3

Code: Select all

]+---------------+------------------+---------------------+
| 2    4    7   | 5     6    (19)  | 3       18(9)  18   |
| 189  138  5   | 1239  289  4     | 6       129    7    |
| 189  6    138 | 1239  289  7     | 12(9)   4      5    |
+---------------+------------------+---------------------+
| 7    128  6   | 4     29   9(12) | 128     5      3    |
| 3    128  128 | 7     5    6     | 4       28     9    |
| 4    5    9   | 12    3    8     | 12      7      6    |
+---------------+------------------+---------------------+
| 6    7    4   | 289   1    9(2)  | 5       3      (28) |
| 5    9    18  | 28    4    3     | 7       6      128  |
| 18   23   23  | 6     7    5     | 1-8(9)  189    4    |
+---------------+------------------+---------------------+


[9r9c7 = 9r3c7 - 9r1c8 = (9-1)r1c6 = 1r4c6 - 2r4c6 = 2r7c6 - (2=8)r7c9] - 8r9c7; stte

Second solution :

Code: Select all

+-------------------+--------------------+---------------------+
| 2    4      7     | 5       6    9-1   | 3      89(1)  8(1)  |
| 189  138    5     | 239(1)  289  4     | 6      9(12)  7     |
| 189  6      38(1) | 239(1)  289  7     | 29(1)  4      5     |
+-------------------+--------------------+---------------------+
| 7    28(1)  6     | 4       29   29(1) | 28(1)  5      3     |
| 3    128    28(1) | 7       5    6     | 4      18(2)  9     |
| 4    5      9     | (12)    3    8     | 1(2)   7      6     |
+-------------------+--------------------+---------------------+
| 6    7      4     | 289     1    29    | 5      3      28    |
| 5    9      8(1)  | 28      4    3     | 7      6      28(1) |
| 18   23     23    | 6       7    5     | 189    189    4     |
+-------------------+--------------------+---------------------+
1r1c6
1r23c4=1r6c4
       2r6c4=2r6c7
             2r5c8=2r2c8
1r1c89=============1r2c8=1r3c7
       1r4c6=============1r4c7=1r4c2
                         1r3c3=1r5c3=1r8c3
1r1c9================================1r8c9 :=> (1)[r23c4==r1c89] - (1=9)r1c6; stte


or

[1r23c4 = (1-2)r6c4 = 2r6c7 - 2r5c8 = (2-1)r2c8 =* 1r1c89] =* 1r3c7-(1)[r4c7 = r3c3] =* [r23c4 = r6c4 - r4c6 =* r4c2 - r5c3 =* r8c3 - r8c9 = r1c9]

[Leren]

Code: Select all

*--------------------------------------------------------------*
| 2     4     7      | 5     6     19     | 3     189   1-8    |
| 189   138   5      | 1239  289   4      | 6     129   7      |
| 189   6     138    | 1239  289   7      | 129   4     5      |
|--------------------+--------------------+--------------------|
| 7     128   6      | 4     29    129    | 128   5     3      |
| 3     128   128    | 7     5     6      | 4     128   9      |
| 4     5     9      | 12    3     8      | 12    7     6      |
|--------------------+--------------------+--------------------|
| 6     7     4      | 289   1     29     | 5     3     28     |
| 5     9     18     | 28    4     3      | 7     6     128    |
| 18    23    23     | 6     7     5      | 189   189   4      |
*--------------------------------------------------------------*

Kraken Row 4 digit 1:

1 r4c2 - r2c2 = r2c1 - r9c1 = r9c78 - r8c9 = r1c9                             - 8 r1c9;
                r2c4 - r1c6 = (1-2) r4c6 = r7c6 - (2=8) r7c9                  - 8 r1c9;
                r2c8 - 2 r2c8 = r3c7 - r6c7 = r6c4 - r4c6 = r7c6 - (2=8) r7c9 - 8 r1c9;

1 r4c6 - 2 r4c6 = r7c6 - (2=8) r7c9                                           - 8 r1c9;

1 r4c7 - r5c8 = r1c8 - r1c6 = (1-2) r4c6 = r7c6 - (2=8) r7c9                  - 8 r1c9;
                r2c8 - 2 r2c8 = r3c7 - r6c7 = r6c4 - r4c6 = r7c6 - (2=8) r7c9 - 8 r1c9;
                r9c8 - r8c9 = r1c9                                            - 8 r1c9; => - 8 r1c9; stte

Leren

[blue]

Code: Select all

+-------------------+-------------------+---------------------+
| 2    4      7     | 5     6    (19)   | 3      18(9)  8(1)  |
| 189  138    5     | 1239  289  4      | 6      129    7     |
| 189  6      38(1) | 1239  289  7      | (129)  4      5     |
+-------------------+-------------------+---------------------+
| 7    28(1)  6     | 4     29   9-2(1) | 28(1)  5      3     |
| 3    128    28(1) | 7     5    6      | 4      128    9     |
| 4    5      9     | 1(2)  3    8      | 1(2)   7      6     |
+-------------------+-------------------+---------------------+
| 6    7      4     | 289   1    29     | 5      3      28    |
| 5    9      8(1)  | 28    4    3      | 7      6      28(1) |
| 18   23     23    | 6     7    5      | 189    189    4     |
+-------------------+-------------------+---------------------+

Kraken City Madhouse:

Code: Select all

1r4c6 --------------------------------------------
  ||                                               \
  ||    1r8c3 - r8c9 = r1c9 --------                \
  ||      ||                         \               \
1r4c2 - 1r5c3   9r3c7 - r1c8 = 9r1c6 - 1r1c6 = 1r4c6 - 2r4c6
  ||      ||      ||                                 /
  ||      ||    2r3c7 - r6c7 = 2r6c4 ---------------
  ||      ||      ||
  ||    1r3c3 - 1r3c7
  ||          /
1r4c7 -------

=> r4c6<>2; stte

[JC Van Hay]

FWIW, a solution avoiding the Starfish :

Code: Select all

+---------------+------------------+----------------------+
| 2    4    7   | 5     6    (19)  | 3       18(9)  8(1)  |
| 189  138  5   | 1239  289  4     | 6       129    7     |
| 189  6    138 | 1239  289  7     | 12(9)   4      5     |
+---------------+------------------+----------------------+
| 7    128  6   | 4     29   9(12) | 128     5      3     |
| 3    128  128 | 7     5    6     | 4       128    9     |
| 4    5    9   | 2(1)  3    8     | 2(1)    7      6     |
+---------------+------------------+----------------------+
| 6    7    4   | 289   1    9(2)  | 5       3      (28)  |
| 5    9    18  | 28    4    3     | 7       6      28(1) |
| 18   23   23  | 6     7    5     | -1-8(9) 189    4     |
+---------------+------------------+----------------------+


#1. SF(1)[r6c4=r6c4-r4c6=r1c6-r1c9=r8c9]-1r9c7
#2. [9r9c7=9r3c7-9r1c8=(9-1)r1c6=1r4c6-2r4c6=2r7c6-(2=8)r7c9]-8r9c7; r9c7=9, r4c7=8

Code: Select all

+-----------------+----------------+-----------------+
| 2    4    7     | 5     6    19  | 3     189  8(1) |
| 189  138  5     | 1239  289  4   | 6     129  7    |
| 189  6    38(1) | 1239  289  7   | 2(1)  4    5    |
+-----------------+----------------+-----------------+
| 7    12   6     | 4     29   129 | 8     5    3    |
| 3    128  28(1) | 7     5    6   | 4     2-1  9    |
| 4    5    9     | 12    3    8   | 2(1)  7    6    |
+-----------------+----------------+-----------------+
| 6    7    4     | 289   1    29  | 5     3    28   |
| 5    9    8(1)  | 28    4    3   | 7     6    2(1) |
| 18   23   23    | 6     7    5   | 9     18   4    |
+-----------------+----------------+-----------------+

#3. SF(1)[r5c3=SS(r38c3,r81c9)-r3c7=r6c7]-1r5c8; stte

[DonM]

I don't recall the Squirmbag being called a Starfish except for a short period back in 2006 or so.

[daj95376]

I don't recall the Squirmbag being called a Starfish except for a short period back in 2006 or so.

There are supporters for/in both camps. The use of Squirmbag and Starfish both actively continued through 2010 in this forum. After that, neither term was used very often because the use of 5-Fish patterns dropped off.

_

[daj95376]

_

Code: Select all

 +--------------------------------------------------------------+
 |  2     4     7     |  5     6     19    |  3     189   18    |
 |  189   138   5     |  1239  289   4     |  6     129   7     |
 |  189   6     138   |  1239  289   7     |  129   4     5     |
 |--------------------+--------------------+--------------------|
 |  7     128   6     |  4     29    129   |  128   5     3     |
 |  3     128   128   |  7     5     6     |  4     128   9     |
 |  4     5     9     |  12    3     8     |  12    7     6     |
 |--------------------+--------------------+--------------------|
 |  6     7     4     |  289   1     29    |  5     3     28    |
 |  5     9     18    |  28    4     3     |  7     6     128   |
 |  18    23    23    |  6     7     5     |  189   189   4     |
 +--------------------------------------------------------------+
 # 56 eliminations remain

 1*r1c89 = r8c9 - r8c3 = r3c3 .............
                          ||               \
                       = r5c3 - r4c2 = r4c7 - r3c7,*r1c89 = (1-2)r2c8 = r5c8 - r6c7 = (2-1)r6c4 = r4c6 - 1r1c6
                                        ||
                                     = r4c6 - 1r1c6


_

[blue]

Code: Select all

+---------------------+--------------------+---------------------+
| 2      4      7     | 5       6    9(1)  | 3      89(1)  8(1)  |
| 89(1)  38(1)  5     | 239(1)  289  4     | 6      9(12)  7     |
| 189    6      38(1) | 1239    289  7     | 19(2)  4      5     |
+---------------------+--------------------+---------------------+
| 7      128    6     | 4       29   29(1) | 128    5      3     |
| 3      128    28(1) | 7       5    6     | 4      28(1)  9     |
| 4      5      9     | 2-1     3    8     | (12)   7      6     |
+---------------------+--------------------+---------------------+
| 6      7      4     | 289     1    29    | 5      3      28    |
| 5      9      8(1)  | 28      4    3     | 7      6      28(1) |
| 18     23     23    | 6       7    5     | 189    89(1)  4     |
+---------------------+--------------------+---------------------+

Another 7-SIS network, with just a few 2's:

Code: Select all

1r2c4 -----------------------------------------------
  ||                                                  \
  ||     1r8c3 -------                                 \
  ||       ||          \                                \
  ||       ||    1r9c8 - r8c9 = r1c9 - r1c6 = r4c6 ------ 1r6c4
1r2c12 - 1r3c3     ||                /                  /
  ||       ||    1r1c8 -------------                   /
  ||       ||      ||                                 /
  ||     1r5c3 - 1r5c8                               /
  ||               ||                               /
  ||             1r2c8 - 2r2c8 = r3c7 - (2=1)r6c7 -
  ||                   /
1r2c8 ----------------

=> r6c4<>1; stte

P.S.

JC: In your "second solution", where you have "1r3c7-(1)[r4c7 = r3c3]", do you really mean "1r3c7 - 1r4c7,r3c3" ?

I always enjoy looking into the details of your solutions.
You often confuse me, though, when you use an expression like [?==?].
I'm never sure whether you're talking about a strong link, an equality relation, or something else.
This time, when you used [? = ?], you had me wondering again.
Fortunately for me, you almost always include a "forbidding matrix".
When I put that into XSudo, I can usually decipher your intent.
Thanks for that !

Edit: Edited for grammar & sentence structure.
Rum & sodas before posting -- bad idea

[DonM]

Yes, I had the same confusion over JC's [?==?]. Also, JC seems to be developing his own shorthand that makes it difficult to follow the solutions which is unfortunate because he's among the most clever solvers out there these days.

Apparently, if I get this shorthand right, square brackets serve 2 different purposes: In one case, the square brackets are apparently used to save space where there is a common digit throughout a short chain.; the other case is where an entire chain is enclosed in square brackets and the elimination follows directly after without any other indication that it is an elimination.

This is confusing because square brackets may be used in other situations where there's an attempt to show a network solution in a single chain, not to mention that it is a lot easier if one can easily see an elimination distinct from the chain.

Still, I'm only mentioning this because I find JC's solutions among the most interesting, but since he is often using innovative ways to get a SIS, it is hard enough to understand the clever innovation without the overlay of nonstandard notation.

[daj95376]

_

Here is a SIN returned by my solver. I converted it into something similar to a JC matrix.

Code: Select all

 +--------------------------------------------------------------+
 |  2     4     7     |  5     6     19    |  3     189   18    |
 |  189   138   5     |  1239  289   4     |  6     129   7     |
 |  189   6     138   |  1239  289   7     |  129   4     5     |
 |--------------------+--------------------+--------------------|
 |  7     128   6     |  4     29    129   |  128   5     3     |
 |  3     128   128   |  7     5     6     |  4     128   9     |
 |  4     5     9     |  12    3     8     |  12    7     6     |
 |--------------------+--------------------+--------------------|
 |  6     7     4     |  289   1     29    |  5     3     28    |
 |  5     9     18    |  28    4     3     |  7     6     128   |
 |  18    23    23    |  6     7     5     |  189   189   4     |
 +--------------------------------------------------------------+
 # 56 eliminations remain

  1r1c6   1r6c4  2r6c7  2r2c8  1r3c7  1r4c2  1r8c3   [c9]-1


 =1r1c6
 -1r4c6  =1r6c4
         -1r6c7 =2r6c7
                -2r5c8 =2r2c8
 -1r1c89 ............. -1r2c8 =1r3c7
 -1r4c6  .................... -1r4c7 =1r4c2
                              -1r3c3 -1r5c3 =1r8c3
 -1r1c9  .................................. -1r8c9 ; [c9]-1  =>  -1 r1c6


Definitely easier than trying to convert it into the network diagram that I posted above.

_