基于二部图匹配数独求解程序.docVIP

基于二部图匹配数独求解程序 　　摘要：数独游戏是一个具有组合数学背景的智力游戏。在本文中，我们设计一个基于图论的数独求解程序。我们将数独的状态对应为二部图，数独的求解对应为二部图的匹配求解。运用二部图的匹配理论和算法解决数独问题。从网络上搜集的一些数独题目作为算法的试验数据。对于一些初始状态中含有比较多的数字的题目，我们的程序能够解答出最终答案。 　　关键词：匹配 二部图 数独 　　中图分类号：TP3-0 文献标识码：A 文章编号：1007-9416（2016）07-0046-02 　　Abstract：Sudoku is a combination of mathematical background of the intelligence game. In this paper， we design a Sudoku solver based on graph theory. We will state for the two corresponding Sudoku Sudoku for solving the corresponding graph， matching to solve the two plans. Using the matching theory and algorithm of the two plans to solve Sudoku problem. Some Sudoku collected from the network as the experimental data of the algorithm. For some of the initial state of the problem contains a number of numbers， our program can answer the final answer. 　　Key Words：matching two figure Sudoku 　　1 背景和基本定义 　　数独游戏是一个具有组合数学背景的智力游戏。一个数独题目在一个9 9的方阵上设计和解答。该方阵被划分成9个3 3的称为盒子（box）的小方阵，如图1中粗线所示。方阵的每一个格子恰好可以填入1到9的某一个数字。在游戏的最开始，一部分方格已经填上了数字，如图1。游戏的目标是把方阵余下的每一个格子也填上数字，使得每行，每列和每个盒子的9个格子中都恰含有数字1到9。 　　我们对方阵的格子如图2进行编号。首先我们对方阵的行和列进行编号。方阵的行，自上而下编号为第1行至第9行。方阵的列，自左到右为编号第1到第9列。然后我们对格子进行编号。位于第r行第c列的格子编号为 （r， c），1 ≤ r， c ≤ 9。由于空间所限，在图2中我们将格子的编号 （r， c） 简写成rc。 　　在本文中，我们运用二部图的匹配理论来求解数独题目。下面先给出我们将用到的一些图论的基本概念。一个图G=（V， E） 包含一个顶点集合V和一个边集E，E是V的元素的二元组集合。一条边e所包含的两个顶点元素称为e的端点。我们讨论的图都是简单的，也就是不存在一条边，它的两个端点相同；同时，两个端点之间最多只有一条边。一个图称为二部图，如果它的顶点集合可以分成两个子集U和W，使得它的每一条边的两个端点都分别落在U和W中。或者换句话说，在U和W内部没有边。我们把这样的二部图记为G=（U， W）。若|U|=|W|，则称此二部图为平衡二部图。若U中的每个点都与W中的每个点相邻，称此二部图为完全二部图。如果一个图中的两条边具有公共的端点，则称它们相邻。一条边的两个端点也称为相邻的。与一个顶点相邻的所有顶点的集合称为它的邻居。匹配是指图的一个两两不相邻的边集。我们称一条边覆盖它的端点。如果一个匹配中的边覆盖了图的所有顶点，则称此匹配为完美匹配。显然，具有完美匹配的二部图必须是平衡二部图。 　　一条边和它的端点称为互相关联。一个顶点关联的边的条数，或等价地它的邻居的个数，称为它的度数。取图G的顶点集合V的一个子集V1，构造一个图G1=（V1， E1），其中E1是G中所有两个端点都落在V1中的边的集合，图G1称为顶点子集合V1的导出子图。 　　2 基于匹配理论的数独求解 　　我们定义一个动态的二部图G=（U， W），其中U={（1， 1）， （1， 2）， …， （9， 9）}是数独方阵中格子的集合，而W={1， 2， 3， 4， 5， 6， 7， 8， 9}是格子中可以填入的数字的集合。在一个数独题的最终解中，所有81个格子中的数字都已经确定。如果数字d W填入方格（r， c） U中，那么我们在G中连结d与（r， c）。这样共产生81条边。U中的每一个顶点恰发出一条边到W集合中填在顶点对应