The New Sudoku Players' Forum

[ArkieTech]

Code: Select all

 *-----------*
 |.6.|...|3..|
 |..7|.5.|..4|
 |..8|2..|..6|
 |---+---+---|
 |91.|.84|..7|
 |...|...|8..|
 |.5.|.2.|...|
 |---+---+---|
 |..3|..7|.1.|
 |...|5.2|...|
 |..1|3..|.6.|
 *-----------*


Play/Print this puzzle online

[eleven]

Code: Select all

 *-----------------------------------------*
 | 12   6    5 |  4   7  18  | 3   28  9   |
 | 23   239  7 |  89  5  6   | 1   28  4   |
 | 14  a49   8 |  2   3  1-9 | 7   5   6   |
 |-------------+-------------+-------------|
 | 9    1    2 |  6   8  4   | 5   3   7   |
 | 37   37   6 |  1   9  5   | 8   4   2   |
 | 8    5    4 |  7   2  3   | 6   9   1   |
 |-------------+-------------+-------------|
 | 245 b24   3 | b89  6  7   |b29  1   58  |
 | 6    8    9 |  5   1  2   | 4   7   3   |
 | 257  27   1 |  3   4 c89  | 29  6   58  |
 *-----------------------------------------*

(9=4)r3c2-(4=8)r7c247-(8=9)r9c6 => -9r3c6

[Cenoman]

Code: Select all

 +-------------------+-----------------+-----------------+
 |  12    6     5    |  4    7    18   |  3    28   9    |
 |  23    239   7    |  89   5    6    |  1    28   4    |
 |  14   b49    8    |  2    3    1-9  |  7    5    6    |
 +-------------------+-----------------+-----------------+
 |  9     1     2    |  6    8    4    |  5    3    7    |
 |  37    37    6    |  1    9    5    |  8    4    2    |
 |  8     5     4    |  7    2    3    |  6    9    1    |
 +-------------------+-----------------+-----------------+
 |  245  b24    3    |  89   6    7    |  29   1    58   |
 |  6     8     9    |  5    1    2    |  4    7    3    |
 | a257  a27    1    |  3    4   a89   |  29   6   a58   |
 +-------------------+-----------------+-----------------+

(9=2)r9c1269 - (2=9)r37c2 => -9 r3c6; stte

Cenoman

[SteveG48]

Code: Select all

 *--------------------------------------------------*
 | 1-2  6    5    | 4    7    18   | 3    28   9    |
 | 3-2 a239  7    | 89   5    6    | 1    28   4    |
 | 14   49   8    | 2    3    19   | 7    5    6    |
 *----------------+----------------+----------------|
 | 9    1    2    | 6    8    4    | 5    3    7    |
 | 37   37   6    | 1    9    5    | 8    4    2    |
 | 8    5    4    | 7    2    3    | 6    9    1    |
 *----------------+----------------+----------------|
 |b245  4-2  3    | 89   6    7    | 29   1    58   |
 | 6    8    9    | 5    1    2    | 4    7    3    |
 |b257  7-2  1    | 3    4    89   | 29   6    58   |
 *--------------------------------------------------*


(2r2c2 = 2r79c1)[BUG+3] => -2 r12c1,r79c2 ; stte

[Marty R.]

Code: Select all

+-----------+---------+----------+
| 12  6   5 | 4  7 18 | 3  28 9  |
| 23  239 7 | 89 5 6  | 1  28 4  |
| 14  49  8 | 2  3 19 | 7  5  6  |
+-----------+---------+----------+
| 9   1   2 | 6  8 4  | 5  3  7  |
| 37  37  6 | 1  9 5  | 8  4  2  |
| 8   5   4 | 7  2 3  | 6  9  1  |
+-----------+---------+----------+
| 245 24  3 | 89 6 7  | 29 1  58 |
| 6   8   9 | 5  1 2  | 4  7  3  |
| 257 27  1 | 3  4 89 | 29 6  58 |
+-----------+---------+----------+


Play this puzzle online at the Daily Sudoku site

XY-Wing (24-9)pivot r7c2, with transport=> -9r3c6 or -9r7c4

-or-DP (23-37-27)r259c12 internals
9r2c2=5r9c1=>-5r9c9

-or-BUG+3r2c2,r7c1,r9c1 all 3 killers are 2=>-2r79c2

[bat999]

Code: Select all

.----------------.------------.--------------.
|  12     6    5 |  4   7  18 | 3   28   9   |
|  23    c239  7 | b89  5  6  | 1   28   4   |
|  14    d49   8 |  2   3  19 | 7   5    6   |
:----------------+------------+--------------:
|  9      1    2 |  6   8  4  | 5   3    7   |
|  37     37   6 |  1   9  5  | 8   4    2   |
|  8      5    4 |  7   2  3  | 6   9    1   |
:----------------+------------+--------------:
|  24-5  d24   3 | a89  6  7  | 29  1   a58  |
|  6       8   9 |  5   1  2  | 4   7    3   |
| d257   d27   1 |  3   4  89 | 29  6    8-5 |
'----------------'------------'--------------'

(5=9)r7c49 - r2c4 = r2c2 - (9=5)r379c2,r9c1 => -5 r7c1,r9c9; stte

[Ngisa]

Code: Select all

+-----------+---------+----------+
| 12  6   5 | 4  7 18 | 3  28 9  |
| 23  239 7 | 89 5 6  | 1  28 4  |
| 14  f49  8 | 2  3 1-9 | 7  5  6  |
+-----------+---------+----------+
| 9   1   2 | 6  8 4  | 5  3  7  |
| 37  37  6 | 1  9 5  | 8  4  2  |
| 8   5   4 | 7  2 3  | 6  9  1  |
+-----------+---------+----------+
| d245 e24  3 | 89 6 7  | 29 1  c58 |
| 6   8   9 | 5  1 2  | 4  7  3  |
| 257 27  1 | 3  4 a89 | 29 6  b58 |
+-----------+---------+----------+


(9=8)r9c6 - (8=5)r9c9 - r7c9 = (5-4)r7c1 = r7c2 - (4=9)r3c3 => -9 r3c6; stte

Clement

[Sudtyro2]

Code: Select all

 *--------------------------------------------------*
 | 12   6    5    | 4    7    18   | 3    28   9    |
 | 23   239  7    | 89   5    6    | 1    28   4    |
 | 14   49a  8    | 2    3    19a  | 7    5    6    |
 |----------------+----------------+----------------|
 | 9    1    2    | 6    8    4    | 5    3    7    |
 | 37   37   6    | 1    9    5    | 8    4    2    |
 | 8    5    4    | 7    2    3    | 6    9    1    |
 |----------------+----------------+----------------|
 | 245  24b  3    | 89b  6    7    | 29c  1    58   |
 | 6    8    9    | 5    1    2    | 4    7    3    |
 | 257  27   1    | 3    4    89a  | 29   6    58   |
 *--------------------------------------------------*

Myth's CoALS Rule applied to the two overlapping ALS marked 'a'...
(19=48)r3c26,r9c6 - (4|8=29)r7c24 - (2|9)r7c7[contradiction] => +1r3c6; stte

I think one could also use Steve's split-nodes approach by replacing the first node above with (1=9)r3c6 - (9=[4r3c2]&[8r9c6]) - ...

Added: These contradiction chains might be considered equivalent to (undesired) T&E applied to bivalue cell (19)r3c6.
Comments welcome.

SteveC

[StrmCkr]

hey Marty this grid has lots of "transport" move options with similar outcome here is the one i use

Code: Select all

+-----------+---------+----------+
| 12  6   5 | 4  7 18 | 3  28 9  |
| 23  239 7 | 89 5 6  | 1  28 4  |
| 14  49  8 | 2  3 19 | 7  5  6  |
+-----------+---------+----------+
| 9   1   2 | 6  8 4  | 5  3  7  |
| 37  37  6 | 1  9 5  | 8  4  2  |
| 8   5   4 | 7  2 3  | 6  9  1  |
+-----------+---------+----------+
| 245 24  3 | 89 6 7  | 29 1  58 |
| 6   8   9 | 5  1 2  | 4  7  3  |
| 257 27  1 | 3  4 89 | 29 6  58 |
+-----------+---------+----------+

T - (XY) wing :
XY wing 249 @ R3C2,R7C27
Z = 9 @ R39C6
=>> R7C4,R9C7 <> 9

{ps based on this post and this post
i managed to implement transport style "wings" size 1-8 into my solver, and extended the idea onto als-xz,als-xy, Almost disjointed distributed subsets, and xy-chains}

[SteveG48]

Code: Select all

 *--------------------------------------------------*
 | 12   6    5    | 4    7    18   | 3    28   9    |
 | 23   239  7    | 89   5    6    | 1    28   4    |
 | 14   49a  8    | 2    3    19a  | 7    5    6    |
 |----------------+----------------+----------------|
 | 9    1    2    | 6    8    4    | 5    3    7    |
 | 37   37   6    | 1    9    5    | 8    4    2    |
 | 8    5    4    | 7    2    3    | 6    9    1    |
 |----------------+----------------+----------------|
 | 245  24b  3    | 89b  6    7    | 29c  1    58   |
 | 6    8    9    | 5    1    2    | 4    7    3    |
 | 257  27   1    | 3    4    89a  | 29   6    58   |
 *--------------------------------------------------*

Myth's CoALS Rule applied to the two overlapping ALS marked 'a'...
(19=48)r3c26,r9c6 - (4|8=29)r7c24 - (2|9)r7c7[contradiction] => +1r3c6; stte

I think one could also use Steve's split-nodes approach by replacing the first node above with (1=9)r3c6 - (9=[4r3c2]&[8r9c6]) - ...

I think either formulation is good, and I also like (1=9)r3c6 - (9=48)r3c2,r9c6 ... for writing the split node.

Added: These contradiction chains might be considered equivalent to (undesired) T&E applied to bivalue cell (19)r3c6.
Comments welcome.

SteveC

I can see an argument for contradiction chains being similar to T&E. I would prefer something like 9r9c6 = r7c4 - (9=24)r7c27 - (4=9)r3c2 => -9 r3c6 for your solution.

[Sudtyro2]

I can see an argument for contradiction chains being similar to T&E. I would prefer something like 9r9c6 = r7c4 - (9=24)r7c27 - (4=9)r3c2 => -9 r3c6 for your solution.

Thx, Steve, for the feedback.
Your full AIC solution is rock-solid. I prefer that approach, too, but just happened to see the CoALS Rule first!

SteveC