The New Sudoku Players' Forum

[SteveG48]

Code: Select all

 *-----------*
 |73.|...|1.9|
 |...|..9|2..|
 |9.5|7..|6..|
 |---+---+---|
 |...|8.5|...|
 |6..|.2.|..3|
 |...|6.7|...|
 |---+---+---|
 |..9|..4|7.1|
 |..6|1..|...|
 |8.1|...|..2|
 *-----------*


[Mauriès Robert]

Hi Steve,
Here is my resolution with TDP.
After simplifying the puzzle with the basic techniques (TB) :

puzzle: Show

With two conjugated tracks,
P(4r5c4) : 4r5c4->8r5c3->8r3c2->4r3c9->...
P(4r6c5) : 4r6c5->8r6c9->4r3c9->...
=> r3c9=4, stte.
One can also solve with an anti-track, like this:
P'(8r3c2): (-8r3c2) => 8r2c3->4r5c3->4r6c5->8r6c9->... => -8r3c9 => r3c9=4, stte.
Cordialy
Robert

[Leren]

Code: Select all

*-------------------------------------------*
| 7    3    2  | 45  4568 68 | 1   458  9   |
| 14   6    48 | 3   1458 9  | 2   458  7   |
| 9   b148  5  | 7   18-4 2  | 6   3   a48  |
|--------------+-------------+--------------|
| 124  1249 7  | 8   3    5  | 49  12   6   |
| 6   c489  48 |c49  2    1  | 5   7    3   |
| 5    12   3  | 6  e49   7  | 489 12   8-4 |
|--------------+-------------+--------------|
| 3    5    9  | 2   68   4  | 7   68   1   |
| 24   247  6  | 1   79   38 | 348 489  5   |
| 8    47   1  | 59  579  36 | 34  469  2   |
*-------------------------------------------*

(4=8) r3c9 - r3c2 = (8-9) r5c2 = (9-4) r5c4 = (4) r6c5 => - 4 r3c5, r6c9; stte

Leren

[pjb]

Code: Select all

 7       3       2      | 45     4568   68     | 1      458    9     
 14      6       48     | 3      1458   9      | 2      458    7     
 9      e148     5      | 7      148    2      | 6      3      4-8     
------------------------+----------------------+---------------------
 124    c1249    7      | 8      3      5      |b49     12     6     
 6      d489     48     | 49     2      1      | 5      7      3     
 5       12      3      | 6      49     7      | 489    12    a48     
------------------------+----------------------+---------------------
 3       5       9      | 2      68     4      | 7      68     1     
 24      247     6      | 1      79     38     | 348    489    5     
 8       47      1      | 59     579    36     | 34     469    2     


(8=4)r6c9 - (4=9)r4c7 - (9)r4c2 = (9-8)r5c2 = (8)r3c2 => -8 r3c9; stte

Phil

[yzfwsf]

Code: Select all

.---------------.--------------.--------------.
| 7    3     2  | 45  4568  68 | 1    458  9  |
| 14   6     48 | 3   1458  9  | 2    458  7  |
| 9    a148   5 | 7   148   2  | 6    3   b48 |
:---------------+--------------+--------------:
| 124  a1249  7 | 8   3     5  | c49   12  6  |
| 6    489   48 | 49  2     1  | 5    7    3  |
| 5    a12    3 | 6  d49    7  | 489  12   8-4|
:---------------+--------------+--------------:
| 3    5     9  | 2   68    4  | 7    68   1  |
| 24   a247   6 | 1   d79   38 | 348  489  5  |
| 8    47    1  | 59  579   36 | 34   469  2  |
'---------------'--------------'--------------'

Death Blossom Complex Type 2: Set have degrees of freedom of 2-124789{r3468c2} => r6c9<>4
b:8r3c2-{r3c9}
c:9r4c2-{r4c7}
d:7r8c2-{r68c5};stte

[Cenoman]

Code: Select all

 +--------------------+-------------------+-------------------+
 |  7     3      2    |  45   4568   68   |  1     458   9    |
 |  14    6     d48   |  3    1458   9    |  2     458   7    |
 |  9    e148    5    |  7    148    2    |  6     3     4-8  |
 +--------------------+-------------------+-------------------+
 |  124  b1249*  7    |  8    3      5    | a49    12*   6    |
 |  6     489   c48   |  49   2      1    |  5     7     3    |
 |  5     12*    3    |  6    49     7    |  489   12*  a48   |
 +--------------------+-------------------+-------------------+
 |  3     5      9    |  2    68     4    |  7     68    1    |
 |  24    247    6    |  1    79     38   |  348   489   5    |
 |  8     47     1    |  59   579    36   |  34    469   2    |
 +--------------------+-------------------+-------------------+

UR(12)r46c28 using internals:
(8=49)b6p19 - ^(9==4)^r4c2 - (4=8)r5c3 = r2c3 = (8)r3c2 => -8 r3c9, -12r4c2^; ste

[denis_berthier]

(solve "73....1.9.....92..9.57..6.....8.5...6...2...3...6.7.....9..47.1..61.....8.1.....2")

The full resolution path, with only two non trivial steps, a bivalue-chain[3] and a 2D-bivalue-chain[4] in cn space.
Probably some intermediate steps are not necessary.

Hidden Text: Show

***********************************************************************************************
*** SudoRules 20.1.s based on CSP-Rules 2.1.s, config = W+SFin
*** Using CLIPS 6.32-r779
***********************************************************************************************
singles ==> r5c6 = 1, r4c9 = 6, r2c9 = 7, r2c2 = 6
192 candidates, 1195 csp-links and 1195 links. Density = 6.52%
whip[1]: c7n3{r9 .} ==> r9c8 ≠ 3, r7c8 ≠ 3, r8c8 ≠ 3
whip[1]: c3n3{r6 .} ==> r6c1 ≠ 3, r4c1 ≠ 3
whip[1]: c3n7{r5 .} ==> r5c2 ≠ 7, r4c2 ≠ 7
whip[1]: b5n3{r6c5 .} ==> r9c5 ≠ 3, r2c5 ≠ 3, r3c5 ≠ 3, r7c5 ≠ 3, r8c5 ≠ 3
whip[1]: b3n5{r2c8 .} ==> r9c8 ≠ 5, r5c8 ≠ 5, r6c8 ≠ 5, r7c8 ≠ 5, r8c8 ≠ 5
hidden-pairs-in-a-row: r7{n6 n8}{c5 c8} ==> r7c5 ≠ 5
hidden-pairs-in-a-column: c8{n1 n2}{r4 r6} ==> r6c8 ≠ 9, r6c8 ≠ 8, r6c8 ≠ 4, r4c8 ≠ 9, r4c8 ≠ 7, r4c8 ≠ 4
singles ==> r5c8 = 7, r4c3 = 7, r6c3 = 3, r1c3 = 2, r3c6 = 2, r2c4 = 3, r3c8 = 3, r7c1 = 3, r7c4 = 2, r7c2 = 5, r6c1 = 5, r5c7 = 5, r8c9 = 5, r4c5 = 3
whip[1]: b6n8{r6c9 .} ==> r6c2 ≠ 8
whip[1]: c8n9{r9 .} ==> r8c7 ≠ 9, r9c7 ≠ 9
hidden-pairs-in-a-row: r6{n1 n2}{c2 c8} ==> r6c2 ≠ 9, r6c2 ≠ 4
finned-x-wing-in-rows: n8{r7 r1}{c8 c5} ==> r3c5 ≠ 8, r2c5 ≠ 8
whip[1]: b2n8{r1c6 .} ==> r1c8 ≠ 8
naked-pairs-in-a-row: r1{c4 c8}{n4 n5} ==> r1c5 ≠ 5, r1c5 ≠ 4
naked-pairs-in-a-column: c5{r1 r7}{n6 n8} ==> r9c5 ≠ 6, r8c5 ≠ 8
finned-x-wing-in-columns: n4{c3 c4}{r5 r2} ==> r2c5 ≠ 4
x-wing-in-columns: n4{c5 c9}{r3 r6} ==> r6c7 ≠ 4, r3c2 ≠ 4
whip[1]: b1n4{r2c3 .} ==> r2c8 ≠ 4
biv-chain[3]: r8n9{c8 c5} - r6n9{c5 c7} - c7n8{r6 r8} ==> r8c8 ≠ 8
hidden-pairs-in-a-row: r8{n3 n8}{c6 c7} ==> r8c7 ≠ 4
biv-chain-cn[4]: c7n9{r6 r4} - c2n9{r4 r5} - c2n8{r5 r3} - c9n8{r3 r6} ==> r6c7 ≠ 8
stte