View previous topic :: View next topic |
Author |
Message |
| coloin
| Joined: 05 May 2005 | Posts: 97 | : | | Items |
|
Posted: Thu Apr 10, 2008 11:20 pm Post subject: |
|
|
Thank-you, Hmmmm,
You can nearly always rely on these grids to always throw up an exception.......
Heres a random grid
Code: | 279843516184965723536172894758491362492637185361258479843726951615389247927514638 |
If we only consider 1 clue in each box.....thats 9! = 387420489 sub-puzzles
So how many 9/9 NAR templates [non attacking rooks] are there in this random grid ?
Take a random 9 clue sub-puzzle, how many of these [equivalents] in our random grid ?
Code: | +---+---+---+
|..1|.2.|...|
|...|...|.3.|
|...|...|...|
+---+---+---+
|...|...|...|
|...|.5.|...|
|4..|...|.6.|
+---+---+---+
|...|.8.|...|
|...|...|...|
|7..|...|..9|
+---+---+---+
|
Maybe the 9NAR template is an efficient combination of clues after all !
C |
|
Back to top |
|
|
| coloin
| Joined: 05 May 2005 | Posts: 97 | : | | Items |
|
Posted: Thu Apr 10, 2008 11:32 pm Post subject: |
|
|
The fact that DrZ didnt return is probably an indication of its value.
Its easy to make a sum add up to 17.
I think it is a spoof.
C |
|
Back to top |
|
|
| JPF
| Joined: 05 Dec 2005 | Posts: 29 | : | Location: Paris | Items |
|
Posted: Fri Apr 11, 2008 12:31 am Post subject: |
|
|
coloin wrote: | If we only consider 1 clue in each box.....thats 9! = 387420489 sub-puzzles |
362 880 is not enough
JPF |
|
Back to top |
|
|
| coloin
| Joined: 05 May 2005 | Posts: 97 | : | | Items |
|
Posted: Fri Apr 11, 2008 10:19 am Post subject: |
|
|
So you have searched 362880 and not found one ?
A while ago, using a version of gsfs software, which canonicolizes these sub-puzzles [normalizes them to a minlex version]sudoku space
I looked at a NAR clue positon template for many grids.
The 9NAR with 9 different clue values [rainbow] wasnt uncommon, I will repeat it again.
number of essentially different ways to have 1 clue [any value] in a box with NAR clue positions Code: | 9-clue templates - 439
8-clue templates - 624
7-clue templates - 546
6-clue templates - 387
5-clue templates - 150
4-clue templates - 55
3-clue templates - 15
2-clue templates - 4
1-clue templates - 1 |
Many of these templates have > 3 of a clue value of course
Not sure what this means or how useful it all is
C
Last edited by coloin on Fri Apr 11, 2008 2:44 pm; edited 1 time in total |
|
Back to top |
|
|
| Lunatic
| Joined: 11 Mar 2007 | Posts: 166 | : | Location: Ghent - Belgium | Items |
|
Posted: Fri Apr 11, 2008 10:31 am Post subject: |
|
|
coloin wrote: | The fact that DrZ didnt return is probably an indication of its value.
Its easy to make a sum add up to 17.
I think it is a spoof.
C |
Could be, but on the other hand, if the formula is pointing out the right number for small latin squares, we may have reason to believe it works for greater latin squares too.
1x1 => 0
2x2 => 1
3x3 => ?
4x4 => 4
5x5 => ?
6x6 => ?
7x7 => ?
8x8 => ?
9x9 => 17 (?)
We don't have to stare at the boxes, after all sudokus are just a subset of normal latin squares. _________________ Marc
~~~<><~~~<><~~~<><~~~<><~~~ |
|
Back to top |
|
|
| JPF
| Joined: 05 Dec 2005 | Posts: 29 | : | Location: Paris | Items |
|
Posted: Fri Apr 11, 2008 1:35 pm Post subject: |
|
|
coloin wrote: | So you have searched 362880 and not found one ? |
Actually, in your random grid,
Code: | 2 7 9 | 8 4 3 | 5 1 6
1 8 4 | 9 6 5 | 7 2 3
5 3 6 | 1 7 2 | 8 9 4
-------+-------+-------
7 5 8 | 4 9 1 | 3 6 2
4 9 2 | 6 3 7 | 1 8 5
3 6 1 | 2 5 8 | 4 7 9
-------+-------+-------
8 4 3 | 7 2 6 | 9 5 1
6 1 5 | 3 8 9 | 2 4 7
9 2 7 | 5 1 4 | 6 3 8 | there are 18 NAR
Here is one :
Code: | . . . | . . 3 | . . .
1 . . | . . . | . . .
. . . | . . . | 8 . .
-------+-------+-------
. 5 . | . . . | . . .
. . . | 6 . . | . . .
. . . | . . . | . . 9
-------+-------+-------
. . . | . 2 . | . . .
. . . | . . . | . 4 .
. . 7 | . . . | . . . |
My point was that 9! = 362880, hopefully...
JPF |
|
Back to top |
|
|
| coloin
| Joined: 05 May 2005 | Posts: 97 | : | | Items |
|
Posted: Fri Apr 11, 2008 2:24 pm Post subject: |
|
|
Well 18 NAR is fair, dont know if there will be a grid without any.
Confusing these numbers [for me]
The 9^9 refers to any clue positions, any clue value in each of the 9 boxes
The 9! [you are correct] refers correctly to any clue position with different clue values [rainbow] in each of the 9 boxes.
There are of course a 1-clue rookerys worth of NAR combinations
9*9*9*4*4*2*2*1*1 for B1B5B9B2B4B6B8B3B9 is easier to see than the 6^6, both = 46656.
I think I remember I got around 20 9/9 NAR when I generated 46656 rookery templates. I will repeat, there are only 439 differnt non-equivalent combinations.
Thats why I thought all grids would have at least one.
The test I havent done is the how many essentially different there are out of the 9^9.
Im thinking now there will be not as many as you would initially think.
This computation is of relevance to all puzzles which have at least one clue in every box. Value to be determined.
C |
|
Back to top |
|
|
| daj95376
| Joined: 05 Feb 2006 | Posts: 349 | : | | Items |
|
Posted: Fri Apr 11, 2008 3:37 pm Post subject: |
|
|
coloin wrote: | Its easy to make a sum add up to 17.
|
MinLex of 12 cells plus 5 empty boxes is my favorite!
Code: | Base Minimum Maximum
+-----------------------+ +-----------------------+ +-----------------------+
| 1 2 3 | 4 5 6 | 7 8 9 | | 1 2 3 | 4 5 6 | 7 8 9 | | 1 2 3 | 4 5 6 | 7 8 9 |
| 4 5 . | . . . | . . . | | 4 5 6 | 7 8 9 | 1 2 3 | | 4 5 7 | 8 9 3 | 6 1 2 |
| . . . | . . . | . . . | | 7 8 9 | 1 2 3 | 4 5 6 | | 9 8 6 | 2 1 7 | 3 5 4 |
|-------+-------+-------| |-------+-------+-------| |-------+-------+-------|
| 2 . . | . . . | . . . | | 2 3 1 | 5 6 4 | 8 9 7 | | 2 7 4 | 5 3 8 | 1 9 6 |
| . . . | . . . | . . . | | 5 6 4 | 8 9 7 | 2 3 1 | | 5 3 1 | 9 6 4 | 8 2 7 |
| . . . | . . . | . . . | | 8 9 7 | 2 3 1 | 5 6 4 | | 6 9 8 | 7 2 1 | 4 3 5 |
|-------+-------+-------| |-------+-------+-------| |-------+-------+-------|
| . . . | . . . | . . . | | 3 1 2 | 6 4 5 | 9 7 8 | | 3 4 2 | 6 8 5 | 9 7 1 |
| . . . | . . . | . . . | | 6 4 5 | 9 7 8 | 3 1 2 | | 7 1 5 | 3 4 9 | 2 6 8 |
| . . . | . . . | . . . | | 9 7 8 | 3 1 2 | 6 4 5 | | 8 6 9 | 1 7 2 | 5 4 3 |
+-----------------------+_+-----------------------+_+-----------------------+
|
|
|
Back to top |
|
|
| coloin
| Joined: 05 May 2005 | Posts: 97 | : | | Items |
|
Posted: Fri Apr 11, 2008 3:56 pm Post subject: |
|
|
Ha Ha.
And very suitable information.
Of course you can subdevide solution grids into two, which increases the number of constant clues, and reduces options.
Concerning the clue @ r2c3
Those with a 6 - have one or more bands with a repeating minirow [~30%]
Those with a 7 - those grids that dont have a repeatring minirow in any of the 6 bands. [~70%]
17 puzzles are twice as likely to have a repeating minirow. [the SF grid has 2 bands like this]
here is a repeating minirow/tupel
Code: | +-----------------------+
| 1 2 3 | 4 5 6 | 7 8 9 |
| 4 5 6 | . . . | . . . |
| . . . | . . . | . . . | |
I dont know what the minimum number of clues for a latin square is.
For a 9*9 it is bound to be more than than 17.
C |
|
Back to top |
|
|
| daj95376
| Joined: 05 Feb 2006 | Posts: 349 | : | | Items |
|
Posted: Fri Apr 11, 2008 5:30 pm Post subject: |
|
|
If I were to look for a 16 Sudoku, I would start by examining the 17 Sudokus.
1) Canonicalize the solutions and the grids
2) examine each canonical grid to see how many units have no givens
3) examine each canonical grid to see how many units have one given
4) see if I can construct a canonical 16 within the minimum/maximum found in (2) & (3) |
|
Back to top |
|
|
| coloin
| Joined: 05 May 2005 | Posts: 97 | : | | Items |
|
Posted: Fri Apr 11, 2008 8:59 pm Post subject: |
|
|
you mean this.....when there was ~32930 known puzzles Ocean published this http://www.sudoku.com/boards/viewtopic.php?t=2312&start=4
frequency of puzzles with distribution of number of clues in boxes
Code: | 2 001122344:B
2 001222334:B
2 001223333:B
2 002222234:B
12 002222333:B
7 011112344:B
4 011113334:B
2 011122235:B
17 011122244:B
177 011122334:B
108 011123333:B
2 011222225:B
381 011222234:B
946 011222333:B
100 012222224:B
945 012222233:B
157 022222223:B
1 111112235:B
22 111112244:B
486 111112334:B
135 111113333:B
1341 111122234:B
2904 111122333:B
659 111222224:B
11342 111222233:B
11769 112222223:B
1405 122222222:B |
The coding escapes me for an up do date chart.
I think gfroyle once astutely asked if it would be possible to systematically do a check for all possible 122222222:B type puzzles , which I think was possibly a question that no one could answer at the time, but might well be possible now
Actually it might have been this one [frequency of clue values]
Code: | V:222222221
010000009000300800000000600000012400703000000500000000800600000000040020000700050
030600080019000000000020000700000450000031000200000000400800000060500000000000900
052400000000070100000000000000802000300000600090500000106030000000000089700000000
092300000000080100000000000107040000000000065800000000060502000400000700000900000
800000001000950000000000000000070420301600000000000000040000570600308000000000200 |
I cant think which would be easier.
C |
|
Back to top |
|
|
| gsf
| Joined: 18 Aug 2005 | Posts: 411 | : | Location: NJ USA | Items |
|
Posted: Fri Apr 11, 2008 9:46 pm Post subject: |
|
|
this unix command line, where g is my solver
Code: |
g -q- -f%+#BP g.dat | sort | uniq -c
|
for the current |G| = 47733 catalog
Code: |
2 001122344
17 001222334
19 001223333
4 002222234
19 002222333
1 011112335
8 011112344
13 011113334
2 011122235
24 011122244
255 011122334
188 011123333
2 011222225
514 011222234
1456 011222333
113 012222224
1487 012222233
284 022222223
1 111112235
30 111112244
663 111112334
198 111113333
1858 111122234
4791 111122333
882 111222224
16532 111222233
16337 112222223
2033 122222222
|
the -q- to turn off solving, ok to do when the output format -f... doesn't rely on solution byproducts
took 2 sec on my 2Ghz pentium
for clue values occurrences use -f%+#oP
Code: |
26 011122334
291 011123333
469 011222234
9557 011222333
32 012222224
11685 012222233
945 022222223
20 111113333
170 111122234
3572 111122333
33 111222224
15710 111222233
5215 112222223
8 122222222
|
|
|
Back to top |
|
|
| coloin
| Joined: 05 May 2005 | Posts: 97 | : | | Items |
|
Posted: Fri Apr 11, 2008 9:58 pm Post subject: |
|
|
That program demands respect
Do you think we will get a new 17 out of all this ?
C |
|
Back to top |
|
|
| JPF
| Joined: 05 Dec 2005 | Posts: 29 | : | Location: Paris | Items |
|
Posted: Fri Apr 11, 2008 10:44 pm Post subject: |
|
|
gsf, where do you get the up to date |G|= 47733 catalog ?
This site is blocked at |G|=47621.
JPF |
|
Back to top |
|
|
| gsf
| Joined: 18 Aug 2005 | Posts: 411 | : | Location: NJ USA | Items |
|
Posted: Fri Apr 11, 2008 10:54 pm Post subject: |
|
|
JPF wrote: | gsf, where do you get the up to date |G|= 47733 catalog ?
This site is blocked at |G|=47621.
|
when gordon first set up the identification service I asked if he would add a query for puzzle by ordinal
so instead of the grid you can enter the ordinal and it returns the grid for that ordinal
my local copy keeps track of the highest ordinal
I have an update script that checks if highest+1 is there yet
and loops until highest+1 is not in the identification service
that script is tied in with another script that first checks the local copy
and then goes to the id service
with an up to date local copy those requests to the id service are almost always new hits |
|
Back to top |
|
|
|