数独算法.pptVIP

数独算法 数独问题及计算机求解 lscill 数独SuDoku 数独的由来 数独的经典算法 数独的计算机求解 数独的并行求解 什么是Sudoku??数独？？ 数独的由来 数独是一种源自18世纪末的瑞士，后在美国发展、并在日本得以发扬光大的数学智力拼图游戏。拼图是九宫格（即3格宽×3格高）的正方形状，每一格又细分为一个九宫格。在每一个小九宫格中，分别填上1至9的数字，让整个大九宫格每一列、每一行的数字都不重复。 数独的由来 数独前身为“九宫格”，最早起源于中国。数千年前，我们的祖先就发明了洛书，其特点较之现在的数独更为复杂，要求纵向、横向、斜向上的三个数字之和等于15，而非简单的九个数字不能重复。儒家典籍《易经》中的“九宫图”也源于此，故称“洛书九宫图”。而“九宫”之名也因《易经》在中华文化发展史上的重要地位而保存、沿用至今。 数独的由来 1783年，瑞士数学家莱昂哈德·欧拉发明了一种当时称作“拉丁方块”的游戏，这个游戏是一个n×n的数字方阵，每一行和每一列都是由不重复的n个数字或者字母组成的。 用从1开始的n个连续正整数排成n行n列的方阵，如果每一行和每一列都没有重复的数，就称为一个n阶拉丁方。因为这样的方阵最早填充的是拉丁字母，故名。下面是一个3阶拉丁方 1 2 32 3 13 1 2 数独的问题 拉丁方不一定是数独的解 数独问题不可由数学公式推算 数独的人工算法 直观法摒除法 候选数法 不动点法 数独的算法—直观法 直观法的特性： 不需任何辅助工具就可应用。所以要玩报章杂志上的数独谜题时，只要有一枝笔就可以开始了. 数独的算法—直观法 直觀法的主要的技巧： 基础摒除法 唯一解法。 区块摒除法。 唯余解法。 单元摒除法。 矩形摒除法。 余数测试法。 基础摒除法 基础摒除法虽然简单，但在实际应用时，仍然可分成三个部分：  行摒除：因为同一行不能有两个相同的数字，所以当某个数字已在某行中出现时，该行再填入该数字的可能性就应该被摒除掉。  列摒除：因为同一列不能有两个相同的数字，所以当某个数字已在某列中出现时，该列再填入该数字的可能性就应该被摒除掉。  宫摒除：因为同一个九宫格不能有两个相同的数字，所以当某个数字已在某个九宫格中出现时，该九宫格再填入该数字的可能性就应该被摒除掉。 唯一解法 唯余解 当数独谜题中的某一个宫格，因为所处的列、行及九宫格中，合计已出现过不同的8个数字，使得这个宫格所能填入的数字，就只剩下那个还没出现过的数字时，我们称这个宫格有唯余解。 使用直观法时，大部分的时间 应该都在使用基础摒除法，但有些较困难的数独题目，不时会出现以基础摒除法将找不到解的情况，这时就是唯余解法上场应用的机会 数独的算法—候选数法 数独的解谜技巧，刚开始发展时，以直观式的唯一解法及摒除法为主，对于一般简易级或中级的数独谜题，通常已游刃有余。 但是唯一解法及初阶的摒除法在使用上有其限制，在中、高级的题目中有时将无用武之地。但高阶的摒除技巧又十分繁难。 电脑人工智慧已在现代任一项事物中均占有一席之地，当然不会在数独这项最新流行的益智游戏中缺席了！直观式的唯一解法及摒除法，不但在程式编写上也将十分难以呈现，在执行效率上也将显得十分笨拙、于是就有了候选数法的产生。 候选数表 将所有可能的值填入对应的位置的表。 最多9x9x9项 候选数法分类 唯一候選數法。(Singles Candidature, sole Candidate) 隱性唯一候選數法。(Hidden Singles Candidature, unique Candidate) 區塊刪減法。(Locked Candidates, Single Sector Candidates) 數對刪減法。(Naked Pairs) 隱性數對刪減法。(Hidden Pairs) 三鏈數刪減法。(Naked Triples) 隱性三鏈數刪減法。(Hidden Triples) 矩形頂點刪減法。(X-Wing) 三鏈列刪減法。(Swordfish) 關鍵數刪減法。(Colors, Colouring) 唯一候选数法 所以如果在候选数表中发现某一个宫格的候选数仅有1个数字，那就是表示：不必再考虑了！这个宫格就是只能填入这个数字啦 隐性唯一候选数法 利用「找出某一行、某一列或某一个九宫格各个宫格候选数中只出现一次的数字来，并将该数字填入出现这个数字的宫格中」的方法就叫做隐性唯一候选数法(Hidden Singles Candidature, unique Candidate)。 数独的计算机求解 我们可以知道，直观法等以人的思维构建的方法由计算机实现起来比较复杂，且效率不高。所以，引