The New Sudoku Players' Forum

[jovi_al01]

Code: Select all

.....7...
.........
.732.1.56
..5..4.1.
1.26.3..4
64.5...32
35.1..46.
.........
...8.....

.....7.............732.1.56..5..4.1.1.26.3..464.5...3235.1..46.............8.....

hope you like this one!
and a merry christmas and happy hanukkah to all who celebrate!

[shye]

Code: Select all

.----------------------.--------------------.-----------------------.
| 24589  12689  14689  | 349   345689  7    | 12389   2489   1389   |
| 24589  12689  14689  | 349   345689  5689 | 123789  24789  13789  |
|*489   *7      3      | 2    *489     1    |*89      5      6      |
:----------------------+--------------------+-----------------------:
|A89+7   3      5      | 79    2       4    | 6       1     B789    |
| 1      89     2      | 6    X89+7    3    | 5       789    4      |
| 6      4     B789    | 5     1       89   |A89+7    3      2      |
:----------------------+--------------------+-----------------------:
| 3      5     *789    | 1    *79      2    | 4       6     *789    |
| 24789  12689  146789 | 3479  345679  569  | 123789  2789   135789 |
| 2479   1269   14679  | 8     345679  569  | 12379   279    13579  |
'----------------------'--------------------'-----------------------'

X (r5c5) in b46 is in either A: b4p1 & b6p7, or B: b4p3 & b6p9
B is not a possible config, X would be ruled out of r7
so A is true, and X in r3 is in c2
=> +7r4c1, +7r5c5, +7r6c7 stte

also, this is very impressive given how minimal r1289 are!

[P.O.]

Code: Select all

( n1r6c5   n2r4c5   n3r4c2   n5r5c7   n6r4c7   n2r7c6 )

9r3c157 => r6c7 <> 9
 r3c1=9 - r3n4{c1 c5} - 39r12c4 - r4n9{c4 c9}
 r3c5=9 - r7c5{n9 n7} - r5c5{n79 n8} - r6c6{n8 n9}
 r3c7=9

8r3c157 => r6c7 <> 8
 r3c1=8 - r4n8{c1 c9}
 r3c5=8 - c6n8{r2 r6}
 r3c7=8
 
ste.


with templates the puzzle is solved at the initialization step:

Hidden Text: Show

Code: Select all

#VT: (16 16 12 10 6 12 9 24 144)
Cells: nil nil nil nil nil nil nil (51) nil
SetVC: ( n8r6c6 )

#VT: (16 16 12 10 6 12 9 24 144)
Cells: nil nil nil nil nil nil nil nil nil
Candidates:nil nil nil (64) nil nil (36 66 71) (64) (41)
EraseCC: ( n7r5c5   n9r7c5   n9r4c4   n8r4c9   n9r5c8   n7r6c7
           n7r7c9   n2r9c8   n7r4c1   n8r5c2   n9r6c3   n8r7c3
           n8r8c8   n4r1c8   n7r2c8   n3r1c4   n4r2c4   n8r3c5
           n9r3c7   n7r8c4   n1r1c9   n3r2c9   n4r3c1   n9r9c1
           n5r9c9   n6r1c3   n5r1c5   n1r2c3   n6r2c5   n9r2c6
           n2r8c1   n4r8c3   n3r8c5   n1r8c7   n9r8c9   n7r9c3
           n4r9c5   n6r9c6   n3r9c7   n8r1c1   n2r1c7   n5r2c1
           n2r2c2   n8r2c7   n6r8c2   n5r8c6   n1r9c2   n9r1c2 )
8 9 6   3 5 7   2 4 1
5 2 1   4 6 9   8 7 3
4 7 3   2 8 1   9 5 6
7 3 5   9 2 4   6 1 8
1 8 2   6 7 3   5 9 4
6 4 9   5 1 8   7 3 2
3 5 8   1 9 2   4 6 7
2 6 4   7 3 5   1 8 9
9 1 7   8 4 6   3 2 5


the analysis:

Hidden Text: Show

Code: Select all

#VT: (16 16 12 10 6 12 9 24 144)

24589   12689   14689   349     345689  7       12389   2489    1389             
24589   12689   14689   349     345689  5689    123789  24789   13789           
489     7       3       2       489     1       89      5       6               
789     3       5       79      2       4       6       1       789             
1       89      2       6       789     3       5       789     4               
6       4       789     5       1       89      789     3       2               
3       5       789     1       79      2       4       6       789             
24789   12689   146789  3479    345679  569     123789  2789    135789           
2479    1269    14679   8       345679  569     12379   279     13579           


Value:      4
Value Cells:     (33 45 47 61)
Candidate Cells: (1 3 4 5 8 10 12 13 14 17 19 23 64 66 67 68 73 75 77)
Union csets:     (1 3 4 5 8 10 12 13 14 17 19 23  . 66 67 68 73 75 77)
Complementary Sets: 10
(1 17 23 67 75)
(3 17 23 67 73)
(8 10 23 67 75)
(8 12 23 67 73)
(4 17 19 66 77)
(4 17 19 68 75)
(5 17 19 67 75)
(8 13 19 66 77)
(8 13 19 68 75)
(8 14 19 67 75)
Candidate 4 to be eliminated in cell:  (64)


Value:      7
Value Cells:     (6 20)
Candidate Cells: (16 17 18 28 31 36 41 44 48 52 57 59 63 64 66 67 68 70 71 72 73 75 77 79 80 81)
Union csets:     (16 17 18 28 31  . 41 44 48 52 57 59 63 64  . 67 68 70  . 72 73 75 77 79 80 81)
Complementary Sets: 9
(16 31 44 48 59 64 81)
(16 31 44 48 63 64 77)
(16 31 44 48 59 72 73)
(16 31 44 48 63 68 73)
(17 28 41 52 57 67 81)
(17 28 41 52 63 67 75)
(18 28 41 52 57 67 80)
(18 31 44 48 59 64 79)
(18 31 44 48 59 70 73)
Candidate 7 to be eliminated in cells: (36 66 71)

Value:      8
Value Cells:     (76)
Candidate Cells: (1 2 3 5 7 8 9 10 11 12 14 15 16 17 18 19 23 25 28 36 38 41 44 48 51 52 57 63 64 65 66 70 71 72)
Union csets:     (1 2 3 5 7 8 9 10 11 12 14  . 16 17 18 19 23 25 28 36 38  . 44  . 51  . 57 63  . 65 66 70 71 72)
Complementary Sets: 24
(1 14 25 36 38 51 57 71)
(1 16 23 36 38 51 57 71)
(1 17 23 36 38 51 57 70)
(2 14 25 28 44 51 57 72)
(2 14 25 28 44 51 63 66)
(2 16 23 28 44 51 57 72)
(2 16 23 28 44 51 63 66)
(2 18 23 28 44 51 57 70)
(3 14 25 28 44 51 63 65)
(3 16 23 28 44 51 63 65)
(5 10 25 36 38 51 57 71)
(7 10 23 36 38 51 57 71)
(8 10 23 36 38 51 57 70)
(5 11 25 28 44 51 57 72)
(5 11 25 28 44 51 63 66)
(7 11 23 28 44 51 57 72)
(7 11 23 28 44 51 63 66)
(9 11 23 28 44 51 57 70)
(5 12 25 28 44 51 63 65)
(7 12 23 28 44 51 63 65)
(5 16 19 36 38 51 57 71)
(5 17 19 36 38 51 57 70)
(7 14 19 36 38 51 57 71)
(8 14 19 36 38 51 57 70)
Value 8 to set in cell :               (51)
Candidate 8 to be eliminated in cells: (15 41 48 52 64)

Value:      9
Value Cells:     nil
Candidate Cells: (1 2 3 4 5 7 8 9 10 11 12 13 14 15 16 17 18 19 23 25 28 31 36 38 41 44 48 51 52 57 59 63 64 65 66 67 68 69 70 71 72 73 74
                  75 77 78 79 80 81)
Union csets:     (1 2 3 4 5 7 8 9 10 11 12 13 14 15 16 17 18 19 23 25 28 31 36 38  . 44 48 51 52 57 59 63 64 65 66 67 68 69 70 71 72 73 74
                  75 77 78 79 80 81)
Complementary Sets: 144
(1 13 25 36 38 51 57 68 80)
(1 13 25 36 38 51 57 71 77)
(1 13 25 36 38 51 59 66 80)
(1 13 25 36 38 51 59 71 75)
(1 14 25 36 38 51 57 67 80)
(1 14 25 31 44 48 63 65 78)
(1 14 25 31 44 48 63 69 74)
(1 15 25 31 44 48 59 65 81)
(1 15 25 31 44 48 63 65 77)
(1 15 25 31 44 48 59 72 74)
(1 15 25 31 44 48 63 68 74)
(1 16 23 36 38 51 57 67 80)
(1 16 23 31 44 48 63 65 78)
(1 16 23 31 44 48 63 69 74)
(1 17 23 31 38 52 57 69 81)
(1 17 23 31 38 52 57 72 78)
(1 17 23 31 38 52 63 66 78)
(1 17 23 31 38 52 63 69 75)
(1 17 23 36 38 51 57 67 79)
(1 18 23 31 38 52 57 69 80)
(1 18 23 31 38 52 57 71 78)
(2 13 25 28 44 51 57 68 81)
(2 13 25 28 44 51 57 72 77)
(2 13 25 28 44 51 59 66 81)
(2 13 25 28 44 51 63 66 77)
(2 13 25 28 44 51 59 72 75)
(2 13 25 28 44 51 63 68 75)
(2 14 25 28 44 51 57 67 81)
(2 14 25 28 44 51 63 67 75)
(2 14 25 31 44 48 63 64 78)
(2 14 25 31 44 48 63 69 73)
(2 15 25 31 44 48 59 64 81)
(2 15 25 31 44 48 63 64 77)
(2 15 25 31 44 48 59 72 73)
(2 15 25 31 44 48 63 68 73)
(2 16 23 28 44 51 57 67 81)
(2 16 23 28 44 51 63 67 75)
(2 16 23 31 44 48 63 64 78)
(2 16 23 31 44 48 63 69 73)
(2 18 23 28 44 51 57 67 79)
(3 13 25 28 44 51 59 65 81)
(3 13 25 28 44 51 63 65 77)
(3 13 25 28 44 51 59 72 74)
(3 13 25 28 44 51 63 68 74)
(3 13 25 36 38 51 59 64 80)
(3 13 25 36 38 51 59 71 73)
(3 14 25 28 44 51 63 67 74)
(3 16 23 28 44 51 63 67 74)
(3 17 23 31 38 52 63 64 78)
(3 17 23 31 38 52 63 69 73)
(4 10 25 36 38 51 57 68 80)
(4 10 25 36 38 51 57 71 77)
(4 10 25 36 38 51 59 66 80)
(4 10 25 36 38 51 59 71 75)
(5 10 25 36 38 51 57 67 80)
(5 10 25 31 44 48 63 65 78)
(5 10 25 31 44 48 63 69 74)
(7 10 23 36 38 51 57 67 80)
(7 10 23 31 44 48 63 65 78)
(7 10 23 31 44 48 63 69 74)
(8 10 23 31 38 52 57 69 81)
(8 10 23 31 38 52 57 72 78)
(8 10 23 31 38 52 63 66 78)
(8 10 23 31 38 52 63 69 75)
(8 10 23 36 38 51 57 67 79)
(9 10 23 31 38 52 57 69 80)
(9 10 23 31 38 52 57 71 78)
(4 11 25 28 44 51 57 68 81)
(4 11 25 28 44 51 57 72 77)
(4 11 25 28 44 51 59 66 81)
(4 11 25 28 44 51 63 66 77)
(4 11 25 28 44 51 59 72 75)
(4 11 25 28 44 51 63 68 75)
(5 11 25 28 44 51 57 67 81)
(5 11 25 28 44 51 63 67 75)
(5 11 25 31 44 48 63 64 78)
(5 11 25 31 44 48 63 69 73)
(7 11 23 28 44 51 57 67 81)
(7 11 23 28 44 51 63 67 75)
(7 11 23 31 44 48 63 64 78)
(7 11 23 31 44 48 63 69 73)
(9 11 23 28 44 51 57 67 79)
(4 12 25 28 44 51 59 65 81)
(4 12 25 28 44 51 63 65 77)
(4 12 25 28 44 51 59 72 74)
(4 12 25 28 44 51 63 68 74)
(4 12 25 36 38 51 59 64 80)
(4 12 25 36 38 51 59 71 73)
(5 12 25 28 44 51 63 67 74)
(7 12 23 28 44 51 63 67 74)
(8 12 23 31 38 52 63 64 78)
(8 12 23 31 38 52 63 69 73)
(4 16 19 36 38 51 57 68 80)
(4 16 19 36 38 51 57 71 77)
(4 16 19 36 38 51 59 66 80)
(4 16 19 36 38 51 59 71 75)
(4 17 19 36 38 51 57 68 79)
(4 17 19 36 38 51 57 70 77)
(4 17 19 36 38 51 59 66 79)
(4 17 19 36 38 51 59 70 75)
(5 16 19 36 38 51 57 67 80)
(5 16 19 31 44 48 63 65 78)
(5 16 19 31 44 48 63 69 74)
(5 17 19 31 38 52 57 69 81)
(5 17 19 31 38 52 57 72 78)
(5 17 19 31 38 52 63 66 78)
(5 17 19 31 38 52 63 69 75)
(5 17 19 36 38 51 57 67 79)
(5 18 19 31 38 52 57 69 80)
(5 18 19 31 38 52 57 71 78)
(7 13 19 36 38 51 57 68 80)
(7 13 19 36 38 51 57 71 77)
(7 13 19 36 38 51 59 66 80)
(7 13 19 36 38 51 59 71 75)
(8 13 19 36 38 51 57 68 79)
(8 13 19 36 38 51 57 70 77)
(8 13 19 36 38 51 59 66 79)
(8 13 19 36 38 51 59 70 75)
(7 14 19 36 38 51 57 67 80)
(7 14 19 31 44 48 63 65 78)
(7 14 19 31 44 48 63 69 74)
(8 14 19 31 38 52 57 69 81)
(8 14 19 31 38 52 57 72 78)
(8 14 19 31 38 52 63 66 78)
(8 14 19 31 38 52 63 69 75)
(8 14 19 36 38 51 57 67 79)
(9 14 19 31 38 52 57 69 80)
(9 14 19 31 38 52 57 71 78)
(7 15 19 31 44 48 59 65 81)
(7 15 19 31 44 48 63 65 77)
(7 15 19 31 44 48 59 72 74)
(7 15 19 31 44 48 63 68 74)
(8 15 19 31 38 52 57 68 81)
(8 15 19 31 38 52 57 72 77)
(8 15 19 31 38 52 59 66 81)
(8 15 19 31 38 52 63 66 77)
(8 15 19 31 38 52 59 72 75)
(8 15 19 31 38 52 63 68 75)
(9 15 19 31 38 52 57 68 80)
(9 15 19 31 38 52 57 71 77)
(9 15 19 31 38 52 59 66 80)
(9 15 19 31 38 52 59 71 75)
(9 15 19 31 44 48 59 65 79)
(9 15 19 31 44 48 59 70 74)
Candidate 9 to be eliminated in cell:  (41)


[marek stefanik]

For fun, stacking a lot of fish:

Code: Select all

.----------------------.--------------------.-----------------------.
| 24589  12689  14689  | 349   345689  7    | 12389   2489   1389   |
| 24589  12689  14689  | 349   345689  5689 | 123789  24789  13789  |
|#489    7      3      | 2    *489     1    |#89      5      6      |
:----------------------+--------------------+-----------------------:
|#789    3      5      |*79    2       4    | 6       1     #789    |
| 1      89     2      | 6     7–89    3    | 5       789    4      |
| 6      4     #789    | 5     1      *89   |#789     3      2      |
:----------------------+--------------------+-----------------------:
| 3      5     #789    | 1    *79      2    | 4       6     #789    |
| 24789  12689  146789 | 3479  345679  569  | 123789  2789   135789 |
| 2479   1269   14679  | 8     345679  569  | 12379   279    13579  |
'----------------------'--------------------'-----------------------'

Each digit can only appear 3 times in #-marked cells.

Proof: Show

Code: Select all

+-------+-------+-------+
| . . . | . . . | . . . |
| . . . | . . . | . . . |
|AB . . | . . . |AB . . |
+-------+-------+-------+
|ABC. . | . . . | . .BCD|
| . . . | . . . | . . . |
| . .ACD| . . . |ABD. . |
+-------+-------+-------+
| . . CD| . . . | . . CD|
| . . . | . . . | . . . |
| . . . | . . . | . . . |
+-------+-------+-------+

For any digit x:
2L xA = xr36c17b4 / 2
2L xB = xr34c17b6 / 2
2L xC = xr47c39b4 / 2
2L xD = xr67c39b6 / 2
3L x# = xr37ABCD / 3

89: r3467 \ c5b5 [3]# => -89r5c5, btte

Marek

[eleven]

Yet another alternative (without r7):

Code: Select all

 *-----------------------------------------------------------------------------------*
 |  24589   12689   14689    |  349    345689   7      |   12389    2489    1389     |
 |  24589   12689   14689    |  349    345689   5689   |   123789   24789   13789    |
 | *89+4    7       3        |  2     #89+4     1      | *#89       5       6        |
 |---------------------------+-------------------------+-----------------------------|
 | *89+7    3       5        | a79     2        4      |   6        1      *89+7     |
 |  1       89      2        |  6     #89+7     3      |   5       b89+7    4        |
 |  6       4       789      |  5      1       #89     | *#89+7     3       2        |
 |---------------------------+-------------------------+ ----------------------------|
 |  3       5       789      |  1      79       2      |   4        6       789      |
 |  24789   12689   146789   |  3479   345679   569    |   123789   2789    135789   |
 |  2479    1269    14679    |  8      345679   569    |   12379    279     13579    |
 *-----------------------------------------------------------------------------------*

Double oddagon 89 (*) and (#):
7r5c5 = r5c8 - r5c5,r6c7 =(*)= 4r4c5 - r4c1 =(#)= 7r4c19|7r6c7 - r4c4|r5c8 = 7r5c5 => 7r5c5, bte

[Cenoman]

Code: Select all

 +---------------------------+-------------------------+----------------------------+
 |  24589   12689   14689    |  349    345689   7      |  12389    2489    1389     |
 |  24589   12689   14689    |  349    345689   5689   |  123789   24789   13789    |
 |  489*    7       3        |  2      489*     1      |  89*      5       6        |
 +---------------------------+-------------------------+----------------------------+
 |  789*    3       5        |  79*    2        4      |  6        1       789*     |
 |  1       89*     2        |  6      7-89*    3      |  5        789*    4        |
 |  6       4       789*     |  5      1        89*    |  789*     3       2        |
 +---------------------------+-------------------------+----------------------------+
 |  3       5       789*     |  1      79*      2      |  4        6       789*     |
 |  24789   12689   146789   |  3479   345679   569    |  123789   2789    135789   |
 |  2479    1269    14679    |  8      345679   569    |  12379    279     13579    |
 +---------------------------+-------------------------+----------------------------+

Look at cells marked (*): r34567
15 cells, 4 digits (4,7,8,9)
Digit 4 can be there at most once (r4), digit 7 can be there at most four times (r4567) => digits 8 and 9 must be there five times each.
This is impossible if 8 or 9 is at the central position r5c5:

Code: Select all

  8     |       | 8
-------------------------
  x     |       | x
    x   |   8   |   x
      x |       |     x
-------------------------
      8 |       |     8

If r5c5 is 8, in r3 and r7, 8 cannot be in the same stack (=> b4 or b6 void of 8); and 8 cannot be in diagonal boxes (=> r4 or r6 void of 8)
Same rationale for digit 9.
=> -89 r5c5; lclste