The New Sudoku Players' Forum

[Leren]

Code: Select all

*-----------*
|63.|92.|45.|
|..4|...|.7.|
|.1.|6..|..3|
|---+---+---|
|.5.|.1.|3..|
|...|.6.|..5|
|3..|5..|19.|
|---+---+---|
|...|...|2..|
|.6.|1..|..9|
|8..|...|...|
*-----------*
63.92.45...4....7..1.6....3.5..1.3......6...53..5..19.......2...6.1....98........

[marek stefanik]

Code: Select all

   +---------------------------+---------------------------+---------------------------+
   | 6        3        78      | 9        2        178     | 4        5        18*     |
   | c259     c289*    4       | 38       358      1358    | 689      7        1268    |
   | b2579    1        b25789  | 6        4578     4578    | a89      a28      3       |
   +---------------------------+---------------------------+---------------------------+
   | 2479     5        26789   | A2478    1        24789   | 3        2468     B24678  |
   | 12479    B24789   12789   | 23478    6        234789  | A78      A248     5       |
   | 3        A2478    2678    | 5        B478     B2478   | 1        9        24678   |
   +---------------------------+---------------------------+---------------------------+
   | 14579    479      13579   | 3478*    345789   3456789 | 2        13468    14678   |
   | 2457     6        2357    | 1        34578    234578  | 578      348      9       |
   | 8        2479     123579  | 2347     34579    2345679 | 567      1346     1467    |
   +---------------------------+---------------------------+---------------------------+

Almost DJE (2478): r5c78 r4c4 r6c2, r6c56 r4c9 r5c2
Rogue digit 8

If 8 appears in both bases, it has to appear in r2c2, r7c4 and r1c9.
Using an AIC, we can prove that's not the case:
(8=29)r3c78 – r3c13 = (29–8)r2c12

The DJE is now proven (except for the cover houses of 8s).
stte

Marek