python实现解数独程序代码


Posted in Python onApril 12, 2017

偶然发现linux系统附带的一个数独游戏,打开玩了几把。无奈是个数独菜鸟,以前没玩过,根本就走不出几步就一团浆糊了。

于是就打算借助计算机的强大运算力来暴力解数独,还是很有乐趣的。

下面就记录一下我写解数独程序的一些思路和心得。

一.数独游戏的基本解决方法

编程笼统的来说,就是个方法论。不论什么程序,都必须将问题的解决过程分解成计算机可以实现的若干个简单方法。俗话说,大道至简。对于只能明白0和1的计算机来说,就更需要细分步骤,一步一步的解决问题了。

首先来思考一下解数独的基本概念。

数独横九竖九共八十一个格子,同时又分为9个九宫格。规则很简单——需要每一个格中的数字,都保证与其所在横排和竖排以及九宫格内无相同数字。

所以我们的大概思路就是,从第一个空格开始试着填数,从 1 开始填,如果 1 不满足横排竖排九宫格无重复的话,就再填入 2 ,以此类推,直到填入一个暂时满足规则的数,中断此格,移动到下一个空格重复这个过程。

如果到达某个空格发现已经无数可选了,说明前面某一格填错了,那就返回上一格,从上一格的中断处继续往 9 尝试,直到这样回朔到填错的那一格。

这样的话,我们就可以整理出重要的步骤了:

•寻找到下一个空格
•轮流填入格中数字 1 到 9
•递归判断填入数是否符合规则

二.程序

首先测试数独使用的是芬兰数学家因卡拉花费3个月时间设计出的世界上迄今难度最大的数独。如下

python实现解数独程序代码

将空格用 0 表示,同时将数独表示成嵌套的列表,这样每格的行数和列数就正好是列表中每个对应数的索引。

程序如下:

#coding=utf-8
 import datetime
 class solution(object):
   def __init__(self,board):
     self.b = board
     self.t = 0
 
   def check(self,x,y,value):#检查每行每列及每宫是否有相同项
     for row_item in self.b[x]:
       if row_item == value:
         return False
     for row_all in self.b:
       if row_all[y] == value:
         return False
     row,col=x/3*3,y/3*3
     row3col3=self.b[row][col:col+3]+self.b[row+1][col:col+3]+self.b[row+2][col:col+3]
     for row3col3_item in row3col3:
       if row3col3_item == value:
         return False
     return True
 
   def get_next(self,x,y):#得到下一个未填项
     for next_soulu in range(y+1,9):
       if self.b[x][next_soulu] == 0:
         return x,next_soulu
     for row_n in range(x+1,9):
       for col_n in range(0,9):
         if self.b[row_n][col_n] == 0:
           return row_n,col_n
     return -1,-1 #若无下一个未填项,返回-1
 
   def try_it(self,x,y):#主循环
     if self.b[x][y] == 0:
       for i in range(1,10):#从1到9尝试
         self.t+=1
         if self.check(x,y,i):#符合 行列宫均无条件 的
           self.b[x][y]=i #将符合条件的填入0格
           next_x,next_y=self.get_next(x,y)#得到下一个0格
           if next_x == -1: #如果无下一个0格
             return True #返回True
           else:    #如果有下一个0格,递归判断下一个0格直到填满数独
             end=self.try_it(next_x,next_y)
             if not end:  #在递归过程中存在不符合条件的,即 使try_it函数返回None的项
               self.b[x][y] = 0  #回朔到上一层继续
             else:
               return True
 
   def start(self):
     begin = datetime.datetime.now()
     if self.b[0][0] == 0:
       self.try_it(0,0)
     else:
       x,y=self.get_next(0,0)
       self.try_it(x,y)
     for i in self.b:
       print i
     end = datetime.datetime.now()
     print '\ncost time:', end - begin
     print 'times:',self.t
     return
 
 
 s=solution([[8,0,0,0,0,0,0,0,0],
     [0,0,3,6,0,0,0,0,0],
     [0,7,0,0,9,0,2,0,0],
     [0,5,0,0,0,7,0,0,0],
     [0,0,0,8,4,5,7,0,0],
     [0,0,0,1,0,0,0,3,0],
     [0,0,1,0,0,0,0,6,8],
     [0,0,8,5,0,0,0,1,0],
     [0,9,0,0,0,0,4,0,0]])
 73 s.start()

值得注意的是使用的递归判断能够很巧妙的在走错分支时回朔到上一层。具体实现是通过 for 循环来从 1 到 9 不断填入数字同时达到记录中断点的作用。通过下一层的返回值来确定是否回朔。

程序输出如下:

[8, 1, 2, 7, 5, 3, 6, 4, 9]
[9, 4, 3, 6, 8, 2, 1, 7, 5]
[6, 7, 5, 4, 9, 1, 2, 8, 3]
[1, 5, 4, 2, 3, 7, 8, 9, 6]
[3, 6, 9, 8, 4, 5, 7, 2, 1]
[2, 8, 7, 1, 6, 9, 5, 3, 4]
[5, 2, 1, 9, 7, 4, 3, 6, 8]
[4, 3, 8, 5, 2, 6, 9, 1, 7]
[7, 9, 6, 3, 1, 8, 4, 5, 2]

cost time: 0:00:00.060687
times: 45360

可以看到程序虽然运算次数比较多,但是速度还是很快的。

Python 相关文章推荐
利用python获得时间的实例说明
Mar 25 Python
python计算N天之后日期的方法
Mar 31 Python
Python生成器(Generator)详解
Apr 13 Python
Python3.x中自定义比较函数
Apr 24 Python
网站渗透常用Python小脚本查询同ip网站
May 08 Python
python使用TensorFlow进行图像处理的方法
Feb 28 Python
Python Unittest根据不同测试环境跳过用例的方法
Dec 16 Python
Python基础学习之函数方法实例详解
Jun 18 Python
使用Python生成200个激活码的实现方法
Nov 22 Python
Python交互环境下打印和输入函数的实例内容
Feb 16 Python
Python实现ElGamal加密算法的示例代码
Jun 19 Python
利用Python实现学生信息管理系统的完整实例
Dec 30 Python
python访问抓取网页常用命令总结
Apr 11 #Python
Python 登录网站详解及实例
Apr 11 #Python
python实现FTP服务器服务的方法
Apr 11 #Python
python读写json文件的简单实现
Apr 11 #Python
Python实现Mysql数据库连接池实例详解
Apr 11 #Python
详解Python中类的定义与使用
Apr 11 #Python
python获取指定时间差的时间实例详解
Apr 11 #Python
You might like
风味层面去分析咖啡油脂
2021/03/03 咖啡文化
解析PHP计算页面执行时间的实现代码
2013/06/18 PHP
php获取汉字首字母的函数
2013/11/07 PHP
laravel 解决Validator使用中出现的问题
2019/10/25 PHP
Javascript动态绑定事件的简单实现代码
2010/12/25 Javascript
Javascript面向对象编程(二) 构造函数的继承
2011/08/28 Javascript
jQuery使用andSelf()来包含之前的选择集
2014/05/19 Javascript
js控制再次点击按钮之间的间隔时间可防止重复提交
2014/08/01 Javascript
jQuery中scrollLeft()方法用法实例
2015/01/16 Javascript
jQuery自动完成插件completer附源码下载
2016/01/04 Javascript
JS+Canvas 实现下雨下雪效果
2016/05/18 Javascript
JavaScript在form表单中使用button按钮实现submit提交方法
2017/01/23 Javascript
在react-router4中进行代码拆分的方法(基于webpack)
2018/03/08 Javascript
浅谈使用mpvue开发小程序需要注意和了解的知识点
2018/05/23 Javascript
在react中使用vuex的示例代码
2018/07/30 Javascript
vue实现表格过滤功能
2019/09/27 Javascript
在vue中阻止浏览器后退的实例
2019/11/06 Javascript
JavaScript HTML DOM 元素 (节点)新增,编辑,删除操作实例分析
2020/03/02 Javascript
深入浅析vue全局环境变量和模式
2020/04/28 Javascript
Vue实现Header渐隐渐现效果的实例代码
2020/11/05 Javascript
js实现抽奖功能
2020/11/24 Javascript
[48:23]DOTA2上海特级锦标赛主赛事日 - 4 败者组第四轮#1COL VS EG第一局
2016/03/05 DOTA
python实现校园网自动登录的示例讲解
2018/04/22 Python
python给指定csv表格中的联系人群发邮件(带附件的邮件)
2019/12/31 Python
opencv 实现特定颜色线条提取与定位操作
2020/06/02 Python
python通过cython加密代码
2020/12/11 Python
利用纯CSS3实现tab选项卡切换示例代码
2016/09/21 HTML / CSS
HTML最新标准HTML5总结(必看)
2016/06/13 HTML / CSS
优秀员工表扬信
2014/01/17 职场文书
争论的故事教学反思
2014/02/06 职场文书
无偿献血倡议书
2014/04/14 职场文书
幼师个人总结范文
2015/02/28 职场文书
接触艺术对孩子学习思维有益
2019/08/06 职场文书
世界文化遗产导游词
2019/08/07 职场文书
Pytorch使用shuffle打乱数据的操作
2021/05/20 Python
Golang连接并操作MySQL
2022/04/14 MySQL