Another attempt at a puzzle

Post puzzles for others to solve here.

Another attempt at a puzzle

Postby ixsetf » Wed May 14, 2014 6:43 am

I made another one of these. I think this one might be a bit simpler than the others, but I still haven't figured out how to use the rating tools so it's hard to say for sure.
Code: Select all
 *-----------*
 |..3|...|6..|
 |...|..7|.54|
 |5..|.4.|.98|
 |---+---+---|
 |4..|6..|8..|
 |8.2|...|...|
 |...|8..|9.6|
 |---+---+---|
 |3..|.5.|4..|
 |.7.|1..|..3|
 |...|.2.|...|
 *-----------*

Play/Print this puzzle.

P.S. If anyone could direct me to documentation on how to use SE or other similar tools that would be great.
ixsetf
 
Posts: 50
Joined: 11 May 2014

Re: Another attempt at a puzzle

Postby denis_berthier » Wed May 14, 2014 9:37 am

ixsetf wrote:I made another one of these. I think this one might be a bit simpler than the others,


slightly simpler than the previous one.

Code: Select all
***********************************************************************************************
***  SudoRules 20.0.s based on CSP-Rules 2.0.s, using CLIPS 6.30-r152, config = gW-S
***********************************************************************************************

..3...6.......7.545...4..984..6..8..8.2.........8..9.63...5.4...7.1....3....2....
24 givens, 220 candidates
singlees ==> r5c2 = 6, r1c2 = 4
whip[1]: c8n3{r5 .} ==> r5c7 ≠ 3
whip[1]: c5n7{r5 .} ==> r5c4 ≠ 7
whip[1]: b4n9{r4c3 .} ==> r4c6 ≠ 9, r4c5 ≠ 9
whip[1]: c4n2{r3 .} ==> r3c6 ≠ 2
whip[1]: b1n8{r2c3 .} ==> r2c5 ≠ 8
whip[1]: c4n2{r1 .} ==> r1c6 ≠ 2
whip[1]: r6n5{c3 .} ==> r4c2 ≠ 5, r4c3 ≠ 5
hidden-pairs-in-a-row: r6{n2 n4}{c6 c8} ==> r6c6 ≠ 3, r6c6 ≠ 1
biv-chain[2]: c5n6{r8 r2} - r3n6{c6 c3} ==> r8c3 ≠ 6
whip[3]: b1n7{r1c1 r3c3} - r3n6{c3 c6} - r3n1{c6 .} ==> r1c1 ≠ 1
whip[4]: r3n1{c3 c6} - r3n6{c6 c3} - b1n7{r3c3 r1c1} - r6c1{n7 .} ==> r2c1 ≠ 1
whip[4]: r6c1{n1 n7} - c3n7{r6 r3} - r3n1{c3 c6} - r3n6{c6 .} ==> r4c2 ≠ 1, r6c2 ≠ 1
whip[4]: r3c4{n2 n3} - b3n3{r3c7 r2c7} - c7n2{r2 r8} - r7n2{c8 .} ==> r3c2 ≠ 2
naked-single ==> r3c2 = 1
biv-chain[3]: b2n6{r3c6 r2c5} - r2n1{c5 c7} - c7n3{r2 r3} ==> r3c6 ≠ 3
singles ==> r3c6 = 6, r3c3 = 7, r6c1 = 7, r9c1 = 1, r8c5 = 6, r2c1 = 6, r1c5 = 8
biv-chain[2]: c7n1{r5 r2} - b2n1{r2c5 r1c6} ==> r5c6 ≠ 1
whip[2]: c7n2{r3 r8} - c1n2{r8 .} ==> r1c9 ≠ 2
whip[2]: c7n2{r3 r8} - c1n2{r8 .} ==> r1c8 ≠ 2
whip[1]: b3n2{r3c7 .} ==> r8c7 ≠ 2
singles to the end

943285671
628917354
517346298
439671825
862594137
751832946
396758412
274169583
185423769
denis_berthier
2010 Supporter
 
Posts: 4213
Joined: 19 June 2007
Location: Paris

Re: Another attempt at a puzzle

Postby JC Van Hay » Wed May 14, 2014 11:58 am

After "basics" :
Code: Select all
+------------------------+--------------------+----------------------+
| 1(279)  4       3      | 259    189   1589  | 6        127    127  |
| 16(29)  128(9)  168(9) | (239)  1369  7     | 1(23)    5      4    |
| 5       12      16(7)  | 23     4     136   | 1-7(23)  9      8    |
+------------------------+--------------------+----------------------+
| 4       139     179    | 6      137   1235  | 8        1237   1257 |
| 8       6       2      | 3459   1379  13459 | 157      1347   157  |
| 17      135     157    | 8      137   24    | 9        24     6    |
+------------------------+--------------------+----------------------+
| 3       1289    1689   | 79     5     689   | 4        12678  1279 |
| 69(2)   7       4589   | 1      689   4689  | 5(2)     268    3    |
| 169     1589    145689 | 3479   2     34689 | 157      1678   1579 |
+------------------------+--------------------+----------------------+
7r3c7
3r3c7=3r2c7
2r3c7=2r2c7=2r8c7
7r3c3=============7r1c1
            2r8c1=2r1c1=2r2c1
                  9r1c1=======9r2c123
      3r2c4=============2r2c4=9r2c4
IOW : [3r3c7==2r3c7==7r3c3]-7r3c7; 5 Singles
An easy interpretation : Kraken Cell (239)r2c4 :=> [7r3c3==HP(23)r23c7==3r3c3]-7r3c7; 5 Singles

2r2c4-2r2c1=*[7r3c3=(7-2)r1c1=*2r8c1-2r8c7=HP(23)r23c7]
||
3r2c4-3r2c7=3r3c7
||
9r2c4-9r2c123=(9-7)r1c1=7r3c3

XYZWing(1-29)r18c1.r3c2-2r2c1
ER(2)[r8c1=r1c1-r1c89=r23c7]-(2=5)r8c7-(5=17)r59c7-1r23c7=1r3c1; ste
JC Van Hay
 
Posts: 719
Joined: 22 May 2010

Re: Another attempt at a puzzle

Postby champagne » Wed May 14, 2014 12:17 pm

ixsetf wrote: If anyone could direct me to documentation on how to use SE or other similar tools that would be great.


Sudoku explainer rating is the oldest known rating covering all the field and somehow the reference.

You can find links here

As this program (written in java) is very slow, a "clone" has been created that you can find here

skfr run text files (.txt) with puzzles on a 81 characters lines

the command to rate the file xxx.txt is

skfr -ixxx
champagne
2017 Supporter
 
Posts: 7455
Joined: 02 August 2007
Location: France Brittany

Re: Another attempt at a puzzle

Postby ixsetf » Wed May 14, 2014 9:48 pm

champagne wrote:
ixsetf wrote: If anyone could direct me to documentation on how to use SE or other similar tools that would be great.


Sudoku explainer rating is the oldest known rating covering all the field and somehow the reference.

You can find links here

As this program (written in java) is very slow, a "clone" has been created that you can find here

skfr run text files (.txt) with puzzles on a 81 characters lines

the command to rate the file xxx.txt is

skfr -ixxx


Thanks for the info, but it seems that the links in the patterns game thread are dead. I guess I'll have to find it elsewhere.
ixsetf
 
Posts: 50
Joined: 11 May 2014

re: Sudoku Explainer

Postby Pat » Thu May 15, 2014 9:03 am


    Sudoku Explainer from Nicolas Juillerat
    ( diuf.unifr.ch/people/juillera/Sudoku/Sudoku.html )
    is indeed gone

    but gsf has provided a slightly-modified version,
    see SudokuExplainer.jar at gsf.cococlyde.org/download/sudoku/
    ( provides some extra information for use in the Patterns Game )

    NJrate.BAT wrote:

      java -Xrs -Xmx500m -cp modified-SudokuExplainer.jar diuf.sudoku.test.serate --format=%%r/%%p/%%d --input=puzzles.TXT --output=ratings.TXT

    ( input = 1 puzzle per line )
User avatar
Pat
 
Posts: 4056
Joined: 18 July 2005

Re: re: Sudoku Explainer

Postby JC Van Hay » Thu May 15, 2014 9:45 am

Pat wrote:Sudoku Explainer from Nicolas Juillerat
( diuf.unifr.ch/people/juillera/Sudoku/Sudoku.html )
is indeed gone

Look here : http://diuf.unifr.ch/pai/people/juillera/Sudoku/Sudoku.html

To be noted :
The Sudoku Explainer does not make me coffee!

The Sudoku Explainer is freeware, and its author is lazy. Do not expect new features, and even bug fixes, to be implemented.


Last update: 2006-11-27
JC Van Hay
 
Posts: 719
Joined: 22 May 2010


Return to Puzzles