The New Sudoku Players' Forum

[Mauriès Robert]

Hi all,
I offer you this puzzle to solve. What resolution will you bring?

1.......2.7.2.1.6.....4....63.4.7.18..4...6..71.6.2.45....7.....4.1.5.8.2.......6

puzzle: Show

Cordialy
Robert

[denis_berthier]

.
Solution in gW5 (can also be solved in W5):

***********************************************************************************************
*** SudoRules 20.1.s based on CSP-Rules 2.1.s, config = gW+SFin
*** Using CLIPS 6.32-r779
*** Download from: https://github.com/denis-berthier/CSP-Rules-V2.1
***********************************************************************************************
18 singles, leading to

Code: Select all

RESOLUTION STATE:
   1         589       3589      35789     6         389       4         3579      2         
   4         7         3589      2         3589      1         3589      6         39       
   3589      6         2         35789     4         389       35789     3579      1         
   6         3         59        4         59        7         2         1         8         
   589       2         4         3589      1         389       6         379       379       
   7         1         89        6         389       2         39        4         5         
   3589      589       1         389       7         6         359       2         4         
   39        4         6         1         2         5         379       8         379       
   2         589       7         389       389       4         1         359       6         

132 candidates, 575 csp-links and 575 links. Density = 6.65%
whip[1]: c3n3{r2 .} ==> r3c1 ≠ 3
62 g-candidates, 384 csp-glinks and 222 non-csp glinks
finned-swordfish-in-rows: n9{r4 r6 r2}{c3 c5 c7} ==> r3c7 ≠ 9
z-chain[4]: c4n7{r1 r3} - b2n5{r3c4 r2c5} - r4c5{n5 n9} - b8n9{r9c5 .} ==> r1c4 ≠ 9
z-chain[4]: c4n7{r3 r1} - b2n5{r1c4 r2c5} - r4c5{n5 n9} - b8n9{r9c5 .} ==> r3c4 ≠ 9
whip[4]: b4n9{r6c3 r5c1} - c6n9{r5 r3} - c8n9{r3 r9} - r8n9{c7 .} ==> r1c3 ≠ 9
whip[4]: r4n9{c5 c3} - r6n9{c3 c7} - r2n9{c7 c9} - b9n9{r8c9 .} ==> r9c5 ≠ 9
whip[1]: b8n9{r9c4 .} ==> r5c4 ≠ 9
t-whip[4]: r6n3{c7 c5} - r9c5{n3 n8} - r6n8{c5 c3} - r2n8{c3 .} ==> r2c7 ≠ 3
t-whip[5]: r6n8{c3 c5} - r9c5{n8 n3} - r6n3{c5 c7} - b9n3{r7c7 r8c9} - r2n3{c9 .} ==> r2c3 ≠ 8
t-whip[5]: r2n8{c7 c5} - r9c5{n8 n3} - r6n3{c5 c7} - b9n3{r7c7 r8c9} - r2c9{n3 .} ==> r2c7 ≠ 9
g-whip[3]: b5n9{r5c6 r456c5} - r2n9{c5 c3} - b4n9{r4c3 .} ==> r5c9 ≠ 9
finned-swordfish-in-rows: n9{r3 r5 r8}{c1 c6 c8} ==> r9c8 ≠ 9
biv-chain-bn[3]: b6n9{r6c7 r5c8} - b6n7{r5c8 r5c9} - b9n7{r8c9 r8c7} ==> r8c7 ≠ 9
biv-chain-bn[3]: b9n9{r8c9 r7c7} - b6n9{r6c7 r5c8} - b6n7{r5c8 r5c9} ==> r8c9 ≠ 7
singles ==> r8c7 = 7, r5c9 = 7
biv-chain[3]: r9c8{n5 n3} - r5c8{n3 n9} - c7n9{r6 r7} ==> r7c7 ≠ 5
hidden-single-in-a-block ==> r9c8 = 5
whip[1]: r9n3{c5 .} ==> r7c4 ≠ 3
naked-pairs-in-a-column: c7{r6 r7}{n3 n9} ==> r3c7 ≠ 3
finned-x-wing-in-rows: n5{r5 r1}{c4 c1} ==> r3c1 ≠ 5
biv-chain-rn[4]: r9n9{c2 c4} - r9n3{c4 c5} - r6n3{c5 c7} - r7n3{c7 c1} ==> r7c1 ≠ 9
biv-chain[4]: c3n3{r1 r2} - r2c9{n3 n9} - r8n9{c9 c1} - r3c1{n9 n8} ==> r1c3 ≠ 8
hidden-single-in-a-column ==> r6c3 = 8
t-whip[2]: c5n8{r9 r2} - r1n8{c6 .} ==> r9c2 ≠ 8
singles ==> r9c2 = 9, r8c1 = 3, r8c9 = 9, r2c9 = 3, r7c7 = 3, r6c7 = 9, r5c8 = 3, r6c5 = 3, r9c5 = 8, r7c4 = 9, r9c4 = 3, r3c6 = 3, r1c3 = 3, r2c7 = 8, r3c7 = 5
biv-chain-rn[3]: r3n8{c1 c4} - r5n8{c4 c6} - r5n9{c6 c1} ==> r3c1 ≠ 9
stte

[DEFISE]

Here is my solution in W5:

Hidden Text: Show

Singles: 4r1c7, 4r2c1, 1r5c5, 4r9c6, 4r7c9, 2r8c5, 6r8c3, 6r7c6, 6r3c2, 6r1c5, 2r3c3, 2r4c7, 2r5c2, 2r7c8, 7r9c3, 1r9c7, 1r3c9, 1r7c3
Alignment: 3c3b1 => -3r3c1
whip[4]: r4n9{c5 c3}- r6n9{c3 c7}- r2n9{c7 c9}- c8n9{r1 .} => -9r9c5
Alignment: 9b8c4 => -9r1c4 -9r3c4 -9r5c4
whip[5]: r6c7{n9 n3}- r7c7{n3 n5}- r9c8{n5 n3}- c5n3{r9 r2}- b3n3{r2c7 .} => -9r8c7
whip[5]: r8c7{n3 n7}- r8c9{n7 n9}- r2c9{n9 n3}- c5n3{r2 r6}- r5n3{c4 .} => -3r9c8
Alignment: 3r9b8 => -3r7c4
whip[3]: r2c9{n9 n3}- c8n3{r1 r5}- r5n7{c8 .} => -9r5c9
whip[4]: r8n9{c9 c1}- r5n9{c1 c6}- r3n9{c6 c7}- c9n9{r2 .} => -9r9c8
Single: 5r9c8
Naked pair: 39c7r67 => -3r2c7 -9r2c7 -3r3c7 -9r3c7 -3r8c7
Singles: 7r8c7, 7r5c9
whip[5]: c7n9{r6 r7}- r7c4{n9 n8}- b5n8{r5c4 r5c6}- c1n8{r5 r3}- r1n8{c2 .} => -9r6c5
Naked pair: 38c5r69 => -3r2c5 -8r2c5
whip[5]: c9n9{r8 r2}- r2c5{n9 n5}- r4n5{c5 c3}- r1n5{c3 c2}- c2n9{r1 .} => -9r8c1
Singles: 3r8c1, 9r8c9, 3r2c9, 3r7c7, 9r6c7, 3r5c8, 8r6c3, 3r6c5, 8r9c5, 9r7c4, 9r9c2, 3r9c4, 8r2c7, 5r3c7, 3r3c6, 3r1c3
whip[3]: r1c6{n9 n8}- b1n8{r1c2 r3c1}- c1n9{r3 .} => -9r5c6
STTE

[Cenoman]

Code: Select all

 +----------------------+-----------------------+-----------------------+
 |  1      589  g358-9  |  35789   6      389   |  4       3579   2     |
 |  4      7    f3589*^ |  2       3589*^ 1     |  3589*^  6     e39*&  |
 |  589    6     2      |  35789   4      389   |  3578-9  3579   1     |
 +----------------------+-----------------------+-----------------------+
 |  6      3    a59*^   |  4       59*^   7     |  2       1      8     |
 | b589    2     4      |  3589    1      389   |  6      c379   c379   |
 |  7      1    a89*^    |  6       389*^  2     | c39*^   4      5     |
 +----------------------+-----------------------+-----------------------+
 |  3589   589   1      |  389     7      6     |  359*    2      4     |
 | c39     4     6      |  1       2      5     | c379*    8     d379*  |
 |  2      589   7      |  389     38-9   4     |  1       359#   6     |
 +----------------------+-----------------------+-----------------------+

1. Finned Franken Jellyfish (*,#) (9)r246b9\c3579 fr9c8 => -9 r9c5
2. (9)r46c3 = r5c1 - [r5c89 = r6c7 - r8c7*=*r8c1] = (9)r8c9-(9=3)r2c9-r2c3=(3)r1c3 => -9 r1c3
3. Finned Swordfish (^,&) (9)r246\c357 fr2c9 => -9 r3c7

Code: Select all

 +----------------------+----------------------+----------------------+
 |  1      589   358    |  3578   6      389   |  4      3579   2     |
 |  4      7    a3589c' |  2     A3589C' 1     | w3589   6     Z39d'D'|
 |  589    6     2      |  3578   4      389   | w3578   3579   1     |
 +----------------------+----------------------+----------------------+
 |  6      3    b59b'   |  4     B59B'   7     |  2      1      8     |
 | c589a'  2     4      |  358    1     C389A' |  6      379y' z7-39z'|
 |  7      1    b89b'   |  6     B389B'  2     |  39     4      5     |
 +----------------------+----------------------+----------------------+
 |  3589   589   1      |  389    7      6     |  359    2      4     |
 |  39     4     6      |  1      2      5     | x379    8     y379   |
 |  2      589   7      |  389    38     4     |  1      359    6     |
 +----------------------+----------------------+----------------------+

4. Kraken row (9)r2c3579
(9)r2c3 - r46c3 = (9)r5c1
(9)r2c5 - r46c5 = (9)r5c6
(9-87)r23c7 = r8c7 - r8c9 = (7)r5c9
(9)r2c9
=>-9r5c9

5. Kraken row (9)r5c168
(9)r5c1 - r46c3 = r2c3 - (9=3)r2c9
(9)r5c6 - r46c5 = r2c5 - (9=3)r2c9
(9-7)r5c8=(7)r5c9
=>-3r5c9

Code: Select all

 +----------------------+----------------------+---------------------+
 |  1      589   358    |  3578   6      389   |  4      3579   2    |
 |  4      7     3589   |  2     a3589   1     |  3589   6     a39   |
 | B589    6     2      |  3578   4     B389   |  358   A3579   1    |
 +----------------------+----------------------+---------------------+
 |  6      3     59     |  4      59     7     |  2      1      8    |
 | B589    2     4      |  358    1     B389   |  6    Ad39     7    |
 |  7      1     89     |  6     b389    2     | c39     4      5    |
 +----------------------+----------------------+---------------------+
 |  3589   589   1      |  389    7      6     |  359    2      4    |
 | C39     4     6      |  1      2      5     |  7      8    Da39   |
 |  2      589   7      |  389   a38     4     |  1      5-39   6    |
 +----------------------+----------------------+---------------------+

6. Almost Skyscraper [(3)r8c9 = r2c9 - r2c5 *=* r9c5] = (3)r6c5 - r6c7 = r5c8 => -3r9c8
7. (9)r35c8 = [XW(9)r35\c16)] - r8c1 = (9)r8c9 => -9 r9c8

Code: Select all

 +----------------------+----------------------+------------------+
 |  1      589t  358t   |  3578s  6      389s  |  4    379   2    |
 |  4      7     3589   |  2     d3589   1     | c58   6     39   |
 |Aa589#u  6     2      |  3578   4      389   | b58   379   1    |
 +----------------------+----------------------+------------------+
 |  6      3    f59     |  4     e59     7     |  2    1     8    |
 | g59-8   2     4      |  358    1      389   |  6    39    7    |
 |  7      1    F89     |  6      389y   2     | E39x  4     5    |
 +----------------------+----------------------+------------------+
 |  3589v  589   1      |  89     7      6     | D39w  2     4    |
 | B39     4     6      |  1      2      5     |  7    8    C39   |
 |  2      89    7      |  389    38z    4     |  1    5     6    |
 +----------------------+----------------------+------------------+

8. Kraken cell (589)r3c1
(5)r3c1 - r3c7 = r2c7 - r2c5 = r4c5 - r4c3 = (5)r5c1
(9)r3c1 - r8c1 = r8c9 - r7c7 = r6c7 - (9=8)r6c3
(8)r3c1
=> -8 r5c1

9. (8)r1c46 = r1c23 - r3c1 = (8-3)r7c1 = r7c7 - r6c7 = r6c5 - (3=8)r9c5 => -8 r2c5

Code: Select all

 +-----------------+------------------+-----------------+
 |  1    58   3    |  57+8  6    89   |  4    79   2    |
 |  4    7    59   |  2     59   1    |  8    6    3    |
 |  89   6    2    |  78    4    3    |  5    79   1    |
 +-----------------+------------------+-----------------+
 |  6    3    59   |  4     59   7    |  2    1    8    |
 |  59   2    4    |  58    1    89   |  6    3    7    |
 |  7    1    8    |  6     3    2    |  9    4    5    |
 +-----------------+------------------+-----------------+
 |  58   58   1    |  9     7    6    |  3    2    4    |
 |  3    4    6    |  1     2    5    |  7    8    9    |
 |  2    9    7    |  3     8    4    |  1    5    6    |
 +-----------------+------------------+-----------------+

10. BUG+1 => +8 r1c4; ste