游戏中的数学模型.pptVIP

数学模型与游戏 “数独”（sudoku） 数独是一种源自18世纪末的瑞士，后在美国发展、并在日本得以发扬光大的数学智力拼图游戏。拼图是九宫格（即3格宽×3格高）的正方形状，每一格又细分为一个九宫格。在每一个小九宫格中，分别填上1至9的数字，让整个大九宫格每一列、每一行的数字都不重复。 1783年，瑞士数学家莱昂哈德·欧拉发明了一种当时称作“拉丁方块”（Latin Square）的游戏，这个游戏是一个n×n的数字方阵，每一行和每一列都是由不重复的n个数字或者字母组成的。 19世纪70年代，美国的一家数学逻辑游戏杂志《戴尔铅笔字谜和词语游戏》（Dell Puzzle Magazines）开始刊登现在称为“数独”的这种游戏，当时人们称之为“数字拼图”（Number Place），在这个时候，9×9的81格数字游戏才开始成型。 1984年4月，在日本游戏杂志《字谜通讯Nikoli》（《パズル通信ニコリ》）上出现了“数独”游戏，提出了“独立的数字”的概念，意思就是“这个数字只能出现一次”或者“这个数字必须是唯一的”，并将这个游戏命名为“数独”（sudoku）。 由 0,1 数字组合，构造所有的R=C=D=S=1的魔方。共有8 个，记为Qi, i=1,2,…,8。 Q1= 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 1 Q2= 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 1 Q3= Q4= 0 0 1 0 0 1 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 1 0 0 0 Q5= 1 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 Q6= 1 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 Q7= 0 0 0 1 1 0 0 0 0 0 1 0 0 1 0 0 Q8= 0 0 0 1 0 1 0 0 1 0 0 0 0 0 1 0 可以证明， Dürer空间（简称D空间）中任何一个元素都可以用Q1，Q2，…，Q8来线性表示，但它们能否构成D空间的一组基呢？ 容易看出： Q1，…，Q8这8个基本方是线性相关的，即至少存在一个Qj，可以通过其它7个基本方的线性组合得到。这8个基本方的地位是等同的，故可不妨设j=8。下面验证Q1，Q2，…，Q7是否线性相关。 令： ，即 = 等号两边对应元素相比较，得r1=r2=…=r7=0， 所以 是线性无关 是D空间的最小生成集。 令D 即解方程组： = 解得 D=8Q1＋8Q2＋7Q3＋6Q4－2Q5＋3Q6＋4Q7 研究Albrecht Dürer铸造的铜币 D空间的子空间和D空间的扩展 （1）要求数字方的所有数都相等 这是集合G={rE,r∈R}， G是以βG={E}为基的一维向量空间 （2）要求列、行及每条主、付对角线上各和都相等。 得到5维泛对角方的向量空间B。例如： 它的基BB为： H=N=R=C=46 其中H为主对角线和，N为付对角线和。 进一步讨论 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 1 0 1 0 0 1 0 1 0 1 0 1 1 0 1 0 1 1 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 （3）要求行和，列和及两条对角线上的元素和相等 得到8维向量空间Q。 基向量QB={Q1，Q2，…，Q7，N0}， 其中Q1，Q2，…，Q7是D的基，而 例如： R=C=D=30 （4）仅要求行和与列和相等 得到10维向量空间ψ 基向量ψB={Q1，Q2，…，Q7，N1，N2，N3} 其中Q1，Q2，…，Q7是D的基，而 （5）对数字没任何要求 所有4×4数字方组成16维向量空间M 基向量MB的元素应是标准基（即仅有一个 元素为1，其余元素均为0的阵）。 Botsch（19