The New Sudoku Players' Forum

[ArkieTech]

Code: Select all

 *-----------*
 |...|.7.|46.|
 |...|...|.19|
 |.64|..1|..7|
 |---+---+---|
 |...|7..|9.8|
 |.3.|2.6|.7.|
 |7.8|..9|...|
 |---+---+---|
 |9..|5..|84.|
 |48.|...|...|
 |.72|.6.|...|
 *-----------*


Play/Print this puzzle online

[pjb]

Code: Select all

 1238    9       13     | 38     7      2358   | 4      6      35     
 238     5       7      | 6      234    2348   | 23     1      9     
 23      6       4      | 39    b2359   1      |a235    8      7     
------------------------+----------------------+---------------------
 6       24      15     | 7      1345   345    | 9      235    8     
 15      3       9      | 2      8      6      | 1-5    7      4     
 7       24      8      | 134   c1345   9      | 6     d235   d1235   
------------------------+----------------------+---------------------
 9       1       36     | 5      23     7      | 8      4      236   
 4       8       356    | 19     19     23     | 7      235    2356   
 35      7       2      | 48     6      48     | 135    9      135   


Sashimi X-Wing of 5s at r3c57, r6c589
or
(5)r3c7 = r3c5 - r6c5 = r6c89 => -5r5c7; stte

Phil

[Leren]

Code: Select all

*--------------------------------------------------------------*
| 1238  9    b13     | 38    7     2358   | 4     6    a35     |
| 238   5     7      | 6     234   2348   | 23    1     9      |
| 23    6     4      | 39    2359  1      | 23-5  8     7      |
|--------------------+--------------------+--------------------|
| 6     24   c15     | 7     1345  345    | 9     235   8      |
|d15    3     9      | 2     8     6      |e15    7     4      |
| 7     24    8      | 134   1345  9      | 6     235   123-5  |
|--------------------+--------------------+--------------------|
| 9     1     36     | 5     23    7      | 8     4     236    |
| 4     8     356    | 19    19    23     | 7     235   2356   |
| 35    7     2      | 48    6     48     | 135   9     135    |
*--------------------------------------------------------------*

XY wing with transport : (5=3) r1c9 - (3=1) r1c3 - (1=5) r4c3 - r5c1 = (5) r5c7 => - 5 r3c7, r6c9; stte

Leren

[Marty R.]

Code: Select all

+-------------+---------------+--------------+
| 1238 9  13  | 38  7    2358 | 4   6   35   |
| 238  5  7   | 6   234  2348 | 23  1   9    |
| 23   6  4   | 39  2359 1    | 235 8   7    |
+-------------+---------------+--------------+
| 6    24 15  | 7   1345 345  | 9   235 8    |
| 15   3  9   | 2   8    6    | 15  7   4    |
| 7    24 8   | 134 1345 9    | 6   235 1235 |
+-------------+---------------+--------------+
| 9    1  36  | 5   23   7    | 8   4   236  |
| 4    8  356 | 19  19   23   | 7   235 2356 |
| 35   7  2   | 48  6    48   | 135 9   135  |
+-------------+---------------+--------------+


Play this puzzle online at the Daily Sudoku site

W-Wing (35) in b37 + 2 transports

(5=3)r1c9-r1c3=r78c3-(3=5)r9c1-r5c1=r5c7-r3c7=5r3c5=> -5r1c6,r3c7,r6c9,r9c9

[Marty R.]

Code: Select all

*--------------------------------------------------------------*
| 1238  9    b13     | 38    7     2358   | 4     6    a35     |
| 238   5     7      | 6     234   2348   | 23    1     9      |
| 23    6     4      | 39    2359  1      | 23-5  8     7      |
|--------------------+--------------------+--------------------|
| 6     24   c15     | 7     1345  345    | 9     235   8      |
|d15    3     9      | 2     8     6      |e15    7     4      |
| 7     24    8      | 134   1345  9      | 6     235   123-5  |
|--------------------+--------------------+--------------------|
| 9     1     36     | 5     23    7      | 8     4     236    |
| 4     8     356    | 19    19    23     | 7     235   2356   |
| 35    7     2      | 48    6     48     | 135   9     135    |
*--------------------------------------------------------------*

XY wing with transport : (5=3) r1c9 - (1=3) r1c3 - (3=5) r4c3 - r5c1 = (5) r5c7 => - 5 r3c7, r6c9; stte



Leren

Leren,

I suspect this has been discussed before. The wing is perfectly clear but I don't understand terms 2-3.

[SteveG48]

Code: Select all

 *-----------------------------------------------------------*
 | 1238  9     13    | 38    7    e2358  | 4     6    d35    |
 | 238   5     7     | 6     234   2348  | 23    1     9     |
 | 23    6     4     | 39    2359  1     |c235   8     7     |
 *-------------------+-------------------+-------------------|
 | 6     24    1-5   | 7     1345 f345   | 9     235   8     |
 |a15    3     9     | 2     8     6     |b15    7     4     |
 | 7     24    8     | 134   1345  9     | 6     235   1235  |
 *-------------------+-------------------+-------------------|
 | 9     1     36    | 5     23    7     | 8     4     236   |
 | 4     8     356   | 19    19    23    | 7     235   2356  |
 | 35    7     2     | 48    6     48    | 135   9     135   |
 *-----------------------------------------------------------*


(5)r5c1 = r5c7 -r3c7 = r1c9 - r1c6 = r4c6 => -5 r4c3 ; stte

[Leren]

Marty R wrote : Leren, I suspect this has been discussed before. The wing is perfectly clear but I don't understand terms 2-3.

Marty, you picked up on some typos, which I've now fixed. Thanks for spotting them.

Leren

[ArkieTech]

Code: Select all

 *-----------------------------------------------------------*
 | 1238  9     13    | 38    7     2358  | 4     6     35    |
 | 238   5     7     | 6     234   2348  |b23    1     9     |
 | 23    6     4     | 39    2359  1     |b235   8     7     |
 |-------------------+-------------------+-------------------|
 | 6     24    15    | 7     1345  345   | 9     235   8     |
 |a15    3     9     | 2     8     6     |b15    7     4     |
 | 7     24    8     | 134   1345  9     | 6     235   1235  |
 |-------------------+-------------------+-------------------|
 | 9     1     36    | 5     23    7     | 8     4     236   |
 | 4     8     356   | 19    19    23    | 7     235   2356  |
 |a35    7     2     | 48    6     48    | 15-3  9     135   |
 *-----------------------------------------------------------*
[(3=1)r59c1-(1=23)r235c7]-3r9c7; lclste


[Ngisa]

Code: Select all

+-------------+---------------+--------------+
| 1238 9  ka3-1  | 38  7    2358 | 4   6   35   |
| 238  5  7   | 6   234  2348 | 23  1   9    |
| 23   6  4   | 39  g2359 1    | f235 8   7    |
+-------------+---------------+--------------+
| 6    24 j15  | 7   h1345 i345  | 9   235 8    |
| d15   3  9   | 2   8    6    | e15  7   4    |
| 7    24 8   | 134 h1345 9    | 6   235 1235 |
+-------------+---------------+--------------+
| 9    1  b36  | 5   23   7    | 8   4   236  |
| 4    8  b356 | 19  19   23   | 7   235 2356 |
| c35   7  2   | 48  6    48   | 135 9   135  |
+-------------+---------------+--------------+


(3)r1c3=r78c3-(3=5)r9c1-r5c1=r5c7-r3c7=r3c5-r46c5=r4c6-(5=1)r4c3-(1=3)r1c3 => -1r1c3; stte

Clement

[Sudtyro2]

Code: Select all

*--------------------------------------------------------------*
| 1238  9     13     | 38    7     2358   | 4     6     35     |
| 238   5     7      | 6     234   2348   | 23    1     9      |
| 23    6     4      | 39    2359  1      | 235   8     7      |
|--------------------+--------------------+--------------------|
| 6    *24    15     | 7    *34+15 345    | 9    *23+5  8      |
| 15    3     9      | 2     8     6      | 1-5   7     4      |
| 7    *24    8      | 134  *34+15 9      | 6    *23+5  1235   |
|--------------------+--------------------+--------------------|
| 9     1     36     | 5     23    7      | 8     4     236    |
| 4     8     356    | 19    19    23     | 7     235   2356   |
| 35    7     2      | 48    6     48     | 135   9     135    |
*--------------------------------------------------------------*

The 6-cell ADP shown above would seem to be an ideal method to use for the -5r5c7 elimination. All but one of the six extra candidates have simple chains leading to the desired common conclusion:

Code: Select all

5r4c5 – r4c3 = r5c1 ---------------5r5c7
5r6c5 – r3c5 = r3c7 ---------------5r5c7
5r46c8 ----------------------------5r5c7
1r6c5 – r6c9 = r5c7 ---------------5r5c7
1r4c5 – r4c3 = r5c1 – 1r5c7 ???

Regarding the last chain, I understand that starting a chain with a false premise may actually lead to the desired common conclusion, but such a chain is certainly not apparent to me in the above grid.

Am I completely missing something obvious about ADPs? Or, does the ADP processing simply fail in this case?

SteveC

[daj95376]

[Withdrawn: Sashimi X-Wing exists independent of what I originally wrote.]

_

[Sudtyro2]

Code: Select all

 (1-5)r4c5 = [ Sashimi X-Wing r36\c57 w/fin cells=r6c89 ] - 5r5c7


Many thanks, DAJ, for the helpful feedback! That's a very interesting use of a fish pattern to construct the missing chain. Much still to learn about ADPs...maybe next I'll try for the externals analysis!

SteveC

[Marty R.]

All non-DP candidates in an ADP must lead to a common outcome to be useful. Here is the chain you are missing:

Code: Select all
(1-5)r4c5 = [ Sashimi X-Wing r36\c57 w/fin cells=r6c89 ] - 5r5c7



The ADP can be skipped by using:

Code: Select all
5r5c1 = r4c3 - r4c5 = [ Sashimi X-Wing r36\c57 w/fin cells=r6c89 ] => -5 r5c7

Danny, I've been going crazy looking at this stuff. in the first chain above, I can't figure out why the Sashimi is embedded or why the strong inference that has the Sashimi forced if r4c5<>5. I don't know how you'd say that chain or describe it to someone else. Similar confusion with the next chain. I also don't understand why r6c89 are fin cells.

I'm hardly an authority on such matters, but if I'd been alert enough to spot the pattern, my posted solution would've said, rightly or wrongly, Sashimi on 5 in r36=> -5r5c7.

[daj95376]

[Withdrawn: Sashimi X-Wing exists independent of what I originally wrote.]

_

[Marty R.]

Thanks for the clarification, Danny.