evert wrote:gfroyle wrote:There is only one way, up to equivalence, of choosing 9 spots that are all in different rows, columns and boxes.
Does this need any proof by itself?
You need to convince yourself that it is true, but it is not difficult.
Remember that we can permute the rows within any horizontal band of 3, and the columns within any vertical stack of 3 to get an equivalent puzzle.
We need to show that any grid with 9 cells one in each row/col/box can be permuted to the one that I gave in my first message. So assume that someone gives you such a grid not already in the standard form.
Start with the top horizontal band and permute the rows so that row 1 contains the entry from box 1, row 2 the entry from box 2 and row 3 the entry from box 3. Then do the middle horizontal band, and again permute the rows so that rows 4,5,6 contain the entries from boxes 4,5 and 6 respectively. Then do the same in the bottom horizontal band.
Then do the same for the vertical stacks, one at a time, but now permuting columns...
The result of this is a grid with 9 filled cells that IS in standard form.