The New Sudoku Players' Forum

[SteveG48]

Code: Select all

 *-----------*
 |..4|.8.|..9|
 |..6|..2|...|
 |..2|...|3..|
 |---+---+---|
 |3.1|4..|..8|
 |...|..6|...|
 |9..|..5|4.3|
 |---+---+---|
 |..3|.9.|6..|
 |...|5..|7..|
 |48.|.6.|5..|
 *-----------*


[SpAce]

Code: Select all

.--------------.----------------.------------.
|  c57  35   4 | 6    8    b37  | 1  2   9   |
| ac17  39   6 | 39   4-1   2   | 8  47  5   |
|   8   19   2 | 179  5    a147 | 3  47  6   |
:--------------+----------------+------------:
|   3   6    1 | 4    7     9   | 2  5   8   |
|   2   4    5 | 8    3     6   | 9  1   7   |
|   9   7    8 | 12   12    5   | 4  6   3   |
:--------------+----------------+------------:
|  a15  125  3 | 127  9    a147 | 6  8   124 |
|   6   12   9 | 5    124   8   | 7  3   124 |
|   4   8    7 | 123  6    b13  | 5  9   12  |
'--------------'----------------'------------'

Almost Skyscraper:

(1)c16\r27b2 = (13-7)r91c6 = (71)r12c1 => -1 r2c5; stte

note: Show

The pattern can eliminate 1r3c2 as well, but not the way it's written. I opted for the simple form with a single elimination instead of:

(1)c16\r7[r2b2|r3b1] = (13-7)r91c6 = (71)r12c1 => -1 r2c5,r3c2; stte

or:

[(1)r2c1 = r7c1 - r7c6 = (1)r3c6] = (13-7)r91c6 = (71)r12c1 => -1 r2c5,r3c2; stte

[Cenoman]

..4.8...9..6..2.....2...3..3.14....8.....6...9....54.3..3.9.6.....5..7..48..6.5..

Code: Select all

 +------------------+--------------------+------------------+
 |  57   35    4    |  6     8     37    |  1    2    9     |
 |  17   39    6    |  39    4-1   2     |  8    47   5     |
 |  8    19    2    |  79+1  5     14+7  |  3    47   6     |
 +------------------+--------------------+------------------+
 |  3    6     1    |  4     7     9     |  2    5    8     |
 |  2    4     5    |  8     3     6     |  9    1    7     |
 |  9    7     8    |  12    12    5     |  4    6    3     |
 +------------------+--------------------+------------------+
 |  15   25+1  3    |  17+2  9     47+1  |  6    8    24+1  |
 |  6    12    9    |  5     24+1  8     |  7    3    14+2  |
 |  4    8     7    |  23+1  6     13    |  5    9    12    |
 +------------------+--------------------+------------------+

BUG+9
(7-4)r3c6 = (4)r2c5
(1)r3c4|r8c5
(1)r7c269 - r7c1 = (1)r2c1
(1)r9c4 - r79c6 = (1)r3c6
(2-7)r7c4 = r3c4 - (7=41)r3c68
(2)r8c9 - (2=1)r8c2 - r7c1 = (1)r2c1
-------------
=>-1r2c5; ste

[pjb]

Code: Select all

b57     c35      4      | 6      8     d37*    | 1      2      9     
a17      39      6      | 39     14     2      | 8      47     5     
 8       19      2      |e179    5    eg147    | 3     f47     6     
------------------------+----------------------+---------------------
 3       6       1      | 4      7      9      | 2      5      8     
 2       4       5      | 8      3      6      | 9      1      7     
 9       7       8      | 12     12     5      | 4      6      3     
------------------------+----------------------+---------------------
 5-1     125     3      | 127    9     h147*   | 6      8      124   
 6       12      9      | 5      124    8      | 7      3      124   
 4       8       7      | 123    6      13     | 5      9      12     


(1=7)r2c1 - (7=5)r1c1 - (5=3)r1c2 - (3=7*)r1c6 - (7)r3c46 = (7-4)r3c8 = (4)r3c6 - (4|7*=1)r7c6 => -1 r7c1; stte

Phil

[denis_berthier]

After the trivial singles, the PM is:

Code: Select all

+--------------+----------------+------------+
!  57   35   4 ! 6    8    37   ! 1  2   9   !
!  17   139  6 ! 1379 14   2    ! 8  47  5   !
!  8    19   2 ! 179  5    147  ! 3  47  6   !
+--------------+----------------+------------+
!  3    6    1 ! 4    7     9   ! 2  5   8   !
!  2    4    5 ! 8    3     6   ! 9  1   7   !
!  9    7    8 ! 12   12    5   ! 4  6   3   !
+--------------+----------------+------------+
!  15   125  3 ! 127  9    147  ! 6  8   124 !
!  6    12   9 ! 5    124  8    ! 7  3   124 !
!  4    8    7 ! 123  6    13   ! 5  9   12  !
+--------------+----------------+------------+


Elementary rules will do the job:

Code: Select all

***********************************************************************************************
***  SudoRules 20.1.s based on CSP-Rules 2.1.s, config = W+SFin
***  Using CLIPS 6.32-r770
***********************************************************************************************
62 candidates, 210 csp-links and 210 links. Density = 11.11%
hidden-pairs-in-a-row: r2{n3 n9}{c2 c4} ==> r2c4 ≠ 7, r2c4 ≠ 1, r2c2 ≠ 1
biv-chain[3]: r3c8{n7 n4} - c6n4{r3 r7} - b8n7{r7c6 r7c4} ==> r3c4 ≠ 7
hidden-single-in-a-column ==> r7c4 = 7
naked-pairs-in-a-row: r3{c2 c4}{n1 n9} ==> r3c6 ≠ 1
whip[1]: c6n1{r9 .} ==> r8c5 ≠ 1, r9c4 ≠ 1
biv-chain-rc[3]: r8c2{n1 n2} - r8c5{n2 n4} - r7c6{n4 n1} ==> r7c1 ≠ 1, r7c2 ≠ 1
stte

[rjamil]

Two steps:

Code: Select all

 +--------------+-----------------+------------+
 | (57)  35   4 | 6     8    (37) | 1  2   9   |
 | 17    39   6 | 39    14   2    | 8  47  5   |
 | 8     19   2 | 179   5    147  | 3  47  6   |
 +--------------+-----------------+------------+
 | 3     6    1 | 4     7    9    | 2  5   8   |
 | 2     4    5 | 8     3    6    | 9  1   7   |
 | 9     7    8 | 12    12   5    | 4  6   3   |
 +--------------+-----------------+------------+
 | (15)  125  3 | 27-1  9    47-1 | 6  8   124 |
 | 6     12   9 | 5     124  8    | 7  3   124 |
 | 4     8    7 | 123   6    (13) | 5  9   12  |
 +--------------+-----------------+------------+

1) ALS move: 1357 @ r17c1 r19c6 => -1 @ r7c46; and

Code: Select all

 +------------+------------------+--------------+
 | 57  35   4 | 6      8    37   | 1  2     9   |
 | 17  39   6 | 39     14   2    | 8  47    5   |
 | 8   19   2 | 1(7)9  5    17-4 | 3  (47)  6   |
 +------------+------------------+--------------+
 | 3   6    1 | 4      7    9    | 2  5     8   |
 | 2   4    5 | 8      3    6    | 9  1     7   |
 | 9   7    8 | 12     12   5    | 4  6     3   |
 +------------+------------------+--------------+
 | 15  125  3 | 12(7)  9    (47) | 6  8     124 |
 | 6   12   9 | 5      124  8    | 7  3     124 |
 | 4   8    7 | 123    6    13   | 5  9     12  |
 +------------+------------------+--------------+

2) W-Wing: 47 @ r7c6 r3c8 SL 7 @ r37c4 (or ERI 7 @ b2r3c6) => -4 @ r3c6; stte

R. Jamil