The New Sudoku Players' Forum

[urhegyi]

today.png (15 KiB) Viewed 431 times

Code: Select all

1..2...74.........9.3...8.......7.6...18..9.....3..2....29....1.....36.2.37..84.9

[denis_berthier]

Here is a possible solution, using only Subsets and bivalue-chains[≤3]. Not very "extreme" IMO.

Code: Select all

(solve "1..2...74.........9.3...8.......7.6...18..9.....3..2....29....1.....36.2.37..84.9")
***********************************************************************************************
***  SudoRules 20.1.s based on CSP-Rules 2.1.s, config = W+SFin
***  Using CLIPS 6.32-r778
***********************************************************************************************
LOTS OF SINGLES
136 candidates, 626 csp-links and 626 links. Density = 6.82%
whip[1]: c4n6{r3 .} ==> r3c5 ≠ 6, r1c5 ≠ 6, r1c6 ≠ 6, r2c5 ≠ 6, r2c6 ≠ 6
whip[1]: r1n6{c3 .} ==> r2c3 ≠ 6, r3c2 ≠ 6
hidden-pairs-in-a-column: c5{n3 n8}{r1 r2} ==> r2c5 ≠ 7, r2c5 ≠ 5, r2c5 ≠ 4, r1c5 ≠ 9, r1c5 ≠ 5
singles ==> r1c6 = 9, r6c5 = 9
biv-chain[3]: r4n8{c3 c9} - c9n3{r4 r2} - r2c5{n3 n8} ==> r2c3 ≠ 8
naked-pairs-in-a-row: r2{c3 c6}{n4 n5} ==> r2c9 ≠ 5, r2c4 ≠ 5, r2c4 ≠ 4, r2c1 ≠ 5, r2c1 ≠ 4
finned-x-wing-in-rows: n4{r2 r4}{c3 c6} ==> r6c6 ≠ 4
hidden-single-in-a-block ==> r4c4 = 4
finned-x-wing-in-rows: n4{r3 r8}{c5 c2} ==> r7c2 ≠ 4
whip[1]: b7n4{r8c1 .} ==> r6c1 ≠ 4
biv-chain-cn[3]: c3n4{r6 r2} - c6n4{r2 r7} - c6n6{r7 r6} ==> r6c3 ≠ 6
hidden-single-in-a-column ==> r1c3 = 6
whip[1]: c3n8{r6 .} ==> r6c1 ≠ 8, r6c2 ≠ 8
naked-pairs-in-a-column: c2{r1 r7}{n5 n8} ==> r6c2 ≠ 5, r5c2 ≠ 5, r3c2 ≠ 5
biv-chain[2]: b1n5{r2c3 r1c2} - c7n5{r1 r4} ==> r4c3 ≠ 5
singles ==> r4c3 = 8, r6c9 = 8, r5c9 = 7, r5c2 = 6, r5c5 = 5, r6c6 = 6, r7c5 = 6
naked-pairs-in-a-row: r3{c2 c5}{n4 n7} ==> r3c4 ≠ 7
finned-x-wing-in-columns: n5{c6 c2}{r7 r2} ==> r2c3 ≠ 5
stte

[Cenoman]

Code: Select all

 +------------------------+---------------------+------------------+
 |  1      568     568    |  2      38    9     |  35   7    4     |
 |  4578   2       45-8   |  4567  a38    45    |  1    9   b356   |
 |  9      457     3      |  4567   457   1     |  8    2    56    |
 +------------------------+---------------------+------------------+
 |  2      9      d458    |  45     1     7     |  35   6   c358   |
 |  3      567     1      |  8      56    2     |  9    4    57    |
 |  4578   45678   4568   |  3      9     456   |  2    1    578   |
 +------------------------+---------------------+------------------+
 |  458    458     2      |  9      456   456   |  7    3    1     |
 |  45     1       9      |  457    457   3     |  6    8    2     |
 |  6      3       7      |  1      2     8     |  4    5    9     |
 +------------------------+---------------------+------------------+

1. M2-Wing (8=3)r2c5 - r2c9 = (3-8)r4c9 = (8)r4c3 => -8 r2c3; NP(45)r2c36 (-45 r2c14, -5 r2c9)
2. Finned X-wing (4)r2c3 = r2c6 - r6c6 = r6c123 => -4 r4c3; 1 placement & basics

Code: Select all

 +------------------------+--------------------+------------------+
 |  1      568     568    |  2     38    9     |  35   7    4     |
 |  78     2     Bb45     |  67    38  Cc45    |  1    9    36    |
 |  9      457     3      |  567   457   1     |  8    2    56    |
 +------------------------+--------------------+------------------+
 |  2      9       58     |  4     1     7     |  35   6    358   |
 |  3      567     1      |  8     56    2     |  9    4    57    |
 |  578-4  45678 Aa458-6  |  3     9    c56    |  2    1    578   |
 +------------------------+--------------------+------------------+
 |  458    458     2      |  9     456  D456   |  7    3    1     |
 | F45     1       9      |  57   E457   3     |  6    8    2     |
 |  6      3       7      |  1     2     8     |  4    5    9     |
 +------------------------+--------------------+------------------+

3. H-Wing (4)r6c3 = r2c3 - (4=56)r26c6 => -6 r6c3
4. L1-Wing (4)r6c3 = r2c3 - r2c6 = r7c6 - r8c5 = r8c1 => -4 r6c1; 1 placement & basics

Code: Select all

 +--------------------+--------------------+------------------+
 |  1    c58    6     |  2     38    9     |  35   7    4     |
 |  78    2    b45    |  67    38   a45    |  1    9    36    |
 |  9     47    3     |  567   457   1     |  8    2    56    |
 +--------------------+--------------------+------------------+
 |  2     9     58    |  4     1     7     |  35   6    358   |
 |  3     67    1     |  8     56    2     |  9    4    57    |
 | f57    467   458   |  3     9     6-5   |  2    1    578   |
 +--------------------+--------------------+------------------+
 | e458  d58    2     |  9     456   46-5  |  7    3    1     |
 | e45    1     9     |  57    457   3     |  6    8    2     |
 |  6     3     7     |  1     2     8     |  4    5    9     |
 +--------------------+--------------------+------------------+

5. Kite* & L1-Wing (5)r2c6 = r2c3 - r1c2 = r7c2* - r78c1 = r6c1 => -5 r6c6, r7c6*; ste