The New Sudoku Players' Forum

[mith]

Code: Select all

+-------+-------+-------+
| . . . | 8 . . | . . . |
| . . 9 | . 7 6 | . . . |
| . . 1 | . . . | 5 4 . |
+-------+-------+-------+
| . 2 . | . . . | . . 3 |
| . 3 . | 4 5 . | . 2 . |
| 4 . . | . 3 2 | . 1 . |
+-------+-------+-------+
| . 5 6 | . . . | 1 . . |
| . . . | 7 8 . | . . . |
| . . . | . . 9 | . . 8 |
+-------+-------+-------+
...8.......9.76.....1...54..2......3.3.45..2.4...32.1..56...1.....78.........9..8

[SpAce]

Couldn't resist.

Code: Select all

.-----------------.---------------.--------------.
| a23+5   67  23+ | 8    4    1-5 | 679  679  12 |
|  25     4   9   | 15   7    6   | 38   38   12 |
|  67     8   1   | 2    9    3   | 5    4    67 |
:-----------------+---------------+--------------:
|  69     2   5   | 169  16   78  | 4    78   3  |
|  1      3   78  | 4    5    78  | 69   2    69 |
|  4      69  78  | 69   3    2   | 78   1    5  |
:-----------------+---------------+--------------:
|  8      5   6   | 3    2    4   | 1    79   79 |
| b23+9  b19  23+ | 7    8   b15  | 236  356  4  |
|  237    17  4   | 156  16   9   | 23   35   8  |
'-----------------'---------------'--------------'

(5)r1c1 =UR= (915)r8c126 => -5 r1c6; stte

[Leren]

Code: Select all

*---------------------------------------*
| 235 67 23 | 8   4  15 | 679 d79-6  12 |
| 25  4  9  | 15  7  6  | 38   38    12 |
| 67  8  1  | 2   9  3  | 5    4    a67 |
|-----------+-----------+---------------|
| 69  2  5  | 169 16 78 | 4    78    3  |
| 1   3  78 | 4   5  78 | 69   2     69 |
| 4   69 78 | 69  3  2  | 78   1     5  |
|-----------+-----------+---------------|
| 8   5  6  | 3   2  4  | 1   c79   b79 |
| 239 19 23 | 7   8  15 | 236  356   4  |
| 237 17 4  | 156 16 9  | 23   35    8  |
*---------------------------------------*

(6=7) r3c9 - r7c9 = (7-9) r7c8 = (9) r1c8 => - 6 r1c8; stte

Leren

[pjb]

Code: Select all

 235     67      23     | 8      4      15     |b679   c679    12     
 25      4       9      | 15     7      6      | 38     38     12     
 67      8       1      | 2      9      3      | 5      4      67     
------------------------+----------------------+---------------------
 69      2       5      | 169    16     78     | 4      78     3     
 1       3       78     | 4      5      78     |a69     2      69     
 4       69      78     | 69     3      2      | 78     1      5     
------------------------+----------------------+---------------------
 8       5       6      | 3      2      4      | 1      79     79     
 239     19      23     | 7      8      15     | 23-6  d356    4     
 237     17      4      | 156    16     9      | 23     35     8     


(6=9)r5c7 - (9)r1c7 = (9-6)r1c8 = (6)r8c8 => -6 r8c7; stte

Phil

[Ngisa]

Code: Select all

+------------------+-------------------+----------------------+
| 235    g67    23 |   8      4     15 |f679     679    12679 |
| 23      4     9  |   15     7     6  | 38      38     12    |
| 67      8     1  |   2      9     3  | 5       4      67    |
+------------------+-------------------+----------------------+
| 6-9     2     5  | ab169   b16    78 | 4       78     3     |
| 1       3     78 |   4      5     78 |f69      2      69    |
| 4      h69    78 |   69     3     2  | 78      1      5     |
+------------------+-------------------+----------------------+
| 8       5     6  |   3      2     4  | 1       79     79    |
| 239     19    23 |   7      8     15 |f236    e356    4     |
| 237     17    4  | bc156   b16    9  |d23      35     8     |
+------------------+-------------------+----------------------+


(9)r4c4 = Type 1 UR(16)r49c45 - (16=5)r9c4 - r9c8 = (5-6)r8c8 = (697)r851c7 - (7=6)r1c2 - (6=9)r6c2 => - 9r4c1; stte

Clement

[Cenoman]

Code: Select all

 +------------------+------------------+-------------------+
 |  235   67   23   |  8     4    15   |  679  d67-9  12   |
 |  25    4    9    |  15    7    6    |  38    38    12   |
 | B67    8    1    |  2     9    3    |  5     4    C67   |
 +------------------+------------------+-------------------+
 | A69    2    5    |  169   16   78   |  4     78    3    |
 |  1     3    78   |  4     5    78   |  69    2     69   |
 |  4     69   78   |  69    3    2    |  78    1     5    |
 +------------------+------------------+-------------------+
 |  8     5    6    |  3     2    4    |  1    E79   D79   |
 |  239   19   23   |  7     8    15   |  236  c356   4    |
 |  237   17   4    | a156   16   9    |  23   b35    8    |
 +------------------+------------------+-------------------+

UR(16)r49c45 using mixed internal-external
(5)r9c4 - r9c8 = (5-6)r8c8 = (6)r1c8
(6)r4c1 - (6=7)r3c1 - r3c9 = r7c9 - (7=9)r7c8
=> -9 r1c8; ste

[Sudtyro2]

Code: Select all

+--------------+----------------+------------------+
| 235 67  23   |  8    4   15   |  d679   c679  12 |
| 25  4   9    |  15   7   6    |  e38     3-8* 12 |
| 67  8   1    |  2    9   3    |   5      4    67 |
+--------------+----------------+------------------+
| 69  2   5    |  169 16  a78#  |   4     b78*  3  |
| 1   3   78   |  4    5   78   |   69     2    69 |
| 4   69  78   |  69   3   2    |  d7-8*   1    5  |
+--------------+----------------+------------------+
| 8   5   6    |  3    2   4    |   1     b79   79 |
| 239 19  23   |  7    8   15   |   236    356  4  |
| 237 17  4    |  156  16  9    |   23     35   8  |
+--------------+----------------+------------------+

Kraken Franken Siamese 1x1 Fish(8)r4\(b6|c8) + rfr4c6:
(8)r4c6 - (8=79)r47c8 - r1c8 = (9-78)r16c7 = (8)r2c7 => -8 b6p7,r2c8; stte

SteveC

[rjamil]

Code: Select all

 +---------------+-------------+------------------+
 | 235  (67)  23 | 8    4   15 | 69-7   (679)  12 |
 | 25   4     9  | 15   7   6  | 38     38     12 |
 | 67   8     1  | 2    9   3  | 5      4      67 |
 +---------------+-------------+------------------+
 | 69   2     5  | 169  16  78 | 4      [7]8   3  |
 | 1    3     78 | 4    5   78 | 69     2      69 |
 | 4    69    78 | 69   3   2  | [7]8   (1)    5  |
 +---------------+-------------+------------------+
 | 8    5     6  | 3    2   4  | 1      (79)   79 |
 | 239  19    23 | 7    8   15 | 236    356    4  |
 | 237  17    4  | 156  16  9  | 23     35     8  |
 +---------------+-------------+------------------+

XYZ-Transport: 679 @ r1c28 r7c8 Reduced ERI 7 @ b6r6c8 => -7 @ r1c7; stte

R. Jamil

[SteveG48]

Code: Select all

 *--------------------------------------------------*
 | 235  6-7  23   | 8    4    15   |b679  679  12   |
 | 25   4    9    | 15   7    6    | 38   38   12   |
 | 67   8    1    | 2    9    3    | 5    4    67   |
 *----------------+----------------+----------------|
 | 69   2    5    | 169  16   78   | 4    78   3    |
 | 1    3    78   | 4    5    78   |b69   2    69   |
 | 4    69   78   | 69   3    2    | 78   1    5    |
 *----------------+----------------+----------------|
 | 8    5    6    | 3    2    4    | 1    79   79   |
 | 239  19   23   | 7    8    15   |b236  356  4    |
 | 237 a17   4    |a156 a16   9    |b23  a35   8    |
 *--------------------------------------------------*


(7=1563)r9c2458 - (3=2697)r1589c7 => -7 r1c2 ; stte

[denis_berthier]

Code: Select all

+-------+-------+-------+
| . . . | 8 . . | . . . |
| . . 9 | . 7 6 | . . . |
| . . 1 | . . . | 5 4 . |
+-------+-------+-------+
| . 2 . | . . . | . . 3 |
| . 3 . | 4 5 . | . 2 . |
| 4 . . | . 3 2 | . 1 . |
+-------+-------+-------+
| . 5 6 | . . . | 1 . . |
| . . . | 7 8 . | . . . |
| . . . | . . 9 | . . 8 |
+-------+-------+-------+
...8.......9.76.....1...54..2......3.3.45..2.4...32.1..56...1.....78.........9..8

Solved with Pairs and a typed-bivalve-chain[3] in cn-space:

Hidden Text: Show

(solve "...8.......9.76.....1...54..2......3.3.45..2.4...32.1..56...1.....78.........9..8")
***********************************************************************************************
*** SudoRules 20.1.s based on CSP-Rules 2.1.s, config = W+SFin
*** Using CLIPS 6.32-r770
***********************************************************************************************
singles
145 candidates, 619 csp-links and 619 links. Density = 5.93%
whip[1]: c2n1{r9 .} ==> r9c1 ≠ 1, r8c1 ≠ 1
whip[1]: r8n6{c8 .} ==> r9c8 ≠ 6, r9c7 ≠ 6
whip[1]: r7n9{c9 .} ==> r8c8 ≠ 9, r8c7 ≠ 9
whip[1]: r7n7{c9 .} ==> r9c8 ≠ 7, r9c7 ≠ 7
whip[1]: c9n2{r2 .} ==> r2c7 ≠ 2, r1c7 ≠ 2
naked-pairs-in-a-column: c3{r5 r6}{n7 n8} ==> r4c3 ≠ 8, r4c3 ≠ 7, r1c3 ≠ 7
naked-single ==> r4c3 = 5
whip[1]: c3n7{r6 .} ==> r4c1 ≠ 7, r5c1 ≠ 7, r6c2 ≠ 7
naked-pairs-in-a-row: r6{c2 c4}{n6 n9} ==> r6c7 ≠ 9, r6c7 ≠ 6
naked-pairs-in-a-row: r2{c7 c8}{n3 n8} ==> r2c1 ≠ 3
whip[1]: r2n3{c8 .} ==> r1c7 ≠ 3, r1c8 ≠ 3
naked-pairs-in-a-column: c6{r1 r8}{n1 n5} ==> r5c6 ≠ 1, r4c6 ≠ 1
hidden-single-in-a-row ==> r5c1 = 1
whip[1]: r5n6{c9 .} ==> r4c8 ≠ 6
whip[1]: r5n9{c9 .} ==> r4c8 ≠ 9
naked-pairs-in-a-block: b6{r4c8 r6c7}{n7 n8} ==> r5c9 ≠ 7, r5c7 ≠ 8, r5c7 ≠ 7
naked-pairs-in-a-block: b1{r1c2 r3c1}{n6 n7} ==> r1c1 ≠ 7, r1c1 ≠ 6
hidden-pairs-in-a-column: c9{n1 n2}{r1 r2} ==> r1c9 ≠ 9, r1c9 ≠ 7, r1c9 ≠ 6
biv-chain-cn[3]: c7n9{r1 r5} - c9n9{r5 r7} - c9n7{r7 r3} ==> r1c7 ≠ 7
stte