The New Sudoku Players' Forum

[mith]

Code: Select all

+-------+-------+-------+
| . . . | 3 . 1 | . 4 . |
| . . . | . . . | . 1 . |
| 5 . 9 | . 2 . | . . . |
+-------+-------+-------+
| . 6 5 | . . . | . . . |
| . . 3 | . 5 . | 8 . . |
| . . . | . . . | 9 7 . |
+-------+-------+-------+
| . . . | . 9 . | 3 . 2 |
| . 3 . | . . . | . . . |
| . 8 . | 4 . 6 | . . . |
+-------+-------+-------+
...3.1.4........1.5.9.2.....65........3.5.8........97.....9.3.2.3........8.4.6...

(repost, copied the wrong puzzle before, oops )

[denis_berthier]

.
1) Simplest-first solution, with no pattern of size greater than 3:
***********************************************************************************************
*** SudoRules 20.1.s based on CSP-Rules 2.1.s, config = TyW+W+SFin
*** Download from: https://github.com/denis-berthier/CSP-Rules-V2.1
***********************************************************************************************
15 Singles, leading to the following RESOLUTION STATE:

Code: Select all

   2678      27        678       3         678       1         5         4         9         
   3         47        4678      56789     678       5789      2         1         678       
   5         1         9         678       2         4         67        368       3678     
   12478     6         5         12789     1478      2789      14        23        134       
   1247      9         3         1267      5         27        8         26        146       
   1248      24        148       1268      1468      3         9         7         5         
   1467      5         1467      178       9         78        3         68        2         
   1467      3         1467      12578     178       2578      1467      9         14678     
   9         8         2         4         3         6         17        5         17       
165 candidates, 816 csp-links and 816 links. Density = 6.03%

whip[1]: r9n7{c9 .} ==> r8c9 ≠ 7, r8c7 ≠ 7
whip[1]: r9n1{c9 .} ==> r8c9 ≠ 1, r8c7 ≠ 1
whip[1]: r7n4{c3 .} ==> r8c3 ≠ 4, r8c1 ≠ 4
whip[1]: r6n6{c5 .} ==> r5c4 ≠ 6
whip[1]: c2n7{r2 .} ==> r2c3 ≠ 7, r1c1 ≠ 7, r1c3 ≠ 7
whip[1]: c3n7{r8 .} ==> r7c1 ≠ 7, r8c1 ≠ 7
;;; Resolution state RS1:

Code: Select all

   268       27        68        3         678       1         5         4         9         
   3         47        468       56789     678       5789      2         1         678       
   5         1         9         678       2         4         67        368       3678     
   12478     6         5         12789     1478      2789      14        23        134       
   1247      9         3         127       5         27        8         26        146       
   1248      24        148       1268      1468      3         9         7         5         
   146       5         1467      178       9         78        3         68        2         
   16        3         167       12578     178       2578      46        9         468     
   9         8         2         4         3         6         17        5         17 

hidden-pairs-in-a-row: r8{n2 n5}{c4 c6} ==> r8c6 ≠ 8, r8c6 ≠ 7, r8c4 ≠ 8, r8c4 ≠ 7, r8c4 ≠ 1
hidden-pairs-in-a-row: r2{n5 n9}{c4 c6} ==> r2c6 ≠ 8, r2c6 ≠ 7, r2c4 ≠ 8, r2c4 ≠ 7, r2c4 ≠ 6
t-whip[2]: r8n8{c9 c5} - b2n8{r2c5 .} ==> r3c9 ≠ 8
biv-chain-rc[3]: r4c7{n1 n4} - r8c7{n4 n6} - r8c1{n6 n1} ==> r4c1 ≠ 1
biv-chain[3]: r5n6{c9 c8} - r7c8{n6 n8} - b3n8{r3c8 r2c9} ==> r2c9 ≠ 6
whip[1]: b3n6{r3c9 .} ==> r3c4 ≠ 6
hidden-single-in-a-column ==> r6c4 = 6
whip[1]: r6n2{c2 .} ==> r4c1 ≠ 2, r5c1 ≠ 2
swordfish-in-columns: n8{c4 c6 c8}{r3 r4 r7} ==> r4c5 ≠ 8, r4c1 ≠ 8
whip[1]: r4n8{c6 .} ==> r6c5 ≠ 8
hidden-pairs-in-a-block: b5{n8 n9}{r4c4 r4c6} ==> r4c6 ≠ 7, r4c6 ≠ 2, r4c4 ≠ 7, r4c4 ≠ 2, r4c4 ≠ 1
stte

2) Single step solution, starting from RS1:
whip[6]: r5n6{c9 c8} - r7c8{n6 n8} - r8c9{n8 n6} - r8c1{n6 n1} - r5n1{c1 c4} - r7n1{c4 .} ==> r5c9 ≠ 4
stte

[SteveG48]

Code: Select all

 *---------------------------------------------------------------------*
 | 268    27     68     | 3      d678    1      | 5      4      9      |
 | 3      47     468    | 59     d678    59     | 2      1      678    |
 | 5      1      9      |e678     2      4      | 67    f368    3678   |
 *----------------------+-----------------------+----------------------|
 | 12478  6      5      | 12789 bc1478   2789   |c14     23    c134    |
 |a1247   9      3      |a127     5    ah27     | 8      6-2   b146    |
 | 1248   24     148    | 1268    1468   3      | 9      7      5      |
 *----------------------+-----------------------+----------------------|
 | 146    5      1467   | 178     9     h78     | 3     g68     2      |
 | 16     3      167    | 12578   178    2578   | 46     9      468    |
 | 9      8      2      | 4       3      6      | 17     5      17     |
 *---------------------------------------------------------------------*


(2=147)r5c146 - ((1|7)r4c5)|(4r5c9) = (48)r4c579 - 8r12c5 = r3c4 - r3c8 = r7c8 - (8=72)r57c6 => -2 r5c8 ; stte

[jco]

Hello,

After basics,

Code: Select all

  1      2   3      4      5     6      7   8    9
.-----------------+-------------------+---------------.
| 268    27  68   | 3      678   1    | 5   4    9    | 1
| 3      47  468  | 59     678   59   | 2   1    678  | 2
| 5      1   9    | 678    2     4    | 67  38-6 3678 | 3
|-----------------+-------------------+---------------|
| 12478  6   5    | 12789  1478  289-7| 14  23   134  | 4
| 147-2  9   3    | 17-2   5    b27   | 8  a26   146  | 5
| 1248   24  148  | 1268   1468  3    | 9   7    5    | 6
|-----------------+-------------------+---------------|
| 146    5   1467 | 17-8   9    c78   | 3  d68   2    | 7
| 16     3   167  | 25     178   25   | 46  9    468  | 8
| 9      8   2    | 4      3     6    | 17  5    17   | 9
'-----------------+-------------------+---------------'

(6=2)r5c8-(2=7)r5c6-(7=8)r7c6-(8=6)r7c8 Loop => -2 r5c14, -7 r4c6, -8 r7c4,-6 r3c8; lclste

Regards,
jco