The New Sudoku Players' Forum

[m_b_metcalf]

Code: Select all

 1 . . 2 . . 3 . .
 . 3 . . 4 . . . 1
 . . . . . 5 . 6 .
 2 . . 7 . 8 . . .
 . 6 . . . . . . .
 . . 8 9 . 2 . . .
 8 . . . . . 7 . .
 . . 5 . . . . 4 6
 . 4 . . . . . 3 .  diagonal symmetry, minimal

1..2..3...3..4...1.....5.6.2..7.8....6.........89.2...8.....7....5....46.4.....3.

[Leren]

Code: Select all

*--------------------------------------------------------------------------------*
| 1      *5789    46-79    | 2      *789     6-79     | 3      *5789   *45789    |
| 5679    3       2679     | 68      4       679      | 2589    2789-5  1        |
| 479     2789    2479     | 13      13      5        | 2489    6       2789-4   |
|--------------------------+--------------------------+--------------------------|
| 2      *159     134-9    | 7       1356    8        | 1456-9 *159    *3459     |
| 3579    6       1379     | 134     135     134      | 12589   2789-15 2789-35  |
| 345-7  *157     8        | 9       1356    2        | 1456   *157    *3457     |
|--------------------------+--------------------------+--------------------------|
| 8      *129     36       | 346    *29      346      | 7      *1259   *259      |
| 379     279-1   5        | 138     2789    1379     | 1289    4       6        |
| 679     4       12679    | 5       2789    1679     | 1289    3       289      |
*--------------------------------------------------------------------------------*

MSLS : 14 Truths ; r1467 c289 + r17c5 : 14 Links; 789r1 9r4 29r7 & 7r6 ; 15c2 15c8 345c9 ; 14 eliminations as marked; lclste

Leren

[P.O.]

basics:

Hidden Text: Show

Code: Select all

intersections:
((((6 0) (4 5 5) (1 3 5 6)) ((6 0) (6 5 5) (1 3 5 6)))
 (((4 0) (5 4 5) (1 3 4 5)) ((4 0) (5 6 5) (1 3 4))))

QUAD BOX: ((1 5 2) (7 8 9)) ((1 6 2) (6 7 9)) ((2 4 2) (6 8)) ((2 6 2) (6 7 9))
(((3 4 2) (1 3 8)) ((3 5 2) (1 3 7 8 9)))

QUAD COL: ((3 5 2) (1 3)) ((4 5 5) (1 3 5 6)) ((5 5 5) (1 3 5)) ((6 5 5) (1 3 5 6))
(((7 5 8) (1 2 3 5 9)) ((8 5 8) (1 2 3 7 8 9)) ((9 5 8) (1 2 5 7 8 9)))

intersection:
((((5 0) (7 4 8) (1 3 4 5 6)) ((5 0) (9 4 8) (1 5 6 8))))

QUAD ROW: ((7 2 7) (1 2 9)) ((7 5 8) (2 9)) ((7 8 9) (1 2 5 9)) ((7 9 9) (2 5 9))
(((7 3 7) (1 2 3 6 9)) ((7 4 8) (1 3 4 5 6)) ((7 6 8) (1 3 4 6 9)))

( n5r9c4 )


Code: Select all

1       5789    4679    2       789     679     3       5789    45789           
5679    3       2679    68      4       679     2589    25789   1               
479     2789    2479    13      13      5       2489    6       24789           
2       159     1349    7       1356    8       14569   159     3459             
3579    6       1379    134     135     134     12589   125789  235789           
3457    157     8       9       1356    2       1456    157     3457             
8       129     36      346     29      346     7       1259    259             
379     1279    5       138     2789    1379    1289    4       6               
679     4       12679   5       2789    1679    1289    3       289       

n1r5c5 OR n3r5c5 OR n5r5c5 => r4c37 <> 4
bte.


n1r5c5 context:

Hidden Text: Show

Code: Select all

((1 0) (5 5 5) (1 3 5))                                                      n1r5c5
   ((3 1 9) (3 5 2) (1 3))                                                     n3r3c5
   ((1 1 1) (3 4 2) (1 3))                                                     n1r3c4
   ((3 1 1 31) ((5 4 5) (1 3 4)) ((5 6 5) (1 3 4)))                            n3r5c46


Code: Select all

1      5789   4679   2      789    679    3      5789   45789           
5679   3      2679   68     4      679    2589   25789  1               
479    2789   2479   1      3      5      2489   6      24789           
2      159    1349   7      56     8      14569  159    3459           
579    6      79     34     1      34     2589   25789  25789           
3457   157    8      9      56     2      1456   157    3457           
8      129    36     346    29     346    7      1259   259             
379    1279   5      38     2789   1379   1289   4      6               
679    4      12679  5      2789   1679   1289   3      289           

4r4c3 => r49c3 <> 1
 r4c3=4 - r1n4{c3 c9} - c7n4{r3 r6} - c7n6{r6 r4} - c7n1{r4 r89} - r7n1{c8 c2}
 => r4c3 <> 4

4r4c7 => r46c7 <> 6
 r4c7=4 - b4n4{r4c3 r6c1} - b4n3{r6c1 r4c3} - c3n1{r4 r9} - r7n1{c2 c8} - c7n1{r8 r6}
 => r4c7 <> 4


n3r5c5 context:

Hidden Text: Show

Code: Select all

((3 0) (5 5 5) (1 3 5))                                                      n3r5c5
   ((1 1 9) (3 5 2) (1 3))                                                     n1r3c5
   ((3 1 1) (3 4 2) (1 3))                                                     n3r3c4
   ((1 1 1 31) ((5 4 5) (1 3 4)) ((5 6 5) (1 3 4)))                            n1r5c46


Code: Select all

1      5789   4679   2      789    679    3      5789   45789           
5679   3      2679   68     4      679    2589   25789  1               
479    2789   2479   3      1      5      2489   6      24789           
2      159    1349   7      56     8      14569  159    3459           
579    6      79     14     3      14     2589   25789  25789           
3457   157    8      9      56     2      1456   157    3457           
8      129    36     46     29     346    7      1259   259             
379    1279   5      18     2789   1379   1289   4      6               
679    4      12679  5      2789   1679   1289   3      289       

4r4c3=> r49c3 <> 1
 r4c3=4 - r1n4{c3 c9} - c7n4{r3 r6} - c7n6{r6 r4} - c7n1{r4 r89} - r7n1{c8 c2}
 => r4c3 <> 4

4r4c7 => r46c7 <> 6
 r4c7=4 - b4n4{r4c3 r6c1} - b4n3{r6c1 r4c3} - c3n1{r4 r9} - r7n1{c2 c8} - c7n1{r8 r6}
 => r4c7 <> 4


Code: Select all

n5r5c5 context:
((5 0) (5 5 5) (1 3 5))                               n5r5c5

1      5789   4679   2      789    679    3      5789   45789           
5679   3      2679   68     4      679    2589   25789  1               
479    2789   2479   13     13     5      2489   6      24789           
2      159    1349   7      136    8      14569  159    3459           
379    6      1379   134    5      134    1289   12789  23789           
3457   157    8      9      136    2      1456   157    3457           
8      129    36     346    29     346    7      1259   259             
379    1279   5      138    2789   1379   1289   4      6               
679    4      12679  5      2789   1679   1289   3      289         

4r4c3=> r7c28 <> 1
let A be
 r4c3=4 - r1n4{c3 c9} - c7n4{r3 r6} - c7n6{r6 r4} - c7n5{r4 r2} - c1n5{r2 r6} - b4n3{r6c1 r5c13} - 14r5c46
 A - c3n1{r5 r9}
 A - b6n1{r5c78 r46c8}
 => r4c3 <> 4

4r4c7 => r46c7 <> 6
 r4c7=4 - b4n4{r4c3 r6c1} - c1n5{r6 r2} - c7n5{r2 r5}
 => r4c7 <> 4


bte:

Hidden Text: Show

Code: Select all

( n4r6c1   n4r4c9   n4r3c7   n4r1c3   n6r1c6   n8r2c4   n6r7c4
  n3r7c3   n4r7c6   n3r4c5   n3r5c1   n4r5c4   n5r2c1   n6r6c5
  n6r4c7   n6r2c3   n6r9c1   n1r3c5   n5r5c5   n1r5c6   n3r3c4
  n1r8c4   n3r8c6   n3r6c9   n5r6c7   n1r9c7   n5r4c2   n1r7c2
  n1r4c3   n9r5c3   n9r4c8   n7r6c2   n1r6c8 )

intersections:
((((9 0) (8 1 7) (7 9)) ((9 0) (8 2 7) (2 9)))
 (((7 0) (3 1 1) (7 9)) ((7 0) (3 3 1) (2 7)))
 (((2 0) (2 7 3) (2 9)) ((2 0) (2 8 3) (2 7)))
 
ste.