Sudoku space

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

Postby StrmCkr » Tue Dec 18, 2007 10:08 am

I think you have only 34 in your list [1+8,1+9 missing]

thanks for pointing that out. i wrote it out, didin't check them all. was just siting an example. ill correct it:)

36 is the correct number.

126? i'll have to check my lists again. the mathmatical number is correct. i didn't verify it using the formual you posted. i only did a manual tally on paper and got 125. i'll double check it.


I dont understand your use of the word "quad"

i am using quad as in a quadrant, mostly i see it refered to as a 3*3 square or a box on here. to me there are 9 quads/boxes/

Code:
basic evaluation of limitations noted above (9+12) to to each successive clue.

Is this the same as the pencil mark reductions by a single clue ?
This is maximally 9-within a 9x9 box, and 2x6 -for the line interactions in the horizontal and vertical chutes.


correct - this would be penicl mark reductions of each individual clue - reducing the aviable subgrid cells for each subsequent selections.

problem i found using that method of assinng a math formual derived from line of sites over lapping and being counted mutiple times.

Code: Select all
 3 top row example.
 *-----------*
 |1..|...|...|
 |...|1..|...|
 |...|...|1..|
 |---+---+---|
 |...|...|...|
 |...|...|...|
 |...|...|...|
 |---+---+---|
 |...|...|...|
 |...|...|...|
 |...|...|...|
 *-----------*


say i map out three clues over the top three boxes it should reduce the

avialable space by 9*3 + 6*3 = 45 leaving the 4th clue with (81-45)= 36 vailid spaces to pic from.

if i did it the intal way above id get a sumation error due to overlaping line of sights. (81-(9*3)+((6*2)*3) = 18 remaining for the 4th clue.

so i ploted out a sumation correction correlation based on line of sight for each combination of cells for the single digit. which wil add back on the extra reduction on to the total number of valid cells remaing.


So if you have 16 clues you just cant do what we know we can do with 17 clues.........
So, how does 17 clues manage it then !!! .


my theory is the existance of conflict of placement. each number must compelt all 9 subgrids to express a unique solution.
to do so, each heuristic or rookeir. overlaps creating "locked" candidates into specific cells. definiing each other heuristic to either complet further and reduce other rookeries to completed or near completed stages.

ie
a rookeri pattern of
Code: Select all
 *-----------*
 |1..|...|...|
 |...|1..|...|
 |...|...|1..|
 |---+---+---|
 |.1.|...|...|
 |...|.1.|...|
 |...|...|.1.|
 |---+---+---|
 |..1|...|...|
 |...|..1|...|
 |...|...|..1|
 *-----------*


will remove every single instance of these placemetns from all rookeries. of the number 2-9. dramtically reducing the number of vaild rookeries for each other number sets. in some cases perhaps enough to lock a rookeir to compelt to further point of singles or complet fully.

so if u reduce subgrids via rookeri patterns. u will leave other rookeris with 1 pattern left to use.
or mutiple valid patterns(2+ valid rookes same space) ie no pattern reduction in subgrids where 2 or more choices can be vaild (mutiple solutions).

or no valid pattern = conflict of placement no vaild placement for any rookeri(incorect placemnt, or simple no vaild pattern completions as it cannot complet to 9 digits placed. can arrive where 2 numbers must be vaild at the same time same space.

my theory is that 17 numbers creates enough overlapping heuristics that all singles are expressed and valid in each subgrid.

and that a 16 set of right cominations of heuristics can reduce to only a min of 2 uncompleted rookiers with 2 distinctive possible completions. either of the 2 spaces can be either number.

id post an example from one of the many known 16 grids where there is perciesly 2 rookeris on the same space, where they are the only uncompleted single spaces all with exactly 2 choices. but i am lacking an example atm.


menaing that the existiance of the 17th number defines the unbalanced rookeire and forces the cells to choose a single path rahter then bifucating.
Some do, some teach, the rest look it up.
stormdoku
User avatar
StrmCkr
 
Posts: 1430
Joined: 05 September 2006

Postby coloin » Tue Dec 18, 2007 8:16 pm

thanks red ed,
thanks StrmCkr...I can see the way you are going, and i understand the way the rookeries will and wont fit !

with respect to "line -of-sight" eliminations

Code: Select all
and that a 16 set of right cominations of heuristics can reduce to only a min of 2 uncompleted rookiers with 2 distinctive possible completions. either of the 2 spaces can be either number


The infamous 16-clue subpuzzle [with 2 solutions] [18 clues unavoidable set][a 2-rookery][from the SF grid][2-perm]
Code: Select all
+---+---+---+
|...|.4.|7..|
|.8.|...|...|
|.1.|...|.2.|
+---+---+---+
|...|8..|..6|
|7..|...|...|
|4..|...|2..|
+---+---+---+
|3.2|.7.|...|
|...|...|...|
|...|..6|.18|
+---+---+---+
Here are the initial [virtual] pencilmarks, reduced by the "in-line" reductions, 16 numbers plus pencil marks
+-------------------------+-------------------------+-------------------------+
| 2569    23569   3569    | 123569  4       123589  | 7       35689   1359    |
| 2569    8       345679  | 1235679 123569  123579  | 134569  34569   13459   |
| 569     1       345679  | 35679   35689   35789   | 345689  2       3459    |
+-------------------------+-------------------------+-------------------------+
| 1259    2359    1359    | 8       12359   1234579 | 13459   34579   6       |
| 7       23569   135689  | 1234569 123569  123459  | 134589  34589   13459   |
| 4       3569    135689  | 135679  13569   13579   | 2       35789   13579   |
+-------------------------+-------------------------+-------------------------+
| 3       4569    2       | 1459    7       14589   | 4569    4569    459     |
| 15689   45679   1456789 | 123459  123589  1234589 | 34569   345679  234579  |
| 59      4579    4579    | 23459   2359    6       | 3459    1       8       |
+-------------------------+-------------------------+-------------------------+
Here are the almost final stages with simple techniques, most solvers stop here, SE says needs nishio or forcing chains to show 5 or 9 cannot be at r4c3 !
+-------------------------+-------------------------+-------------------------+
| 6       359     359     | 2       4       1       | 7       8       59      |
| 2       8       47      | 579     6       359     | 1       59      34      |
| 59      1       47      | 579     8       359     | 6       2       34      |
+-------------------------+-------------------------+-------------------------+
| 1       2       359     | 8       359     7       | 59      4       6       |
| 7       359     6       | 4       359     2       | 8       359     1       |
| 4       359     8       | 6       1       59      | 2       359     7       |
+-------------------------+-------------------------+-------------------------+
| 3       4       2       | 1       7       8       | 59      6       59      |
| 8       6       1       | 59      59      4       | 3       7       2       |
| 59      7       59      | 3       2       6       | 4       1       8       |
+-------------------------+-------------------------+-------------------------+
This is the "real" pm board which show the 2-digit unavoidable,16 given clues, plus 47 inserted clues, plus 36pm
+-------------------------+-------------------------+-------------------------+
| 6       3       59      | 2       4       1       | 7       8       59      |
| 2       8       4       | 7       6       59      | 1       59      3       |
| 59      1       7       | 59      8       3       | 6       2       4       |
+-------------------------+-------------------------+-------------------------+
| 1       2       3       | 8       59      7       | 59      4       6       |
| 7       59      6       | 4       3       2       | 8       59      1       |
| 4       59      8       | 6       1       59      | 2       3       7       |
+-------------------------+-------------------------+-------------------------+
| 3       4       2       | 1       7       8       | 59      6       59      |
| 8       6       1       | 59      59      4       | 3       7       2       |
| 59      7       59      | 3       2       6       | 4       1       8       |
+-------------------------+-------------------------+-------------------------+
any 5 or 9 solves the puzzle
Code: Select all
+---+---+---+
|63.|241|78.|
|284|76.|1.3|
|.17|.83|624|
+---+---+---+
|123|8.7|.46|
|7.6|432|8.1|
|4.8|61.|237|
+---+---+---+
|342|178|.6.|
|861|..4|372|
|.7.|326|418|
+---+---+---+


With regard to pencil-marks, pms or preposition clues......in an empty grid, with no given clues, 9*81= 729 pms demonstrated.

In a solved puzzle there are 81 correct pms [given clues + inserted clues] [dependant on the number of clues in the puzzle]

Inital reductions are "box / line of sight" or "simple"

To solve the puzzle "round the corner" interactions have to occur, and i can understand your vision of "possible templates", indeed some solvers work this way !!

At any rate to solve a puzzle you have to get rid of 729-81 = 648 incorrect pms

With a random 16 clues, hopefully valid and minimal, you may get around 4 million grid solutions, there might not be any insertable clues and there will be many "real" pms.

In a 17, which has one solution
Code: Select all
+---+---+---+
|...|.4.|7..|
|.8.|..5|...|
|.1.|...|.2.|
+---+---+---+
|...|8..|..6|
|7..|...|...|
|4..|...|2..|
+---+---+---+
|3.2|.7.|...|
|...|...|...|
|...|..6|.18|
+---+---+---+
as you say a single clue in an otherwise empty grid can [at most] have the following effects on the pms:
in the box - 8 [for the clue position]plus 8 [for the clue in the other positions in the box] - to leave a single pm in a box - this is what an independant given clue does on its own. = 16
outside the box - 6 plus 6 "line of sight" =12

= 28pms per clue total

the first 6 clues [the maximal in this puzzle] will get rid of 28 pms each !!! = 168, you dont need a "sumation correction " yet
Code: Select all
+---+---+---+
|...|...|7..|
|.8.|...|...|
|...|...|...|
+---+---+---+
|...|...|..6|
|...|...|...|
|4..|...|...|
+---+---+---+
|..2|...|...|
|...|...|...|
|...|...|.1.|
+---+---+---+

If anything can make the approximation simpler maybe this puzzle [one of 2 known 17-puzzles with the 9clue rainbow template] will help...
Code: Select all
+---+---+---+
|1..|..6|...|
|...|2.7|...|
|9..|...|3..|
+---+---+---+
|.4.|.9.|...|
|3..|.5.|...|
|...|...|.6.|
+---+---+---+
|..7|...|2..|
|..6|..8|...|
|...|...|1.9|
+---+---+---+ valid 17-puzzle

+---+---+---+
|1..|...|...|
|...|2..|...|
|...|...|3..|
+---+---+---+
|.4.|...|...|
|...|.5.|...|
|...|...|.6.|
+---+---+---+
|..7|...|...|
|...|..8|...|
|...|...|..9|
+---+---+---+  9 clues which are independent,

+----------------------------+----------------------------+----------------------------+
| 1        2356789  2345689  | 3456789  346789   345679   | 2456789  245789   245678   |
| 3456789  356789   345689   | 2        1346789  1345679  | 1456789  145789   145678   |
| 2456789  256789   245689   | 1456789  146789   145679   | 3        1245789  1245678  |
+----------------------------+----------------------------+----------------------------+
| 2356789  4        1235689  | 136789   1236789  123679   | 125789   1235789  123578   |
| 236789   1236789  123689   | 1346789  5        1234679  | 124789   1234789  123478   |
| 235789   1235789  123589   | 134789   1234789  123479   | 1245789  6        1234578  |
+----------------------------+----------------------------+----------------------------+
| 2345689  1235689  7        | 134569   123469   1234569  | 124568   123458   1234568  |
| 234569   123569   1234569  | 1345679  1234679  8        | 124567   123457   1234567  |
| 234568   123568   1234568  | 134567   123467   1234567  | 1245678  1234578  9        |
+----------------------------+----------------------------+----------------------------+

add 8 clues to solve it.
Code: Select all
+----------------------------+----------------------------+----------------------------+
| 1        23578    23458    | 34589    348      6        | 45789    245789   24578    |
| 4568     3568     3458     | 2        1348     7        | 45689    14589    14568    |
| 9        25678    2458     | 1458     148      145      | 3        124578   1245678  |
+----------------------------+----------------------------+----------------------------+
| 25678    4        1258     | 13678    9        123      | 578      123578   123578   |
| 3        126789   1289     | 14678    5        124      | 4789     124789   12478    |
| 2578     125789   12589    | 13478    123478   1234     | 45789    6        1234578  |
+----------------------------+----------------------------+----------------------------+
| 458      13589    7        | 134569   1346     13459    | 2        3458     34568    |
| 245      12359    6        | 134579   12347    8        | 457      3457     3457     |
| 2458     2358     23458    | 34567    23467    2345     | 1        34578    9        |
+----------------------------+----------------------------+----------------------------+

regards
C
coloin
 
Posts: 2494
Joined: 05 May 2005
Location: Devon

Postby StrmCkr » Tue Dec 18, 2007 11:47 pm

found the error for 125. miss counted.:) so it is 126.


Code: Select all
+---+---+---+
|1..|..6|...|
|...|2.7|...|
|9..|...|3..|
+---+---+---+
|.4.|.9.|...|
|3..|.5.|...|
|...|...|.6.|
+---+---+---+
|..7|...|2..|
|..6|..8|...|
|...|...|1.9|
+---+---+---+


thanks for the puzzle. all the individual templets numbers 1- 9 solve as line of sight to a point. then i looked at each set of numbers
one at a time.

brought each of there respected rookerie down to either completion or a stop point where line of sight reduction stops leaving squares sets or combinations of squares. typically (4/6/7/8 cells)

notes.
7 is the oddity caused by overlapping squares, where 1 corner is linked.

the next number i looked solved on one of these squares on the inital number i looked at as the only single via line of sight (completed the inital grid i looked at), or solved to a second point leaving combination of 4 numbers (typically 4/6/7/8/ patterns).
repeat for each number.

basically i view these as an overlapping of 9 dimensional spaces.
each number is a dimension. limited by constraints row/column/box.

expressing the curve of possiblities (not considering variation per box as total count) but it is expressed via line of sight reduction.

0 - clue : 1 possible
1 - clue: 9 possibile
2 - clues: 36 possible.
3 - clues: 84 possible
4 - clues : 126 possible
5 - clues: 126 possible
6 clues: 84
7 clues: 36 popossiblessible
8 clues : 9 possible
9 clues : 1 possible

total = 512 ways of mapping out a single clue.

than add in a dimensional limit of no number can overlap same space for a unique solution. and thats where i found conflict of placement.

if a box/line reduction forces a zero solution in any of the 9 dimension it creates a conflict.

basic rules.

if clue 2 and clue 1 both occupy cell A,b,c,d (all in a some combination of square patterns) you have mutiple solutions. (4/6/7/8 etc) forms a none terminating error. bifucation.

if clue 2 must go in cell A(reduced via line of sight) where A is already clue 1 = 0 solutions, or vice versa. (conflict!)

if clue 2 is the only clue left in A > B,C = clue 1 > D = clue 2. or reversed. valid:)

heres my example from your puzzle looking only at the 9 template. @ are pm. x are dimensional numbers already set.

Code: Select all
 *-----------*
 |x..|@.x|.@@|
 |...|x.x|.@@|
 |9..|...|X..|
 |---+---+---|
 |.x.|.9.|...|
 |x@@|.x.|@@.|
 |.@@|...|@x.|
 |---+---+---|
 |.@x|@.@|x..|
 |.@x|@.x|...|
 |...|...|x.9|
 *-----------*


basic rules line of sight - R5C2 R6C2 cannot = 9 due to r7c2,r8c2 pm

R1c4 = 9 dimensional constraint(all the x's limit 3 spaces) + line of sight(r3c1,+r4c5) > R7c6 = 9 > R1c8,r1c9 cannot = 9 (via line of sight of R1c4) > R7c2 cannot = 9. therfor R8c2= 9(line of sight + dimensional)

which solves to this point. leaving 2 linked squares (7 cells)
Code: Select all
 *-----------*
 |x..|9.x|...|
 |...|x.x|.@@|
 |9..|...|X..|
 |---+---+---|
 |.x.|.9.|...|
 |x.@|.x.|@@.|
 |..@|...|@x.|
 |---+---+---|
 |..x|.9|x..|
 |.9x|..x|...|
 |...|...|x.9|
 *-----------*


at that point i would search each other grid for a single that would solve one of those 7 cells which would force the above squares to compeltion.:)
the order i pic is the 6 grid followed by 7 > solves the 9 grid. then repeat and the puzzle solves.
Code: Select all
 *-----------*
 |x..|x.6|...|
 |@@.|x.x|@.@|
 |x@.|...|x.@|
 |---+---+---|
 |@x.|@x.|...|
 |x@.|@x.|...|
 |...|...|.6.|
 |---+---+---|
 |..x|@@x|x.@|
 |.x6|..x|...|
 |...|@@.|x.x|
 *-----------*

r7c9 = 6 (line + dimensioal) > r2c7 = 6 (line + dimensional) >
r3c2 = 6 (line + dimensional) > r4c1 = 6 (line + dimensional) >
R5c4 = 6 (line +dimensional) > r8c5 = 6 (line + dimnsional)

Code: Select all
 = complets all off the 6 grid.
*-----------*
 |x..|x.6|...|
 |...|x.x|6..|
 |x6.|...|x..|
 |---+---+---|
 |6x.|.x.|...|
 |x..|6x.|...|
 |...|...|.6.|
 |---+---+---|
 |..x|..x|x.6|
 |.x6|..x|...|
 |...|.6.|x.x|
note the location r2c7 = 6 > forces r2c8 = 9 further complets parital 9 grid.
Some do, some teach, the rest look it up.
stormdoku
User avatar
StrmCkr
 
Posts: 1430
Joined: 05 September 2006

Postby coloin » Wed Dec 19, 2007 6:52 pm

Im not sure what you are achieving here.

We know this puzzle with 17 clues has a unique solution, this puzzle has 9 of the rainbow template - plus 8 clues.
We know that it wont have a unique solution without all the clues , it will only partially complete with less clues.

Perhaps given the nine initial clues you could look at the pm reductions [or other analysis] achieved with each of the ways you can add the other 8 clues....

ways to add 1 more clue = 8
ways to add 2 more clues = 28
ways to add 3 more clues = 56
ways to add 4 more clues = 70
ways to add 5 more clues = 70.....

Approaching 9 plus 8 clues will introduce non line of sight reductions - these ultimately solve the puzzle, but become undefinable.

C
coloin
 
Posts: 2494
Joined: 05 May 2005
Location: Devon

Postby StrmCkr » Thu Dec 20, 2007 10:12 am

Approaching 9 plus 8 clues will introduce non line of sight reductions - these ultimately solve the puzzle, but become undefinable


i belive they are definable.
im suggesting this.

the grids 1-9 expressed as a templet of 9 digits are planes or dimenions
each plane has box/line of sight rules attached to them. (first simplistic rule of coding)

then u have a new rule added for planer interaction.

each plane displaces or restricts the placement of each digit by eliminating space. either via a real placed number or super imposed pm of remaining digits from other planes. so u can have 1+1 plane as i showed in my previos post ,interaction, 3 planes all locked together. 4 & 5 planes locked, perhaps 6/7 but rare.

when a placed or pm digit restricts the placement of a digit on another plane down to a location of each box to having no vaild placement. then a invaild puzzle exists. (zero solutions). (im perposing they can be defined befor they happen)

when a set of digits are not restricted beyond a specific point ( ie completing one corner on a square) then mutiple solutions remain. (if this happens as in the case of 16 clue puzzle - than mathmatically all subsets of known "conflicts" cannot restrict enough penicl marks to produce a single solution only mutiple.

so the question is what are all the known conflicts of placements that would induce when completed a invalid solution (thus a vaild puzzle avoids them)

each combination of planer interactions cann't have a zero placement issue. where a set of given pms+clues invalidates or produces a zero placement cell.

for example

Code: Select all
+---+---+---+
|12.|...|...|
|...|...|...|
|...|...|...|
+---+---+---+
|21.|...|...|
|...|...|...|
|...|...|...|
+---+---+---+
|..?|...|...|
|...|..2|..1|
|...|..1|..2|
+---+---+---+
? = both the 2 and the 1 in the same singular cell.
where if any of the 2/1 sets are force or placed and compelted in said pattern a zero solution happens. (example of bi-planer interaction) how would u prevent said pattern from happening? a conflict check befor hand would work

im writing out forced restrictions patterns, where cells cann't be a specific number or a zero solution happens.
(which is where im mostly looking as the definintion of these restrictions prevent the zero placement from happening to begin with)

fore example.
Code: Select all
 *-----------*
 |12.|...|...|
 |...|12.|...|
 |...|...|12.|
 |---+---+---|
 |21.|...|...|
 |...|21.|...|
 |...|...|21.|
 |---+---+---|
 |..1|..X1|..C|
 |..A|..1|..D|
 |..B|..x2|..1|
 *-----------*
 
where if x1+a is force to = 2 box/quad 9(c/d) = 0

ie A+c = 2 : vaild (solves x2) or
(issomorphic codvariations : a+x2(solves c), or C+x2 (solves a)

b +x1 = 2 : vaild (solves C) or issormorphic code variations : c+b(solves x1), or x1+C (solves b)

x1 + D = 2 vaild (solves B ) or (issomorphic code variation : x1+ b = 2(solves d) or d+b(solves x1)

avoiding having x1+a = 2 at the same time, across the 9 dimension interaction is what im looking to do. (this prevents the zero solution)

menaing that x1+a cannot be solved as 2 at once. avoiding that subset is the essence of P.

thus a restriction is created when the gives(mapped above) are set a & x1 cannot = 2.
P applies to all cells that direectly line of site affect the placemetn of x1 and a. so that if any portion of the chain of placements reduces half of the affected cells and forces A or x1 to equal to 2 the opposit side is equal to not 2 to prevent the zero,

so basically u have to check the interaction of all planes so that none of them restict the placemetn of A&X1 as only a 2
thus P exists and can be defined.


not sure if that makes any sence. but thats my idea.
Some do, some teach, the rest look it up.
stormdoku
User avatar
StrmCkr
 
Posts: 1430
Joined: 05 September 2006

Re: Sudoku space

Postby denis_berthier » Sat Jul 13, 2024 6:10 am

.
My approach to defining a "Sudoku space" and to endowing it with some topology relies on a different approach.

First, I assumed that, in order to make the topology useful for some purpose, any reasonable measure of difficulty should be continuous wrt the topology.
This rules out any topology defined by the Hamming distance between puzzles (even made independent of isomorphisms).

As any reasonable measure of difficulty should be invariant under expansion by Singles, this leaves only one possibility.
Define an equivalence relation: P1 is equivalent to P2 iff they have the same expansion by Singles.
It is easy to see that the equivalence classes define a basis of open sets, where a basic open neighbourhood of P is the set of puzzles that have the same expansion by Singles as P.

The "Sudoku space" considered can be either all the minimal puzzles or all the single-solution puzzles or even all the consistent puzzles.

Notice that, in this topology:
- a puzzle is isolated iff it is its own expansion by Singles,
- puzzles from different solution grids are isolated from each other,
- in this view, isomorphisms are naturally applied to the whole Sudoku space (i.e. not to individual puzzles) and the topology is invariant under Sudoku isomorphisms. It doesn't mean that it is compatible with equivalence classes wrt isomorphisms (it is not, there's no miracle).

This topology is not trivial, neither in the mathematical sense (where trivial means that any point is open and closed) nor in the intuitive sense (where trivial could mean: it leads nowhere).
Expansion by Singles, and therefore the basic open neighbourhood of a puzzle, has become a major ingredient in all the recent vicinity search techniques. Given a puzzle P, one exp)lores its vicinity (i.e. its basic open neighbourhood) by digging for minimals in it. This part of vicinity search occurs within a fixed solution grid. Another part changes the solution grid via the classical {-p+q} technique.
Interestingly, the {-p+q} technique can define a metric on the space of solution grids (while it can't on the space of puzzles). So, there may be some advantage in conceptually separating the two search processes.

For more details, see http://forum.enjoysudoku.com/hierarchical-classifications-in-constraint-satisfaction-t42076.html or https://www.researchgate.net/publication/381884473_Hierarchical_Classifications_in_Constraint_Satisfaction_Second_Edition
.
.
denis_berthier
2010 Supporter
 
Posts: 4209
Joined: 19 June 2007
Location: Paris

Re: Sudoku space

Postby coloin » Mon Aug 05, 2024 4:35 pm

denis_berthier wrote:This rules out any topology defined by the Hamming distance between puzzles (even made independent of isomorphisms).
....
The "Sudoku space" considered can be either all the minimal puzzles or all the single-solution puzzles or even all the consistent puzzles..


Indeed ..... the "sudoku puzzle" space is vast but nevertheless finite !!

Considering all puzzles within a single grid solution ... for example there may be 5x10^15 different minimal puzzles.
Non minimal puzzles , way back, Ocean posted a table for the approx number of puzzles in one solution grid [ mostly non minimal]here
Hidden Text: Show
Code: Select all
#
# Statistics from 10000 grids: r, m, N, M (average per grid; r and m for nonminimal grids).
#
# r[81]=81.000000 m=0.000000 N=1.000000 M=0.000000
# r[80]=80.000000 m=0.000000 N=81.000000 M=0.000000
# r[79]=79.000000 m=0.000000 N=3240.000000 M=0.000000
# r[78]=78.000000 m=0.000000 N=85320.000000 M=0.000000
# r[77]=76.997700 m=0.000000 N=1663740.000000 M=0.000000
# r[76]=75.995200 m=0.000000 N=25620830.679600 M=0.000000
# r[75]=74.988800 m=0.000000 N=324510025.277056 M=0.000000
# r[74]=73.982500 m=0.000000 N=3476373911.928017 M=0.000000
# r[73]=72.973100 m=0.000000 N=32148854117.401814 M=0.000000
# r[72]=71.960000 m=0.000000 N=260666838488.286011 M=0.000000
# r[71]=70.942500 m=0.000000 N=1875758569761.705810 M=0.000000
# r[70]=69.922300 m=0.000000 N=12097363848665.437500 M=0.000000
# r[69]=68.896300 m=0.000000 N=70489625352961.609300 M=0.000000
# r[68]=67.862900 m=0.000000 N=373574951938865.312000 M=0.000000
# r[67]=66.824300 m=0.000000 N=1810848543280858.500000 M=0.000000
# r[66]=65.784700 m=0.000000 N=8067245754050870.000000 M=0.000000
# r[65]=64.737000 m=0.000000 N=33168833859781892.000000 M=0.000000
# r[64]=63.681900 m=0.000000 N=126308870445923536.000000 M=0.000000
# r[63]=62.619400 m=0.000000 N=446866047602792128.000000 M=0.000000
# r[62]=61.548200 m=0.000000 N=1472762304276751610.000000 M=0.000000
# r[61]=60.470800 m=0.000000 N=4532293442804318200.000000 M=0.000000
# r[60]=59.385100 m=0.000000 N=13051019539101493200.000000 M=0.000000
# r[59]=58.285000 m=0.000000 N=35228913655977095100.000000 M=0.000000
# r[58]=57.178200 m=0.000000 N=89274662279940210600.000000 M=0.000000
# r[57]=56.058300 m=0.000000 N=212690187282286542000.000000 M=0.000000
# r[56]=54.923900 m=0.000000 N=476922013029064179000.000000 M=0.000000
# r[55]=53.782700 m=0.000000 N=1007477575054116120000.000000 M=0.000000
# r[54]=52.616800 m=0.000000 N=2006846821328259640000.000000 M=0.000000
# r[53]=51.440100 m=0.000000 N=3771209208159455930000.000000 M=0.000000
# r[52]=50.248900 m=0.000000 N=6689357889263560030000.000000 M=0.000000
# r[51]=49.027300 m=0.000000 N=11204429188060523000000.000000 M=0.000000
# r[50]=47.790700 m=0.000000 N=17720093907477409500000.000000 M=0.000000
# r[49]=46.531800 m=0.000000 N=26464240372002521600000.000000 M=0.000000
# r[48]=45.253900 m=0.000000 N=37316022428543844600000.000000 M=0.000000
# r[47]=43.945400 m=0.000000 N=49667516099384716500000.000000 M=0.000000
# r[46]=42.607300 m=0.000000 N=62361681771254310200000.000000 M=0.000000
# r[45]=41.219000 m=0.000000 N=73807302325898997300000.000000 M=0.000000
# r[44]=39.794500 m=0.000000 N=82223329583006234900000.000000 M=0.000000
# r[43]=38.321800 m=0.000000 N=86106218133972156600000.000000 M=0.000000
# r[42]=36.800300 m=0.000000 N=84608853079139865800000.000000 M=0.000000
# r[41]=35.210400 m=0.000000 N=77840779399206770000000.000000 M=0.000000
# r[40]=33.564800 m=0.000000 N=66848901925800725400000.000000 M=0.000000
# r[39]=31.836300 m=0.000000 N=53423095794264669400000.000000 M=0.000000
# r[38]=30.005300 m=0.000000 N=39553341968254612000000.000000 M=0.000000
# r[37]=28.063500 m=0.000000 N=26972952085456140300000.000000 M=0.000000
# r[36]=26.029800 m=0.000000 N=16821232018893299500000.000000 M=0.000000
# r[35]=23.833500 m=0.000000 N=9518550113160626430000.000000 M=0.000000
# r[34]=21.517800 m=0.000000 N=4826816257915187360000.000000 M=0.000000
# r[33]=19.128800 m=0.000000 N=2163801393220154550000.000000 M=0.000000
# r[32]=16.615700 m=0.000000 N=844712736543463047000.000000 M=0.000000
# r[31]=13.983100 m=0.000000 N=280709868331704385000.000000 M=0.000000
# r[30]=11.328200 m=0.000300 N=76964591369981476800.000000 M=0.000000
# r[29]= 8.736074 m=0.005801 N=16766736229950400000.000000 M=444026488672969.000000
# r[28]= 6.333266 m=0.051465 N=2763614516888020000.000000 M=1835118133439280.000000
# r[27]= 4.268097 m=0.204166 N=323908954919126000.000000 M=2632129199201930.000000
# r[26]= 2.760009 m=0.493130 N=24931648291358800.000000 M=1192614625453350.000000
# r[25]= 1.864703 m=0.779778 N=1169999045878610.000000 M=209043386994070.000000
# r[24]= 1.377279 m=0.969144 N=31436787719104.800000 M=13146176873222.200000
# r[23]= 1.152778 m=0.972222 N=434332314055.281000 M=305624754441.759000
# r[22]= 1.031250 m=1.031250 N=2514766833.155200 M=2120886796.992840
# r[21]= 0.000000 m=0.000000 N=6769813.121541 M=6769813.121541
# r[20]= 0.000000 m=0.000000 N=0.000000 M=0.000000
# r[19]= 0.000000 m=0.000000 N=0.000000 M=0.000000
# r[18]= 0.000000 m=0.000000 N=0.000000 M=0.000000
# r[17]= 0.000000 m=0.000000 N=0.000000 M=0.000000
# r[16]= 0.000000 m=0.000000 N=0.000000 M=0.000000

however every non-minimal puzzle could be described as a "region" within a grid and will have a defined number of minimal puzzles pruned from it.
eg a puzzle with a completed box or row, or a puzzle with a complete template of one clue.

Subsequent posts in the above thread would indicate there may be ~10^24 non-minimal puzzles per grid

Solving a minimal puzzle with singles will expand the puzzle to a final non-minimal state. This resulting expanded non-minimal puzzle will have minimal puzzles of at least the hardness rating and some indeed will be harder.

A vicinity search eg {-1+1} can be within a grid or it can envolve jumping across to another grid.

The absolute number of grids is 6x10^21, giving the absolute number of minimal puzzles as ~3x10^37

This "hamming" distance between puzzles can be defined and the smallest distance can be computed by gsf [ sudoku-64 -CSf twopuzzlestrings.txt > output.txt]

Its not obvious but taking 2 random 26 clue puzzles ... when morphed they can usually be shown to share 12 or so clues which is / is not surprizing :!: :!:
Code: Select all
26 clues
similarity 12
1..9..47..39....6.6....1.5.3....6......452......8....5.6.7......9....73..13..5..6
.2.9..4.3....7..1.63...1..23....6.2.....5...92578......6....7.........35....25..6

This reduces to 10 clues in two random 18C puzzles.....and it increases to 49 with two complete solution grids !!!
Code: Select all
24 clues
similarity 12
......34...69.........3.9...7..1.4...2...6.3...4.75.6...5.2.........48.1.13...6..
...1....72..9......5.87.9...7..184.5.....6.....4..5...4.5.2..6..9....8...1......2

22 clues
similarity 11
.26.....1.8.9.........5..6.4..7..2......3..8......5...54..9.........4.7.1....639.
.......61.8.9.....2...5.74...7...2....5......96.3.....54..9.......42..7......63..

20 clues
similarity 11
.9..4......8.....1..5..1.....9...45.....1.....6.7..3.....3....76.....23.....96...
....45......8....1.45.1......9....54......9.....7..3..8.......76..53.2......9....

19 clues
similarity 10
.5...4.9.....7....91.........7.6......3...56.....8.......8...45.6..1....1.......8
.5.3...9...2.7....91.5.......7.6...2.4.9.........8...6.......4........1...6.....8

18 clues
similarity 10
...5..87...9.......2.......7....9.....4.1.6.........8..7.......5.....2....13..4.9
...5.48...89.........6.....7......5.3...1.6.........8.........1....9.2..5..3....9

30 clues
similarity 14
2.......9..7....1....2.8.4.8.3..2.719......361..6..9.8.1.72.....2.8.9.6.7965.....
.1....2.9.64.9.3.........4..........9...7..361.6.429.8..172.8..62..59.7.79..8....

81 clues
similarity 49
136592874859147326427836915712689543384715692695423781973254168548961237261378459
326591784519487326487632915792168543138745692654329871973254168845916237261873459

Code: Select all
35 clues both non-minimal
similarity 16                                                                   
1.79..8.3....8.9.58..3...4..78..95...3.5.6.984.51..76..8..21..47.4......5.3...1.6
.2.98...3..61.29.58..3.51....8...5.79....6..1.5..7..6.58.62..1476...4....137....6

40 clues both non-minimal
similarity 19                                                                   
3.84.96.2.76.859349......1..5.9.84..82..6.3.9..17.3.2..8..9....4628..1....92.47.6
3894..6.27...85.344.2.3..7......84..824.6..1.6..7....3.4..7..85.678.3.4.23.1.47.6

45 clues both non-minimal
similarity 21
18.46...5.6.5.149...5.2..768.62.354.49..7..62.528.69.39...5.68.63.7.9.5...1.84.39
18.3.2..5.6.19..47.79.651..8.6.3751..93..1.26.5.82...39.8.5.67.63.7.9.58..76.4..9

50 clues both non-minimal
similarity 23
.6.4.53815.1..9.4234.817..5.1.75.6.9739.685.44.63...7..74.832.66..2.18.78259.6.1.
.574.61.91..53..4..42.17.65.1895463.739.6..5446..7..21.74.812.369.24.57.8..7..41.

55 clues both non-minimal
similarity 27
59.26.3.77.4381.52.837.54.6.7.6.954.346.521.9.5.14.62.9.5428761.27.1.8.44.89.6.35
5.1.6.37267.3.19...837954.63126.984.7.8.325.1.5.18.62.9.52.81.412.54..89.47916.35
coloin
 
Posts: 2494
Joined: 05 May 2005
Location: Devon

Re: Sudoku space with 18C puzzles

Postby coloin » Mon Aug 12, 2024 5:57 pm

Code: Select all
1....6......2.7...9.....3...4..9....3...5...........6...7...2....6..8.........1.9 # C17
1....6......2....5......3..64.9.........5....8......6...7...........8.1..5..4...9 # C17

We do know the Sudoku space for 17C puzzlers at least
and these are the 2 C17 puzzles with the 1-9 template, the most they share is one other clue !
Code: Select all
+---+---+---+
|1..|...|...|
|...|2..|...|
|...|...|3..|
+---+---+---+
|.4.|...|...|
|...|.5.|...|
|...|...|.6.|
+---+---+---+
|..7|...|...|
|...|..8|...|
|...|...|..9|
+---+---+---+

So on to the vastness of the 18C
Here is an 18C puzzle with the 1-9 template [ 9 plus 9 clues]
Code: Select all
+---+---+---+
|1..|...|...|
|...|2..|...|
|...|...|3..|
+---+---+---+
|.4.|...|...|
|...|.5.|8..|
|.92|4..|.6.|
+---+---+---+
|..7|...|..4|
|5..|.18|...|
|.2.|.3.|..9|
+---+---+---+

I set about finding a few more of the 18C puzzles .....
Its not immediately obvious but there are 72 morphs of this puzzle which have the 1-9 template [ 9 x2 x2 x2] with necessary band and clue swaps !
{-1+1} connectivity was achievable.
Despite only adding 9 clues and the constriction effect of the isomorphs there were pockets of puzzles isolated with {-2+2} and maybe furthur.
There were over 100K and increasing numbers of puzzles ...zipfile
One 18C posted previously does not have an easy start ...
Code: Select all
+---+---+---+
|1..|..4|...|
|...|29.|..5|
|..6|...|3..|
+---+---+---+
|.4.|...|...|
|2..|.5.|1..|
|8..|...|.6.|
+---+---+---+
|..7|...|..4|
|...|..8|...|
|.5.|...|..9|
+---+---+---+   ED 7.3/7.3/6.7
coloin
 
Posts: 2494
Joined: 05 May 2005
Location: Devon

Re: Sudoku space

Postby P.O. » Tue Aug 13, 2024 9:56 am

interesting puzzle, i posted a solution in the Puzzles section.
P.O.
 
Posts: 1731
Joined: 07 June 2021

Re: Sudoku space

Postby coloin » Wed Aug 14, 2024 1:07 am

P.O. wrote:interesting puzzle, i posted a solution in the Puzzles section.

I indeed saw how you solved it ....

I managed to be able to construct the 72 isomorphs of the puzzle keeping the 1-9 transversal constant...

Hidden Text: Show
Code: Select all
1...........2....7...9..3...427.........5.8..9......6...7.6..4......8.1.........9
1...........2...4....6..3...4...9..7....5...1.......6..274..........85..6.......9
1...........2..5......4.3...4...7..8....5.........1.6..37...4..5....8......6....9
1...........2..8.......73...43...7..8...5.......9...6...7.4..5......8.......1...9
1...........2.7.4..9....3...4.....2.....5...7.......6...74..........81..56......9
1...........24...7..6...3...4.7.........5.1..8.9....6...7.....2.....8.4.........9
1..........52..........734..4....7..9.8.5.......1...6...7..3........8.......4...9
1..........62.......9..73...4..1....3...5...........6...7....1..2...8.......3.5.9
1..........82....7..5...3...4.....1.....5....2......6...7.1.......6.8.2..3......9
1..........92.....5.....3...4....7..3...59..........6...7...12..6...8.......3...9
1.........5.2...4..8....3...4...1......95...2..3....6...7.....1.....8...2.......9
1.........6.2.....8.....3...4....1.2..9.5.........3.6...7...4..3...68...........9
1.........8.2.........4.3.7.4..3........5.........7.6...7...4..65...8......1....9
1.........9.2......6..4.3...4......1..2.5.........386...7..1...3....8...........9
1........6..2.......8...3...4.7.........5....2......68..713.........8.2..5......9
1........9..2......5....3...4.1.3.......5...2..8....6...74..........8...2......59
1.......4..52..........638..4.......9...5....3..1...6...7..4....6...8...........9
1.......4..527.........63...4....8..3...5.2.........6...7....5......8.....6.....9
1.......4..926..........3...4....8.73...5.......9...6...7.......6...8.....2.....9
1.......4.562..........73...4..9........5.......1...6...7.......2...8.......4.1.9
1.......5..92....8......3...4....2......5.....3.....6...7....1..2.4.8.......3...9
1.......8...2.....9.....3...4....7..8...51......9...6...7....2..6...8.5.........9
1.......8...2..4........3...48...2......5.......9...6...7....5..2...8......31...9
1.......8..52.........643...4....2......5..7........6.2.7....5......8.......3...9
1......45..92..........63...4.......3...5.....8.....6...7....1..6.3.8...........9
1......5....2.....6.....3...4......2..9.5...8.......6...7...4..5...18......6....9
1......5....2..7........3...4......8..2.5.......3.1.6..57...2.......8......6....9
1......5..8.2.........793..24......8....5.........3.6...7...2.......8..4........9
1......7..6.2.9.........3...4.........9.5.....2.....6...7...54.3....8......6....9
1......7..8.2.........9.3.5.4..7......9.5...........6...7......6....8...3..1....9
1......7..8.2.4.......9.3...4......8....5.....9.....6...7...5..3....82..........9
1......7..982.........4.3...4.........2.5.........716...7..6........8......1....9
1......8..6.2...5.......3...4......1..275.........3.6...7...2.......8.....3.....9
1......87.6.2.........9.3...4......1..935...........6...7......3....8.....5.....9
1.....4.....2......5....3...4.........8.5...7..2....6...74.........385..6.......9
1.....5.....2....7......3...4...........571..9......6...7.1.........8.4.32......9
1.....7.....2.......8...3...4.7.........538..9......6...7.......5...8.4..2......9
1.....8.....2...4.......3...4...1.......5...73.2....6...7..........481..6.......9
1....4......2.......8...35..4.9.7.......5.8..2......6...7........3..8....5......9
1....4......2....5..6...37..4.9.........5....2..3...6...7.6......5..8...........9
1....4......2....7.65...3...4.....8.....5.1.........6...7.........1.8.4..3......9
1....4......29...5..6...3...4.......2...5.1..8......6...7.....4.....8....5......9 original
1....6......2.......8..93...4.3......2..5...........6...7.1.........8.2..3....4.9
1....7..8...2..........43...4...........5..2....1...6.6.7....1..2...8.......3...9
1....9......2........4..3...493.........5.8.........6...7.6.........821..3......9
1....9......2...54..6...3...4.3.........5........7..6.3.7.6.........8.2.........9
1....9...8..2...........3...4.7.........5.8..9......61..7.3.........8....5..6...9
1....9..7...2....4......3...4...........5.1......3..6.5.7.1.........8.2..3......9
1...4..5....2.........7.3..94......1..2.5.........3.6...7...........8..2...1....9
1...46......2....5..8...3...4........9..5....2......6...7.1.........8....5....2.9
1...6.......2........7..3...4...9.......5.2.1..3....6..673..........85..........9
1...6.......2...78.9....3..34...9.......5...2.......6...73..........8........4..9
1...6....5..2...........3...4...3.......5......8..9.6...74..........85..6......19
1...6..4....2...7.......3..84...1.......5...2..3....6...7...........81.......3..9
1...7.......2......5....3.8.4........3..5......8....6...764.........85..2.......9
1...7.......2...4..89...3...4..........15...7..3....6...7.....5.....81..........9
1...7.......2...8..9....3.4.4...9....8..5...........6...76..........8...2..3....9
1...7.......2.6.8..9....3...4.....7.....5......8....6...7......2....81..5.......9
1...9.......2......5..6.3...4...1.......5...2..3...76...73.......2..8...........9
1...97......2...8..5....3...4...1.......5......8...26...7........6..8...2.......9
1..4......6.2...........3...4.........3.5......9..7.6...7...4..5....8......6...29
1..6........2..........73...4.......8...5.......1...67..7....1.23...8.......4...9
1..7.......92...........3...4....7..8...5.......9...62..7.......3...8....6..4...9
1..9........2.........4.3...4......12.3.5.........7.6...7......5....8......1...49
1.5.7.......2...8..9....3...4...........5...7....9..6...73..1.......84..........9
1.6....7..8.2.........9.3...4...........5..8......7.6...71..2.......8......4....9
1.8....5....2.........9.3...4......8....5..1........6...7...2..5....8......46...9
1.9.6.......2...8.......3...4...9.......5........1..6...73..........845.6.......9
15......8...2..........63...4....2..8...5.......7.9.6...7....5......8..1........9
16...9......2....5......3...4.3.........5.7.89......6...7.6.........8........1..9
18...4......2....5..6...3...4.3..1......5.7.........6...7...........8.4......6..9
19......4..52..........63...4.1..2......5.......7...6...7...........8..5....4...9   72 isomorphs!
coloin
 
Posts: 2494
Joined: 05 May 2005
Location: Devon

Previous

Return to General