MinLex Puzzles

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

Re: MinLex Puzzles

Postby JPF » Sat Feb 20, 2021 11:27 pm

Mathimagics wrote:Thanks, JPF, nice to have that figure confirmed. Do you intend to count the 3-clue minimals also?

Probably, but first I need to find some personal time, some cpu time and more importantly an efficient way to resolve the issue ...

dobrichev wrote:Hi Mathimagics,
I missed this post while debating on coloring. Edited my announce.
I am sure once with Colin (and JPF?) we counted values per cell in the catalog. I could not find this discussion.

I don't know which post you are refering to, but here are the data:
Code: Select all
                1           2           3           4           5           6           7           8           9                           
                                                                                                                                           
 r1c1  5472730538           0           0           0           0           0           0           0           0                           
 r1c2           0  5472730538           0           0           0           0           0           0           0                           
 r1c3           0           0  5472730538           0           0           0           0           0           0                           
 r1c4           0           0           0  5472730538           0           0           0           0           0                           
 r1c5           0           0           0           0  5472730538           0           0           0           0                           
 r1c6           0           0           0           0           0  5472730538           0           0           0                           
 r1c7           0           0           0           0           0           0  5472730538           0           0                           
 r1c8           0           0           0           0           0           0           0  5472730538           0                           
 r1c9           0           0           0           0           0           0           0           0  5472730538                           
 r2c1           0           0           0  5472730538           0           0           0           0           0                           
 r2c2           0           0           0           0  5472730538           0           0           0           0                           
 r2c3           0           0           0           0           0  1076640092  4396090446           0           0                           
 r2c4  4396037160       53248          37           0           0           0  1076640092           1           0                           
 r2c5           0           0           0           0           0           0           0  5472730537           1                           
 r2c6           0           0           1           0           0           0           0           0  5472730537                           
 r2c7  1008251800  4410810371    30137776           0           0    23530591           0           0           0                           
 r2c8       20219   541113310  4456309483           0           0   475287526           0           0           0                           
 r2c9    68421359   520753609   986283241           0           0  3897272329           0           0           0                           
 r3c1           0           0           0           0           0  3420986103  1018579584   847072631   186092220                           
 r3c2           0           0           0           0           0   602707920    41335391  3096595009  1732092218                           
 r3c3           0           0           0           0           0   372396423    16725117  1529062898  3554546100                           
 r3c4   522820037  2263164673  1553795161           0           0           0  1132950667           0           0                           
 r3c5   252192183  1491153425  2187778899           0           0           0  1541606031           0           0                           
 r3c6   301681158  1718359192  1731156440           0           0           0  1721533748           0           0                           
 r3c7  1915427189       38224          38  1169448260  2160075460   227741367           0           0           0                           
 r3c8  1629950634       14569           0  1897901957  1457723946   487139432           0           0           0                           
 r3c9   850659337         455           0  2405380321  1854931132   361759293           0           0           0                           
 r4c1           0  5472730538           0           0           0           0           0           0           0                           
 r4c2   931153808           0  1190388731   831219801           0   740311928   865348729   342236777   572070764                           
 r4c3  1034412625           0           0  1057821661  1201268047   766083223   201793034   819586278   391765670                           
 r4c4    70651521           0   728067376           0  1024927267   950202539   612356982  1026395892  1060128961                           
 r4c5   860368650           0   665354839   916369073           0  1046238897   780352470           0  1204046609                           
 r4c6   836632778           0   753184748   902950057  1111724898           0   732871683  1135366374           0                           
 r4c7   367701998           0  1001820495   634967288   581474464   865123628           0   992624467  1029018198                           
 r4c8   624666022           0   188323420   610415090   821353673   861973471  1150298526           0  1215700336                           
 r4c9   747143136           0   945590929   518987568   731982189   242796852  1129709114  1156520750           0                           
 r5c1           0           0  2275774394           0  1255906749   491908723   944013853   505126819           0                           
 r5c2   776801160           0  1006743490   789826946           0   800659425   967057820   422286211   709355486                           
 r5c3   956132541           0           0   988497175  1249971624   775805391   224005321   851688845   426629641                           
 r5c4   107611050   800167602   401664111           0   737446527   875569411   516859340   922166628  1111245869                           
 r5c5   855474235   961987147   312316538   891942943           0   815768346   588571479           0  1046669850                           
 r5c6   904823004   965801317   383329291   952658281   751613030           0   598689109   915816506           0                           
 r5c7   455648423   270695637   538047757   762423780   477448881   868070225           0   949101027  1151294808                           
 r5c8   627722244  1184732494   111825003   566034083   506243890   664301344   784336596           0  1027534884                           
 r5c9   788517881  1289346341   443029954   521347330   494099837   180647673   849197020   906544502           0                           
 r6c1           0           0           0           0   548120130   364833514  1087049033  1241965955  2230761906                           
 r6c2   780048411           0   999823923   813926338           0   782702235   961839519   425523196   708866916                           
 r6c3   994181993           0           0   991438617  1217463988   750426099   221623229   864316457   433280155                           
 r6c4   105926107   828724144   834629150           0   967845444   917269836   503278599   777342019   537715239                           
 r6c5   888675719  1011712148   668232133   926968794           0   867681509   596536225           0   512924010                           
 r6c6   842567474   904338180   725952352   881841390   879173372           0   543214651   695643119           0                           
 r6c7   461878984   271522811  1176413356   766414533   596098294   884964351           0   780642978   534795231                           
 r6c8   665155688  1271085967   208149024   603531098   682503198   722872244   805046238           0   514387081                           
 r6c9   734296162  1185347288   859530600   488609768   581526112   181980750   754143044   687296814           0                           
 r7c1           0           0  3196956144           0  1727654264   190457994   357662136           0           0                           
 r7c2   989755168           0   768278703  1013080326           0   862326860   870216623   389844051   579228807                           
 r7c3   790849576  1834598345           0   824918873   606995174   584482747   139721875   468576793   222587155                           
 r7c4    94387578   514337449   266469372           0   761817803   950970153   613875293  1109250795  1161622095                           
 r7c5   861728919   658489870   213446913   890847873           0   967324197   713902591           1  1166990174                           
 r7c6   898251380   651354490   279147287   937930325   808855929           0   714362174  1182828953           0                           
 r7c7   428729272   176489188   364019738   720640441   489912492   937318353           0  1152917476  1202703578                           
 r7c8   620106607   787065805    65529035   565975833   539535986   761656141   993262402           0  1139598729                           
 r7c9   788922038   850395391   318883346   519336867   537958890   218194093  1069727444  1169312469           0                           
 r8c1           0           0           0           0  1941049395   747042748  1388776009  1395862386           0                           
 r8c2   994138168           0   751150930   993335542           0   856827075   893882980   397683506   585712337                           
 r8c3   852657424  1818605945           0   802939517   597695284   582721869   136948033   461772429   219390037                           
 r8c4    86925113   527477938   843148348           0   722901614   837616891   440006826   816776603  1197877205                           
 r8c5   827514680   634349543   676299571   882591101           0   789556861   523492339           0  1138926443                           
 r8c6   887657903   646480713   843333430   958740132   761835777           0   556709827   817972755           1                           
 r8c7   398676055   165715335  1135703161   690296849   414847653   760033168           0   761620215  1145838102                           
 r8c8   640962116   826014921   219155249   609053869   528744693   710061389   753751888           0  1184986413                           
 r8c9   784199079   854086143  1003939849   535773528   505656122   188870537   779162636   821042644           0                           
 r9c1           0           0           0           0           0   257501456   676649923  1482702747  3055876412                           
 r9c2  1000833823           0   756344761  1031341585           0   827195095   873049476   398561788   585404010                           
 r9c3   844496379  1819526248           0   807114695   599336421   564174694   135823483   477726838   224531780                           
 r9c4    88371972   538805484   844956983           0  1257791883   941101708   576762739   820798600   404141169                           
 r9c5   926776152   715038405   749301645   964010754           0   986160728   728269403           0   403173451                           
 r9c6   801116841   586396646   756626989   838610353  1159527532           0   605349346   725102831           0                           
 r9c7   436416817   177458972  1226588217   728539387   752873294   905948855           0   835824375   409080621                           
 r9c8   664147008   862703472   223439324   619818608   936625152   789438991   986034888           0   390523095                           
 r9c9   710571546   772801311   915472619   483295156   766576256   201209011   890791280   732013359           0 


Out of 729 (position,digit) (p,d) there are 273 zeros.
Out of 5472730538 grids: r2c5=8 and r2c6=9 except for one grid (band 416)!
and a kind of "pencilmarks":
Code: Select all
+-------------------------------+-------------------------------+-------------------------------+
| 1         2         3         | 4         5         6         | 7         8         9         |
| 4         5         67        | 12378     89        39        | 1236      1236      1236      |
| 6789      6789      6789      | 1237      1237      1237      | 123456    12456     12456     |
+-------------------------------+-------------------------------+-------------------------------+
| 2         1346789   1456789   | 1356789   134679    134578    | 1345689   1345679   1345678   |
| 35678     1346789   1456789   | 12356789  1234679   1234578   | 12345689  12345679  12345678  |
| 56789     1346789   1456789   | 12356789  1234679   1234578   | 12345689  12345679  12345678  |
+-------------------------------+-------------------------------+-------------------------------+
| 3567      1346789   12456789  | 12356789  12346789  1234578   | 12345689  12345679  12345678  |
| 5678      1346789   12456789  | 12356789  1234679   12345789  | 12345689  12345679  12345678  |
| 6789      1346789   12456789  | 12356789  1234679   1234578   | 12345689  12345679  12345678  |
+-------------------------------+-------------------------------+-------------------------------+

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

Re: MinLex Puzzles

Postby dobrichev » Tue Feb 23, 2021 6:03 am

Yes, that it is. Good representation.
dobrichev
2016 Supporter
 
Posts: 1807
Joined: 24 May 2010

Previous

Return to General