The New Sudoku Players' Forum

[ArkieTech]

Code: Select all

 *-----------*
 |34.|1.6|...|
 |.9.|5..|.2.|
 |.2.|4..|...|
 |---+---+---|
 |...|.1.|..7|
 |..8|...|3.5|
 |.3.|69.|...|
 |---+---+---|
 |9..|...|...|
 |...|...|.73|
 |.8.|3..|4..|
 *-----------*


Play/Print this puzzle online

[SteveG48]

Code: Select all

 *--------------------------------------------------*
 | 3    4    7    | 1    2    6    | 9    5    8    |
 |a168  9    16   | 5    3    78   | 17   2    4    |
 |a158  2    15   | 4    78   9    | 17   3    6    |
 *----------------+----------------+----------------|
 | 2    5    9    | 8    1    3    | 6    4    7    |
 | 16   16   8    | 7    4    2    | 3    9    5    |
 | 7    3    4    | 6    9    5    | 8    1    2    |
 *----------------+----------------+----------------|
 | 9    7    3    | 2    6    4    | 5    8    1    |
 | 4    16  b156  | 9    58   18   | 2    7    3    |
 | 5-1   8    2    | 3    57   17   | 4    6    9    |
 *--------------------------------------------------*


BUG+3: 1r23c1 = 1r8c3 => -1 r9c1 ; stte

[Leren]

Code: Select all

*--------------------------------------------------------------*
| 3     4     7      | 1     2     6      | 9     5     8      |
|*168   9     6-1    | 5     3     78     | 17    2     4      |
|*158   2     5-1    | 4     78    9      | 17    3     6      |
|--------------------+--------------------+--------------------|
| 2     5     9      | 8     1     3      | 6     4     7      |
| 16    16    8      | 7     4     2      | 3     9     5      |
| 7     3     4      | 6     9     5      | 8     1     2      |
|--------------------+--------------------+--------------------|
| 9     7     3      | 2     6     4      | 5     8     1      |
| 4     16   *156    | 9     58    18     | 2     7     3      |
| 5-1   8     2      | 3     57    17     | 4     6     9      |
*--------------------------------------------------------------*

BUG + 3 Cells r23c1, r8c3 Digit 1 => - 1 r23c3, r9c1; stte

Leren

[pjb]

Code: Select all

 3       4       7      | 1      2      6      | 9      5      8     
 168     9       16     | 5      3      78     | 17     2      4     
 158     2      a15     | 4     a78     9      |a17     3      6     
------------------------+----------------------+---------------------
 2       5       9      | 8      1      3      | 6      4      7     
 16      16      8      | 7      4      2      | 3      9      5     
 7       3       4      | 6      9      5      | 8      1      2     
------------------------+----------------------+---------------------
 9       7       3      | 2      6      4      | 5      8      1     
 4       16      16-5   | 9     b58     18     | 2      7      3     
 15      8       2      | 3      57     17     | 4      6      9     


(5=8)r3c357 - (8=5)r8c5 => -5 r8c3; stte

Phil

[Marty R.]

Code: Select all

+------------+---------+--------+
| 3   4  7   | 1 2  6  | 9  5 8 |
| 168 9  16  | 5 3  78 | 17 2 4 |
| 158 2  15  | 4 78 9  | 17 3 6 |
+------------+---------+--------+
| 2   5  9   | 8 1  3  | 6  4 7 |
| 16  16 8   | 7 4  2  | 3  9 5 |
| 7   3  4   | 6 9  5  | 8  1 2 |
+------------+---------+--------+
| 9   7  3   | 2 6  4  | 5  8 1 |
| 4   16 156 | 9 58 18 | 2  7 3 |
| 15  8  2   | 3 57 17 | 4  6 9 |
+------------+---------+--------+


Play this puzzle online at the Daily Sudoku site

DP (16)r258c123, using externals

1r2c7=1r8c6-(1=65)r8c23-(5=1)r3c3=> -1r2c13,r3c7

[Marty R.]

Code: Select all

 3       4       7      | 1      2      6      | 9      5      8     
 168     9       16     | 5      3      78     | 17     2      4     
 158     2      a15     | 4     a78     9      |a17     3      6     
------------------------+----------------------+---------------------
 2       5       9      | 8      1      3      | 6      4      7     
 16      16      8      | 7      4      2      | 3      9      5     
 7       3       4      | 6      9      5      | 8      1      2     
------------------------+----------------------+---------------------
 9       7       3      | 2      6      4      | 5      8      1     
 4       16      16-5   | 9     b58     18     | 2      7      3     
 15      8       2      | 3      57     17     | 4      6      9     


(5=8)r357c5 - (5=8)r8c5 => -5 r8c3; stte

Phil

Phil, I'm having trouble following. Is there a typo in the first term as to which cells? I'm puzzled by two consecutive terms (5=8).

[pjb]

Another senior slip. It should be r3c357, as indicated by the a's
phil

[Sudtyro2]

Code: Select all

 *---------------------------------------------------*
 | 3     4    7    | 1    2    6    | 9    5    8    |
 |*16+8a 9   *16   | 5    3    78   | 17   2    4    |
 |d15-8  2    15   | 4    78   9    | 17   3    6    |
 |-----------------+----------------+----------------|
 | 2     5    9    | 8    1    3    | 6    4    7    |
 |*16   *16   8    | 7    4    2    | 3    9    5    |
 | 7     3    4    | 6    9    5    | 8    1    2    |
 |-----------------+----------------+----------------|
 | 9     7    3    | 2    6    4    | 5    8    1    |
 | 4    *16  *16+5b| 9    58   18   | 2    7    3    |
 |c15    8    2    | 3    57   17   | 4    6    9    |
 *---------------------------------------------------*

Nice one, Marty. Here's the same ADP using internals...
8r2c1 = 5r8c3 – r9c1 = 5r3c1 => -8r3c1; stte

SteveC

[bat999]

Code: Select all

.-----------------.------------.----------.
|  3     4    7   | 1   2   6  | 9   5  8 |
|  168   9    16  | 5   3   78 | 17  2  4 |
| a15-8  2   15   | 4  b78  9  | 17  3  6 |
:-----------------+------------+----------:
|  2     5    9   | 8   1   3  | 6   4  7 |
|  16    16   8   | 7   4   2  | 3   9  5 |
|  7     3    4   | 6   9   5  | 8   1  2 |
:-----------------+------------+----------:
|  9     7    3   | 2   6   4  | 5   8  1 |
|  4     16   156 | 9   58  18 | 2   7  3 |
| b15    8    2   | 3  b57  17 | 4   6  9 |
'-----------------'------------'----------'

(5)r3c1 = (578)r9c15,r3c5 => -8 r3c1; stte

[Ngisa]

Code: Select all

+------------+---------+--------+
| 3   4  7   | 1 2  6  | 9  5 8 |
| c168 9  16  | 5 3  7-8 | 17 2 4 |
| 158 2  15  | 4 a78 9  | 17 3 6 |
+------------+---------+--------+
| 2   5  9   | 8 1  3  | 6  4 7 |
| c16  16 8   | 7 4  2  | 3  9 5 |
| 7   3  4   | 6 9  5  | 8  1 2 |
+------------+---------+--------+
| 9   7  3   | 2 6  4  | 5  8 1 |
| 4   16 156 | 9 58 18 | 2  7 3 |
| c15  8  2   | 3 b57 17 | 4  6 9 |
+------------+---------+--------+


(8=7)r3c5-(7=5)r9c5-(5=168)r259c1 => -8r2c6; stte

Clement

[Marty R.]

Another senior slip. It should be r3c357, as indicated by the a's
phil

OK, Phil, I didn't look at the grid as closely as I should have. I am intimately acquainted with senior slips.

Now that I know where the ALS is, I can see the solution, but I still don't understand the 2nd term. How would it be said in English? R3c5=8, therefore r8c5 is not 5 and is 8. If r3c5 is 8, then r8c5 <> 8.

[daj95376]

Another senior slip. It should be r3c357, as indicated by the a's

Code: Select all

 3       4       7      | 1      2      6      | 9      5      8     
 168     9       16     | 5      3      78     | 17     2      4     
 158     2      a15     | 4     a78     9      |a17     3      6     
------------------------+----------------------+---------------------
 2       5       9      | 8      1      3      | 6      4      7     
 16      16      8      | 7      4      2      | 3      9      5     
 7       3       4      | 6      9      5      | 8      1      2     
------------------------+----------------------+---------------------
 9       7       3      | 2      6      4      | 5      8      1     
 4       16      16-5   | 9     b58     18     | 2      7      3     
 15      8       2      | 3      57     17     | 4      6      9     


(5=8)r3c357 - (5=8)r8c5 => -5 r8c3; stte

You had two senior moments.

_

[Sudtyro2]

Code: Select all

.-----------------.------------.----------.
|  3     4    7   | 1   2   6  | 9   5  8 |
|  168   9    16  | 5   3   78 | 17  2  4 |
| a15-8  2   15   | 4  b78  9  | 17  3  6 |
:-----------------+------------+----------:
|  2     5    9   | 8   1   3  | 6   4  7 |
|  16    16   8   | 7   4   2  | 3   9  5 |
|  7     3    4   | 6   9   5  | 8   1  2 |
:-----------------+------------+----------:
|  9     7    3   | 2   6   4  | 5   8  1 |
|  4     16   156 | 9   58  18 | 2   7  3 |
| b15    8    2   | 3  b57  17 | 4   6  9 |
'-----------------'------------'----------'

(5)r3c1 = (578)r9c15,r3c5 => -8 r3c1; stte

So, right off the bat (sorry!), your notation seems to say that there is a derived strong inference between 5r3c1 and 8r3c5, which therefore implies -8r3c1.

To get there the long way around, I guess I would have written the AIC...
5r3c1 = 5r9c1 – (5=7)r9c5 – (7=8)r3c5 => -8r3c1, and maybe combine the last two nodes into an ALS...
5r3c1 = 5r9c1 – (5=78)r39c5 => -8r3c1.

But your notation is really following the AIC around cell by cell and noting that the three true digits (578) resolve the three cells, r9c15,r3c5. True digit 8r3c5 can then “see” 8r3c1. Is this the right idea?

SteveC

[bat999]

... the three true digits (578) resolve the three cells, r9c15,r3c5. True digit 8r3c5 can then “see” 8r3c1. Is this the right idea?

Yes, that's it.
If r3c1=5 then r3c1<>8
If r3c1<>5 then (through the chain) r3c1<>8
=> -8 r3c1

I think these two expressions are equivalent (because the 8 can only be in r3c5)
(5)r3c1 = (5)r9c1 – (5=7)r9c5 – (7=8)r3c5 => -8 r3c1
(5)r3c1 = (578)r9c15,r3c5 => -8 r3c1

[Marty R.]

Code: Select all

.-----------------.------------.----------.
|  3     4    7   | 1   2   6  | 9   5  8 |
|  168   9    16  | 5   3   78 | 17  2  4 |
| a15-8  2   15   | 4  b78  9  | 17  3  6 |
:-----------------+------------+----------:
|  2     5    9   | 8   1   3  | 6   4  7 |
|  16    16   8   | 7   4   2  | 3   9  5 |
|  7     3    4   | 6   9   5  | 8   1  2 |
:-----------------+------------+----------:
|  9     7    3   | 2   6   4  | 5   8  1 |
|  4     16   156 | 9   58  18 | 2   7  3 |
| b15    8    2   | 3  b57  17 | 4   6  9 |
'-----------------'------------'----------'

(5)r3c1 = (578)r9c15,r3c5 => -8 r3c1; stte

So, right off the bat (sorry!), your notation seems to say that there is a derived strong inference between 5r3c1 and 8r3c5, which therefore implies -8r3c1.

To get there the long way around, I guess I would have written the AIC...
5r3c1 = 5r9c1 – (5=7)r9c5 – (7=8)r3c5 => -8r3c1, and maybe combine the last two nodes into an ALS...
5r3c1 = 5r9c1 – (5=78)r39c5 => -8r3c1.

But your notation is really following the AIC around cell by cell and noting that the three true digits (578) resolve the three cells, r9c15,r3c5. True digit 8r3c5 can then “see” 8r3c1. Is this the right idea?

SteveC

In another thread I used the Abe Lincoln quote, "'Tis better to remain silent and be thought a fool than to open your mouth and remove all doubt."
Too often I open my mouth and remove all doubt.

Much of what Bat does is a mystery to me and this is an example. I do not see how the -8 conclusion is drawn. If I interpret the 1st term correctly, it is r3c1=5. That's not an either/or situation since r3c1 has 3 possibilities, Steve's notation proves the -8 since in his solution r3c1 is either not 5 or =5.