The New Sudoku Players' Forum

[SteveG48]

Code: Select all

 *-----------*
 |...|...|.24|
 |4..|7..|...|
 |..1|49.|5..|
 |---+---+---|
 |1.4|.3.|.6.|
 |...|...|...|
 |.3.|.8.|1.7|
 |---+---+---|
 |..5|.76|8..|
 |...|..8|..2|
 |92.|...|...|
 *-----------*


[P.O.]

basics:

Hidden Text: Show

Code: Select all

( n3r7c1   n2r7c4   n8r9c3   n8r1c4   n9r8c4   n5r4c4   n6r6c4
  n1r5c4   n3r9c4 )

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

PAIR ROW: ((8 1 7) (6 7)) ((8 3 7) (6 7)) 
(((8 2 7) (1 4 6 7)))


Code: Select all

567    5679   3679   8      156    135    3679   2      4               
4      5689   2369   7      256    235    369    1389   13689           
2678   678    1      4      9      23     5      378    368             
1      789    4      5      3      279    29     6      89             
25678  56789  2679   1      24     2479   2349   34589  3589           
25     3      29     6      8      249    1      459    7               
3      14     5      2      7      6      8      149    19             
67     14     67     9      145    8      34     1345   2               
9      2      8      3      145    145    467    1457   156       

3r3c6 => r1c237 <> 9
 let A be r3c6=3 - r3n2{c6 c1} - c1n8{r3 r5} - r4n8{c2 c9} - r3c9{n38 n6} - r9n6{c9 c7} - c7n7{r9 r1}
 A - r3n7{c8 c2} - r4c2{n78 n9}
 A - r1n3{c7 c3}
 A

=> r3c6 <> 3
ste.


or the same elimination with a nested chain:

Code: Select all

n6r3c12 OR n6r3c9 => r3c6 <> 3
ste.


Hidden Text: Show

Code: Select all

((6 0 1 0) ((3 1 1) (2 6 7 8)) ((3 2 1) (6 7 8)))             n6r3c12

57     579    379    8      156    135    3679   2      4               
4      589    239    7      256    235    369    1389   13689           
2678   678    1      4      9      23     5      378    38             
1      789    4      5      3      279    29     6      89             
25678  56789  2679   1      24     2479   2349   34589  3589           
25     3      29     6      8      249    1      459    7               
3      14     5      2      7      6      8      149    19             
67     14     67     9      145    8      34     1345   2               
9      2      8      3      145    145    467    1457   156     

3r3c6 => r35c1 <> 8
 r3c6=3 - r3c9{n3 n8} - c8n8{r23 r5}
=> r3c6 <> 3


n6r3c9 context:
((6 0) (3 9 3) (3 6 8))                                             n6r3c9
   ((6 1 1) (9 7 9) (4 6 7))                                          n6r9c7

((6 1 1) (9 7 9) (4 6 7))                                           n6r9c7
   ((7 2 10) (9 8 9) (1 4 5 7))                                       n7r9c8
   ((7 2 10) (1 7 3) (3 6 7 9))                                       n7r1c7
   
56     569    369    8      156    135    7      2      4               
4      5689   2369   7      256    235    39     1389   1389           
278    78     1      4      9      23     5      38     6               
1      789    4      5      3      279    29     6      89             
25678  56789  2679   1      24     2479   2349   34589  3589           
25     3      29     6      8      249    1      459    7               
3      14     5      2      7      6      8      149    19             
67     14     67     9      145    8      34     1345   2               
9      2      8      3      145    145    6      7      15             

3r3c6 => r4c2 <> 7,8,9
 r3c6=3 - r3c8{n3 n8} - r3c2{n8 n7}
 r3c6=3 - r3c8{n3 n8} - c1n8{r3 r5}
 r3c6=3 - r1n3{c6 c3} - r1n9{c3 c2}
=> r3c6 <> 3


[Cenoman]

Complex one-stepper (huge kraken net), so my personal challenge has been, to find a krakenless solution. Here is one in 5 steps.

Code: Select all

 +-------------------------+--------------------+-------------------------+
 |  567     5679   a3679   |  8    156   15-3   | A679-3  2       4       |
 |  4       5689   b2369   |  7    256   235    |  369    1389   D13689   |
 | c2678*   678     1      |  4    9    d23     |  5      378    D36-8    |
 +-------------------------+--------------------+-------------------------+
 |  1       789*    4      |  5    3     279    |  29     6       89*     |
 |  25678*  56789   2679   |  1    24    2479   |  2349   34589  C3589    |
 |  25      3       29     |  6    8     249    |  1      459     7       |
 +-------------------------+--------------------+-------------------------+
 |  3       14      5      |  2    7     6      |  8      149     19      |
 |  67      14      67     |  9    145   8      |  34     1345    2       |
 |  9       2       8      |  3    145   145    | B467    1457   B156     |
 +-------------------------+--------------------+-------------------------+

1. (3)r1c3 = (3-2)r2c3 = r3c1 - (2=3)r3c6 => -3 r1c6
2. (7)r1c7 = (76-5)r9c79 = (5-3)r5c9 = (3)r23c9 => -3 r1c7; 1 placement (+3r1c3)
3. (8)r4c9 = r4c2 - r5c1 = r3c1 => -8 r3c9

Code: Select all

 +-------------------------+--------------------+-------------------------+
 |  567    g5679    3      |  8    156   15     |Ef679    2       4       |
 |  4      C5689   b26-9   |  7    256   235    |Ee69-3  D189-3  D1689-3  |
 | c2678   B678     1      |  4    9    d23     |  5      378   Ad36      |
 +-------------------------+--------------------+-------------------------+
 |  1      B78-9    4      |  5    3     279    |  29     6       89      |
 |  25678   5678-9  2679   |  1    24    2479   |  2349   34589   3589    |
 |  25      3      a29     |  6    8     249    |  1      459     7       |
 +-------------------------+--------------------+-------------------------+
 |  3       14      5      |  2    7     6      |  8      149     19      |
 |  67      14      67     |  9    145   8      |  34     1345    2       |
 |  9       2       8      |  3    145   145    |Ef467    1457    156     |
 +-------------------------+--------------------+-------------------------+

4. (9=2)r6c3 - r2c3 = r3c1 - (2=36)r3c69 - r2c7 = (67-9)r19c7 = (9)r1c2 => -9 r2c3, r45c2
Then, accounting the above eliminations:
5. (3=6)r3c9 - (6=78)r34c2 - r2c2 = (81*-9)r2c89 = (967)r129c7 => -3 r2c7, r2c89*; ste

[SteveG48]

Code: Select all

 *---------------------------------------------------------------------*
 | i567   i5679   3679   | 8     i156   i135    | 3679   2      4      |
 |  4      5689   2369   | 7      256    235    | 369    1389   13689  |
 |bg2678  h678    1      | 4      9    ab2-3    | 5     g378  cd368    |
 *-----------------------+----------------------+----------------------|
 |  1    gh789    4      | 5      3      279    | 29     6     d89     |
 | b25678  56789  2679   | 1      24     2479   | 2349  c34589 c3589   |
 |  25     3      29     | 6      8      249    | 1      459    7      |
 *-----------------------+----------------------+----------------------|
 |  3      14     5      | 2      7      6      | 8      149    19     |
 |  67     14     67     | 9      145    8      | 34     1345   2      |
 |  9      2      8      | 3      145    145    |f467   f1457  e156    |
 *---------------------------------------------------------------------*


2r3c6 = (28)r35c*1&3r3c6 - 3r3c9|8r5c89 = (8@6)r34c9 - 6r9c9 = (67)r9c78 - 7r3c*18|(@8)r4c2 = (79)r34c2 - (7|9=1563)r1c1256 => -3 r3c6 ; ste