Entering sudokus in Identification service

ChPicard

Hi

This night, my computer found 250 17 given sudokus and I want to verify if they are in the Gordon Royle's list but it is fastidious.
Is it possible to edit an HTML file with links to ask the database easily?

Like in the Andrew Stuart web site:

Click on this link:
http://www.scanraid.com/sudoku.htm?bd=970304065020506080000000000005802900002040300008705100000000000060208030840109027

Thank you

Jean-Pierre

gsf

coloin · Posted: Thu Apr 10, 2008 4:46 pm Post subject:

The way I did it [owing to being incapable of writing any program][maybe I shouldnt post here !]

Canicolize the complete list of Gfroyles 17s
from http://people.csse.uwa.edu.au/gordon/sudoku17

Canicolize your "new" 17s courtesy of gsf.

The function is C:\ sudoku -qFN -f'%#0c' file.txt > file.can

Now using a comercial text editor [boxer text editor] [boxersoftware.com]

Copy Gordons list twice
Copy your new list once

You can easily find the "unique files" with the press of a button

C

ChPicard

coloin · Posted: Thu Apr 10, 2008 9:10 pm Post subject:

Not good news Im afraid

Here are your canonicalized puzzles using gsfs prog.

'000400080050009000700000000014800000000600000000000207060000040000002600900007000'
'000400080050009000700000000014800000000600000000000207060000040000002600900007000'
'003000000000080100090200000000070000810040000000000035070000800002300000000500007'
'003000000000080100090200000000070000810040000000000035070000800002300000000500007'
'003000000000080100000200060000070000810040000000000035070000800002300000000500007'
'003000000000080100000200060000070000810040000000000035070000800002300000000500007'
'003000009000080100000200000000070000810040000000000035070000800002300000000500007'
'003000009000080100000200000000070000810040000000000035070000800002300000000500007'
'003006000000080100000200000000070000810040000000000035070000800002300000000500007'
'003006000000080100000200000000070000810040000000000035070000800002300000000500007'
'003000009000080100000200000000070000810040000000000035070000800002300000000500007'
'003000009000080100000200000000070000810040000000000035070000800002300000000500007'
'003006000000080100000200000000070000810040000000000035070000800002300000000500007'
'003006000000080100000200000000070000810040000000000035070000800002300000000500007'
'003000000000080100090200000000070000810040000000000035070000800002300000000500007'
'003000000000080100090200000000070000810040000000000035070000800002300000000500007'
'003000000000080100000200060000070000810040000000000035070000800002300000000500007'
'003000000000080100000200060000070000810040000000000035070000800002300000000500007'
'003000000006080100000200000000070000810040000000000035070000800002300000000500007'
'003000000006080100000200000000070000810040000000000035070000800002300000000500007'
'003000000006080100000200000000070000810040000000000035070000800002300000000500007'
'003000000006080100000200000000070000810040000000000035070000800002300000000500007'
'003000000000089100000200000000070000810040000000000035070000800002300000000500007'
'003000000000089100000200000000070000810040000000000035070000800002300000000500007'
'003000000000089100000200000000070000810040000000000035070000800002300000000500007'
'003000000000089100000200000000070000810040000000000035070000800002300000000500007'
'003000000000080100000200000000070000810040000000000035079000800002300000000500007'
'003000000000080100000200000000070000810040000000000035079000800002300000000500007'
'003000000000080100000200000000070000810040000000000035079000800002300000000500007'
'003000000000080100000200000000070000810040000000000035079000800002300000000500007'
'003000000000080100000200000000070000810040000000000035070060800002300000000500007'
'003000000000080100000200000000070000810040000000000035070060800002300000000500007'
'003000000000080100000200000000070000810040000000000035070060800002300000000500007'
'003000000000080100000200000000070000810040000000000035070060800002300000000500007'
'003000000000080100000200000000070000810040000000000035070000800002300600000500007'
'003000000000080100000200000000070000810040000000000035070000800002300600000500007'
'003000000000080100000200000000070000810040000000000035070000800002300600000500007'
'003000000000080100000200000000070000810040000000000035070000800002300600000500007'
'003000000000080100000200000000070000810040000000000035070000800002390000000500007'
'003000000000080100000200000000070000810040000000000035070000800002390000000500007'
'003000000000080100000200000000070000810040000000000035070000800002390000000500007'
'003000000000080100000200000000070000810040000000000035070000800002390000000500007'
'003000000000080100000200000000070000810040000000000035070000800002300000600500007'
'003000000000080100000200000000070000810040000000000035070000800002300000600500007'
'003000000000080100000200000000070000810040000000000035070000800002300000600500007'
'003000000000080100000200000000070000810040000000000035070000800002300000600500007'
'003000000000080100000200000000070000810040000000000035070000800002300000000500097'
'003000000000080100000200000000070000810040000000000035070000800002300000000500097'
'003000000000080100000200000000070000810040000000000035070000800002300000000500097'
'003000000000080100000200000000070000810040000000000035070000800002300000000500097'
'003000000000080100000200000000070900810040000000000035070000800002300000000500007'
'003000000000080100000200000000070900810040000000000035070000800002300000000500007'
'003000000000080100000200000000070900810040000000000035070000800002300000000500007'
'003000000000080100000200000000070900810040000000000035070000800002300000000500007'
'003000000000080100000200000000670000810040000000000035070000800002300000000500007'
'003000000000080100000200000000670000810040000000000035070000800002300000000500007'
'003000000000080100000200000000670000810040000000000035070000800002300000000500007'
'003000000000080100000200000000670000810040000000000035070000800002300000000500007'
'000400080000009000700000000014800000000600000005000207060000040000002600900007000'
'003000000000080100000200000000070000810040000900000035070000800002300000000500007'
'003000000000080100000200000000070000810040000900000035070000800002300000000500007'
'000400080000009000700000000014800000000600000005000207060000040000002600900007000'
'003000000000080100000200000000070000810040000900000035070000800002300000000500007'
'003000000000080100000200000000070000810040000900000035070000800002300000000500007'
'003000000000080100000200000000070000810040000060000035070000800002300000000500007'
'003000000000080100000200000000070000810040000060000035070000800002300000000500007'
'003000000000080100000200000000070000810040000060000035070000800002300000000500007'
'003000000000080100000200000000070000810040000060000035070000800002300000000500007'
'003000000000080100000200000000070000810040006000000035070000800002300000000500007'
'003000000000080100000200000000070000810040006000000035070000800002300000000500007'
'003000000000080100000200000000070000810040006000000035070000800002300000000500007'
'003000000000080100000200000000070000810040006000000035070000800002300000000500007'
'003000000000080100000200000000070000810940000000000035070000800002300000000500007'
'003000000000080100000200000000070000810940000000000035070000800002300000000500007'
'003000000000080100000200000000070000810940000000000035070000800002300000000500007'
'003000000000080100000200000000070000810940000000000035070000800002300000000500007'

Many duplicates and im afraid none are new

Keep trying !

Regards

C

gsf

the list of 76 17s has only 20 essentially different puzzles
all of them are in gordon's list

Adak · Posted: Sun Apr 13, 2008 8:32 am Post subject:

I understand that generating all the canonical essential grids for the 17's has been done, correct? I don't remember if it was Jarvis or Ed Russell, but one paper mentioned that these grids could be generated, after all the reductions had been made, in just a few hours, with just one PC. Cool

What remains to be done is to create the discrete grids from the can. essential grids, and test them for solvability and the number of solutions?

The grids that are created from the same essential grid, don't all have the same qualities of being solvable and the same number of solutions, then?

I thought they might share those attributes.

The grid generator is getting a quick re-write. Seems my "human" way of moving the givens around the board, made the computer hiss, moan, and throw a fit.

Generally, I like to program the computer to mimic a job the same way I would do it by hand (since I'm lazy, that usually works out to be pretty efficient). In this case, the machine needs to do this, in it's own natural non-human, way.

coloin · Posted: Mon Apr 14, 2008 6:46 pm Post subject:

Indeed we did try to look at what was special about the grids which had 17-puzzles.

[solution grids = grids = solution matrix = 81 clue solution]
[puzzle=puzzle]

Nothing was specific - the incidence of all the bands was described as very similar, although the MCN tended to be lower, on average, in the grids with 17-puzzles.

However, since then we do know that the bands with a repeating minirow, minlex bands 1-30 are twice as common.

Every grid solution has 6 of these bands.

However the problem, which I dont think you have appreciated, is given a grid which is known to have a 17-puzzle, finding this 17-puzzle is actually very difficult. It is even more difficult in the 17-puzzles found more recently as they dont tend to have many 18s [if any] and 19s etc with the same grid solution. I tried it recently thinking it would be a "good game to play" - search for a 17 game. I couldnt do it easily anyway.

C

Adak · Posted: Mon Apr 14, 2008 11:12 pm Post subject:

@coloin, You're saying that taking an "essential" canonical grid, that it's difficult to "flesh out" the various grid combinations that it includes?

I'm surprised someone hasn't coded up a little utility to handle that - that makes the canonical grid data more enjoyable for everyone.

gsf · Posted: Tue Apr 15, 2008 4:56 am Post subject:

coloin · Posted: Tue Apr 15, 2008 8:18 am Post subject: