算法实践:数独的基本解法

开发 后端 算法
我们以Visual Studio为例,它有Stack这个类,实现了栈的基本操作。有两个栈的方法:Push(压栈)——把数据写到栈里面;Pop(出栈)——把数据从栈里提出来,并删除栈中的数据。

数独(Sudoku)是一种运用纸、笔进行演算的逻辑游戏。玩家需要根据9×9盘面上的已知数字,推理出所有剩余空格的数字,并满足每一行、每一列、每一个粗线宫内的数字均含1-9,不重复。 每一道合格的数独谜题都有且仅有唯一答案,推理方法也以此为基础,任何无解或多解的题目都是不合格的。

如下图所示,就是一个数独的题目

0823dd54564e92588890f8419c82d158cdbf4efc

关于数独的详细介绍,参看“百度百科——数独

数独的基本解法就是利用规则的摒弃法

一些定义

每一行称为数独的,每一列称为数独的,每一个小九宫格称为数独的。数独的基本规则就是每一行、每一列、每一宫中,1-9这9个数字都只出现一次。

用(行,列)表示上图的单元格,例如(1,1)表示第一行第一列的单元格,(2,4)表示第二行第四列的单元格

如上图,每个空白单元格中能填的数字都是有限制的。

例如:(1,1)就只能填7和8;而(6,4),只能填8;

那些只能填一个数字的空白单元格,我们称之为唯一数单元格,上图中(6,4)就是唯一数单元格

解题的顺序,就是从唯一数单元格开始,由于唯一数单元格只能填一个数,故先在这个单元格里填数。在这个单元格里填数,由于规则的定义,那么这个单元格所在的行、所在的列、所在的宫的其他单元格就不能再填这个数了。这些单元格能填的数的可能性就少了。有可能会产生新的唯一数单元格

在相当的一些的数独题目中,从唯一数单元格开始填数,不停的在唯一数单元格填数就可以把数独解出来。

如果在解题的过程中,发现某些空白单元格没有数字能填这样的单元格称之为无解单元格,那就说明:要么这个数独没有解;要么之前的解题过程有问题,需要返回检查之前的解题过程查看。

但是还有不少的数独的题目,在解题的过程中,在还有空白单元格的情况下,却找不到唯一数单元格,也就是意味着每个空白单元格中能填的数字至少有2个。我们称之为无唯一数单元格的状况

这个时候怎么办?我们找到其中一个可能数最少的空白单元格(这个没有定论,可以是可能数最少的空白单元格;也可以是第一个空白单元格;也可以是可能数最多的空白单元格,选哪个空白单元格对后面的解题是否有影响,没有证明过,不好妄下定论。凭感觉选可能数最少的空白单元格是最好的选择),由于能填的数字不止一个,先把当前的状态保存起来,再在能选的数字中选择一个数字填写(从小到大选择),然后继续求解下去。如果能解出最后的结果,说明当前的选择是正确的;如果后面的求解过程有问题,说明当前的数字的选择有问题,那么再挑选另一个数填写,继续求解。如果,所有的选择都求不出最后的结果,还是说明:要么这个数独没有解;要么之前的解题过程有问题,需要返回检查之前的解题过程查看。如此反复,直到求出最终的答案。

会有种极端的情况(可能性不大)。那就是在当前的空白单元格的所有可能的数字都选择了一遍,都没有解。而之前又没有出现无唯一数单元格的状况。那就说明这个数独根本就没有解

下图是数独求解的流程图

image

下面谈谈该算法的具体实现

1、数独状态的表示

用计算机来求解数独。基本的一点就是如何表示数独的状态。

用整形一维数组来表示数独的状态

用Num(80)表示数独的状态(数组的下标从0开始),数独是一个二维表格,而数组是一维数组。那么就存在一维和二维之间的转换

一维数组的下标Index(小标从0开始)和二维下标X、Y(下标从0开始)之间的转换公式

  1. 一维到二维的转换  
  2.  
  3. X=Int(Index/9)  
  4.  
  5. Y=Index mod 9 
  6.  
  7. 二维到一维的转换  
  8.  
  9. Index=X*9+Y 

数组中的每个整数表示数独对应的单元格的状态

正数表示空白单元格能填的数的组合,用二进制表示。用位来表示该单元格是否能填相应的数字,1表示能填,0表示不能填。

如文章开始的数独的单元格(1,1)可能填7和8,则第7位和第8位上是1(位数是从后往前数),其余位都是0,用整数表示就是Num(0)=0110000002=192

每在单元格中填一个数字,则把相应的行、列、宫中其余的单元格把该数字去掉。

我们可以充分利用位运算来简化去数字的过程。如:要把单元格去掉7这个数字的可能。首先7对应的二进制位0010000002,取其反数得到1101111112,再和目标单元格的数值进行AND的位运算,来实现去除该单元格7这个数字的可能性(由于位运算的便捷,不需要考虑该单元格是否原本包含7这个数字的可能性)。

如:(1,1)=0110000002 AND 1101111112=0100000002,去除7这个可能性,只剩8这个可能性了,也就是成为唯一数单元格

再比如:(1,9)=0100000102 AND 1101111112=0100000102,原本单元格就没有7这个可能性,执行位运算后,还是原来的可能性,没有发生变化。

负数表示该单元格已经确定的数,例如:(1,2)=-6,表示该单元格已近填了数字6

0表示该单元格既没有填确定的数字,也没有可填数的可能性。也就是上文说的无解单元格

为了算法中计算的方便,事先把这些二进制数都缓存起来,用一个一维的数组表示

用数组V来表示各个位对应的数字

  1. V(0)=0000000012=1 
  2.  
  3. V(1)=0000000102=2 
  4.  
  5. V(2)=0000001002=4 
  6.  
  7. V(3)=0000010002=8 
  8.  
  9. V(4)=0000100002=16 
  10.  
  11. V(5)=0001000002=32 
  12.  
  13. V(6)=0010000002=64 
  14.  
  15. V(7)=0100000002=128 
  16.  
  17. V(8)=1000000002=256 
  18.  
  19. V(9)=1111111112=511 

数字7对应的二进制数为V(6)=0010000002=64,7的反数为V(9)-V(6)=1101111112=447

每个单元格初始的值都是V(9)=1111111112=511

2、如何获得一个单元格的可填数的个数

由于是用二进制来表示单元格的状态,那么可填数的个数就是该数字中1的个数。我们之前有一个很方便的方法快速计算一个数中1的个数,参看算法的强大——快速计算一个正二进制整数中包含多少个1

3、状态的缓存

依据之前的说法,在碰到无唯一数单元格的情况时,要把当前的状态缓存起来。考虑到实际情况,从算法的角度上来说,用栈(先进后出)这个数据结构来实现比较合适。可以自己写一个栈的实现。但是,目前很多的编程语言都实现了基本的数据结构,提供了基本的数据结构的类和方法供我们调用。

以Visual Studio为例,它有Stack这个类,实现了栈的基本操作。有两个栈的方法:Push(压栈)——把数据写到栈里面;Pop(出栈)——把数据从栈里提出来,并删除栈中的数据。

4、代码说明

基本的变量

  1. Private _Num(80) As Integer   
  2.     Private _V(9) As Integer   
  3.     Private _S As System.Text.StringBuilder   
  4.     Private _HasString As Boolean   

_Num数组表示数独的状态;_V数组是辅助数组,缓存常用的二进制数

_S是一个文本对象,保存数独求解的过程;_HasString是个开关变量,表示是否记录求解过程;这两个变量是辅助变量,仅仅起到记录的作用。

类的初始化

  1. Public Sub New(Optional ByVal HasString As Boolean = True)   
  2.     Dim I As Integer   
  3.     _V(0) = 1   
  4.     For I = 1 To 8   
  5.         _V(I) = _V(I - 1) * 2   
  6.     Next   
  7.     _V(9) = 511   
  8.  
  9.     For I = 0 To 80   
  10.         _Num(I) = _V(9)   
  11.     Next   
  12.  
  13.     _S = New System.Text.StringBuilder   
  14.     _HasString = HasString   
  15. End Sub  

代码的前半段生成V这个数组,_V(9)=511。后半段,初始化数独数组。由于是空白数独数组,故每个单元格的值都是_V(9)

在给定的单元格里移除某个数字的可能性代码

  1. Private Function RemoveNum(ByVal Row As Integer, ByVal Col As Integer, ByVal Num2 As Integer) As Integer   
  2.     Dim Index As Integer = Row * 9 + Col   
  3.     If _Num(Index) > 0 Then _Num(Index) = _Num(Index) And Num2   
  4.     Return _Num(Index)   
  5. End Function  

3个参数,Row表示行,Col表示列(都是下标从0开始),Num2表示要去除的数的反码,以二进制表示。

例如:在(1,1)这个单元格去除7这个可能性,则调用RemoveNum(0,0,1101111112

返回值是该单元格的状态值,如果返回0,表示该单元就成了无解单元格,要后面的代码做适当的处理

在给定的单元格填某个数的代码

  1. Private Function SetNumPri(ByVal Row As Integer, ByVal Col As Integer, ByVal Num As Integer) As Boolean   
  2.     If (_V(Num) And _Num(Row * 9 + Col)) = 0 Then Return False   
  3.     _Num(Row * 9 + Col) = -(Num + 1)   
  4.     Num = _V(9) - _V(Num)   
  5.  
  6.     Dim I As Integer, J As Integer   
  7.  
  8.     For I = 0 To 8   
  9.         If RemoveNum(I, Col, Num) = 0 Then Return False   
  10.         If RemoveNum(Row, I, Num) = 0 Then Return False   
  11.     Next   
  12.  
  13.     Dim R1 As Integer = Int(Row / 3) * 3   
  14.     Dim C1 As Integer = Int(Col / 3) * 3   
  15.  
  16.     For I = R1 To R1 + 2   
  17.         For J = C1 To C1 + 2   
  18.             If RemoveNum(I, J, Num) = 0 Then Return False   
  19.         Next   
  20.     Next   
  21.  
  22.     Return True   
  23. End Function   

3个参数,Row表示行,Col表示列,Num表示要填充的数字(下标从0开始),这个方法是供类内部调用,从程序的角度来说,程序处理下标,从0开始比从1开始要来得简单。

例如:在(1,1)中填入数字7,则调用SetNumPri(0,0,6)

代码的第1行,先利用位运算判断当前单元格能否填制定的数字,不能填返回False

代码的第2行,设置当前单元格为指定数字,之前说了,用负数表示已填好的数字

代码的第3行,获得当前数字的反码,为后面去除该单元格所在的行、列、宫的其他单元格的该数字做准备

后面有两个循环,第一个循环去除行、列的其他单元格的该数字;第二个双循环去除宫的其他单元格的该数字。在调用RomoveNum方法时,若返回的是0,说明产生了无解单元格,那说明在这个单元格填该数字是不合理的,故返回False

当全部的代码都能顺利完成了,说明这个单元格填该数字是合理的,返回True

该方法的另一个重载形式

  1. Private Function SetNumPri(ByVal Index As IntegerByVal Num2 As IntegerAs Boolean   
  2.     Dim Row As Integer = Int(Index / 9)   
  3.     Dim Col As Integer = Index Mod 9   
  4.     Dim I As Integer   
  5.     For I = 0 To 8   
  6.         If _V(I) = Num2 Then Exit For   
  7.     Next   
  8.     Return SetNumPri(Row, Col, I)   
  9. End Function   

这也是一个供内部调用的方法,两个参数,Index是一维数组的下标;Num2是数字的二进制的形式。整个方法就是参数的转换,然后调用之前的方法

下面是两个供外面调用的方法

  1. Public Function SetNum(ByVal Row As IntegerByVal Col As IntegerByVal Num As IntegerAs Boolean   
  2.     Return SetNumPri(Row - 1, Col - 1, Num - 1)   
  3. End Function   
  4.  
  5. Public Function SetLine(ByVal Row As IntegerByVal ParamArray Num() As IntegerAs Boolean   
  6.     If Num.Length = 0 Then Return True   
  7.  
  8.     Dim I As Integer   
  9.  
  10.     For I = 0 To IIf(Num.Length - 1 > 8, 8, Num.Length - 1)   
  11.         If Num(I) > 0 AndAlso SetNumPri(Row - 1, I, Num(I) - 1) = False Then Return False   
  12.     Next   
  13.  
  14.     Return True   
  15.  
  16. End Function  

第一个方法是公开给外部调用的填数的方法。对外来说,从直观性上来说,下标是从1开始比较合适,但是内部的方法从0开始比较好。

如在(1,1)填7,调用SetNum(1,1,7),这个方法转而调用SetNumPri(0,0,6)

这个方法一般用在初始化数独时候调用

第二个方法也是公开给外部的方法,一次填写一行数的方法,如果是空白单元格,则用0替代

如本文开始的数独,填写第一行代码就是SetLine(1,0,6,0,5,9,3,0,0,0)

#p#

几个辅助方法

  1. Private Sub RestoreNum(ByVal L As List(Of Integer))   
  2.     Dim I As Integer   
  3.     For I = 0 To 80   
  4.         _Num(I) = L.Item(I)   
  5.     Next   
  6.  
  7.     AppendString("Restore Matrix")   
  8. End Sub  

恢复L中的数据到数独数组中,L是之前缓存的数据。AppendString这个方法是将数据记录到文本对象

  1. Private Function Get1Count(ByVal Value As IntegerAs Integer   
  2.     Dim C As Integer = 0   
  3.     Do While Value > 0   
  4.         Value = Value And (Value - 1)   
  5.         C += 1   
  6.     Loop   
  7.     Return C   
  8. End Function  

获得一个数中1的个数,也就是获得一个空白单元格的可填数的数目

例如:(1,1)=0110000002,Get1Count(0110000002)=2,说明(1,1)这个单元格能填2个数

  1. Private Function GetIndexOfNum(ByVal Num As IntegerByVal Index As IntegerAs Integer   
  2.     Dim I As Integer, K As Integer = 0   
  3.     For I = 0 To 8   
  4.         If (_V(I) And Num) <> 0 Then   
  5.             K += 1   
  6.             If K = Index Then Return I + 1   
  7.         End If   
  8.     Next   
  9.     Return -1   
  10. End Function   

获得指定数Num(二进制形式)的第Index个的可填数

还是以上面的为例,(1,1)=0110000002

GetIndexOfNum(0110000002,1)=7,表示第1个可填数是7

GetIndexOfNum(0110000002,2)=8,表示第2个可填数是8

GetIndexOfNum(0110000002,3)=-1,表示没有第3个可填数

辅助记录函数

这些函数对求解算法没啥太大的帮助,仅仅是将求解的过程记录到文本中,以供日后研究参考

  1. Private Function ReturnNumString(ByVal Num As IntegerAs String   
  2.     If Num < 0 Then Return "#" & (-Num) & " "   
  3.     Dim I As Integer, S As String = ""   
  4.     For I = 0 To 8   
  5.         If (_V(I) And Num) <> 0 Then S &= (I + 1)   
  6.     Next   
  7.     Return S.PadRight(10)   
  8. End Function  

返回一个数字的文本格式,如果是空白单元格,返回该单元格的所有可填数;如果是已填单元格,返回#+数字的字符串。返回的字符串经过对齐处理。

  1. Private Function ReturnMatrix() As String   
  2.     Dim I As Integer, J As Integer, S As String = ""   
  3.     For I = 0 To 8   
  4.         For J = 0 To 8   
  5.             S &= ReturnNumString(_Num(I * 9 + J))   
  6.         Next   
  7.         S &= vbNewLine   
  8.     Next   
  9.     Return S   
  10. End Function  

返回整个数独的状态文本

  1. Private Sub AppendString(ByVal Text As StringOptional ByVal AppendMatrix As Boolean = True)   
  2.     If _HasString = False Then Exit Sub   
  3.     _S.AppendLine(Text)   
  4.     _S.AppendLine()   
  5.     If AppendMatrix = True Then   
  6.         _S.AppendLine(ReturnMatrix)   
  7.         _S.AppendLine()   
  8.     End If   
  9. End Sub  

将文本添加到文本对象,并根据AppendMatrix参数来决定是否将整个数独的状态添加到文本对象

  1. Private Function IndexToXY(ByVal Index As IntegerAs String   
  2.     Return (Int(Index / 9) + 1) & "-" & (Index Mod 9 + 1) & " Num:" & -_Num(Index)   
  3. End Function  

返回指定Index的坐标和已填的数,用于在文本对象中

  1. Public Function CalculationString() As String   
  2.     Return _S.ToString   
  3. End Function  

对外公开的方法,返回文本对象,也就是之前记录的求解过程,共日后研究参考

主求解函数——算法的核心

下面的3个函数是算法的核心

  1. Private Function FindMinCell() As Integer   
  2.     Dim I As Integer, C As Integer   
  3.     Dim tP As Integer = -1, tMin As Integer = 20   
  4.  
  5.     I = 0   
  6.  
  7.     Do   
  8.         If _Num(I) > 0 Then   
  9.             C = Get1Count(_Num(I))   
  10.             If C = 1 Then   
  11.                 If SetNumPri(I, _Num(I)) = False Then Return -2   
  12.  
  13.                 AppendString("SetNum " & IndexToXY(I))   
  14.  
  15.                 If I = tP Then   
  16.                     tP = -1   
  17.                     tMin = 20   
  18.                 End If   
  19.  
  20.                 I = -1   
  21.             Else   
  22.                 If C < tMin Then   
  23.                     tP = I   
  24.                     tMin = C   
  25.                 End If   
  26.             End If   
  27.         End If   
  28.         I += 1   
  29.     Loop Until I > 80   
  30.  
  31.     Return tP   
  32. End Function  

该函数是获得最少可能数的单元格(可填数大于2的空白单元格)

该函数返回值有3个可能性

返回值:-1,没有找到这样的单元格,函数从某个唯一数单元格开始填数,依次填下去,并且把所有的空白单元格都填满。这说明,求解结束。

返回值:-2,没有找到这样的单元格,函数从某个唯一数单元格开始填数,依次填下去,产生了无解单元格。说明之前的求解过程有错误或者说该数独无解

返回值:0-80,找到这样的单元格,并且当前的数独数组中不再存在唯一数单元格(函数直接会在唯一数单元格上填数)

  1. Public Function Calculate() As Integer()   
  2.     Dim I As Integer   
  3.     Dim K As Integer   
  4.     Dim Q As New Stack(Of List(Of Integer))   
  5.     Dim L As List(Of Integer)   
  6.  
  7.     _S = New System.Text.StringBuilder   
  8.     AppendString("Init Matrix")   
  9.  
  10.     K = FindMinCell()   
  11.  
  12.     Do While K <> -1   
  13.         If K = -2 Then   
  14.             If Q.Count = 0 Then   
  15.                 AppendString("Error!!!!!"False)   
  16.                 Return Nothing   
  17.             End If   
  18.  
  19.  
  20.             L = Q.Pop   
  21.  
  22.             K = L(82)   
  23.             L.RemoveAt(82)   
  24.  
  25.             I = L(81) + 1   
  26.             L.RemoveAt(81)   
  27.  
  28.             AppendString("Stack Pop " & Q.Count + 1, False)   
  29.  
  30.             RestoreNum(L)   
  31.  
  32.             K = FindNextK(Q, L, K, I)   
  33.  
  34.         Else   
  35.             L = New List(Of Integer)   
  36.             L.AddRange(_Num)   
  37.  
  38.             K = FindNextK(Q, L, K, 1)   
  39.  
  40.         End If   
  41.  
  42.     Loop   
  43.  
  44.     AppendString("Calculating Complete!!!!")   
  45.  
  46.     Dim V(80) As Integer   
  47.     For I = 0 To 80   
  48.         V(I) = -_Num(I)   
  49.     Next   
  50.     Return V   
  51. End Function  

对外公开的主求解函数,返回最终结果的整形数组

首先解释一下栈对象Q,由于栈Q每次压栈的时候只能压一个对象,而当出现无唯一数单元格的情况的时候,需要将当前的数据缓存起来。需要缓存的内容有三个部分,分别是数独数组、找到的最少可能数的单元格的下标、最少可能数的单元格的选择填的第几个数。故用一个 List(of Integer)对象将之前的三个内容缓存起来。L(0)—L(80)表示是数独数组,L(81)是最少可能数的单元格的下标,L(82)是最少可能数的单元格的选择填的第几个数。

该函数的主要是判断K的值,如上个函数所述,K的值主要有3种

K=-1,说明没有空白单元格,数独已经完美的求解完成,直接返回结果

K=-2,说明有无解单元格,那么判断栈Q中的数据,如果栈Q中没有数据,说明该数独无解;如果栈Q中有数据,那么把数据提出来,把数独的状态恢复到之前的情况。并从上次缓存的最少可能数单元格中,提取下一个可填数去继续进行尝试。

举例说明,缓存了0,1。说明上次尝试的是第1个单元格(下标从0开始)的第1个可填数。由于出现了无解单元格,说明第1个可填数是不正确的,那么继续尝试第2个可填数。调用的方法:FindNextK(Q, L, K, I),之前I已经加过1了。

K=0-80,得到最少可能数的单元格的下标。从该单元格的第1个可填数开始尝试。调用的方法:FindNextK(Q, L, K, 1)

尝试可能数的函数是FindNextK,返回值也是分为3种,-1、-2、0-80。意义和上面一样

  1. Private Function FindNextK(ByVal Q As Stack(Of List(Of Integer)), ByVal L As List(Of Integer), ByVal K As IntegerByVal Index As IntegerAs Integer   
  2.  
  3.     Dim J As Integer = GetIndexOfNum(_Num(K), Index)   
  4.  
  5.     Do While J <> -1   
  6.         If SetNumPri(K, _V(J - 1)) = True Then   
  7.             AppendString("Stack Push " & Q.Count + 1, False)   
  8.             AppendString("SetNum MayBe " & IndexToXY(K))   
  9.  
  10.             L.Add(Index)   
  11.             L.Add(K)   
  12.             Q.Push(L)   
  13.  
  14.             K = FindMinCell()   
  15.  
  16.             Exit Do   
  17.         End If   
  18.  
  19.         RestoreNum(L)   
  20.         Index += 1   
  21.         J = GetIndexOfNum(_Num(K), Index)   
  22.     Loop   
  23.     If J = -1 Then K = -2   
  24.     Return K   
  25. End Function  

辅助函数,获得尝试可能数的结果

首先,通过GetIndexOfNum获得当前可填数。如果返回值-1的话,说明当前已经没有可填数,出现无解单元格,直接返回值为-2

然后尝试在当前单元格填数,调用SetNumPri(K, _V(J - 1)),返回True表示该数能填,那么把当前的状态缓存到栈Q中,并通过FindMinCell函数获得下一个可能的K值,并返回;返回False表示该数不能填,恢复数据到数独数组,继续尝试下一个数。

至此该算法类的代码都说明完整了

在该算法中仅仅用了最基本的解法——摒除法。遇见唯一数单元格,就直接填数,如果遇见无唯一数单元格,则缓存数据,并对该单元格的所有可填数做尝试,直到求解出该数独为止。

会有人疑问,利用栈Q缓存数据,会不会极大的占用系统资源,导致无法解题的情况。以目前的情况来看,我用该算法求解了“程序员们都是不被世人所理解的真正天才吗?-请大家看这个数独的解法”中的号称最难的数独,并把求解的结果保存到文件后打开分析了一下,发现栈Q的缓存不超过20步,以20步为例,每步83*4字节,则一共20*83*4=6640字节<7K字节。远小于系统的承受能力。因此,不必担心系统的承受能力

如果,谁有好的数独的算法,欢迎交流,不吝赐教。

让我们实战看看成果,用该算法求解本文开头的数独,代码如下:

  1. Dim tS As New clsSudoku  
  2.  
  3. tS.SetLine(1, 0, 6, 0, 5, 9, 3, 0, 0, 0)   
  4. tS.SetLine(2, 9, 0, 1, 0, 0, 0, 5, 0, 0)   
  5. tS.SetLine(3, 0, 3, 0, 4, 0, 0, 0, 9, 0)   
  6. tS.SetLine(4, 1, 0, 8, 0, 2, 0, 0, 0, 4)   
  7. tS.SetLine(5, 4, 0, 0, 3, 0, 9, 0, 0, 1)   
  8. tS.SetLine(6, 2, 0, 0, 0, 1, 0, 6, 0, 9)   
  9. tS.SetLine(7, 0, 8, 0, 0, 0, 6, 0, 2, 0)   
  10. tS.SetLine(8, 0, 0, 4, 0, 0, 0, 8, 0, 7)   
  11. tS.SetLine(9, 0, 0, 0, 7, 8, 5, 0, 1, 0)  
  12.  
  13. tS.Calculate()  
  14.  
  15. My.Computer.FileSystem.WriteAllText("1.txt", tS.CalculationString, False)   

该数独还是比较简单的,一路唯一数单元格到底

结果如下:

Calculating Complete!!!!

  1. #7    #6    #2    #5    #9    #3    #1    #4    #8
  2. #9    #4    #1    #2    #7    #8    #5    #3    #6
  3. #8    #3    #5    #4    #6    #1    #7    #9    #2
  4. #1    #9    #8    #6    #2    #7    #3    #5    #4
  5. #4    #7    #6    #3    #5    #9    #2    #8    #1
  6. #2    #5    #3    #8    #1    #4    #6    #7    #9
  7. #3    #8    #7    #1    #4    #6    #9    #2    #5
  8. #5    #1    #4    #9    #3    #2    #8    #6    #7
  9. #6    #2    #9    #7    #8    #5    #4    #1    #3

#p#

 

下面是该算法类的完整代码

  1. Public Class clsSudoku   
  2.     Private _Num(80) As Integer   
  3.     Private _V(9) As Integer   
  4.     Private _S As System.Text.StringBuilder   
  5.     Private _HasString As Boolean   
  6.  
  7.     Public Sub New(Optional ByVal HasString As Boolean = True)   
  8.         Dim I As Integer   
  9.         _V(0) = 1   
  10.         For I = 1 To 8   
  11.             _V(I) = _V(I - 1) * 2   
  12.         Next   
  13.         _V(9) = 511   
  14.  
  15.         For I = 0 To 80   
  16.             _Num(I) = _V(9)   
  17.         Next   
  18.  
  19.         _S = New System.Text.StringBuilder   
  20.         _HasString = HasString   
  21.     End Sub   
  22.  
  23.     Private Function Get1Count(ByVal Value As IntegerAs Integer   
  24.         Dim C As Integer = 0   
  25.         Do While Value > 0   
  26.             Value = Value And (Value - 1)   
  27.             C += 1   
  28.         Loop   
  29.         Return C   
  30.     End Function   
  31.  
  32.     Private Function RemoveNum(ByVal Row As IntegerByVal Col As IntegerByVal Num2 As IntegerAs Integer   
  33.         Dim Index As Integer = Row * 9 + Col   
  34.         If _Num(Index) > 0 Then _Num(Index) = _Num(Index) And Num2   
  35.         Return _Num(Index)   
  36.     End Function   
  37.  
  38.     Public Function SetNum(ByVal Row As IntegerByVal Col As IntegerByVal Num As IntegerAs Boolean   
  39.         Return SetNumPri(Row - 1, Col - 1, Num - 1)   
  40.     End Function   
  41.  
  42.     Public Function SetLine(ByVal Row As IntegerByVal ParamArray Num() As IntegerAs Boolean   
  43.         If Num.Length = 0 Then Return True   
  44.  
  45.         Dim I As Integer   
  46.  
  47.         For I = 0 To IIf(Num.Length - 1 > 8, 8, Num.Length - 1)   
  48.             If Num(I) > 0 AndAlso SetNumPri(Row - 1, I, Num(I) - 1) = False Then Return False   
  49.         Next   
  50.  
  51.         Return True   
  52.  
  53.     End Function   
  54.  
  55.     Private Function SetNumPri(ByVal Row As IntegerByVal Col As IntegerByVal Num As IntegerAs Boolean   
  56.         If (_V(Num) And _Num(Row * 9 + Col)) = 0 Then Return False   
  57.         _Num(Row * 9 + Col) = -(Num + 1)   
  58.         Num = _V(9) - _V(Num)   
  59.  
  60.         Dim I As Integer, J As Integer   
  61.  
  62.         For I = 0 To 8   
  63.             If RemoveNum(I, Col, Num) = 0 Then Return False   
  64.             If RemoveNum(Row, I, Num) = 0 Then Return False   
  65.         Next   
  66.  
  67.         Dim R1 As Integer = Int(Row / 3) * 3   
  68.         Dim C1 As Integer = Int(Col / 3) * 3   
  69.  
  70.         For I = R1 To R1 + 2   
  71.             For J = C1 To C1 + 2   
  72.                 If RemoveNum(I, J, Num) = 0 Then Return False   
  73.             Next   
  74.         Next   
  75.  
  76.         Return True   
  77.     End Function   
  78.  
  79.     Private Function SetNumPri(ByVal Index As IntegerByVal Num2 As IntegerAs Boolean   
  80.         Dim Row As Integer = Int(Index / 9)   
  81.         Dim Col As Integer = Index Mod 9   
  82.         Dim I As Integer   
  83.         For I = 0 To 8   
  84.             If _V(I) = Num2 Then Exit For   
  85.         Next   
  86.         Return SetNumPri(Row, Col, I)   
  87.     End Function   
  88.  
  89.     Private Function FindMinCell() As Integer   
  90.         Dim I As Integer, C As Integer   
  91.         Dim tP As Integer = -1, tMin As Integer = 20   
  92.  
  93.         I = 0   
  94.  
  95.         Do   
  96.             If _Num(I) > 0 Then   
  97.                 C = Get1Count(_Num(I))   
  98.                 If C = 1 Then   
  99.                     If SetNumPri(I, _Num(I)) = False Then Return -2   
  100.  
  101.                     AppendString("SetNum " & IndexToXY(I))   
  102.  
  103.                     If I = tP Then   
  104.                         tP = -1   
  105.                         tMin = 20   
  106.                     End If   
  107.  
  108.                     I = -1   
  109.                 Else   
  110.                     If C < tMin Then   
  111.                         tP = I   
  112.                         tMin = C   
  113.                     End If   
  114.                 End If   
  115.             End If   
  116.             I += 1   
  117.         Loop Until I > 80   
  118.  
  119.         Return tP   
  120.     End Function   
  121.  
  122.     Public Function Calculate() As Integer()   
  123.         Dim I As Integer   
  124.         Dim K As Integer   
  125.         Dim Q As New Stack(Of List(Of Integer))   
  126.         Dim L As List(Of Integer)   
  127.  
  128.         _S = New System.Text.StringBuilder   
  129.         AppendString("Init Matrix")   
  130.  
  131.         K = FindMinCell()   
  132.  
  133.         Do While K <> -1   
  134.             If K = -2 Then   
  135.                 If Q.Count = 0 Then   
  136.                     AppendString("Error!!!!!"False)   
  137.                     Return Nothing   
  138.                 End If   
  139.  
  140.  
  141.                 L = Q.Pop   
  142.  
  143.                 K = L(82)   
  144.                 L.RemoveAt(82)   
  145.  
  146.                 I = L(81) + 1   
  147.                 L.RemoveAt(81)   
  148.  
  149.                 AppendString("Stack Pop " & Q.Count + 1, False)   
  150.  
  151.                 RestoreNum(L)   
  152.  
  153.                 K = FindNextK(Q, L, K, I)   
  154.  
  155.             Else   
  156.                 L = New List(Of Integer)   
  157.                 L.AddRange(_Num)   
  158.  
  159.                 K = FindNextK(Q, L, K, 1)   
  160.  
  161.             End If   
  162.  
  163.         Loop   
  164.  
  165.         AppendString("Calculating Complete!!!!")   
  166.  
  167.         Dim V(80) As Integer   
  168.         For I = 0 To 80   
  169.             V(I) = -_Num(I)   
  170.         Next   
  171.         Return V   
  172.     End Function   
  173.  
  174.     Private Sub RestoreNum(ByVal L As List(Of Integer))   
  175.         Dim I As Integer   
  176.         For I = 0 To 80   
  177.             _Num(I) = L.Item(I)   
  178.         Next   
  179.  
  180.         AppendString("Restore Matrix")   
  181.     End Sub   
  182.  
  183.     Private Function GetIndexOfNum(ByVal Num As IntegerByVal Index As IntegerAs Integer   
  184.         Dim I As Integer, K As Integer = 0   
  185.         For I = 0 To 8   
  186.             If (_V(I) And Num) <> 0 Then   
  187.                 K += 1   
  188.                 If K = Index Then Return I + 1   
  189.             End If   
  190.         Next   
  191.         Return -1   
  192.     End Function   
  193.  
  194.     Private Function FindNextK(ByVal Q As Stack(Of List(Of Integer)), ByVal L As List(Of Integer), ByVal K As IntegerByVal Index As IntegerAs Integer   
  195.  
  196.         Dim J As Integer = GetIndexOfNum(_Num(K), Index)   
  197.  
  198.         Do While J <> -1   
  199.             If SetNumPri(K, _V(J - 1)) = True Then   
  200.                 AppendString("Stack Push " & Q.Count + 1, False)   
  201.                 AppendString("SetNum MayBe " & IndexToXY(K))   
  202.  
  203.                 L.Add(Index)   
  204.                 L.Add(K)   
  205.                 Q.Push(L)   
  206.  
  207.                 K = FindMinCell()   
  208.  
  209.                 Exit Do   
  210.             End If   
  211.  
  212.             RestoreNum(L)   
  213.             Index += 1   
  214.             J = GetIndexOfNum(_Num(K), Index)   
  215.         Loop   
  216.         If J = -1 Then K = -2   
  217.         Return K   
  218.     End Function   
  219.  
  220.     Private Function ReturnNumString(ByVal Num As IntegerAs String   
  221.         If Num < 0 Then Return "#" & (-Num) & " "   
  222.         Dim I As Integer, S As String = ""   
  223.         For I = 0 To 8   
  224.             If (_V(I) And Num) <> 0 Then S &= (I + 1)   
  225.         Next   
  226.         Return S.PadRight(10)   
  227.     End Function   
  228.  
  229.     Private Function ReturnMatrix() As String   
  230.         Dim I As Integer, J As Integer, S As String = ""   
  231.         For I = 0 To 8   
  232.             For J = 0 To 8   
  233.                 S &= ReturnNumString(_Num(I * 9 + J))   
  234.             Next   
  235.             S &= vbNewLine   
  236.         Next   
  237.         Return S   
  238.     End Function   
  239.  
  240.     Private Sub AppendString(ByVal Text As StringOptional ByVal AppendMatrix As Boolean = True)   
  241.         If _HasString = False Then Exit Sub   
  242.         _S.AppendLine(Text)   
  243.         _S.AppendLine()   
  244.         If AppendMatrix = True Then   
  245.             _S.AppendLine(ReturnMatrix)   
  246.             _S.AppendLine()   
  247.         End If   
  248.     End Sub   
  249.  
  250.     Private Function IndexToXY(ByVal Index As IntegerAs String   
  251.         Return (Int(Index / 9) + 1) & "-" & (Index Mod 9 + 1) & " Num:" & -_Num(Index)   
  252.     End Function   
  253.  
  254.     Public Function CalculationString() As String   
  255.         Return _S.ToString   
  256.     End Function   
  257. End Class  

原文链接:http://www.cnblogs.com/grenet/p/3138654.html

责任编辑:林师授 来源: 博客园
相关推荐

2023-11-06 11:33:15

C++数独

2021-09-06 08:26:08

JavaScript数独 LeetCode

2022-07-29 14:47:34

数独Sudoku鸿蒙

2013-06-17 12:44:38

WP7开发Windows Pho数独游戏

2022-10-19 15:27:36

数独Sudoku鸿蒙

2022-10-18 15:45:17

数独Sudoku鸿蒙

2022-10-19 15:19:53

数独Sudoku鸿蒙

2020-09-24 16:40:20

人工智能量子计算技术

2009-12-25 16:15:31

JVM垃圾回收算法

2022-10-28 09:15:02

2022-08-22 17:46:56

虚拟数仓Impala

2022-10-28 08:31:43

2022-11-01 08:02:04

2017-10-25 12:59:04

2011-09-16 10:35:13

Android应用数独经典游戏

2024-08-06 08:34:51

2015-12-25 10:42:57

爱数云存储

2022-10-12 14:17:39

物联网软件开发

2022-12-13 15:54:00

2024-02-22 16:54:02

点赞
收藏

51CTO技术栈公众号