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 . . |
+-------+-------+-------+
..3.1.....4159....2..6...53.5.....89....7....93.....2.38...4..6....2643.....3.8..

[Leren]

Code: Select all

*----------------------------------------------*
| 5    67   3     | 27   1 278 | 679 4679  478 |
|e678  4    1     | 5    9 3   |c267 67   d278 |
| 2    79   789   | 6    4 78  | 1   5     3   |
|-----------------+------------+---------------|
| 147  5    47    | 1234 6 12  | 37  8     9   |
|f1468 126 g468-2 | 39   7 59  | 35  46    14  |
| 9    3    467   | 14   8 15  | 567 2     147 |
|-----------------+------------+---------------|
| 3    8   a27    | 179  5 4   |b279 179   6   |
| 17   179  579   | 8    2 6   | 4   3     57  |
| 46   26   2456  | 179  3 179 | 8   179   25  |
*----------------------------------------------*

(2) r7c3 = r7c7 - r2c7 = (2-8) r2c9 = r2c1 - r5c1 = (8) r5c3 => - 2 r5c3; stte

Leren

[Cenoman]

Code: Select all

 +----------------------+--------------------+---------------------+
 |  5      67    3      |  27     1    278   |  679   4679   478   |
 |  678    4     1      |  5      9    3     |  267   67     278   |
 |  2      79   c789    |  6      4    78    |  1     5      3     |
 +----------------------+--------------------+---------------------+
 |  147    5     47     |  1234   6    12    |  37    8      9     |
 |  1468   126  c2468   |  39     7    59    |  35    46     14    |
 |  9      3     467    |  14     8    15    |  567   2      147   |
 +----------------------+--------------------+---------------------+
 |  3      8    a27     |  179    5    4     |  279   179    6     |
 | a17    a179  b579    |  8      2    6     |  4     3      57    |
 |  46     26    2456   |  179    3    179   |  8     179    25    |
 +----------------------+--------------------+---------------------+

(2=179)b7p345 - r8c3 = (98)r35c3 => -2 r5c3; ste

[denis_berthier]

Some cleaning with Singles and whips[1] leads to the following resolution state:

Code: Select all

   5         67        3         27        1         278       679       4679      478       
   678       4         1         5         9         3         267       67        278       
   2         79        789       6         4         78        1         5         3         
   147       5         247       1234      6         12        37        8         9         
   1468      126       2468      12349     7         1259      356       146       14       
   9         3         467       14        8         15        567       2         147       
   3         8         27        179       5         4         279       179       6         
   17        179       579       8         2         6         4         3         157       
   1467      1267      24567     179       3         179       8         179       1257     


Starting from here and allowing all the Subsets and whips:

Hidden Text: Show

***********************************************************************************************
*** SudoRules 20.1.s based on CSP-Rules 2.1.s, config = W+SFin
*** Using CLIPS 6.32-r773
***********************************************************************************************
138 candidates, 662 csp-links and 662 links. Density = 7.0%
naked-triplets-in-a-row: r9{c4 c6 c8}{n9 n7 n1} ==> r9c9 ≠ 7, r9c9 ≠ 1, r9c3 ≠ 7, r9c2 ≠ 7, r9c2 ≠ 1, r9c1 ≠ 7, r9c1 ≠ 1
whip[1]: b7n1{r8c2 .} ==> r8c9 ≠ 1
whip[1]: b9n1{r9c8 .} ==> r5c8 ≠ 1
hidden-triplets-in-a-row: r5{n3 n5 n9}{c4 c7 c6} ==> r5c7 ≠ 6, r5c6 ≠ 2, r5c6 ≠ 1, r5c4 ≠ 4, r5c4 ≠ 2, r5c4 ≠ 1
whip[1]: r5n2{c3 .} ==> r4c3 ≠ 2

we reach another state, where only Subsets have been used (which, as far as I can see, is the same as Cenoman's starting point):

Code: Select all

   5         67        3         27        1         278       679       4679      478       
   678       4         1         5         9         3         267       67        278       
   2         79        789       6         4         78        1         5         3         
   147       5         47        1234      6         12        37        8         9         
   1468      126       2468      39        7         59        35        46        14       
   9         3         467       14        8         15        567       2         147       
   3         8         27        179       5         4         279       179       6         
   17        179       579       8         2         6         4         3         57       
   46        26        2456      179       3         179       8         179       25   

The end uses only bivalue-chains[≤3]:

Hidden Text: Show

122 candidates, 465 csp-links and 465 links. Density = 6.3%
biv-chain-rc[3]: r1c2{n7 n6} - r9c2{n6 n2} - r7c3{n2 n7} ==> r3c3 ≠ 7, r8c2 ≠ 7
whip[1]: c2n7{r3 .} ==> r2c1 ≠ 7
whip[1]: r2n7{c9 .} ==> r1c7 ≠ 7, r1c8 ≠ 7, r1c9 ≠ 7
biv-chain[3]: r1n9{c7 c8} - c8n4{r1 r5} - b6n6{r5c8 r6c7} ==> r1c7 ≠ 6
naked-single ==> r1c7 = 9
naked-pairs-in-a-column: c8{r1 r5}{n4 n6} ==> r2c8 ≠ 6
naked-single ==> r2c8 = 7
whip[1]: r9n7{c6 .} ==> r7c4 ≠ 7
finned-x-wing-in-rows: n7{r7 r6}{c3 c7} ==> r4c7 ≠ 7
singles ==> r4c7 = 3, r5c7 = 5, r5c6 = 9, r5c4 = 3, r6c6 = 5
whip[1]: b6n7{r6c9 .} ==> r6c3 ≠ 7
finned-x-wing-in-rows: n6{r2 r6}{c7 c1} ==> r5c1 ≠ 6
biv-chain[3]: c9n1{r5 r6} - c9n7{r6 r8} - r8c1{n7 n1} ==> r5c1 ≠ 1
hidden-pairs-in-a-column: c1{n1 n7}{r4 r8} ==> r4c1 ≠ 4
biv-chain[3]: r5c1{n4 n8} - r2n8{c1 c9} - r1c9{n8 n4} ==> r5c9 ≠ 4
stte

or typed-bivalue-chains[≤4]:

Hidden Text: Show

122 candidates, 465 csp-links and 465 links. Density = 6.3%
biv-chain-rc[3]: r1c2{n7 n6} - r9c2{n6 n2} - r7c3{n2 n7} ==> r3c3 ≠ 7, r8c2 ≠ 7
whip[1]: c2n7{r3 .} ==> r2c1 ≠ 7
whip[1]: r2n7{c9 .} ==> r1c7 ≠ 7, r1c8 ≠ 7, r1c9 ≠ 7
biv-chain-rc[4]: r4c3{n4 n7} - r7c3{n7 n2} - r9c2{n2 n6} - r9c1{n6 n4} ==> r4c1 ≠ 4, r5c1 ≠ 4, r9c3 ≠ 4
hidden-single-in-a-block ==> r9c1 = 4
biv-chain-rc[2]: r8c1{n1 n7} - r4c1{n7 n1} ==> r5c1 ≠ 1
biv-chain-rn[4]: r5n8{c3 c1} - r2n8{c1 c9} - r2n2{c9 c7} - r7n2{c7 c3} ==> r5c3 ≠ 2
stte

[Ngisa]

Code: Select all

+---------------------+------------------+--------------------+
| 5       67     3    | 27      1    278 | 679    4679    478 |
|b678     4      1    | 5       9    3   |a27     67     a78-2|
| 2       79     789  | 6       4    78  | 1      5       3   |
+---------------------+------------------+--------------------+
| 147     5      47   | 1234    6    12  | 37     8       9   |
|c1468   d126    2468 | 39      7    59  | 35    c46     c14  |
| 9       3      467  | 14      8    15  | 567    2       147 |
+---------------------+------------------+--------------------+
| 3       8      27   | 179     5    4   | 79-2   179     6   |
|e17     e179    579  | 8       2    6   | 4      3      e57  |
| 46      26     2456 | 179     3    179 | 8      179    f25  |
+---------------------+------------------+--------------------+


(28)r2c79 = (8)r2c1 - (8=6|4|1)r5c189 - (1)r5c2 = (175)r8c219 - (5=2)r9c9 => - 2r2c9,r7c7; stte

Clement

[SteveG48]

Code: Select all

 *-----------------------------------------------------------*
 | 5    c67    3     | 27    1     278   | 679   4679  478   |
 |c678   4     1     | 5     9     3     | 267   67    278   |
 | 2    c79    789   | 6     4     78    | 1     5     3     |
 *-------------------+-------------------+-------------------|
 | 147   5    b47    | 1234  6     12    | 37    8     9     |
 |b1468 b126   2468  | 39    7     59    | 35    46    14    |
 | 9     3    b467   | 14    8     15    | 567   2     147   |
 *-------------------+-------------------+-------------------|
 | 3     8   ad27    | 179   5     4     | 279   179   6     |
 |d17   d179   579   | 8     2     6     | 4     3     57    |
 | 46   a6-2   2456  | 179   3     179   | 8     179   25    |
 *-----------------------------------------------------------*


(6=27)b7p38 - (2|7=1468)b4p3459 - (8=679)b1p348 - (9=172)b7p345 => -2 r9c2 ; stte

[pjb]

Code: Select all

 5       67      3      | 27     1      278    | 679    4679   478   
 678     4       1      | 5      9      3      | 267    67     278   
 2       a79     b789    | 6      4      78     | 1      5      3     
------------------------+----------------------+---------------------
 147     5       47     | 1234   6      12     | 37     8      9     
 1468   d126    c2468   | 39     7      59     | 35     46     14     
 9       3       467    | 14     8      15     | 567    2      147   
------------------------+----------------------+---------------------
 3       8       27     | 179    5      4      | 279    179    6     
 17     e17-9    579    | 8      2      6      | 4      3      57     
 46      26      2456   | 179    3      179    | 8      179    25     


(9)r3c2 = (9-8)r3c3 = (8-2)r5c3 = (2-1)r5c2 = r8c2, -9r8c2; stte

Phil