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海龟绘图实例教程
Jul 24 Python
介绍Python中几个常用的类方法
Apr 08 Python
基于python实现的抓取腾讯视频所有电影的爬虫
Apr 22 Python
简单实现python数独游戏
Mar 30 Python
python装饰器-限制函数调用次数的方法(10s调用一次)
Apr 21 Python
TensorFlow打印tensor值的实现方法
Jul 27 Python
对python函数签名的方法详解
Jan 22 Python
Python之指数与E记法的区别详解
Nov 21 Python
使用python实现CGI环境搭建过程解析
Apr 28 Python
如何用python处理excel表格
Jun 09 Python
python 实现全球IP归属地查询工具
Dec 18 Python
Python爬取用户观影数据并分析用户与电影之间的隐藏信息!
Jun 29 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
php入门学习知识点六 PHP文件的读写操作代码
2011/07/14 PHP
PHP中类属性与类静态变量的访问方法示例
2016/07/13 PHP
PHP基于DOMDocument解析和生成xml的方法分析
2017/07/17 PHP
Laravel框架路由和控制器的绑定操作方法
2018/06/12 PHP
laravel中的fillable和guarded属性详解
2019/10/23 PHP
用js实现上传图片前的预览(TX的面试题)
2007/08/14 Javascript
jquery制作搜狐快站页面效果示例分享
2014/02/21 Javascript
Javascript设计模式理论与编程实战之简单工厂模式
2015/11/03 Javascript
javascript设计模式--策略模式之输入验证
2015/11/27 Javascript
基于JS实现移动端向左滑动出现删除按钮功能
2017/02/22 Javascript
简单的Vue SSR的示例代码
2018/01/12 Javascript
jQuery实现常见的隐藏与展示列表效果示例
2018/06/04 jQuery
QRCode.js二维码生成并能长按识别
2018/10/16 Javascript
浅谈bootstrap layer.open中end的使用方法
2019/09/12 Javascript
JS实现简单的表格增删
2020/01/16 Javascript
vue相关配置文件详解及多环境配置详细步骤
2020/05/19 Javascript
vue实现点击按钮切换背景颜色的示例代码
2020/06/23 Javascript
vue中如何添加百度统计代码
2020/12/19 Vue.js
requests和lxml实现爬虫的方法
2017/06/11 Python
Django中Forms的使用代码解析
2018/02/10 Python
Python 字符串换行的多种方式
2018/09/06 Python
[原创]Python入门教程3. 列表基本操作【定义、运算、常用函数】
2018/10/30 Python
Python图像处理之直线和曲线的拟合与绘制【curve_fit()应用】
2018/12/26 Python
德国百年厨具品牌WMF美国站:WMF美国
2016/09/12 全球购物
J2EE中的容器都包括哪些
2013/08/21 面试题
学生会竞选自荐信
2013/10/12 职场文书
物流管理毕业生自荐信
2013/10/24 职场文书
会计专业推荐信
2013/10/29 职场文书
交通安全寄语大全
2014/04/08 职场文书
农村党支部书记四风问题个人对照检查材料
2014/09/21 职场文书
2015年社区服务活动总结
2015/03/25 职场文书
整改通知书
2015/04/20 职场文书
李强感恩观后感
2015/06/17 职场文书
2016年校园重阳节广播稿
2015/12/18 职场文书
详解JSON.parse和JSON.stringify用法
2022/02/18 Javascript
frg-100简单操作(设置)说明
2022/04/05 无线电