游戏中数学模型.ppt

数学模型与游戏 奇偶数校验及相关问题 ? 证明： 采用反证法，设 ，其中p、q互素，则有 p2=2q2。因为2|p2，故2|p。记p=2p1，可得4p12=2q2 ，即 2p12=q2 ，故又有2|q，与p、q 互素矛盾。 例 证明 是无理数。 同样方法可以证明：若m是大于1的素数，n是大于1的整数，则 必为无理数。 例1：拟用40块方形瓷砖铺设如下图所示的地面，但商店只有长方形瓷砖，其大小为方形的两块。问购买20块长方形瓷砖后，是否可能不裁开而直接铺好地面？ 解 将图11.4中的(a) (b)黑白相间染色。 显然，如长方形瓷砖不裁开，只能用来复盖相邻的两格，故复盖的两格必为一白一黑。 图(a)中共有21个黑格和19个白格，故不可能直接铺好； 图(b)中黑白格各为20个，大家很容易找到直接铺设的方法。 图(a) 图(b) 铺瓷砖 例2：设一块m×n的棋盘被若干个形如 的板块恰好盖满，试证明m×n必能被8整除。 证明: 显然有4|m×n，故m、n中至少有一个为偶数，不妨 设n为偶数，将棋盘按列黑白相间染色，如下图 (a ) ， 由于n为偶数，黑、白列的数目相同，故黑白格数相 同，设各为2k个。 图(a) 板块可以有许多种拼凑法，但容易看出，每一板块放 置的方向（称之为定向）只有八种可能的选择，如下图(b)所示。 图(b) 容易看出，不论按什么方向放置板块，每一板块均盖住 奇数个黑格（1格或3格），故盖住棋盘的板块必有偶数 个，从而，m×n的棋盘必能被8整除。 图(a) 例3：拟将一批尺寸为1×2×4的商品装入尺寸为6×6×6的正方体包装箱中，问是否存在一种装法，使装入的该商品正好充满包装箱。 解 将正方体剖分成27个2×2×2的小正方体，并 按下图所示黑白相间地染色。 再将每一2×2×2的小正方体剖分成1×1×1的小正方体。 易见，27个2×2×2的正方体中，有14个是黑的，13个是白的（或13黑14白），故经两次剖分，共计有14×8=112个1×1×1的黑色小正方体和13×8=104个1×1×1的白色小正方体。 虽然包装箱的体积恰好是商品体积的27倍，但容易看到，不论将商品放置在何处，它都将占据4个黑色和4个白色的1×1×1小正方体的位置，故商品不可能充满包装箱。 在每一次人数不少于6人的聚会中必可找出这样的3人，他们或者彼此均认识或者彼此均不认识 。 利用图的方法来描述该问题。将人看成顶点，两人彼此都认识用实线连，否则虚线。 证明： 相识问题（拉姆齐问题） ? 问题转化为在一个6阶图中必存在实线三角形或虚线三角形。 请大家一起画图证明 υ2 υ1 υ3 υ4 υ6 υ5 υ1 υ2 υ3 υ4 任取一顶点，不妨υ1 考察υ2υ3、υ2υ4和υ3υ4 υ2υ3、υ2υ4和υ3υ4只能是虚线 ，否则得证 但这样三角形υ2υ3υ4的三边均为虚线 不妨取υ1 υ2 、 υ1 υ3 、 υ1 υ4 实线 与υ1相连的边必然有：（鸽笼原理） 实线条数不小于3或虚线条数不小于3 拉姆齐问题也可这样叙述： 6阶2色完全图中必含有3阶单色完全图。 其他类似可推出的结果 ： 命题11.1 任一6阶2色完全图中至少含有两个3阶单色完全图。 证明：前面证明必存在3阶单色完全图，不妨设υ1υ2υ3 为红色完全图 υ1υ5、υ2υ5、υ3υ5中至少有两条黑色、故υ1υ5 与υ2υ5中至少有一条是黑色 若υ4υ5υ6也是红色三角形，命题已得证 故至少一边与υ1υ2υ3的边异色，不妨设υ4υ5黑色 υ1υ4、υ2υ4、υ3υ4至少应有两条黑色，不妨设 υ1υ4 、υ2υ4 黑色 所以存在第二个3阶单色完全图。 υ2 υ1 υ3 υ4 υ6 υ5 命题11.2 7阶2色完全图至少含有4个3阶单色安全图。 命题11.3 18阶2色完全图中必含有4阶单色完全图。 对拉姆齐问题的认识不能仅仅停留在例11.1的水平上。利用逻辑推理方法，实际上还可获得一大批结果。命题11.2和命题11.3的证明留给大家自己去完成。 例2 17位学者中每人都和其他人通信讨论3个方向的课题。任意两人间只讨论其中一个方向的课题，则其中必可找出3位学者，他们之间讨论的是同一方向的课题。 什么是拼方问题 在H.E.Dudeney所写的《Cantebury难题》一书中有一个正方形的图案，这个正方形图案是由一个小长方形和若干个边长各异的小正方形