The New Sudoku Players' Forum

[ArkieTech]

Code: Select all

 *-----------*
 |8..|..9|...|
 |56.|2..|.4.|
 |.1.|4..|...|
 |---+---+---|
 |..5|1.6|82.|
 |..2|.7.|6..|
 |.86|3.5|7..|
 |---+---+---|
 |...|..4|.9.|
 |.4.|..2|.61|
 |...|6..|..5|
 *-----------*


Play/Print this puzzle online

[SteveG48]

Code: Select all

 *------------------------------------------------------------*
 | 8    d27    4     |c57    1356   9     | 15   c37    26    |
 | 5     6     379   | 2     138    137   | 19    4    b78    |
 |e2-3   1     379   | 4     3568 ab37    | 59  ab378   26    |
 *-------------------+--------------------+-------------------|
 | 79    79    5     | 1     4      6     | 8     2     3     |
 | 1     3     2     | 9     7      8     | 6     5     4     |
 | 4     8     6     | 3     2      5     | 7     1     9     |
 *-------------------+--------------------+-------------------|
 | 6     5     13    | 78    13     4     | 2     9     78    |
 | 79    4     78    | 578   59     2     | 3     6     1     |
 | 23    279   1378  | 6     139    137   | 4     78    5     |
 *------------------------------------------------------------*


3r3c68 = (78r3c68)&(78b3p68) - 7r1c48 = (7-2)r1c2 = 2r3c1 => -3 r3c1 ; stte

[Leren]

Kraken Row 1 Digit 7 :

Code: Select all

*--------------------------------------------------------------*
| 8   Da7-2d  4      |A57    1356  9      | 15    37a   26     |
| 5     6     379    | 2     138   137    | 19    4     78     |
|C23c   1     379    | 4     3568 B37     | 59    378b  26     |
|--------------------+--------------------+--------------------|
| 79    79    5      | 1     4     6      | 8     2     3      |
| 1     3     2      | 9     7     8      | 6     5     4      |
| 4     8     6      | 3     2     5      | 7     1     9      |
|--------------------+--------------------+--------------------|
| 6     5     13     | 78    13    4      | 2     9     78     |
| 79    4     78     | 578   59    2      | 3     6     1      |
| 23    279   1378   | 6     139   137    | 4     78    5      |
*--------------------------------------------------------------*

7 r1c2                              - 2 r1c2;

7 r1c4 - (7=3) r3c6 - (3=2) r3c1    - 2 r1c2;

7 r1c8 - 3 r1c8 = r3c8 - (3=2) r3c1 - 2 r1c2; => - 2 r1c2; stte

Leren

[pjb]

Code: Select all

 8      a27      4      | 57    b1356   9      | 15     37    a26     
 5       6       39-7   | 2      138    137    | 19     4      78     
 23      1       39-7   | 4     c3568   37     | 59    d378    26     
------------------------+----------------------+---------------------
 79      79      5      | 1      4      6      | 8      2      3     
 1       3       2      | 9      7      8      | 6      5      4     
 4       8       6      | 3      2      5      | 7      1      9     
------------------------+----------------------+---------------------
 6       5       13     | 78     13     4      | 2      9      78     
 79      4      g78     | 578    59     2      | 3      6      1     
 23      29-7   f1378   | 6      139    137    | 4     e78     5     


(7=6)r1c29 - r1c5 = (6-8)r3c5 = r3c8 - r9c8 = r9c3 - (8=7)r8c3 => -7 r23c3, r9c2; stte

Phil

[ArkieTech]

Code: Select all

 *-----------------------------------------------------------*
 | 8    a27    4     | 5-7   1356  9     | 15   a37   a26    |
 | 5     6     379   | 2     138   137   | 19    4     78    |
 |b23    1     379   | 4     3568 b37    | 59    78-3 b26    |
 |-------------------+-------------------+-------------------|
 | 79    79    5     | 1     4     6     | 8     2     3     |
 | 1     3     2     | 9     7     8     | 6     5     4     |
 | 4     8     6     | 3     2     5     | 7     1     9     |
 |-------------------+-------------------+-------------------|
 | 6     5     13    | 78    13    4     | 2     9     78    |
 | 79    4     78    | 578   59    2     | 3     6     1     |
 | 23    279   1378  | 6     139   137   | 4     78    5     |
 *-----------------------------------------------------------*
[(3|7=6)r1c289-(6=3|7)r3c169]-3r3c8,-7r1c4; ste


[SteveG48]

Code: Select all

 *-----------------------------------------------------------*
 | 8    a27    4     | 5-7   1356  9     | 15   a37   a26    |
 | 5     6     379   | 2     138   137   | 19    4     78    |
 |b23    1     379   | 4     3568 b37    | 59    78-3 b26    |
 |-------------------+-------------------+-------------------|
 | 79    79    5     | 1     4     6     | 8     2     3     |
 | 1     3     2     | 9     7     8     | 6     5     4     |
 | 4     8     6     | 3     2     5     | 7     1     9     |
 |-------------------+-------------------+-------------------|
 | 6     5     13    | 78    13    4     | 2     9     78    |
 | 79    4     78    | 578   59    2     | 3     6     1     |
 | 23    279   1378  | 6     139   137   | 4     78    5     |
 *-----------------------------------------------------------*
[(3|7=6)r1c289-(6=3|7)r3c169]-3r3c8,-7r1c4; ste


Nice one, Dan, but I think it should be written:

[(3&7=6)r1c289-(6=3&7)r3c169]-3r3c8,-7r1c4; ste

[bat999]

Code: Select all

.------------------.------------------.---------------.
|  8    27    4    | *57    1356  9   | 15   37    26 |
|  5    6     379  |  2     138   137 | 19   4     78 |
| *23   1     379  |  4    *3568  37  | 59  *378  *26 |
:------------------+------------------+---------------:
|  79   79    5    |  1     4     6   | 8    2     3  |
|  1    3     2    |  9     7     8   | 6    5     4  |
|  4    8     6    |  3     2     5   | 7    1     9  |
:------------------+--------------------+-------------:
|  6    5    *13   | *78   *13    4   | 2    9     78 |
| *79   4    *78   |  57-8  59    2   | 3    6     1  |
| *23  *279  *1378 |  6     139   137 | 4   *78    5  |
'------------------'------------------'---------------'

(3)r3c5 - r7c5 = r7c3 - (3=8)r8c13,r9c12 - (8)r8c4
(5)r3c5 - (5=8)r17c4 - (8)r8c4
(6)r3c5 - (6=3)r3c19 - (3=8)r8c13,r9c12 - (8)r8c4
(8)r3c5 - r3c8 = r9c8 - r9c3 = r8c3 - (8)r8c4
=> -8 r8c4; stte

(This is too messy for me to show in a grid with aAaA etc. Asterisks show the utilized cells.)

[ArkieTech]

Code: Select all

 *-----------------------------------------------------------*
 | 8    a27    4     | 5-7   1356  9     | 15   a37   a26    |
 | 5     6     379   | 2     138   137   | 19    4     78    |
 |b23    1     379   | 4     3568 b37    | 59    78-3 b26    |
 |-------------------+-------------------+-------------------|
 | 79    79    5     | 1     4     6     | 8     2     3     |
 | 1     3     2     | 9     7     8     | 6     5     4     |
 | 4     8     6     | 3     2     5     | 7     1     9     |
 |-------------------+-------------------+-------------------|
 | 6     5     13    | 78    13    4     | 2     9     78    |
 | 79    4     78    | 578   59    2     | 3     6     1     |
 | 23    279   1378  | 6     139   137   | 4     78    5     |
 *-----------------------------------------------------------*
[(3|7=6)r1c289-(6=3|7)r3c169]-3r3c8,-7r1c4; ste


Nice one, Dan, but I think it should be written:

[(3&7=6)r1c289-(6=3&7)r3c169]-3r3c8,-7r1c4; ste

Still struggling with and and ors and nots.

How about

[(3|7=6)r1c289-(6=3&7)r3c169]-3r3c8,-7r1c4; ste

[SteveG48]

Code: Select all

 *-----------------------------------------------------------*
 | 8    a27    4     | 5-7   1356  9     | 15   a37   a26    |
 | 5     6     379   | 2     138   137   | 19    4     78    |
 |b23    1     379   | 4     3568 b37    | 59    78-3 b26    |
 |-------------------+-------------------+-------------------|
 | 79    79    5     | 1     4     6     | 8     2     3     |
 | 1     3     2     | 9     7     8     | 6     5     4     |
 | 4     8     6     | 3     2     5     | 7     1     9     |
 |-------------------+-------------------+-------------------|
 | 6     5     13    | 78    13    4     | 2     9     78    |
 | 79    4     78    | 578   59    2     | 3     6     1     |
 | 23    279   1378  | 6     139   137   | 4     78    5     |
 *-----------------------------------------------------------*
[(3|7=6)r1c289-(6=3|7)r3c169]-3r3c8,-7r1c4; ste


Nice one, Dan, but I think it should be written:

[(3&7=6)r1c289-(6=3&7)r3c169]-3r3c8,-7r1c4; ste

Still struggling with and and ors and nots.

How about

[(3|7=6)r1c289-(6=3&7)r3c169]-3r3c8,-7r1c4; ste

I don't think so, Dan. The first term, as you've written it above, says that if neither 3 nor 7 is true in the set ((3 or 7) is false), then the set must contain a 6. It's not possible for neither three nor seven to be true, as that would leave only 2 candidates in a 3 cell set. However, if either 3 is false or 7 is false ((3 and 7) is false), then the set must contain a 6. Hence, the & . Your chain overall is saying if we don't have both 3 and 7 in the first set then we do have both 3 and 7 in the second set. That assures your deletions.

[ArkieTech]

Nice one, Dan, but I think it should be written:

[(3&7=6)r1c289-(6=3&7)r3c169]-3r3c8,-7r1c4; ste

Still struggling with and and ors and nots.

How about

[(3|7=6)r1c289-(6=3&7)r3c169]-3r3c8,-7r1c4; ste

I don't think so, Dan. The first term, as you've written it above, says that if neither 3 nor 7 is true in the set ((3 or 7) is false), then the set must contain a 6. It's not possible for neither three nor seven to be true, as that would leave only 2 candidates in a 3 cell set. However, if either 3 is false or 7 is false ((3 and 7) is false), then the set must contain a 6. Hence, the & . Your chain overall is saying if we don't have both 3 and 7 in the first set then we do have both 3 and 7 in the second set. That assures your deletions.

Here is what confuses me.

[(3|7=6)r1c289

This tells me if 3 or 7 is missing in r1c289 then a 6 must be present.

3 and 7 missing is meaningless since one of the must be present along with the 2 and 6

then if a 6 is present in r1c289 must have a 3 and 7 along with a 2 in r3c169

backwards it works if you follow = signs with & and - signs with |.


For this reason I normally leave these signs out making the notation

[(37=6)r1c289-(6=37)r3c169]-3r3c8,-7r1c4; ste

works both ways

Clear as mud ;o(

[SteveG48]

Here is what confuses me.

[(3|7=6)r1c289

This tells me if 3 or 7 is missing in r1c289 then a 6 must be present.

And there's the problem. In the somewhat odd notation that we use for strong length, term1 = term2 means that if term1 is false then term2 is true.

Here term1 is 3|7, which means 3 or 7. It's true if either 3 or 7 is true. For it to be false, neither 3 nor 7 would be true. You want it to say the if either 3 or 7 is missing, then.... That means that they're not both true, so (3 AND 7) would be false. We write (3 AND 7) as 3&7 (or, often, just 37). So to say what you want to say, you write (3&7=6)r1c289.

3 and 7 missing is meaningless since one of the must be present along with the 2 and 6

Exactly, and 3|7 being false means both are missing. Why would you write something that's meaningless?

For this reason I normally leave these signs out making the notation

[(37=6)r1c289-(6=37)r3c169]-3r3c8,-7r1c4; ste

works both ways

Clear as mud ;o(

Actually that would have been fine, since 37 is generally taken to mean 3&7. However, I sometimes like to include it for clarity.

[JC Van Hay]

Code: Select all

+------------------+-----------------+--------------+
| 8     (27)  4    | 5-7  1356  9    | 15  (37)  26 |
| 5     6     379  | 2    138   137  | 19  4     78 |
| (23)  1     39-7 | 4    3568  (37) | 59  78-3  26 |
+------------------+-----------------+--------------+
| 79    79    5    | 1    4     6    | 8   2     3  |
| 1     3     2    | 9    7     8    | 6   5     4  |
| 4     8     6    | 3    2     5    | 7   1     9  |
+------------------+-----------------+--------------+
| 6     5     13   | 78   13    4    | 2   9     78 |
| 79    4     78   | 578  59    2    | 3   6     1  |
| 23    279   1378 | 6    139   137  | 4   78    5  |
+------------------+-----------------+--------------+


XY-Chain : {(37)r1c8, (72)r1c2, (23)r3c1, (37)r3c6} -> -{3r3c8, 7r1c4, 7r3c3} ; stte
:: combination of 2 XY-Wings ...

Code: Select all

+-------------------+------------------+---------------+
| 8     -2(7)  4    | 5(7)  1356  9    | 15  (37)   26 |
| 5     6      379  | 2     138   137  | 19  4      78 |
| (23)  1      379  | 4     3568  (37) | 59  78(3)  26 |
+-------------------+------------------+---------------+
| 79    79     5    | 1     4     6    | 8   2      3  |
| 1     3      2    | 9     7     8    | 6   5      4  |
| 4     8      6    | 3     2     5    | 7   1      9  |
+-------------------+------------------+---------------+
| 6     5      13   | 78    13    4    | 2   9      78 |
| 79    4      78   | 578   59    2    | 3   6      1  |
| 23    279    1378 | 6     139   137  | 4   78     5  |
+-------------------+------------------+---------------+


Almost M-Ring : {7r1c247, 3r13c8, (37)r3c6, (32)r3c1} -> -2r1c2; stte
:: 7r1c2=*Loop[7r1c4=*(7-3)r1c8=3r3c8-(3=7)r1c6]-(3=2)r3c1 -> -2r1c2; stte