The New Sudoku Players' Forum

[Yogi]

....5..6..9.....3......1....3.4.....5.....1........2..1.....78...436.......9.....

Code: Select all

+---+---+---+
|...|.5.|.6.|
|.9.|...|.3.|
|...|..1|...|
+---+---+---+
|.3.|4..|...|
|5..|...|1..|
|...|...|2..|
+---+---+---+
|1..|...|78.|
|..4|36.|...|
|...|9..|...|
+---+---+---+


[Cenoman]

A funny uniqueness solution, in two steps:

Code: Select all

 +---------------------+---------------------+------------------+
 |  34     1    a28    |  28    5      39    |  49   6     7    |
 |  26     9     5     |  267   47     46    |  8    3     1    |
 | b3468   478* c678*  | c68    39     1     |  49   2     5    |
 +---------------------+---------------------+------------------+
 |  7      3     1     |  4     29     259   |  6    59    8    |
 |  5      2     689   |  67    3789   369   |  1    79    4    |
 |  468    48    689   |  1     789    569   |  2    579   3    |
 +---------------------+---------------------+------------------+
 |  1      6     3     |  5     24     24    |  7    8     9    |
 |  9      78*   4     |  3     6      78*   |  5    1     2    |
 |  28     5    a28-7* |  9     1      78*   |  3    4     6    |
 +---------------------+---------------------+------------------+

1. DP(78)r3c23, b7p59, r89c6 using mixed internal-externals (2r9c3=8b1p37)
(82)r19c3 == (8)r3c1 - (8=67)r3c34 => -7r9c3; lcls, 11 placements

Code: Select all

 +------------------+------------------+------------------+
 |  3     1    28   |  28    5    9    |  4    6     7    |
 |  26    9    5    | b27+6  47   46   |  8    3     1    |
 |b'46+8  48   7    |b'68    3    1    |  9    2     5    |
 +------------------+------------------+------------------+
 |  7     3    1    |  4     29   25   |  6    5-9   8    |
 |  5     2    69   | c67    8    3    |  1   c79    4    |
 |  48    48   69   |  1     79   56   |  2   a57+9  3    |
 +------------------+------------------+------------------+
 |  1     6    3    |  5     24   24   |  7    8     9    |
 |  9     7    4    |  3     6    8    |  5    1     2    |
 |  28    5    28   |  9     1    7    |  3    4     6    |
 +------------------+------------------+------------------+

2. BUG+3: (9)r6c8 == (6r2c4|86r3c14)- (6=79)r5c48 => -9 r4c8; ste

Or in one step:

Code: Select all

 +---------------------+---------------------+------------------+
 |  34     1    B28    |  28    5      39    |  49   6     7    |
 | B26     9     5     |  267   47     46    |  8    3     1    |
 |  3468   478   678   |  68    39     1     |  49   2     5    |
 +---------------------+---------------------+------------------+
 |  7      3     1     |  4     29     259   |  6    59    8    |
 |  5      2 zEAa689   |  67    3789   369   |  1  zE79    4    |
 |Cb468    48   b689   |  1    D789  Dc569   |  2 E'd59-7  3    |
 +---------------------+---------------------+------------------+
 |  1      6     3     |  5     24     24    |  7    8     9    |
 |  9      78    4     |  3     6      78    |  5    1     2    |
 |  28     5     278   |  9     1      78    |  3    4     6    |
 +---------------------+---------------------+------------------+

Kraken cell (689)r5c3
||(6)r5c3 - r6c13 = (6-5)r6c6 = (5)r6c8
||(8)r5c3 - (8=26)b1p34 - r6c1 = (6-95)r6c36 = (97r5c38|5r6c8)
||(97)r5c38
=> -7 r6c8; ste

[P.O.]

basics:

Hidden Text: Show

Code: Select all

( n1r9c5   n1r6c4   n3r9c7   n5r7c4   n6r4c7   n1r8c8   n1r4c3
  n1r1c2   n3r7c3   n9r8c1   n9r7c9   n5r8c7   n2r8c9   n4r9c8
  n6r9c9   n1r2c9   n2r3c8   n5r3c9   n5r2c3   n6r7c2   n7r1c9
  n8r4c9   n5r9c2   n2r5c2   n4r5c9   n7r4c1   n3r6c9 )

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

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

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

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


Code: Select all

34    1     28    28    5     39    49    6     7             
26    9     5     267   47    46    8     3     1             
3468  478   678   68    39    1     49    2     5             
7     3     1     4     29    259   6     59    8             
5     2     689   67    3789  369   1     79    4             
468   48    689   1     789   569   2     579   3             
1     6     3     5     24    24    7     8     9             
9     78    4     3     6     78    5     1     2             
28    5     278   9     1     78    3     4     6           

7r6c8 => r5c35 <> 8
 r6c8=7 - c8n5{r6 r4} - r4n9{c8 c56} - r6c5{n79 n8} - r6c2{n8 n4} - r6c1{n48 n6} - r2c1{n6 n2} - r1c3{n2 n8}
                                           |                                                         |
                                        r5c5<>8                                                   r5c3<>8
=> r6c8 <> 7
ste.


[Leren]

Two steps;

Code: Select all

*-------------------------------------------*
| 34    1   b28   | 28  5    39  | 49 6   7 |
|b26    9    5    | 267 47   46  | 8  3   1 |
| 3468  478  678  | 68  39   1   | 49 2   5 |
|-----------------+--------------+----------|
| 7     3    1    | 4   29   259 | 6  59  8 |
| 5     2    69-8 | 67  3789 369 | 1  79  4 |
|a468  a48   69-8 | 1   789  569 | 2  579 3 |
|-----------------+--------------+----------|
| 1     6    3    | 5   24   24  | 7  8   9 |
| 9     78   4    | 3   6    78  | 5  1   2 |
| 28    5    278  | 9   1    78  | 3  4   6 |
*-------------------------------------------*

ALS XZ Rule: X = 6, Z = 8: (8=6) r6c12 - (6=8) r1c3, r2c1 => - 8 r56c3; basics get you to here.

Code: Select all

*-------------------------------------*
| 3   1    28  | 28   5  9  | 4 6   7 |
| 26  9    5   | 267  47 46 | 8 3   1 |
| 468 478  78  | 68   3  1  | 9 2   5 |
|--------------+------------+---------|
| 7   3    1   | 4    29 25 | 6 59  8 |
| 5   2   a69  |b67   8  3  | 1 79  4 |
| 48  48   6-9 | 1   c79 56 | 2 579 3 |
|--------------+------------+---------|
| 1   6    3   | 5    24 24 | 7 8   9 |
| 9   78   4   | 3    6  78 | 5 1   2 |
| 28  5    278 | 9    1  78 | 3 4   6 |
*-------------------------------------*

XY Wing : (9=6) r5c3 - (6=7) r5c4 - (7=9) r6c5 => - 9 r6c3; stte

Leren

[SteveG48]

Code: Select all

 *------------------------------------------------------------*
 |  34    1    g28    | 28    5     39    | 49    6     7     |
 | g26    9     5     | 267  b4-7  b46    | 8     3     1     |
 |  3468  478   678   | 68    39    1     | 49    2     5     |
 *--------------------+-------------------+-------------------|
 |  7     3     1     | 4     29   c259   | 6    b59    8     |
 |  5     2    f689   | 6-7  a3789  369   | 1    b79    4     |
 |ef468  e48   e689   | 1   ad789   569   | 2    b579   3     |
 *--------------------+-------------------+-------------------|
 |  1     6     3     | 5     24   c24    | 7     8     9     |
 |  9     78    4     | 3     6     78    | 5     1     2     |
 |  28    5     278   | 9     1     78    | 3     4     6     |
 *------------------------------------------------------------*


I'm not sure I like this:

7r56c5 = (7*4)r2c56&(795)r456c8 - (4|5=29)r47c6 - (9|*7=8)r6c5 - 8r6c123 = (46)r6c12&8r5c3 - (6|8=2)r1c3&r2c1 contradiction => -7 r2c5,r5c4 ; ste