python 数独实现

最新推荐文章于 2024-05-28 08:45:00 发布
最新推荐文章于 2024-05-28 08:45:00 发布
阅读量1k 收藏
点赞数
分类专栏： Python 文章标签： python
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/biglake123/article/details/17636875
版权 

'''
Created on 2013-12-5

@author: ezonghu
'''
SDStr =  ["005000600080701040700060003090205060008040900060109080500090002040308010006000700",
          "800000000003600000070090200050007000000045700000100030001000068008500010090000400",
          "003279000020501009000080003000060500690003000005000000000000064700600080060920007",
          "142000387003040201080132005090000106000520704000004000608200009020000000001070000",
          "041020000000000007080005200610080000000010460000490050006000000437009106102000090",
          "000000100096200800800000600100082003000140060760050000600400901004020000950001000"] 
class Position(object):
    def __init__(self, *Pos):
        if len(Pos) == 1:
            self.pos = Pos[0]
            self.x = self.pos % 9
            self.y = self.pos // 9 
        elif len(Pos) == 2:
            self.x = Pos[0]
            self.y = Pos[1]
            self.pos = self.x + self.y * 9
        else:
            raise TypeError("only accept the number of the arguments <=2")
        self.areaX = self.x // 3
        self.areaY = self.y // 3
        self.area = self.areaX + self.areaY * 3

class Area(object):
    def __init__(self, ShuduList, *Pos):
        if len(Pos) == 1:
            self.areaPos = Pos[0]
            self.areaX = self.areaPos % 3
            self.areaY = self.areaPos // 3 
        elif len(Pos) == 2:
            self.areaX = Pos[0]
            self.areaY = Pos[1]
            self.areaPos = self.areaX + self.areaY * 3
        else:
            raise TypeError("only accept the number of the arguments <=2")    
        
        self.area = set()
        self.areaStart = (self.areaX*3, self.areaY*3)
        self.areaStop = (self.areaX*3+2, self.areaY*3+2)
        for Row in range(self.areaY*3, (self.areaY+1)*3):
            for Col in range(self.areaX*3, (self.areaX+1)*3):
                p = Position(Col, Row)
                if ShuduList[p.pos] != 0:
                    self.area.add(ShuduList[p.pos])
class Column(object):
    def __init__(self, ShuduList, Col):
        self.column = set()
        for i in range(9):
            p = Position(Col, i)
            if ShuduList[p.pos] != 0:
                self.column.add(ShuduList[p.pos])
    
class Row(object):
    def __init__(self, ShuduList, R):
        self.row = set()
        for i in range(9):
            p = Position(i, R)
            if ShuduList[p.pos] != 0:
                self.row.add(ShuduList[p.pos])
                
class Shudu(object):
    defaultRange = set(range(1,10))
    def __init__(self, SDL):
        self.sdList = [int(i) for i in SDL]
        
    def getColumn(self, C):
        return Column(self.sdList, C)
    
    def getRow(self, R):
        return Row(self.sdList, R)
    
    def getArea(self, A):
        return Area(self.sdList, A)
    
    def exclusion(self, P):
        pos = Position(P)
        r_s = self.getRow(pos.y).row
        c_s = self.getColumn(pos.x).column
        a_s = self.getArea(pos.area).area
        tmp = self.defaultRange - (r_s|c_s|a_s)
        return tmp

             
    
    def scanSDLOnce(self):
        changeFlag = False
        sdListRightOrNot = True
        for i in xrange(81):
            tmp = self.sdList[i]
            if 0 == tmp:
                res = self.exclusion(i)
                if 0 == len(res):
                    sdListRightOrNot = False
                    return changeFlag, sdListRightOrNot
                
                if 1 == len(res):
                    self.sdList[i] = res.pop()
                    changeFlag = True
            
        return changeFlag, sdListRightOrNot
    
    #return -1: Can't find the value that can change
    #return -2: the current Shudu List is wrong
    #return 0: get the final result
    def scanSDLWithGuess(self):
        while (0 in self.sdList):
            changeFlag, sdListRightOrNot = self.scanSDLOnce()
            
            if False == changeFlag:
                return -1
            
            if False == sdListRightOrNot:
                return -2
        
        return 0                  
    
    def scanSDL(self):
#         print self.sdList
        res = self.scanSDLWithGuess()
        if -1 == res:
            tmpSDL = list(self.sdList)
            minSet = self.defaultRange
            pos = -1
            #do assumption
            for i in xrange(81):
                if 0 == self.sdList[i]:
                    tmp = self.exclusion(i)
                    if 0 == len(tmp):
                        return -2
                    if len(minSet)>len(tmp):
                        minSet = tmp
                        pos = i
                        
            for assumption in minSet:
                self.sdList[pos]=assumption
                if self.scanSDL() < 0 :
                    self.sdList = tmpSDL
                else:
                    return 0
                
        
        if -2 == res:
            #return False
            return res
        
        return res                
                        
def evaluatePerformance():
    import cProfile
    global SDStr
    cProfile.run("Shudu(\"%s\").scanSDL()" % SDStr[1])        
           
def evaluateRunTime():
    global SDStr
    from timeit import Timer
    for SDL in SDStr:     
        print SDL
        t1 = Timer("print Shudu(\"%s\").scanSDL() == 0" % SDL, "from __main__ import Shudu")
        print sum(t1.repeat(10, 1))/10
    
if __name__ == '__main__' :
    evaluatePerformance()


执行结果：

         2327043 function calls (2326791 primitive calls) in 6.578 seconds


   Ordered by: standard name


   ncalls  tottime  percall  cumtime  percall filename:lineno(function)
        1    0.000    0.000    6.578    6.578 <string>:1(<module>)
      253    0.003    0.000    4.977    0.020 shudu.py:109(scanSDLWithGuess)
    253/1    0.028    0.000    6.578    6.578 shudu.py:121(scanSDL)
   591780    3.413    0.000    3.623    0.000 shudu.py:13(__init__)
    21135    0.900    0.000    2.194    0.000 shudu.py:29(__init__)
    21135    0.625    0.000    1.830    0.000 shudu.py:50(__init__)
    21135    0.616    0.000    1.823    0.000 shudu.py:58(__init__)
        1    0.000    0.000    0.000    0.000 shudu.py:67(__init__)
    21135    0.062    0.000    1.892    0.000 shudu.py:70(getColumn)
    21135    0.063    0.000    1.886    0.000 shudu.py:73(getRow)
    21135    0.066    0.000    2.260    0.000 shudu.py:76(getArea)
    21135    0.288    0.000    6.458    0.000 shudu.py:79(exclusion)
      509    0.079    0.000    4.974    0.010 shudu.py:89(scanSDLOnce)
  1230853    0.224    0.000    0.224    0.000 {len}
   227308    0.084    0.000    0.084    0.000 {method 'add' of 'set' objects}
        1    0.000    0.000    0.000    0.000 {method 'disable' of '_lsprof.Profiler' objects}
     1329    0.001    0.000    0.001    0.000 {method 'pop' of 'set' objects}
   126810    0.127    0.000    0.127    0.000 {range}

'''
Created on 2013-12-28

@author: ezonghu
'''
'''
Created on 2013-12-5

@author: ezonghu
'''
SDStr =  ["005000600080701040700060003090205060008040900060109080500090002040308010006000700",
          "800000000003600000070090200050007000000045700000100030001000068008500010090000400",
          "003279000020501009000080003000060500690003000005000000000000064700600080060920007",
          "142000387003040201080132005090000106000520704000004000608200009020000000001070000",
          "041020000000000007080005200610080000000010460000490050006000000437009106102000090",
          "000000100096200800800000600100082003000140060760050000600400901004020000950001000"]                 
class Shudu(object):
    defaultRange = set(range(1,10))
    defaultPositions = [(i % 9, i //9)for i in xrange(81)]
    
    def __init__(self, SDL):
        self.sdList = [int(i) for i in SDL]
        
    def getColumn(self, C):
        ColSet = set()
        for i in xrange(9):
            element = self.sdList[i*9+C]
            if 0 != element:
                ColSet.add(element)
        return ColSet
    
    def getRow(self, R):
        RowSet = set()
        for i in xrange(9):
            element = self.sdList[R*9+i]
            if 0 != element:
                RowSet.add(element)
        return RowSet
    
    def getArea(self, X, Y):
        AreaSet = set()
        X1 = X // 3 * 3
        X2 = (X // 3+1) * 3
        Y1 = Y // 3 * 3
        Y2 = (Y // 3 + 1) * 3
        for i in xrange(Y1, Y2):
            for j in xrange(X1, X2):
                element = self.sdList[i * 9 + j]
                if 0 != element:
                    AreaSet.add(element)
        return AreaSet
    
    def exclusion(self, P):
        (posX, posY) = self.defaultPositions[P]
        r_s = self.getRow(posY)
        c_s = self.getColumn(posX)
        a_s = self.getArea(posX, posY)
        tmp = self.defaultRange - (r_s|c_s|a_s)
        return tmp

             
    
    def scanSDLOnce(self):
        changeFlag = False
        sdListRightOrNot = True
        for i in xrange(81):
            tmp = self.sdList[i]
            if 0 == tmp:
                res = self.exclusion(i)
                if 0 == len(res):
                    sdListRightOrNot = False
                    return changeFlag, sdListRightOrNot
                
                if 1 == len(res):
                    self.sdList[i] = res.pop()
                    changeFlag = True
            
        return changeFlag, sdListRightOrNot
    
    #return -1: Can't find the value that can change
    #return -2: the current Shudu List is wrong
    #return 0: get the final result
    def scanSDLWithGuess(self):
        while (0 in self.sdList):
            changeFlag, sdListRightOrNot = self.scanSDLOnce()
            
            if False == changeFlag:
                return -1
            
            if False == sdListRightOrNot:
                return -2
        
        return 0                  
    
    def scanSDL(self):
#         print self.sdList
        res = self.scanSDLWithGuess()
        if -1 == res:
            tmpSDL = list(self.sdList)
            minSet = self.defaultRange
            pos = -1
            #do assumption
            for i in xrange(81):
                if 0 == self.sdList[i]:
                    tmp = self.exclusion(i)
                    if 0 == len(tmp):
                        return -2
                    if len(minSet)>len(tmp):
                        minSet = tmp
                        pos = i
                        
            for assumption in minSet:
                self.sdList[pos]=assumption
                if self.scanSDL() < 0 :
                    self.sdList = tmpSDL
                else:
                    return 0
                
        
        if -2 == res:
            #return False
            return res
        
        return res                
                        
def evaluatePerformance():
    import cProfile
    global SDStr
    cProfile.run("Shudu(\"%s\").scanSDL()" % SDStr[1])        
           
def evaluateRunTime():
    global SDStr
    from timeit import Timer
    for SDL in SDStr:     
        print SDL
        t1 = Timer("print Shudu(\"%s\").scanSDL() == 0" % SDL, "from __main__ import Shudu")
        print sum(t1.repeat(10, 1))/10
    
if __name__ == '__main__' :
    evaluatePerformance()



优化代码之后的结果：

         361488 function calls (361236 primitive calls) in 1.086 seconds


   Ordered by: standard name


   ncalls  tottime  percall  cumtime  percall filename:lineno(function)
        1    0.000    0.000    1.086    1.086 <string>:1(<module>)
        1    0.000    0.000    0.000    0.000 shudu2.py:21(__init__)
    21135    0.195    0.000    0.221    0.000 shudu2.py:24(getColumn)
    21135    0.200    0.000    0.221    0.000 shudu2.py:32(getRow)
    21135    0.312    0.000    0.334    0.000 shudu2.py:40(getArea)
    21135    0.200    0.000    0.975    0.000 shudu2.py:53(exclusion)
      509    0.070    0.000    0.822    0.002 shudu2.py:63(scanSDLOnce)
      253    0.003    0.000    0.825    0.003 shudu2.py:83(scanSDLWithGuess)
    253/1    0.027    0.000    1.086    1.086 shudu2.py:95(scanSDL)
    47293    0.011    0.000    0.011    0.000 {len}
   227308    0.068    0.000    0.068    0.000 {method 'add' of 'set' objects}
        1    0.000    0.000    0.000    0.000 {method 'disable' of '_lsprof.Profiler' objects}
     1329    0.000    0.000    0.000    0.000 {method 'pop' of 'set' objects}




大湖
关注
  • 0
    点赞
  • 踩
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
专栏目录
Python数独游戏源代码
02-11
Python数独游戏是一种基于Python编程语言开发的桌面应用程序，它利用了Python的灵活性和易读性，为用户提供了一个交互式的数独游戏体验。这个压缩包包含的文件是"main.py"和"build.py"，它们构成了游戏的核心部分。 ...
数独小游戏——Python实现
Vaeeeee的博客
07-19 6371
使用python简单实现一下数独小游戏，并且使用tkinter进行界面展示。
利用python解决简单数独
jingzhiyang的博客
08-23 3081
本来打算利用pyautogui实现完全的自动化的。但是考虑到不同的网页的数独呈现方式的差异可能会使得程序的局限性更大。于是采用了一种麻烦一点，但可以接受的方式进行数据输入。但是之后的思考模式代码化就不是很容易了。不过笔者并不算十分忠实的数独玩家，但数独是一种规则和形式都十分简单的游戏。以上代码还有诸多不足，有很多看上去多余的部分是留着给更复杂的判断方式的。所以最终的结果大概算是一个半成品，但已经能解决比较基本的数独。用0来代表未知的数字，其他的数字则表示已知数字。于是萌生了用python来解决数独的想法。
数独游戏详解（附有Python详细代码）
Weirdo的博客
05-28 1868
数独游戏是一种源自18世纪末欧洲的逻辑谜题游戏,在20世纪初在美国获得了广泛的流行。它的规则简单明了,但要解决一个困难的数独游戏实际上是一个NP完全的问题,需要采用各种算法和启发式方法来有效地解决。因此,数独游戏不仅是一种有趣的益智游戏,也是一个非常有价值的数学问题,可以用来研究人工智能算法和组合优化技术。
python实现简易数独小游戏
ASS-ASH的博客
10-23 9915
1984年一位日本学者将其介绍到了日本，发表在Nikoli公司的一本游戏杂志上，当时起名为“数字は独身に限る”（すうじはどくしんにかぎる），就改名为“数独”（すうどく），其中“数”（すう）是数字的意思，“独”（どく）是唯一的意思。唯一余数法：用格位去找唯一可填数字，称为余数法，格位唯一可填数字称为唯余解（Naked Single）。》上发表，不久其他报纸也发表，很快便风靡全英国，之后他用了6年时间编写了电脑程序，并将它放在网站上（这个网站也就是著名的数独玩家论坛），后来因一些原因，网站被关闭，幸好。
python解数独谜题思路和代码分享
weixin_44411060的博客
07-24 1572
数独（shù dú）是源自18世纪瑞士的一种数学游戏。玩家需要根据9×9盘面上的已知数字，推理出所有剩余空格的数字，并满足每一行、每一列、每一个粗线宫（3*3）内的数字均含1-9，不重复，本文主要分享如何写一个python解数独程序。
python实现数独算法实例
09-21
主要介绍了python实现数独算法,实例分析了Python数独算法的实现技巧,需要的朋友可以参考下
简单实现python数独游戏
12-31
网上看到一个python写的数独，很好玩，分享给大家。 import random import itertools from copy import deepcopy def make_board(m = 3): numbers = list(range(1, m**2 + 1)) board = None while board is None...
数独游戏的Python实现
08-21
从第一个空格开始试着填数，从 1 开始填，如果 1 不满足横排竖排九宫格无重复的话，就再填入 2 ，以此类推，直到填入一个暂时满足规则的数，中断此格，移动到下一个空格重复这个过程。 如果到达某个空格发现已经...
python解数独（超级简单）
douyusorrymaker的博客
05-04 1093
简化了解数独的一些专业术语，让新手能看懂
使用Python进行数独求解（一）
sgzqc的专栏
02-17 6692
1. 引言 本文为介绍流行的数独游戏的系列文章中的第一篇。更具体地说，我们如何构建一个脚本来解决数独难题，本文的重点在于介绍用于构建数独求解器的回溯算法。 数独这个名字的由来来自日语短语suuji wa dokushin ni kagiru，意思是“数字必须保持单一”。数独游戏的流行也源于其规则的简单性：数独游戏要求在 9 x 9 空间的网格上进行数字填写。在行和列中有 9 个“正方形”的格子block(由 3 x 3 个子单元格cell组成)。每一行、每一列、每一个block都需要填写数字 1-9，行、
Python学习案例2——数独解题及出题程序
07-20 2815
第二个求解案例，我想到了数独。曾经有一段时间对数独求解非常感兴趣，在学习C++语言时也编写了数独求解程序。本次Python学习，要求比之前高一点，把出题程序也一起编写了吧。 1、数独简介 数独 （英语：Sudoku）是一种逻辑性的数字填充游戏，玩家须以数字填进每一格，而每行、每列和每个宫（即3x3的大格）有1至9所有数字。游戏设计者会提供一部分的数字，使谜题只有一个答案。答案满足同一个数字不可能在同一行、列或宫中出现多于一次。 2、算法 2.1 数独解题算法 最简单直接的算法就是：从第一个空格开始
Matlab和python详解数独谜题问题
左手の明天的博客
12-04 1605
数独是一种流行的逻辑推理游戏，玩家需要将数字填入一个9x9的网格，使得每行、每列和每个3x3的子网格中都包含1-9的数字，且每个数字只出现一次。数独谜题的目标是填充缺失的数字，使得满足上述条件。整数规划是一种求解数学问题的方法，可以将数独问题转化为整数规划问题，从而通过数学模型求解。
python求解数独/幻方
路过人间
10-24 308
回溯算法求解数字游戏
python数独游戏
hudie765的博客
11-19 225
最后，要记住，解决数独的目标是精准地填入正确数字，而不是靠胡乱猜测。如果你对数独有更深入的兴趣，我建议你查阅一些关于数独解决策略和算法的资料。你也可以尝试使用一些专门的数独解决工具，如Pencil Guided，这是一个非常好用的数独解决和生成工具。数独是一种极富挑战性的逻辑游戏，需要玩家在9x9的网格中填充数字，使得每行、每列以及每个3x3的子网格都包含1-9的所有数字，且每个数字仅出现一次。这些技巧需要你更深入地理解数独的规则和解决策略，但它们可以为你提供更强大的工具来解决复杂的数独。
Python数独解法
m0_46927406的博客
08-09 628
数独问题怎样解决呢？数字相信大家都很熟悉，但是数独应该怎么解决呢？下面就让小编带大家一起了解吧！
Python来处理数独游戏(含世界最难数独示例）
深度学习领域优质创作者，CSDN博客专家
03-01 1478
在一个9*9的九宫格里面推导出剩余的数字，要求每行、每列、每宫(3*3)的数字均包含1~9，且不重复！
Python自动化小技巧02——自动解数独
weixin_46277779的博客
09-19 512
Python求解数独
用python实现带界面的数独小游戏
eyz2022的博客
03-11 8913
用python写出带图形界面的数独游戏(附源码)
python 数独GUI
最新发布
06-19
Python中实现数独游戏的GUI通常会使用一些库，如Tkinter（Python的标准图形用户界面库）或PyQt、wxPython等。Tkinter是最简单易用的选择，因为它内置在Python中，对于初学者来说上手很快。 以下是一个基本的步骤和...

“相关推荐”对你有帮助么？

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值