The New Sudoku Players' Forum

[SteveG48]

Code: Select all

 *-----------*
 |.42|.57|1..|
 |...|64.|3..|
 |3..|1..|2..|
 |---+---+---|
 |8.9|...|7..|
 |.3.|.9.|.8.|
 |..6|...|4.9|
 |---+---+---|
 |..3|..1|..4|
 |..8|.24|...|
 |..4|87.|95.|
 *-----------*


[P.O.]

basics:

Hidden Text: Show

Code: Select all

( n8r3c5   n9r3c6   n6r7c5   n8r7c7   n6r8c7   n3r9c6   n3r1c4
  n2r2c6   n5r5c7   n6r5c6   n5r4c6   n8r6c6   n4r4c4   n4r3c8
  n4r5c1   n8r2c2   n8r1c9 )

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

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


Code: Select all

69    4     2     3     5     7     1     69    8             
179   8     157   6     4     2     3     79    57             
3     67    57    1     8     9     2     4     567           
8     12    9     4     13    5     7     1236  36             
4     3     17    27    9     6     5     8     12             
1257  1257  6     27    13    8     4     123   9             
257   2579  3     59    6     1     8     27    4             
157   1579  8     59    2     4     6     137   37             
126   126   4     8     7     3     9     5     12             

7r5c4 => r9c2 <> 1,2,6
 r5c4=7 - r5c3{n7 n1} - c9n1{r5 r9}
 r5c4=7 - r6c4{n7 n2} - b4n2{r6c12 r4c2}
 r5c4=7 - c3n7{r5 r23} - r3c2{n7 n6}
 
=> r5c4 <> 7
ste.


[RSW]

Code: Select all

 +---------------+---------+------------+
 | 69   4    2   | 3  5  7 | 1 69   8   |
 |b179  8 ab#157 | 6  4  2 | 3 79  #57  |
 | 3   b67 b#57  | 1  8  9 | 2 4  b#567 |
 +---------------+---------+------------+
 | 8    12   9   | 4  13 5 | 7 1236 36  |
 | 4    3    17  | 27 9  6 | 5 8    12  |
 | 1257 1257 6   | 27 13 8 | 4 123  9   |
 +---------------+---------+------------+
 | 257  2579 3   | 59 6  1 | 8 27   4   |
 | 157  1579 8   | 59 2  4 | 6 137  37  |
 | 126  126  4   | 8  7  3 | 9 5    12  |
 +---------------+---------+------------+


UR(57)r23c39
(1)r2c3==(6)r3c9 - (6=1579)b1p4689 => -1r2c1; stte

---------------------

***Edited to correct a typo in the notation.
Thanks to Cenoman for pointing it out, and also for pointing out that cell b1p4 can be removed from the ALS:
(1)r2c3==(6)r3c9 - (6=571)b1p689 => -1r2c1 -1r5c3

[Cenoman]

Code: Select all

 +----------------------+-----------------+--------------------+
 |  69     4      2     |  3    5    7    |  1    69     8     |
 |  179    8     d157   |  6    4    2    |  3    79     57    |
 |  3     d67    d57    |  1    8    9    |  2    4     c567   |
 +----------------------+-----------------+--------------------+
 |  8      12     9     |  4    13*  5    |  7    1236* b36    |
 |  4      3      7-1   |  27   9    6    |  5    8     a12    |
 |  1257   1257   6     |  27   13*  8    |  4    123*   9     |
 +----------------------+-----------------+--------------------+
 |  257    2579   3     |  59   6    1    |  8    27     4     |
 |  157    1579   8     |  59   2    4    |  6    137    37    |
 |  126    126    4     |  8    7    3    |  9    5      12    |
 +----------------------+-----------------+--------------------+

UR(13)r46c58 using externals
(1)r5c9 == (3-6)r4c9 = r3c9 - (6=751)b1p689 => -1 r5c3; ste