The New Sudoku Players' Forum

[totuan]

Another view for this one

Code: Select all

 *-----------------------------------------------------------*
 |#789   12    3     |#789   5     4     | 189   289   6     |
 | 6    #789   4     | 2    #789   1     | 389   5     37    |
 | 5     12   #789   | 6     3    #789   | 1489  2489  17    |
 |-------------------+-------------------+-------------------|
 |#789   4     6     | 3     1    #789   | 5     789   2     |
 | 3    #789   1     | 5    #789   2     | 789   6     4     |
 | 2     5    #789   |#789+4 4789  6     | 13    789   13    |
 |-------------------+-------------------+-------------------|
 | 1479  6     2     | 1479  479   5     | 47    3     8     |
 | 1478  3     5     | 1478  6     78    | 2     47    9     |
 | 4789  789   789   | 4789  2     3     | 6     1     5     |
 *-----------------------------------------------------------*

01: Tridagon(789) #-marked cells => r6c4=4, some singles

Code: Select all

 *--------------------------------------------------*
 |#789  12   3    |#78   5    4    | 189 #89+2 6    |
 | 6   #789  4    | 2   #789  1    | 389  5    37   |
 | 5    12  #789  | 6    3   #789  | 4    289  17   |
 |----------------+----------------+----------------|
 |#789  4    6    | 3    1   #789  | 5   #789  2    |
 | 3   #789  1    | 5   #789  2    | 89   6    4    |
 | 2    5   #789  | 4   #789  6    | 13  #789  13   |
 |----------------+----------------+----------------|
 | 19   6    2    | 19   4    5    | 7    3    8    |
 | 178  3    5    | 178  6    78   | 2    4    9    |
 | 4    789  789  | 789  2    3    | 6    1    5    |
 *--------------------------------------------------*

02: Impossible pattern(789) #-marked cells => r1c8=2, some singles
Proving for impossble pattern:

Hidden Text: Show

Code: Select all

A=(7|8|9)
 *-----------------------------------------------------------*
 | 789   .     .     | 789   .     .     | .     789   .     |
 | .     789   .     | .     789   .     | .     .     .     |
 | .     .     789   | .     .     789   | .     .     .     |
 |-------------------+-------------------+-------------------|
 | 789   .     .     | .     .    A789   | .     789   .     |
 | .     789   .     | .     789   .     | .     .     .     |
 | .     .     789   | .     789   .     | .     789   .     |
 |-------------------+-------------------+-------------------|
 | .     .     .     | .     .     .     | .     .     .     |
 | .     .     .     | .     .     .     | .     .     .     |
 | .     .     .     | .     .     .     | .     .     .     |
 *-----------------------------------------------------------*
A=7 => r2c5=7 =>
 *-----------------------------------------------------------*
 |c789   .     .     | 89    .     .     | .    b789   .     |
 | .     89    .     | .     7     .     | .     .     .     |
 | .     .    d789   | .     .     89    | .     .     .     |
 |-------------------+-------------------+-------------------|
 | 89    .     .     | .     .     7     | .     89    .     |
 | .     789   .     | .     89    .     | .     .     .     |
 | .     .     89-7  | .     89    .     | .    a789   .     |
 |-------------------+-------------------+-------------------|
 | .     .     .     | .     .     .     | .     .     .     |
 | .     .     .     | .     .     .     | .     .     .     |
 | .     .     .     | .     .     .     | .     .     .     |
 *-----------------------------------------------------------*
7’s: abcd => r6c3<>7 => r6c8=7,r5c2=7, r1c1=7 =>
 *-----------------------------------------------------------*
 | 7     .     .     |b89    .     .     | .    a89    .     |
 | .     89    .     | .     7     .     | .     .     .     |
 | .     .    d89    | .     .    c89    | .     .     .     |
 |-------------------+-------------------+-------------------|
 |f89    .     .     | .     .     7     | .    g89    .     |
 | .     7     .     | .     89    .     | .     .     .     |
 | .     .    e89    | .     89    .     | .     7     .     |
 |-------------------+-------------------+-------------------|
 | .     .     .     | .     .     .     | .     .     .     |
 | .     .     .     | .     .     .     | .     .     .     |
 | .     .     .     | .     .     .     | .     .     .     |
 *-----------------------------------------------------------*
Oddagon(89) abcdefg => impossible
The same for A=(8|9)

Code: Select all

 *----------------------------------------------------*
 |d#89+7  1    3    | 8-7  5    4    |#89   2    6    |
 |  6    #89   4    | 2    89   1    | 3    5    7    |
 |  5     2    789  | 6    3   a789  | 4    89   1    |
 |------------------+----------------+----------------|
 | *789   4    6    | 3    1    89   | 5    789  2    |
 |  3    #89+7 1    | 5    789  2    |#89   6    4    |
 |  2     5    789  | 4    789  6    | 1    789  3    |
 |------------------+----------------+----------------|
 |  19    6    2    | 19   4    5    | 7    3    8    |
 | c178   3    5    | 178  6   b78   | 2    4    9    |
 |  4     789  789  | 789  2    3    | 6    1    5    |
 *----------------------------------------------------*

- Oddagon(89) #-marked cells => (7)r1c1=(7)r5c2
- If r4c1<>7 => 7’s: abcd => r1c4<>7
03: (7)r1c1==r5c2-r4c1=[7’s: abcd] => r1c4<>7, stte

Thanks for the puzzle!
totuan

[rjamil]

point 3 should be perfectly clear: with 29 templates for 7
...
and 33 templates for 8
...
the 174 instances of the (7 8) combination are made : what could be simpler?

I am giving up now. After re-reading this and this threads of pjb and denis_berthier respectively, concluded that, they both are focused in template removal rather than digit removal, and both end results are, some how, same.

R. Jamil