Sudoku Programmers Forum Index

 
 FAQFAQ   SearchSearch   MemberlistMemberlist   UsergroupsUsergroups   RegisterRegister   ProfileProfile   Log inLog in          Games  Calendar

Log in to check your private messagesLog in to check your private messages   

Quest for THE 16 GIVEN SUDOKU
Goto page Previous  1, 2, 3, 4, 5, 6  Next
 
Post new topic   Reply to topic    Sudoku Programmers Forum Index -> Programming sudoku
View previous topic :: View next topic  
Author Message
coloin

Joined: 05 May 2005
Posts: 97
:

Items
PostPosted: Thu Apr 10, 2008 11:20 pm    Post subject: Reply with quote

Thank-you, Hmmmm, Rolling Eyes

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
View user's profile Send private message
coloin

Joined: 05 May 2005
Posts: 97
:

Items
PostPosted: Thu Apr 10, 2008 11:32 pm    Post subject: Reply with quote

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
View user's profile Send private message
JPF

Joined: 05 Dec 2005
Posts: 29
:
Location: Paris

Items
PostPosted: Fri Apr 11, 2008 12:31 am    Post subject: Reply with quote

coloin wrote:
If we only consider 1 clue in each box.....thats 9! = 387420489 sub-puzzles

362 880 is not enough Surprised

JPF
Back to top
View user's profile Send private message
coloin

Joined: 05 May 2005
Posts: 97
:

Items
PostPosted: Fri Apr 11, 2008 10:19 am    Post subject: Reply with quote

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
View user's profile Send private message
Lunatic

Joined: 11 Mar 2007
Posts: 166
:
Location: Ghent - Belgium

Items
PostPosted: Fri Apr 11, 2008 10:31 am    Post subject: Reply with quote

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
View user's profile Send private message Send e-mail Visit poster's website
JPF

Joined: 05 Dec 2005
Posts: 29
:
Location: Paris

Items
PostPosted: Fri Apr 11, 2008 1:35 pm    Post subject: Reply with quote

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
View user's profile Send private message
coloin

Joined: 05 May 2005
Posts: 97
:

Items
PostPosted: Fri Apr 11, 2008 2:24 pm    Post subject: Reply with quote

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
View user's profile Send private message
daj95376

Joined: 05 Feb 2006
Posts: 349
:

Items
PostPosted: Fri Apr 11, 2008 3:37 pm    Post subject: Reply with quote

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
View user's profile Send private message
coloin

Joined: 05 May 2005
Posts: 97
:

Items
PostPosted: Fri Apr 11, 2008 3:56 pm    Post subject: Reply with quote

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
View user's profile Send private message
daj95376

Joined: 05 Feb 2006
Posts: 349
:

Items
PostPosted: Fri Apr 11, 2008 5:30 pm    Post subject: Reply with quote

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
View user's profile Send private message
coloin

Joined: 05 May 2005
Posts: 97
:

Items
PostPosted: Fri Apr 11, 2008 8:59 pm    Post subject: Reply with quote

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 Question

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
View user's profile Send private message
gsf

Joined: 18 Aug 2005
Posts: 411
:
Location: NJ USA

Items
PostPosted: Fri Apr 11, 2008 9:46 pm    Post subject: Reply with quote

coloin wrote:
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
 ... 


The coding escapes me for an up do date chart.

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
View user's profile Send private message Visit poster's website
coloin

Joined: 05 May 2005
Posts: 97
:

Items
PostPosted: Fri Apr 11, 2008 9:58 pm    Post subject: Reply with quote

That program demands respect

Do you think we will get a new 17 out of all this ?

C
Back to top
View user's profile Send private message
JPF

Joined: 05 Dec 2005
Posts: 29
:
Location: Paris

Items
PostPosted: Fri Apr 11, 2008 10:44 pm    Post subject: Reply with quote

gsf, where do you get the up to date |G|= 47733 catalog ?

This site is blocked at |G|=47621.

JPF
Back to top
View user's profile Send private message
gsf

Joined: 18 Aug 2005
Posts: 411
:
Location: NJ USA

Items
PostPosted: Fri Apr 11, 2008 10:54 pm    Post subject: Reply with quote

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
View user's profile Send private message Visit poster's website
Display posts from previous:   
Post new topic   Reply to topic    Sudoku Programmers Forum Index -> Programming sudoku All times are GMT
Goto page Previous  1, 2, 3, 4, 5, 6  Next
Page 5 of 6

 
Jump to:  
You cannot post new topics in this forum
You cannot reply to topics in this forum
You cannot edit your posts in this forum
You cannot delete your posts in this forum
You cannot vote in polls in this forum
Sudoku Programmers topic RSS feed 


Powered by phpBB © 2001, 2005 phpBB Group

Igloo Theme Version 1.0 :: Created By: Andrew Charron