The New Sudoku Players' Forum

[mith]

Code: Select all

+-------+-------+-------+
| . . 3 | 1 . . | . . . |
| . 4 1 | . 5 . | 9 . . |
| . 2 . | 6 . . | . 5 3 |
+-------+-------+-------+
| . . . | . . 5 | . 8 9 |
| . . . | . 7 . | . . . |
| 9 3 . | 2 . . | . . . |
+-------+-------+-------+
| 3 8 . | . . 4 | . 6 . |
| . . 2 | . 6 . | 4 3 . |
| . . . | . . 3 | 8 . . |
+-------+-------+-------+
..31......41.5.9...2.6...53.....5.89....7....93.2.....38...4.6...2.6.43......38..

[Cenoman]

Code: Select all

 +-------------------------+----------------------+----------------------+
 |  5678   a5679*  3       |  1     e8-9   2789   |  267   247   24678   |
 |  678     4      1       |  3      5     278    |  9     27    2678    |
 |  78      2      789     |  6      4     789    |  1     5     3       |
 +-------------------------+----------------------+----------------------+
 |  1267    167    67      |  4      3     5      |  267   8     9       |
 |  24568   56     4568    | c89     7     1689   |  3     124   2456    |
 |  9       3      45678   |  2     d18    168    |  567   147   4567    |
 +-------------------------+----------------------+----------------------+
 |  3       8     a579*    | b579   a129*  4      |  257   6     1257    |
 |  157    a1579*  2       |  5789   6     189    |  4     3     157     |
 |  14567   1567   4567    |  57     12    3      |  8     9     1257    |
 +-------------------------+----------------------+----------------------+

Almost kite:
[(9)r1c2 = r8c2 - r7c3 = r7c5] = r7c4 - (9=8)r5c4 - r6c5 = (8)r1c5 => -9 r1c5; ste

[SteveG48]

Code: Select all

 *--------------------------------------------------------------------*
 | 5678   5679   3      | 1    ae89     2789   | 267    247    24678  |
 | 678    4      1      | 3      5      278    | 9      27     2678   |
 | 78     2     c789    | 6      4     b789    | 1      5      3      |
 *----------------------+----------------------+----------------------|
 | 1267   167    67     | 4      3      5      | 267    8      9      |
 | 24568  56     4568   |e89     7      1689   | 3      124    2456   |
 | 9      3      45678  | 2      1-8    168    | 567    147    4567   |
 *----------------------+----------------------+----------------------|
 | 3      8     d579    |e579   e129    4      | 257    6      1257   |
 | 157    1579   2      | 5789   6      189    | 4      3      157    |
 | 14567  1567   4567   | 57     12     3      | 8      9      1257   |
 *--------------------------------------------------------------------*


(8=9)r1c5 - r3c6 = r3c3 - r7c3 = ((98)r57c4)|((98)r17c5) => -8 r6c5 ; stte

Or, we might write it:

[W-wing (89)r1c5,r5c4 SL 9r7] = 9r7c3 - r3c3 = (9,8)r3c6,r1c5 => -8 r6c5

[Mauriès Robert]

Hi mith,
My resolution with an anti-track from E={9r1c2, 9r7c5},
P'(E) : (-E) => [9r8c2 and 9r7c34]->9r7c4->8r5c4->8r1c5->... => -9r1c5, stte
It is to be compared to that of Cenoman.
Cordialy
Robert

[pjb]

Code: Select all

 5678   h5679    3      | 1     b8-9    2789   | 267    247    24678 
 678     4       1      | 3      5      278    | 9      27     2678   
 78      2      g789    | 6      4      789    | 1      5      3     
------------------------+----------------------+---------------------
 1267    167     67     | 4      3      5      | 267    8      9     
 24568   56      4568   |d89     7      1689   | 3      124    2456   
 9       3       45678  | 2     c18     168    | 567    147    4567   
------------------------+----------------------+---------------------
 3       8      f579    |e579  ae129    4      | 257    6      1257   
 157     1579    2      | 5789   6      189    | 4      3      157   
 14567   1567    4567   | 57     12     3      | 8      9      1257   


(9)r7c5 = (9*-8)r1c5 = (8)r6c5 - (8=9)r5c4 - (9)r7c4*5 = (9)r7c3 - (9)r3c3 = (9)r1c2 => -9 r1c5; stte

Phil

[SpAce]

Hi Phil,

(9)r7c5 = (9*-8)r1c5 = (8)r6c5 - (8=9)r5c4 - (9)r7c4*5 = (9)r7c3 - (9)r3c3 = (9)r1c2 => -9 r1c5; stte

That's a perfectly written memory chain, as far as I'm concerned. (Related to a recent discussion.)

Fwiw, here's one way to write it without a memory (or nesting):

(8)r1c5 = (89,9)r61c5,r5c4 - r7c54 = r7c3 - r3c3 = (9)r1c2 => -9 r1c5

[denis_berthier]

Using only Subsets and reversible 2D-chains of length 3:

Code: Select all

(solve "..31......41.5.9...2.6...53.....5.89....7....93.2.....38...4.6...2.6.43......38..")
***********************************************************************************************
***  SudoRules 20.1.s based on CSP-Rules 2.1.s, config = W+SFin
***  Using CLIPS 6.32-r778
***********************************************************************************************
lots of singles
168 candidates, 891 csp-links and 891 links. Density = 6.35%
lots of whips[1]
finned-x-wing-in-columns: n9{c5 c3}{r7 r1} ==> r1c2 ≠ 9
singles ==> r3c3 = 9, r8c2 = 9
whip[1]: c3n8{r6 .} ==> r5c1 ≠ 8
biv-chain-rc[3]: r5c2{n5 n6} - r4c3{n6 n7} - r7c3{n7 n5} ==> r5c3 ≠ 5, r6c3 ≠ 5, r9c2 ≠ 5
whip[1]: r6n5{c9 .} ==> r5c9 ≠ 5
whip[1]: c3n5{r9 .} ==> r8c1 ≠ 5, r9c1 ≠ 5
biv-chain-rc[3]: r8c6{n8 n1} - r8c1{n1 n7} - r3c1{n7 n8} ==> r3c6 ≠ 8
singles ==> r3c6 = 7, r3c1 = 8
biv-chain-cn[3]: c5n8{r6 r1} - c5n9{r1 r7} - c4n9{r7 r5} ==> r5c4 ≠ 8
stte