The New Sudoku Players' Forum

[m_b_metcalf]

Code: Select all

 . 1 2 . . . 3 . .
 4 5 6 . . . . . .
 3 7 . 4 . . . . .
 . . 5 8 . . . 3 2
 . . . . 1 . 9 7 .
 . . . . . 6 . . .
 2 . . . 3 . . 1 9
 . . . 2 9 . 4 8 .
 . . . 1 . . 2 . 3  Symmetric on the main diagonal

.12...3..456......37.4.......58...32....1.97......6...2...3..19...29.48....1..2.3

[P.O.]

basics:

Hidden Text: Show

Code: Select all

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


Code: Select all

89      1       2       5679    5678    5789    3       4569    45678           
4       5       6       379     278     123     178     29      178             
3       7       89      4       2568    12      1568    2569    1568             
1679    469     5       8       47      479     16      3       2               
68      23468   348     35      1       23      9       7       4568             
1789    23489   134789  3579    2457    6       158     45      1458             
2       468     478     567     3       4578    567     1       9               
1567    36      137     2       9       57      4       8       567             
56789   4689    4789    1       45678   4578    2       56      3         

n7r2c7 OR n7r7c7 => r1c1 <> 9
ste.


n7r2c7 context:

Hidden Text: Show

Code: Select all

((7 0) (2 7 3) (1 7 8))                                                      n7r2c7
   ((7 1 7) (8 9 9) (5 6 7))                                                   n7r8c9

((7 1 7) (8 9 9) (5 6 7))                                                    n7r8c9
   ((5 2 9) (8 6 8) (5 7))                                                     n5r8c6
   ((6 2 1 11) ((8 1 7) (1 5 6 7)) ((8 2 7) (3 6)))                            n6r8c12

((5 2 9) (8 6 8) (5 7))                                                      n5r8c6
   ((5 3 5) (7 7 9) (5 6 7))                                                   n5r7c7
   ((5 3 1) (9 1 7) (5 6 7 8 9))                                               n5r9c1

((5 3 5) (7 7 9) (5 6 7))                                                    n5r7c7
   ((6 4 9) (9 8 9) (5 6))                                                     n6r9c8

((6 4 9) (9 8 9) (5 6))                                                      n6r9c8
   ((6 5 1) (7 4 8) (5 6 7))                                                    n6r7c4


Code: Select all

89      1       2       579     5678    789     3       459     4568             
4       5       6       39      28      123     7       29      18               
3       7       89      4       2568    12      168     259     1568             
1679    469     5       8       47      479     16      3       2               
68      23468   348     35      1       23      9       7       4568             
1789    23489   134789  3579    2457    6       18      45      1458             
2       48      478     6       3       478     5       1       9               
16      36      13      2       9       5       4       8       7               
5       489     4789    1       478     478     2       6       3         

9r1c1 => r3c38 <> 9
 r1c1=9 - b2n9{r1c46 r2c4} - r2c8{n9 n2} - r2c5{n2 n8} - r1c6{n89 n7} - r1c4{n79 n5} - r5n5{c4 c9} - c8n5{r6 r3}
=> r1c1 <> 9


n7r7c7 context:

Hidden Text: Show

Code: Select all

((7 0) (7 7 9) (5 6 7))                                                     n7r7c7
   ((5 1 1 11) ((7 4 8) (5 6 7)) ((7 6 8) (4 5 7 8)))                         n5r7c46

((5 1 1 11) ((7 4 8) (5 6 7)) ((7 6 8) (4 5 7 8)))                          n5r7c46
   ((7 2 20) (8 6 8) (5 7))                                                   n7r8c6


Code: Select all

89      1       2       5679    5678    589     3       4569    45678           
4       5       6       379     278     123     18      29      178             
3       7       89      4       2568    12      1568    2569    1568             
1679    469     5       8       47      49      16      3       2               
68      23468   348     35      1       23      9       7       4568             
1789    23489   134789  3579    2457    6       158     45      1458             
2       468     48      56      3       458     7       1       9               
156     36      13      2       9       7       4       8       56               
56789   4689    4789    1       468     48      2       56      3         

9r1c1 => r2c5 <> 2,7,8
 r1c1=9 - b2n9{r1c46 r2c4} - r2c8{n9 n2}
 r1c1=9 - r3c3{n9 n8} - r7c3{n8 n4} - r5c3{n48 n3} - b5n3{r5c46 r6c4} - c4n7{r6 r12}
 r1c1=9 - r3c3{n9 n8} - r7c3{n8 n4} - r5c3{n48 n3} - r5c4{n3 n5} - c5n5{r6 r13} - r1c6{n59 n8}
=> r1c1 <> 9


[totuan]

Code: Select all

 *-----------------------------------------------------------------------------*
 | 89      1       2       | 5679    5678    5789    | 3       4569    45678   |
 | 4       5       6       |c379     278    b123     | 178    d29      178     |
 | 3       7       89      | 4       2568   a1-2     | 1568   e2569    1568    |
 |-------------------------+-------------------------+-------------------------|
 | 1679    469     5       | 8       47      479     | 16      3       2       |
 | 68      23468   348     | 35      1       23      | 9       7       4568    |
 | 1789    23489   134789  | 3579    2457    6       | 158     45      1458    |
 |-------------------------+-------------------------+-------------------------|
 | 2       468     478     | 567     3       4578    | 567     1       9       |
 | 1567    36      137     | 2       9       57      | 4       8       567     |
 | 56789   4689    4789    | 1       45678   4578    | 2       56      3       |
 *-----------------------------------------------------------------------------*

My path for this one;
01: (1)r3c6=(1-3)r2c6=(3-9)r2c4=(9-2)r2c8=r3c8 => r3c6<>2, r3c6=1

Code: Select all

 *-----------------------------------------------------------------------------*
 | 89      1       2       | 5679   *5678    5789    | 3      #4569    45678   |
 | 4       5       6       | 379     278     23      | 178     29      178     |
 | 3       7       89      | 4      *2568    1       | 568     256-9   568     |
 |-------------------------+-------------------------+-------------------------|
 | 1679    469     5       | 8       47      479     | 16      3       2       |
 | 68      23468   348     | 35      1       23      | 9       7       4568    |
 | 1789    23489   134789  | 3579   *2457    6       | 158     45      1458    |
 |-------------------------+-------------------------+-------------------------|
 | 2       468     478     | 567     3       4578    | 567     1       9       |
 | 1567    36      137     | 2       9       57      | 4       8       567     |
 | 56789   4689    4789    | 1      *45678   4578    | 2       56      3       |
 *-----------------------------------------------------------------------------*

Look at:
- If r1c8<>45 => [(9=6)r1c8-r1c45=(6-2)r3c5=r3c8] => r3c8<>9
- AAHS(56)r1369c5 * marked cells => (56)r13c5=(5)r6c5=(56)r9c5
02: Present as diagram: => r3c8<>9, stte

Code: Select all

AAHS(56)r1369c5
 ||
(56)r13c5-(2)r3c5=r3c8*
 ||
(56)r9c58-r9c1=(5)r8c1-(57=6)r8c69-(6=45)r69c8-(45)r1c8=[(9=6)r1c8-r1c45=(6-2)r3c5=r3c8]*
 ||
(5)r6c5-(5=23)r5c46-(23=468)r5c123-(46=9)r4c2-r4c6=r1c6-r1c1=r3c3*

Note: based on AAHS(56)r1369c5, one can eliminate 5r9c1 or 45r1c8… but the presenting is more complex.

Thanks for the puzzle!
totuan