The New Sudoku Players' Forum

[Yogi]

460003000000000092000000500000500043010080000700000000000050100300200000000600000

17Dec19.png (10.3 KiB) Viewed 601 times

[Leren]

Code: Select all

*-----------------------------------------------------------------*
| 4      6       5      | 9     2     3     | 78     178   178    |
| 18     378     1378   | 1478  467   5     | 346    9     2      |
| 1289   23789   123789 | 1478  467   4678  | 5      36    46     |
|-----------------------+-------------------+---------------------|
| 2689   289     2689   | 5     1679  12679 | 26789  4     3      |
| 2569   1      c34-269 |b347   8     24679 | 2679   2567  5679   |
| 7     d234589 d234689 |a34    69-34 269-4 | 2689   12568 15689  |
|-----------------------+-------------------+---------------------|
| 2689   24789   246789 | 478-3 5     4789  | 1      23678 46789  |
| 3      45789   146789 | 2     1479  14789 | 46789  5678  456789 |
| 12589  245789  124789 | 6     13479 14789 | 234789 23578 45789  |
*-----------------------------------------------------------------*

(4=3) r6c4 - r5c4 = (3-4) r5c3 = (4) r6c23 loop => - 269 r5c3, - 34 r6c5, - 4 r6c6, - 3 r7c4; stte

Leren

[Mauriès Robert]

Hi Leren,
Very nice resolution!
In terms of TDP it is written as follows (Th2 TDP part1):
P'(3r6c4) <=> -3r6c4 -> 4r6c4 -> 4r5c3 -> 3r6c23 => -3r7c4, stte

Another more complex chain leads to the same result:

Code: Select all

                                       3r2c7 -> 4r3c9
                                      |              |
P'(3r6c5) <=> -3r6c5 -> 3r9c5 -> 3r7c8                -> 4r2c4 -> 3r6c4 => -3r5c4 , stte
                                      |              |
                                       6r3c8 -> 6r2c5


We can also use pair 3B3, like this:

Code: Select all

P(3r3c8) <=> 3r8c3 -> 3r9c7 -> 3r7c4

                   4r3c9 - - - -
                  |             |
P(3r2c7) <=> 3r2c7               -> 4r2c4 -> 3r6c4
                  |             |
                   6r3c8 -> 6r2c5
=> -3r5c4, stte


Sincerely
Robert

[Leren]

Code: Select all

*------------------------------------------------------------------*
| 4     6      5      | 9     2      3     | 78      178    178    |
| 18    378    1378   | 1478  467    5     | 346     9      2      |
| 1289  23789  123789 | 1478  467    4678  | 5       36     46     |
|---------------------+--------------------+-----------------------|
| 2689  289    2689   | 5     1679   12679 | 26789   4      3      |
|b2569  1      23469  |b347   8     b24679 |b2679   b2567  b5679   |
| 7     234589 234689 |a34    469-3  2469  | 2689    12568  15689  |
|---------------------+--------------------+-----------------------|
| 2689  24789  246789 | 478-3 5      4789  | 1       23678  46789  |
| 3     45789  146789 | 2     1479   14789 | 46789   5678   456789 |
| 12589 245789 124789 | 6     13479  14789 | 234789  23578  45789  |
*------------------------------------------------------------------*

Simpler : (3=4) r6c4 - (4=3) r5c146789 => - 3 r6c5, r7c4; stte

Leren

[Cenoman]

Code: Select all

 +----------------------------+-------------------------+----------------------------+
 |  4       6        5        |  9      2       3       |  78       178     178      |
 |  18      378      1378     |  1478   467     5       |  346      9       2        |
 |  1289    23789    123789   |  1478   467     4678    |  5        36      46       |
 +----------------------------+-------------------------+----------------------------+
 |  2689    289      2689     |  5      1679    12679   |  26789    4       3        |
 | b2569    1        34-269   | a347    8      b24679   | b2679    b2567   b5679     |
 |  7       234589   234689   | a34     69-34   269-4   |  2689     12568   15689    |
 +----------------------------+-------------------------+----------------------------+
 |  2689    24789    246789   |  478-3  5       4789    |  1        23678   46789    |
 |  3       45789    146789   |  2      1479    14789   |  46789    5678    456789   |
 |  12589   245789   124789   |  6      13479   14789   |  234789   23578   45789    |
 +----------------------------+-------------------------+----------------------------+

Several ways to present a solution with Doubly linked ALS-XZ rule:
e.g. (7=34)r56c4 - (4=25697)r5c16789 loop
I find this one funny: AAALS (234679)b5p467 quadruply linked with ALS (25679)r5c1789, with 2, 6, 7, 9 as RCs (Restricted Commons).
Anyhow, all these are rank-0 logics, with the following symmetric PM (Pigeonhole Matrix) 7x7

Code: Select all

     r5 b5 b5 r5 r5 r5 r5
        c4
r5c1  2        5  6     9
r5c4     3  4        7 
r5c6  2     4     6  7  9
r5c7  2           6  7  9
r5c8  2        5  6  7
r5c9           5  6  7  9
r6c4     3  4

=>-269 r5c3, -3r6c5, -3 r7c4, -4 r6c56; ste

[pjb]

Code: Select all

 4       6       5      |  9      2      3      | 78     178    178   
 18      378     1378   |  1478   467    5      | 346    9      2     
 1289    23789   123789 |  1478   467    4678   | 5      36     46     
------------------------+-----------------------+---------------------
 2689    289     2689   |  5      1679   12679  | 26789  4      3     
 2569    1      c23469  |bd347    8     b24679  | 2679   2567   5679   
 7       234589  234689 | a34     3469   2469   | 2689   12568  15689 
------------------------+-----------------------+---------------------
 2689    24789   246789 |  3478   5      4789   | 1      23678  46789 
 3       45789   146789 |  2      1479   14789  | 46789  5678   456789
 12589   245789  124789 |  6      13479  14789  | 234789 23578  45789 


(3=4)r6c4 - r5c46 = (4-3)r5c3 = r5c4 - loop => -3 r6c5, -3 r7c4, -4 r6c56; stte

Phil