2.26k likes | 2.4k Views
Beaucoup. de. Sudoku. Mike Krebs, Cal State LA. (joint work with C. Arcos and G. Brookfield). For slideshow: click “Research and Talks” from www.calstatela.edu/faculty/mkrebs. Beaucoup. (French for. de. Sudoku. Mike Krebs, Cal State LA. (joint work with C. Arcos and G. Brookfield).
E N D
Beaucoup de Sudoku Mike Krebs, Cal State LA (joint work with C. Arcos and G. Brookfield) For slideshow: click “Research and Talks” from www.calstatela.edu/faculty/mkrebs
Beaucoup (French for de Sudoku Mike Krebs, Cal State LA (joint work with C. Arcos and G. Brookfield) For slideshow: click “Research and Talks” from www.calstatela.edu/faculty/mkrebs
Beaucoup (French for “lots”) de Sudoku Mike Krebs, Cal State LA (joint work with C. Arcos and G. Brookfield) For slideshow: click “Research and Talks” from www.calstatela.edu/faculty/mkrebs
Beaucoup (French for “lots”) de (Spanish for Sudoku Mike Krebs, Cal State LA (joint work with C. Arcos and G. Brookfield) For slideshow: click “Research and Talks” from www.calstatela.edu/faculty/mkrebs
Beaucoup (French for “lots”) de (Spanish for “of”) Sudoku Mike Krebs, Cal State LA (joint work with C. Arcos and G. Brookfield) For slideshow: click “Research and Talks” from www.calstatela.edu/faculty/mkrebs
Beaucoup (French for “lots”) de (Spanish for “of”) Sudoku (Japanese for Mike Krebs, Cal State LA (joint work with C. Arcos and G. Brookfield) For slideshow: click “Research and Talks” from www.calstatela.edu/faculty/mkrebs
Beaucoup (French for “lots”) de (Spanish for “of”) Sudoku (Japanese for “数字は独身に限る”) Mike Krebs, Cal State LA (joint work with C. Arcos and G. Brookfield) For slideshow: click “Research and Talks” from www.calstatela.edu/faculty/mkrebs
数字は独身に限る For slideshow: click “Research and Talks” from www.calstatela.edu/faculty/mkrebs
数字は独身に限る suji wa dokushin ni kagiru For slideshow: click “Research and Talks” from www.calstatela.edu/faculty/mkrebs
数字は独身に限る suji wa dokushin ni kagiru the digits must be single For slideshow: click “Research and Talks” from www.calstatela.edu/faculty/mkrebs
数字は独身に限る 数独 For slideshow: click “Research and Talks” from www.calstatela.edu/faculty/mkrebs
数字は独身に限る suji wa dokushin ni kagiru 数独 su doku For slideshow: click “Research and Talks” from www.calstatela.edu/faculty/mkrebs
数字は独身に限る suji wa dokushin ni kagiru the digits must be single 数独 su doku single digits For slideshow: click “Research and Talks” from www.calstatela.edu/faculty/mkrebs
A Sudoku is a 9 by 9 grid of digits in which every row, every column, and every 3 by 3 box with thick borders contains each digit from 1 to 9 exactly once. For slideshow: click “Research and Talks” from www.calstatela.edu/faculty/mkrebs
A Sudoku is a 9 by 9 grid of digits in which every row, every column, and every 3 by 3 box with thick borders contains each digit from 1 to 9 exactly once. For slideshow: click “Research and Talks” from www.calstatela.edu/faculty/mkrebs
Typically, one is given some of the entries and must fill in the remaining ones. For slideshow: click “Research and Talks” from www.calstatela.edu/faculty/mkrebs
Typically, one is given some of the entries and must fill in the remaining ones. There are many interesting strategies for how to do this. For slideshow: click “Research and Talks” from www.calstatela.edu/faculty/mkrebs
Typically, one is given some of the entries and must fill in the remaining ones. There are many interesting strategies for how to do this. Today, we will not be learning about any of them. For slideshow: click “Research and Talks” from www.calstatela.edu/faculty/mkrebs
(Side comment: the Sudoku on the right has only 17 “filled-in” entries, yet it has a unique solution. For slideshow: click “Research and Talks” from www.calstatela.edu/faculty/mkrebs
(Side comment: the Sudoku on the right has only 17 “filled-in” entries, yet it has a unique solution. It is conjectured that this is the smallest possible number of “givens” one can have and still have a unique solution.) For slideshow: click “Research and Talks” from www.calstatela.edu/faculty/mkrebs
The digits 1 through 9 are just labels. For slideshow: click “Research and Talks” from www.calstatela.edu/faculty/mkrebs
The digits 1 through 9 are just labels. They could just as well be variables . . . For slideshow: click “Research and Talks” from www.calstatela.edu/faculty/mkrebs
The digits 1 through 9 are just labels. They could just as well be variables . . . . . . or colors . . . For slideshow: click “Research and Talks” from www.calstatela.edu/faculty/mkrebs
The digits 1 through 9 are just labels. They could just as well be variables . . . . . . or colors . . . . . . or . . . For slideshow: click “Research and Talks” from www.calstatela.edu/faculty/mkrebs
Divizio Unu: Ekvivalenta malgranda Sudokoj For slideshow: click “Research and Talks” from www.calstatela.edu/faculty/mkrebs
Divizio Unu: Ekvivalenta malgranda Sudokoj Part One: Equivalent mini-Sudokus For slideshow: click “Research and Talks” from www.calstatela.edu/faculty/mkrebs
To keep things simple, we’ll consider the smaller case of 4 by 4 Sudokus; we call these mini-Sudokus. For slideshow: click “Research and Talks” from www.calstatela.edu/faculty/mkrebs
There are several obvious ways to obtain a new mini-Sudoku from an old one. For slideshow: click “Research and Talks” from www.calstatela.edu/faculty/mkrebs
For example, you can switch the first two columns. For slideshow: click “Research and Talks” from www.calstatela.edu/faculty/mkrebs
For example, you can switch the first two columns. For slideshow: click “Research and Talks” from www.calstatela.edu/faculty/mkrebs
You may not switch columns willy-nilly; tan and lavender either switch or stay fixed. For slideshow: click “Research and Talks” from www.calstatela.edu/faculty/mkrebs
Of course, in addition to permuting columns, we can also permute rows . . . For slideshow: click “Research and Talks” from www.calstatela.edu/faculty/mkrebs
Of course, in addition to permuting columns, we can also permute rows . . . For slideshow: click “Research and Talks” from www.calstatela.edu/faculty/mkrebs
. . . “transpose” the mini-Sudoku . . . For slideshow: click “Research and Talks” from www.calstatela.edu/faculty/mkrebs
. . . “transpose” the mini-Sudoku . . . For slideshow: click “Research and Talks” from www.calstatela.edu/faculty/mkrebs
. . . or relabel entries. For slideshow: click “Research and Talks” from www.calstatela.edu/faculty/mkrebs
. . . or relabel entries. For slideshow: click “Research and Talks” from www.calstatela.edu/faculty/mkrebs
We say two mini-Sudokus are equivalent if you can get from one to the other via a finite sequenceof row/column permutations, transpositions, and relabellings. For slideshow: click “Research and Talks” from www.calstatela.edu/faculty/mkrebs
We say two mini-Sudokus are equivalent if you can get from one to the other via a finite sequenceof row/column permutations, transpositions, and relabellings. For slideshow: click “Research and Talks” from www.calstatela.edu/faculty/mkrebs
We say two mini-Sudokus are equivalent if you can get from one to the other via a finite sequenceof row/column permutations, transpositions, and relabellings. Are all mini-Sudokus equivalent? For slideshow: click “Research and Talks” from www.calstatela.edu/faculty/mkrebs
Given any mini-Sudoku, we can always apply a relabelling to get a new mini-Sudoku of this form: For slideshow: click “Research and Talks” from www.calstatela.edu/faculty/mkrebs
Given any mini-Sudoku, we can always apply a relabelling to get a new mini-Sudoku of this form: For slideshow: click “Research and Talks” from www.calstatela.edu/faculty/mkrebs
Then apply row and column permutations to get: For slideshow: click “Research and Talks” from www.calstatela.edu/faculty/mkrebs
The mini-Sudoku is then determined by this entry: For slideshow: click “Research and Talks” from www.calstatela.edu/faculty/mkrebs
So, every mini-Sudoku is equivalent to one of three mini-Sudokus. For slideshow: click “Research and Talks” from www.calstatela.edu/faculty/mkrebs
And now . . . a brief digression on counting Sudokus. For slideshow: click “Research and Talks” from www.calstatela.edu/faculty/mkrebs
4! For slideshow: click “Research and Talks” from www.calstatela.edu/faculty/mkrebs
4!·2·2 For slideshow: click “Research and Talks” from www.calstatela.edu/faculty/mkrebs