数独问题--数学建模论文.docVIP

数学建模论文 论文题目：数独问题 队长 ： 黄传祯 学号： 1031040111 学院： 理学院 队员1： 陆芬芳 学号： 1031040215 学院： 理学院 队员2：江秋燕 学号： 1031040121 学院： 理学院 联系电话： 2012 年 7 月 22 日 数独问题 摘要 本文主要研究数独问题，通过对数独求解及分析，归纳总结出一套有效的求解算法——整数规划法,以计算机直接模拟人脑的思维方式,逐个排除不可能出现在宫格中的数字。 针对问题一：我们采用加权规范函数WNF(P)（公式如下）来对候选数进行分析，通过计算可以得出本题数独的WNF(P)值，带入难度级别区分表，即可以知道本题的难度级别。 WNF(P)= 针对问题二：根据题目要求利用计算机模拟，在matlab软件中采用穷举法对本题数独进行求解，具体编程见附录一。 针对问题三：我们选用0-1整数规划模型，使用lingo软件对模型进行求解，具体编程见附录二。 针对问题四：我们设计了一个数独，带入问题三的模型中，得到结果如下，也就是说我们问题三的模型适用于所有9*9数独。 （芬兰数独） （举例数独） 关键词：数独 加权规范函数 0-1整数规划 matlab软件 穷举法 lingo软件 §1 问题的重述 问题的提出 数独是根据9×9盘面上的已知数字，推理出所有剩余空格的数字，并满足每一行、每一列、每一个粗线宫内的数字均含1-9，不重复。 每一道合格的数独谜题都有且仅有唯一答案，推理方法也以此为基础，任何无解或多解的题目都是不合格的。 芬兰一位数学家号称设计出全球最难的“数独游戏”，并刊登在报纸上，让大家去挑战。这位数学家说，他相信只有“智慧最顶尖”的人才有可能破解这个“数独之谜”。 据介绍，目前，数独游戏的难度的等级有一道五级，一是入门等级，五则比较难。不过这位数学家说，他所设计的数独游戏难度等级是十一，可以说是所以数独游戏中，难度最高的等级 他还表示，他目前还没遇到解不出来的数独游戏，因此他认为“最具挑战性”的数独游戏并没有出现。 具体问题 根据以上描述，试完成以下问题： 问题一：分析此数独的难度； 问题二：用穷举算法求解数独； 问题三：设计此数独求解的较优的算法； 问题四：建立数独求解模型并给出此数独的答案。 §2 模型假设 1、本题数独初盘不存在任何数据错误。 2、所有数独都是9*9型。 3、假设候选数的计算精度达到最高。 §3 符号说明 序号 符号 符号说明 1 C(X) 表示单元格X中的候选数数目函数 2 P 表示数独 3 E(P) 表示数独P中的单元格 4 n 表示候选数个数 5 Cn(x) 表示候选数额候选数数目函数 6 W(n) 表示加权数 7 WF(P) 表示加权函数 8 WNF(P) 表示加权规范函数 9 Wexp（P） 表示指数函数 10 k 表示可变的数独 11 i 表示方阵的行 12 j 表示方阵的列 13 xijk 表示数独要填入方阵的数 14 p 表示数独的行数 15 q 表示数独的列数 §4 模型分析 “数独”游戏由数学家欧拉发明, 目前在国内外非常流行. 游戏在9×9的单元网格中进行, 单元网格不仅被分为9行、9列, 也被分为3×3个九宫格. 单元网格中已存在若干数字, 其余为空格. 游戏规则要求玩家在每个空格中填入1～9之间的数字, 使每个数字在每行、每列、每个九宫格仅出现一次. 对于问题一：我们认为数独的难度与数独候选数、逻辑推理方法、搜索步数、空格数以及它初盘都有密切的关系。通过大量的计算观察发现，用到的逻辑与推理方法越复杂，那么在数独中出现的候选数越多，在此问题上，我们选择将数独中的候选数量化，构造加权规范函数WNF(P). 对于问题二：我们利用计算机模拟，用matlab软件编程并采用数学建模中常用的穷举法计算此数独，详细编程见附录一。 对于问题三：由于求解数独的方法多种多样，我们选择了比较简单而又实用的整数规划方法，利用lingo软件编程,可以得到如下结果,详细编程见附录二。 对于问题四：由问题三的模型我们可以很容易的计算出此数独的唯一正确答案，方法简单明了，容易理解。 §5 模型建立与求解 5.1针对问题一 5.1.1、加权规范函数WNF(P)的计算: 加权规范函数建立在候选数列表的基础上，根据候选数列表（图一），计算出每一个空格单元格中的候选数数目，将候选数数