The New Sudoku Players' Forum

[RichardGoodrich]

To misquote an "old" Barry White song. https://en.wikipedia.org/wiki/Barry_White:

A Living Post ... will add more later

I have been struggling understanding the ED

There are exactly 5,472,730,538 unique Sudoku solution grids.

These links may help with some background:

1. https://en.wikipedia.org/wiki/Mathematics_of_Sudoku
2. https://sudopedia.sudocue.net/index.php/Mathematics_of_Sudoku
3. http://forum.enjoysudoku.com/gang-of-44-gang-of-416-t30046.html gang of 44, gang of 416 by dukoso
4. http://forum.enjoysudoku.com/post353732.html#p353732 My own recent post

And I just found this: Re-introducing The Sudoku Cube (3D sudoku, Sudoku3D, 9*9*9)
http://forum.enjoysudoku.com/post201208.html#p201208

coloin & champagne have helped clear my head some lately! For one I was conflating the minlex ED catolog with a maxlex one. E.G. I was thinking the last of the minlex one was same as the first of the maxlex one. coloin posted the first and last 100 of the minlex one, but somehow I just missed it! So,to condense that: It goes something like this:

Three of the First ... and Three of the Last

Code: Select all

123456789456789123789123456214365897365897214897214365531642978642978531978531642
123456789456789123789123456214365897365897214897214365531642978648971532972538641
123456789456789123789123456214365897365897214897214365531642978672938541948571632

... (5,472,730,532 more)

123456789457389621896217354268174593745938162931562847384725916579641238612893475
123456789457389621896217354268741593745893162931625847382164975574938216619572438
123456789457893612986217354274538196531964827698721435342685971715349268869172543


So what does this have to do with creating an Essentially Different MinLex Catolog?
Refer to https://github.com/1to9only/essentially-different-minlex-grids where 1to9only refers to these groups or gangster groups as simply bands. Whatever they should be called there is a list of how many ED grids are in each of these 416 bands

And then he directs you to the actual sudz files zipped up into groups at this location:
https://github.com/1to9only/essentially-different-minlex-grids/releases

So I downloaded those files and unzipped them getting these 416 sudz files. Then I starting running the sudz.exe program on windows to produce *.txt files.
005.txt is 3.8 GiB and my geany editor can't open it!

So I converted 002.sudz to 002.txt. Here is the result of my experiment so far:

Code: Select all

002.sudz  20.5 Mib
002.txt      2 GiB         (2,116,681,728 bytes on disk)
002.zip     183.8 MiB
002.7z        83.8 MiB  (7zip - much slower than zip)

002.txt has 25,502,082 81-char strings

So, Glenn S. Fowler did an AMAZING job of compression! Where do I go now? I can't even open 005.txt! So I am thinking hello Python! I can load and downsize those big files. I can unzip and re-zip them (several methods actually) and/or I could use SQLite which works easily with Python [I am told] to attempt some kind of database

Wish me luck!