The New Sudoku Players' Forum

[ArkieTech]

Code: Select all

 *-----------*
 |...|...|...|
 |.4.|2.9|.3.|
 |...|173|...|
 |---+---+---|
 |5..|.8.|..6|
 |6.9|...|2.5|
 |.8.|...|.1.|
 |---+---+---|
 |..8|6.7|4..|
 |1.3|...|7.8|
 |.7.|.2.|.5.|
 *-----------*


Play/Print this puzzle online

[Leren]

Code: Select all

*--------------------------------------------------------------*
| 237   2369  12567  | 458   456   4568   | 56-1  679   1279   |
| 78    4     1567   | 2     56    9      | 568-1 3    a17     |
| 28    269   256    | 1     7     3      | 568   469   249    |
|--------------------+--------------------+--------------------|
| 5     12    47     | 39    8     12     | 39    47    6      |
| 6     13    9      | 7     134   14     | 2     8     5      |
|b2347  8     247    | 359   3569  256    | 39    1    a47     |
|--------------------+--------------------+--------------------|
| 29    5     8      | 6     13    7      | 4     29    3-1    |
| 1     26    3      | 459   459   45     | 7     26    8      |
|c49    7    d46     | 38    2     18     |d16    5     39-1   |
*--------------------------------------------------------------*

Conjugate linked ALSs: (1=4) r26c9 - r6c1 = r9c1 - (4=1) r9c37 => -1 r12c7, r79c9; lclste

Leren

[pjb]

Code: Select all

 237    2369   12567  | 458    456    4568   | 156    679    1279   
b78     4      1567   | 2      56     9      | 1568   3     c17     
a28     269    256    | 1      7      3      | 568    469    249   
 ---------------------+----------------------+---------------------
 5      12     47     | 39     8      12     | 39     47     6     
 6      13     9      | 7      134    14     | 2      8      5     
 2347   8      247    | 359    3569   256    | 39     1      47     
 ---------------------+----------------------+---------------------
 9-2    5      8      | 6      13     7      | 4     d29    d13     
 1      26     3      | 459    459    45     | 7      26     8     
 49     7      46     | 38     2      18     | 16     5     d139   


(2=8) r3c1 - (8=7) r2c1 - (7=1) r2c9 - (1=293) r7c89,r9c9 => r7c1 <> 2; lclste
Phil

[7b53]

if I want to prove r9c1=4... based on r6c9(47) which gives (1)r2c9 = (4)r9c1
1r2c9 -> 3r7c9 -> 9r9c9 -> 4r9c1 => r9c1 = 4
how should I interpret this ?

[daj95376]

if I want to prove r9c1=4... based on r6c9(47) which gives (1)r2c9 = (4)r9c1
1r2c9 -> 3r7c9 -> 9r9c9 -> 4r9c1 => r9c1 = 4
how should I interpret this ?

You need to include r6c1 to get this discontinuous loop:

Code: Select all

 +-----------------------------------------------------------------------+
 |  237    2369   12567  |  458    456    4568   |  156    679    1279   |
 |  78     4      1567   |  2      56     9      |  1568   3      17     |
 |  28     269    256    |  1      7      3      |  568    469    249    |
 |-----------------------+-----------------------+-----------------------|
 |  5      12     47     |  39     8      12     |  39     47     6      |
 |  6      13     9      |  7      134    14     |  2      8      5      |
 |  2347   8      247    |  359    3569   256    |  39     1      47     |
 |-----------------------+-----------------------+-----------------------|
 |  29     5      8      |  6      13     7      |  4      29     13     |
 |  1      26     3      |  459    459    45     |  7      26     8      |
 |  49     7      46     |  38     2      18     |  16     5      139    |
 +-----------------------------------------------------------------------+
 # 85 eliminations remain

 (4)r9c1 = r6c1 - (4=7)r6c9 - (7=1)r2c9 - (13=9)r79c9 - (9=4)r9c1


Another option is to use:

Code: Select all

 (4)r9c1 = r6c1 - (4=7)r6c9 - (7=1)r2c9 - (13=9)r79c9  =>  r9c1<>9


[ArkieTech]

Conjugate linked ALSs: (1=4) r26c9 - r6c1 = r9c1 - (4=1) r9c37 => -1 r12c7, r79c9

ALS w-wing?

[Leren]

Code: Select all

*--------------------------------------------------------------*
| 237   2369  12567  | 458   456   4568   | 156   679   1279   |
|b78    4     1567   | 2     56    9      | 1568  3    c17     |
|a28    269   256    | 1     7     3      | 568   469   249    |
|--------------------+--------------------+--------------------|
| 5     12    47     | 39    8     12     | 39    47    6      |
| 6     13    9      | 7     134   14     | 2     8     5      |
| 2347  8     247    | 359   3569  256    | 39    1     47     |
|--------------------+--------------------+--------------------|
|a29    5     8      | 6     13    7      | 4     2-9  c13     |
| 1     26    3      | 459   459   45     | 7     26    8      |
| 4-9   7     46     | 38    2     18     | 16    5    c139    |
*--------------------------------------------------------------*

als-xy wing: (9=8) r37c1 - (8=7) r2c1 - (7=9) r279c9 => -9 r7c8, r9c1; lclste

Leren

[7b53]

You need to include r6c1 to get this discontinuous loop:

als-xy wing: (9=8) r37c1 - (8=7) r2c1 - (7=9) r279c9 => -9 r7c8, r9c1; lclste

another example: (9)r7c1 = (8)r3c1
thanks guys

[Marty R.]

Code: Select all

+-----------------+---------------+---------------+
| 237  2369 12567 | 458 456  4568 | 156  679 1279 |
| 78   4    1567  | 2   56   9    | 1568 3   17   |
| 28   269  256   | 1   7    3    | 568  469 249  |
+-----------------+---------------+---------------+
| 5    12   47    | 39  8    12   | 39   47  6    |
| 6    13   9     | 7   134  14   | 2    8   5    |
| 2347 8    247   | 359 3569 256  | 39   1   47   |
+-----------------+---------------+---------------+
| 29   5    8     | 6   13   7    | 4    29  13   |
| 1    26   3     | 459 459  45   | 7    26  8    |
| 49   7    46    | 38  2    18   | 16   5   139  |
+-----------------+---------------+---------------+


Play this puzzle online at the Daily Sudoku site

Same eliminations as Leren, but some sort of chain.

(1=7)r2c9-(7=4)r6c9-r4c8=r4c3-(4=6)r9c3-(6=1)r9c7=>r79c9<>1

[Leren]

There is also a conventional (but long) xy chain:

(1=7) r2c9 - (7=8) r2c1 - (8=2) r3c1 - (2=9) r7c1 - (9=2) r7c8 - (2=6) r8c8 - (6=1) r9c7 => -1 r12c7, r79c9 (phew!)

Leren

[daj95376]

Time for a network solution?

Code: Select all

 +-----------------------------------------------------------------------+
 |  237    2369   12567  |  458    456    4568   |  156    679    1279   |
 | g78     4      1567   |  2      56     9      |  1568   3      1-7    |
 | f28     269    256    |  1      7      3      |  568    469   e249    |
 |-----------------------+-----------------------+-----------------------|
 |  5      12     47     |  39     8      12     |  39     47     6      |
 |  6      13     9      |  7      134    14     |  2      8      5      |
 | b2347   8      247    |  359    3569   256    |  39     1     a47     |
 |-----------------------+-----------------------+-----------------------|
 |  29     5      8      |  6      13     7      |  4      29     13     |
 |  1      26     3      |  459    459    45     |  7      26     8      |
 | c49     7      46     |  38     2      18     |  16     5     d139    |
 +-----------------------------------------------------------------------+
 # 85 eliminations remain

 (7=4*)r6c9 - r6c1 = (4-9)r9c1 = r9c9 - (*49=2)r3c9 - (2=8)r3c1 - (8=7)r2c1  =>  r2c9<>7


Playing with chain representation as strong links: (something several others have done)

Code: Select all

 (74*)r6c9 (4)r69c1 (9)r9c19 (*49=2)r3c9 (28)r3c1 (87)r2c1  =>  r2c9<>7


[7b53]

Playing with chain representation as strong links:

I don't know if it is a good alternative way to search for them.
seems like there will always be a chain that will do the same as you and Leren had written.