catalog of all essentially different grids

Everything about Sudoku that doesn't fit in one of the other sections

catalog of all essentially different grids

Postby gsf » Wed Apr 22, 2009 11:53 pm

I finally added sudoku (solution) grid compression (sudz) to my solver version 2009-04-15
this is the method mentioned a year or so ago
it compresses the 5472730538 grids into 5.7Gi bytes
(slightly larger than originally posted because it now uses bzip2 as one compression phase)
this is just under 9 bits per grid when averaged over the entire catalog
there are 416 bands, and earlier bands compress better than later bands

you can test the compression by generating band 299 (contains 133302 grids) into the file 299.sudz
Code: Select all
sudoku -gb299 -f '%#ec' -o 299.sudz

this may take a few minutes
299.sudz should be 346952 bytes

then you can do some interesting computations on the grids
like counting the number of grids with non-trivial automorphisms
Code: Select all
sudoku -e '(%#An)>1' -f- -Ff%#an/%n 299.sudz

this should print
Code: Select all
97/133302


you could generate all 416 bands yourself, but that takes about 2 weeks @2Ghz

5.7Gi is too large to post, and probably way too painful to download even if it could be posted

so I'm thinking of a pay it forward scheme where I mail an 8Gi
usb stick containing the catalog to one recipient, and that recipient mails it to the next etc.

I assume it will mostly be forum oldies who want the catalog
we can exchange snail mail addrs via pm

post here if you want on the list
include your country so the mailing can be optimized for distance
gsf
2014 Supporter
 
Posts: 7306
Joined: 21 September 2005
Location: NJ USA

Re: catalog of all essentially different grids

Postby udosuk » Thu Apr 23, 2009 7:24 am

Thanks for the great computational contribution again!:)

gsf wrote:5.7Gi is too large to post, and probably way too painful to download even if it could be posted

It may be too demanding for you to upload if you don't have an ISP with good upstream speed and bandwidth, but nowadays with all the movies (pirated or not) sharing 5.7GB is not that formiddable at all. BitTorrent or Megaupload are 2 pretty viable options coming to mind.

You can use softwares such as WinRar or HJSplit to break the data into chunks of 500MB (12 files) and upload them to Megaupload (or other free website supporting large files downloading). Your snail mailing scheme is also viable, but I'll give it a pass because I don't need the data that urgently.

Just giving some suggestions here. Please pardon me.:)
udosuk
 
Posts: 2698
Joined: 17 July 2005

Postby JPF » Thu Apr 23, 2009 11:29 am

Thanks gsf,

After the test :
Code: Select all
sudoku -gb299 -f "%%#ec" -o 299.sudz

...using Windows XP, I get the file 299.sudz with 346952 bytes.

What is the next step to list the 133302 grids ?

JPF
JPF
2017 Supporter
 
Posts: 3752
Joined: 06 December 2005
Location: Paris, France

Postby gsf » Thu Apr 23, 2009 2:31 pm

JPF wrote:After the test :
Code: Select all
sudoku -gb299 -f "%%#ec" -o 299.sudz

...using Windows XP, I get the file 299.sudz with 346952 bytes.

What is the next step to list the 133302 grids ?

299.sudz can be used as an input file to my solver
so you can use -f... to format the output
the sudz file stores the number of non-trivial automorphisms for each grid,
and %#An lists that value (without recomputing it)
and (%#An) accesses the value in -e... expressions
so you can use this to list the 97 grids in band 299 with non-trivial automorphisms
Code: Select all
sudoku -f"%v # %#An" -e"(%#An)>1" 299.sudz

modulo doubling % for windows
gsf
2014 Supporter
 
Posts: 7306
Joined: 21 September 2005
Location: NJ USA

Re: catalog of all essentially different grids

Postby dukuso » Tue May 25, 2010 8:15 am

isn't it possible to generate the 5.7GB by a fast program ?
So you post a program instead of a compressed file.

It needn't generate all grids, could generate e.g. ~90%
Then the other 10% are added as a file

it could post (rare) doublettes, then another list is added to remove them again


suppose, you just generate 6e9 random grids (how fast is it ?)
then a list of the doublettes and a list of the missing grids

hmm, we want the grids in "canonical" form

just generating all 5.4e9 grids isn't fast enough ?
dukuso
 
Posts: 479
Joined: 25 June 2005

Re: catalog of all essentially different grids

Postby Pat » Tue May 25, 2010 1:05 pm

dukuso wrote:isn't it possible to generate the 5.7GB by a fast program ?

      how fast ?

      gsf wrote:you could generate all 416 bands yourself,
      but that takes about 2 weeks @2Ghz
User avatar
Pat
 
Posts: 3423
Joined: 18 July 2005

Re: catalog of all essentially different grids

Postby gsf » Tue May 25, 2010 1:13 pm

dukuso wrote:isn't it possible to generate the 5.7GB by a fast program ?
So you post a program instead of a compressed file.

well I did half of that, I posted a program (my solver) that does the generation
but it takes between 1 and two weeks to generate them all

It needn't generate all grids, could generate e.g. ~90%
Then the other 10% are added as a file

it could post (rare) doublettes, then another list is added to remove them again

a good idea, but the algorithm I used doesn't come across the girds that way
they are produced in canonical order and the autopmorphic grids are distributed throughout the ordering
by producing the grids in order the check for duplicates comes basically for free

suppose, you just generate 6e9 random grids (how fast is it ?)
then a list of the doublettes and a list of the missing grids

with my solver -gg generates ~7000 grids/sec/Ghz
or ~20,000 grids/sec on my 3.17 Ghz pc
=> ~3.3 days to generate 6.7e9 random grids

with canonicalization it drops to ~18000 grids/sec
=> ~3.7 days

sorting out the dups in one batch would be fast
but then how do you know what grids are missing?

hmm, we want the grids in "canonical" form

just generating all 5.4e9 grids isn't fast enough ?

well based on the back of the envelope calculations above
calculating all grids in order with automorphisms included approx doubles the processing time of generating that many random grids

I'm sure there's room for tweaking both algorithm implementations
but I think a different algorithm would be needed to to get it down to say ~1day for all grids
I can post more detail on what I did if you want to try a different approach
gsf
2014 Supporter
 
Posts: 7306
Joined: 21 September 2005
Location: NJ USA

Re: catalog of all essentially different grids

Postby dukuso » Tue May 25, 2010 4:28 pm

list some hundred of grid-transformations=operations , maps to manipulate a valid grid so to obtain another
usually non-equivalent grid.

Sort them by their "success" to generate many non-equivalent puzzles in a row.

Apply one of these operations to the initial grid.
List the index of the first operation in the list that produces a new grid
(upto equivalence).

Now you have a equence of 5.4e9 operation-indices instead of a list
of 5.4e9 bypes of compressed grids.

The average length in bits of such an index should be ~3 bits per operation,
I estimate
dukuso
 
Posts: 479
Joined: 25 June 2005

Re: catalog of all essentially different grids

Postby dukuso » Tue May 25, 2010 7:14 pm

trying to recall the sudoku-stuff , which I didn't much follow since 4.5 years,
I reread this:

http://www.setbb.com/sudoku/viewtopic.php?p=1346


> 11555445688 sudokugrids,
> by permuting minicolumns modulo permuting rows in a band,
> at least one from each S-class. They can be generated in about
> 5 hours but storing them requires too much memory.

memory got more plentiful and cheap in the last years.
dukuso
 
Posts: 479
Joined: 25 June 2005

Re: catalog of all essentially different grids

Postby dukuso » Wed May 26, 2010 8:54 am

OK, I think, I should try your solver ... is it available ?

so you generate 416 compressed files of total size 5.7GB
and each of these can be expanded to give sudokugrids,
one from each S-class in some canonical form.

canonical = lexicographical minimal ?

the 416 files represent the S-classes with that chute (=3*9 or 9*3 subsudokugrid)
present among the 6 chutes and with minimal index ?

e.g. a sudokugrid with chutes 145,232,339 , 203,280,407
would go into file "145" ?

is your enumeration of 416-gangsters lexicographical ? (as is mine here:


the 416 equivalence classes of 3*9 sudokugrid-bands

3 rows, index from the 44-gang , I don't remember what the 3rd column stands for
other than in the 44gang above here we list 3 rows and not 9 columns
----------------------------------------
123456789456789123789123456, 1 , 72
123456789456789123789123465, 2 , 1944
123456789456789123789123645, 4 , 1296
123456789456789123789132465, 7 , 648
123456789456789123789132564, 11 , 7776
123456789456789123789213465, 8 , 3888
123456789456789123789231564, 41 , 1296
123456789456789123789231645, 42 , 432
123456789456789123798132546, 15 , 3888
123456789456789123798132564, 15 , 3888
123456789456789123798213564, 32 , 3888
123456789456789123798213654, 38 , 1296
123456789456789123798231564, 34 , 3888
123456789456789123798312564, 33 , 3888
123456789456789123879213546, 7 , 648
123456789456789123897231564, 44 , 144
123456789456789123897231645, 41 , 1296
123456789456789132789123546, 3 , 3888
123456789456789132789132654, 8 , 3888
123456789456789132789213654, 17 , 3888
123456789456789132789231456, 13 , 3888
123456789456789132789231564, 33 , 3888
123456789456789132789321564, 18 , 7776
123456789456789132798213456, 11 , 7776
123456789456789132798231546, 28 , 7776
123456789456789132879231564, 32 , 3888
123456789456789231789123645, 5 , 432
123456789456789231789132546, 17 , 3888
123456789456789231789231564, 42 , 432
123456789456789231789312456, 40 , 432
123456789456789231798312654, 38 , 1296
123456789457189236689237514, 33 , 3888
123456789457189236689273541, 31 , 7776
123456789457189236689327154, 15 , 3888
123456789457189236689327514, 11 , 7776
123456789457189236689327541, 11 , 7776
123456789457189236689372451, 22 , 3888
123456789457189236689372514, 31 , 3888
123456789457189236689723154, 11 , 7776
123456789457189236689723415, 18 , 7776
123456789457189236689723451, 11 , 7776
123456789457189236689732514, 32 , 7776
123456789457189236689732541, 32 , 7776
123456789457189236698237145, 28 , 7776
123456789457189236698237415, 28 , 7776
123456789457189236698273145, 38 , 3888
123456789457189236698273415, 38 , 7776
123456789457189236698273541, 33 , 3888
123456789457189236698327145, 32 , 7776
123456789457189236698372145, 31 , 7776
123456789457189236698372541, 42 , 3888
123456789457189236869237415, 33 , 7776
123456789457189236869327514, 27 , 3888
123456789457189236869372415, 30 , 1296
123456789457189236869732145, 31 , 7776
123456789457189236869732451, 18 , 7776
123456789457189236869732541, 32 , 7776
123456789457189236896237145, 33 , 7776
123456789457189236896237415, 33 , 7776
123456789457189236896237514, 36 , 7776
123456789457189236896372145, 30 , 3888
123456789457189236896372154, 37 , 7776
123456789457189236896723451, 41 , 3888
123456789457189236896723514, 28 , 3888
123456789457189236896732415, 31 , 7776
123456789457189236968237154, 15 , 7776
123456789457189236968273145, 38 , 7776
123456789457189236968327154, 32 , 7776
123456789457189236968327514, 23 , 7776
123456789457189236968372514, 42 , 1296
123456789457189236968732154, 11 , 7776
123456789457189236968732541, 23 , 7776
123456789457189236986237514, 33 , 7776
123456789457189236986273541, 31 , 7776
123456789457189236986327154, 15 , 7776
123456789457189236986327415, 18 , 7776
123456789457189236986327451, 15 , 7776
123456789457189236986372154, 22 , 3888
123456789457189236986372451, 22 , 7776
123456789457189236986372514, 31 , 7776
123456789457189263689237145, 33 , 7776
123456789457189263689237514, 41 , 7776
123456789457189263689273154, 26 , 3888
123456789457189263689273415, 25 , 7776
123456789457189263689273451, 26 , 7776
123456789457189263689273514, 27 , 7776
123456789457189263689723415, 17 , 7776
123456789457189263689732514, 35 , 7776
123456789457189263698327415, 34 , 7776
123456789457189263698372154, 35 , 7776
123456789457189263698723451, 35 , 7776
123456789457189263698732154, 35 , 7776
123456789457189263698732415, 33 , 7776
123456789457189263698732541, 35 , 7776
123456789457189263869273145, 22 , 7776
123456789457189263869273451, 28 , 3888
123456789457189263869273514, 28 , 7776
123456789457189263869327514, 23 , 7776
123456789457189263869372415, 37 , 7776
123456789457189263869372451, 32 , 3888
123456789457189263869723415, 25 , 7776
123456789457189263869732145, 36 , 7776
123456789457189263869732451, 36 , 7776
123456789457189263896372145, 34 , 7776
123456789457189263896723541, 28 , 3888
123456789457189263896732154, 37 , 7776
123456789457189263896732451, 37 , 7776
123456789457189263968237514, 37 , 7776
123456789457189263968237541, 37 , 7776
123456789457189263968273154, 33 , 7776
123456789457189263968273415, 37 , 7776
123456789457189263968273451, 33 , 3888
123456789457189263968327145, 39 , 7776
123456789457189263968327514, 20 , 7776
123456789457189263968372145, 43 , 3888
123456789457189263968372451, 31 , 7776
123456789457189263968723451, 31 , 7776
123456789457189263968723514, 22 , 7776
123456789457189263968732451, 33 , 7776
123456789457189263986237514, 35 , 7776
123456789457189263986327514, 9 , 7776
123456789457189263986372451, 20 , 3888
123456789457189263986372541, 30 , 7776
123456789457189263986723514, 15 , 3888
123456789457189263986732154, 22 , 7776
123456789457189263986732541, 34 , 7776
123456789457189326689237154, 11 , 7776
123456789457189326689237451, 11 , 7776
123456789457189326689273154, 11 , 7776
123456789457189326689273451, 11 , 7776
123456789457189326689273514, 42 , 7776
123456789457189326689327154, 7 , 1296
123456789457189326689372541, 33 , 7776
123456789457189326689723145, 11 , 7776
123456789457189326689732415, 36 , 7776
123456789457189326689732541, 33 , 7776
123456789457189326698237541, 31 , 7776
123456789457189326698372154, 42 , 3888
123456789457189326869237514, 31 , 7776
123456789457189326869237541, 31 , 7776
123456789457189326869273451, 36 , 7776
123456789457189326869273541, 31 , 7776
123456789457189326869327451, 11 , 7776
123456789457189326869723541, 33 , 7776
123456789457189326869732415, 31 , 3888
123456789457189326896237415, 31 , 7776
123456789457189326986273145, 33 , 7776
123456789457189326986327451, 7 , 7776
123456789457189362689237541, 33 , 7776
123456789457189362689327154, 15 , 3888
123456789457189362689327415, 11 , 7776
123456789457189362689723154, 15 , 7776
123456789457189362689723451, 15 , 7776
123456789457189362689723514, 18 , 7776
123456789457189362698237415, 18 , 7776
123456789457189362698327514, 35 , 7776
123456789457189362869237514, 32 , 3888
123456789457189362869327415, 23 , 3888
123456789457189362896372451, 25 , 7776
123456789457189362968372514, 31 , 3888
123456789457189362986237514, 31 , 7776
123456789457189362986273154, 27 , 7776
123456789457189623689273541, 23 , 3888
123456789457189623689327154, 7 , 3888
123456789457189623689372514, 32 , 3888
123456789457189623689723154, 6 , 3888
123456789457189623689723415, 12 , 3888
123456789457189623689723451, 6 , 1296
123456789457189623689723514, 10 , 3888
123456789457189623689732415, 31 , 3888
123456789457189623698237154, 32 , 7776
123456789457189623698273145, 36 , 7776
123456789457189623698273514, 35 , 7776
123456789457189623698327514, 35 , 7776
123456789457189623698327541, 35 , 7776
123456789457189623698372154, 33 , 7776
123456789457189623698723145, 31 , 7776
123456789457189623698723154, 9 , 7776
123456789457189623698723514, 37 , 7776
123456789457189623698732154, 31 , 3888
123456789457189623698732514, 43 , 3888
123456789457189623869273145, 20 , 3888
123456789457189623869273451, 24 , 3888
123456789457189623869372415, 37 , 7776
123456789457189623869732451, 36 , 7776
123456789457189623869732541, 35 , 7776
123456789457189623896237451, 24 , 3888
123456789457189623896237514, 20 , 1296
123456789457189623896327145, 23 , 7776
123456789457189623896327451, 14 , 7776
123456789457189623896327514, 23 , 7776
123456789457189623896723154, 11 , 7776
123456789457189623896723415, 42 , 7776
123456789457189623896723541, 33 , 7776
123456789457189623896732145, 33 , 7776
123456789457189623896732451, 32 , 7776
123456789457189623896732514, 37 , 7776
123456789457189623968327415, 37 , 7776
123456789457189623968723154, 15 , 7776
123456789457189623986327145, 10 , 3888
123456789457189623986327415, 10 , 3888
123456789457189623986327451, 6 , 1296
123456789457189623986327514, 12 , 3888
123456789457189623986372145, 37 , 7776
123456789457189623986723145, 11 , 7776
123456789457189623986732415, 32 , 7776
123456789457189632689237145, 33 , 3888
123456789457189632689273154, 25 , 7776
123456789457189632689327154, 15 , 3888
123456789457189632689327514, 18 , 7776
123456789457189632689372145, 32 , 7776
123456789457189632689723415, 9 , 7776
123456789457189632689723514, 19 , 7776
123456789457189632689732415, 31 , 3888
123456789457189632689732541, 37 , 7776
123456789457189632698372145, 11 , 7776
123456789457189632698732541, 21 , 7776
123456789457189632869327145, 27 , 7776
123456789457189632869327154, 35 , 7776
123456789457189632896237145, 17 , 7776
123456789457189632896237415, 17 , 7776
123456789457189632896273451, 36 , 7776
123456789457189632896327451, 25 , 7776
123456789457189632896372415, 9 , 7776
123456789457189632896732541, 25 , 7776
123456789457189632968237415, 29 , 7776
123456789457189632968273154, 30 , 3888
123456789457189632968327154, 36 , 7776
123456789457189632968327415, 25 , 7776
123456789457189632968372145, 31 , 3888
123456789457189632986237154, 12 , 7776
123456789457189632986237451, 12 , 3888
123456789457189632986273415, 35 , 7776
123456789457189632986327145, 14 , 7776
123456789457189632986372154, 25 , 7776
123456789457198236689237451, 32 , 7776
123456789457198236689273154, 36 , 7776
123456789457198236689327154, 34 , 3888
123456789457198236689372154, 35 , 7776
123456789457198236698723415, 14 , 7776
123456789457198236698732415, 24 , 7776
123456789457198236869273541, 32 , 7776
123456789457198236869723154, 37 , 7776
123456789457198236869732145, 33 , 7776
123456789457198236896273154, 35 , 7776
123456789457198236896372541, 30 , 3888
123456789457198236968237451, 32 , 7776
123456789457198236986237154, 36 , 7776
123456789457198236986237415, 37 , 7776
123456789457198236986273415, 35 , 7776
123456789457198236986723415, 41 , 7776
123456789457198236986732541, 34 , 3888
123456789457198263689732154, 27 , 7776
123456789457198263689732541, 23 , 7776
123456789457198263698327415, 15 , 7776
123456789457198263869327451, 32 , 7776
123456789457198263896237154, 41 , 7776
123456789457198263896237451, 41 , 7776
123456789457198263896327514, 11 , 7776
123456789457198263896732514, 32 , 7776
123456789457198263968273145, 35 , 7776
123456789457198263986237514, 36 , 7776
123456789457198263986327415, 35 , 7776
123456789457198263986732541, 32 , 7776
123456789457198326698732451, 33 , 7776
123456789457198326968723514, 35 , 7776
123456789457198326986372145, 25 , 7776
123456789457198362689237154, 38 , 2592
123456789457198362689237451, 38 , 7776
123456789457198362689723415, 11 , 7776
123456789457198362869273451, 38 , 1296
123456789457198362896732154, 36 , 7776
123456789457198623689237154, 17 , 7776
123456789457198623698237451, 33 , 7776
123456789457198623698372145, 24 , 7776
123456789457198623698372514, 35 , 7776
123456789457198623698732154, 31 , 7776
123456789457198623869327415, 36 , 3888
123456789457198623896237154, 25 , 7776
123456789457198623896237514, 27 , 3888
123456789457198623896273415, 27 , 7776
123456789457198623896723541, 18 , 7776
123456789457198623896732145, 11 , 7776
123456789457198623896732541, 36 , 7776
123456789457198623968237145, 18 , 7776
123456789457198623968372145, 37 , 7776
123456789457198623968723145, 35 , 7776
123456789457198623968732154, 31 , 7776
123456789457198623986732541, 25 , 7776
123456789457198632689327154, 32 , 7776
123456789457198632689732154, 31 , 3888
123456789457198632698237154, 42 , 3888
123456789457198632698327541, 11 , 7776
123456789457198632869237415, 36 , 3888
123456789457198632869237451, 35 , 7776
123456789457198632869327541, 31 , 7776
123456789457198632869372154, 43 , 1296
123456789457198632869723154, 35 , 7776
123456789457198632896237145, 14 , 7776
123456789457198632896237514, 23 , 7776
123456789457198632986237145, 24 , 3888
123456789457198632986237154, 27 , 3888
123456789457198632986372145, 36 , 7776
123456789457198632986732514, 37 , 7776
123456789457289136689713542, 34 , 7776
123456789457289136869731254, 19 , 7776
123456789457289136896371254, 39 , 7776
123456789457289136968137452, 14 , 7776
123456789457289136968137542, 24 , 7776
123456789457289163689173452, 40 , 432
123456789457289163689713254, 21 , 3888
123456789457289163698137524, 39 , 7776
123456789457289163698173542, 38 , 3888
123456789457289163698317254, 39 , 3888
123456789457289163698713254, 43 , 3888
123456789457289163869317245, 34 , 7776
123456789457289163896137425, 24 , 7776
123456789457289163896317524, 37 , 7776
123456789457289163896731254, 39 , 7776
123456789457289163968317245, 44 , 1296
123456789457289163968731542, 39 , 3888
123456789457289316986137452, 25 , 7776
123456789457289316986137542, 23 , 7776
123456789457289361869713524, 35 , 7776
123456789457289361986173452, 27 , 3888
123456789457289613689173254, 21 , 3888
123456789457289613689317425, 31 , 7776
123456789457289613689371245, 37 , 7776
123456789457289613689371254, 24 , 3888
123456789457289613698317254, 19 , 7776
123456789457289613869173254, 25 , 7776
123456789457289613869173452, 22 , 3888
123456789457289613869713254, 14 , 7776
123456789457289613869731524, 43 , 3888
123456789457289613896317245, 10 , 7776
123456789457289613896731254, 34 , 3888
123456789457289613968731425, 37 , 7776
123456789457289613986137245, 26 , 7776
123456789457289613986173254, 23 , 7776
123456789457289613986173542, 23 , 3888
123456789457289613986731245, 38 , 3888
123456789457289631689137254, 14 , 7776
123456789457289631689173245, 43 , 1296
123456789457289631689713245, 37 , 7776
123456789457289631689731254, 9 , 7776
123456789457289631698371245, 32 , 3888
123456789457289631698371452, 31 , 7776
123456789457289631698713452, 35 , 7776
123456789457289631869713524, 37 , 7776
123456789457289631869731254, 18 , 7776
123456789457289631896137425, 29 , 2592
123456789457289631896317245, 23 , 3888
123456789457289631896317254, 22 , 3888
123456789457289631896371254, 37 , 7776
123456789457289631968137254, 8 , 3888
123456789457289631968317245, 41 , 3888
123456789457289631968731245, 26 , 3888
123456789457289631986137245, 28 , 3888
123456789457289631986731245, 28 , 7776
123456789457298136869173254, 37 , 7776
123456789457298136986317245, 37 , 7776
123456789457298316698137254, 35 , 7776
123456789457298361986731524, 18 , 7776
123456789457298613689137245, 10 , 7776
123456789457298613689713245, 37 , 7776
123456789457298613689731245, 9 , 7776
123456789457298613698713245, 29 , 7776
123456789457298613698731254, 35 , 7776
123456789457298613869317245, 18 , 7776
123456789457298613896137524, 27 , 7776
123456789457298613896317245, 16 , 7776
123456789457298613968713254, 36 , 3888
123456789457298613986371254, 35 , 7776
123456789457298631698731245, 29 , 7776
123456789457298631869713254, 35 , 7776
123456789457298631896137524, 21 , 7776
123456789457298631896713245, 11 , 7776
123456789457298631968713425, 10 , 3888
123456789457298631986137542, 20 , 3888
123456789457389126698172354, 42 , 7776
123456789457389126896127453, 12 , 3888
123456789457389126986721543, 15 , 7776
123456789457389162896217435, 18 , 7776
123456789457389162986712345, 22 , 7776
123456789457389162986721354, 14 , 7776
123456789457389216986127453, 9 , 7776
123456789457389261896217534, 35 , 7776
123456789457389261986127534, 8 , 3888
123456789457389261986721354, 13 , 3888
123456789457389612896127354, 11 , 7776
123456789457389612896172345, 3 , 3888
123456789457389612896172354, 17 , 3888
123456789457389612896271345, 5 , 1296
123456789457389612896712345, 4 , 3888
123456789457389612896712354, 13 , 7776
123456789457389612896721354, 15 , 3888
123456789457389612968127354, 38 , 7776
123456789457389612986127354, 8 , 7776
123456789457389621689127345, 9 , 7776
123456789457389621689721354, 6 , 3888
123456789457389621698127345, 36 , 3888
123456789457389621869127354, 12 , 7776
123456789457389621869721345, 25 , 7776
123456789457389621896172543, 36 , 7776
123456789457389621896217354, 15 , 3888
123456789457389621986271345, 17 , 3888
123456789457389621986721354, 2 , 3888
123456789457398216986217354, 33 , 7776
123456789457398612896127354, 8 , 7776
123456789457398612896172354, 18 , 7776
123456789457398612896217354, 11 , 7776
123456789457839612896271345, 3 , 7776
123456789457893612896127345, 1 , 216
123456789457893612896127354, 2 , 1944
123456789457893612896217354, 7 , 648
123456789457893612986217354, 7 , 648
dukuso
 
Posts: 479
Joined: 25 June 2005

Re: catalog of all essentially different grids

Postby gsf » Wed May 26, 2010 1:29 pm

dukuso wrote:OK, I think, I should try your solver ... is it available ?

here, links at the bottom
so you generate 416 compressed files of total size 5.7GB
and each of these can be expanded to give sudokugrids,
one from each S-class in some canonical form.

yes, ~8.something bits per grid
canonical = lexicographical minimal ?

yes
the 416 files represent the S-classes with that chute (=3*9 or 9*3 subsudokugrid)
present among the 6 chutes and with minimal index ?

e.g. a sudokugrid with chutes 145,232,339 , 203,280,407
would go into file "145" ?

yes
is your enumeration of 416-gangsters lexicographical ? (as is mine here:
(list not repeated

listed by my solver (but with leading12345678945 omitted)
Code: Select all
sudoku -gB
gsf
2014 Supporter
 
Posts: 7306
Joined: 21 September 2005
Location: NJ USA

Re: catalog of all essentially different grids

Postby dukuso » Wed May 26, 2010 1:56 pm

thanks.
I downloaded the windows version. renamed it to gsf2.exe

what means :
> Code: Select all

can I save "gsf2 --h" to a file
gsf2 -gB
gives
sudoku: -B: unknown option

gsf2 -gb299 -f '%#ec' -o 299.sudz
gives
sudoku: -2: unknown option
dukuso
 
Posts: 479
Joined: 25 June 2005

Re: catalog of all essentially different grids

Postby gsf » Wed May 26, 2010 6:07 pm

dukuso wrote:thanks.
I downloaded the windows version. renamed it to gsf2.exe

what means :
> Code: Select all

its done by the forum -- if you click "Select all" all of the text in the code block is selected
can I save "gsf2 --h" to a file

yes, but it goes to the standard error
on unix you would do
Code: Select all
sudoku --help 2>file

don't know about windows
gsf2 -gB
gives
sudoku: -B: unknown option

gsf2 -gb299 -f '%#ec' -o 299.sudz
gives
sudoku: -2: unknown option

its possible the sudoku.exe is corrupt or out of date
I'll check it later this evening
gsf
2014 Supporter
 
Posts: 7306
Joined: 21 September 2005
Location: NJ USA

Re: catalog of all essentially different grids

Postby gsf » Thu May 27, 2010 1:52 am

dukuso, download sudoku.exe again
somehow I managed to post an ancient one from 2005
sudoku -V should print
sudoku (AT&T Research) 2010-03-15
gsf
2014 Supporter
 
Posts: 7306
Joined: 21 September 2005
Location: NJ USA

Re: catalog of all essentially different grids

Postby dukuso » Thu May 27, 2010 8:43 pm

OK, thanks, I have it now. renamed to gsf4.exe 467968 bytes Windows executable.

-gB gives the 416 gangsters
the text could be extracted from the executable

gsf4 -gb299 -f '%#ec' -o 299.sudz

gives an error after ~1min , program must be terminated, report to Microsoft ?


gsf4 -gb299 > k5
is running ...

gives 133302 sudokus in file k5

with first band being 416-gangster #204

118 416-gangsters occur in total 299+118-1=416
dukuso
 
Posts: 479
Joined: 25 June 2005

Next

Return to General