Golang数独算法不起作用

时间:2017-10-15 22:13:02

标签: go sudoku recursive-backtracking

我对Golang很新,我正在尝试用回溯算法做一个数独游戏。 但是当我运行我的程序时,没有错误,但它只显示网格不完整,这里的空案例是我的代码:

package main

import "fmt"

var sudoku = [9][9]int{
    {9, 0, 0, 1, 0, 0, 0, 0, 5},
    {0, 0, 5, 0, 9, 0, 2, 0, 1},
    {8, 0, 0, 0, 4, 0, 0, 0, 0},
    {0, 0, 0, 0, 8, 0, 0, 0, 0},
    {0, 0, 0, 7, 0, 0, 0, 0, 0},
    {0, 0, 0, 0, 2, 6, 0, 0, 9},
    {2, 0, 0, 3, 0, 0, 0, 0, 6},
    {0, 0, 0, 2, 0, 0, 9, 0, 0},
    {0, 0, 1, 9, 0, 4, 5, 7, 0},
  }

func main(){
  IsValid(sudoku, 0)
  Display(sudoku)
}

func Display(sudoku[9][9] int){
  var x, y int

  for x = 0; x < 9; x++ {
        fmt.Println("")
        if(x == 3 || x == 6){
          fmt.Println(" ")
        }
      for y = 0; y < 9; y++ {
        if(y == 3 || y == 6){
          fmt.Print("|")
        }
         fmt.Print(sudoku[x][y])
      }

   }

}

func AbsentOnLine(k int, sudoku [9][9]int, x int) bool {
  var y int
    for y=0; y < 9; y++ {
        if (sudoku[x][y] == k){
            return false
          }
        }
    return true
}

func AbsentOnRow(k int, sudoku [9][9]int, y int) bool {
  var x int
  for x=0; x < 9; x++{
       if (sudoku[x][y] == k){
           return false;
         }
       }
   return true;
}

func AbsentOnBloc(k int, sudoku [9][9]int, x int, y int) bool {
  var firstX, firstY int;
  firstX =  x-(x%3)
  firstY =  y-(y%3)
  for x = firstX; x < firstX+3; x++ {
        for y = firstY; y < firstY+3; y++ {
            if (sudoku[x][y] == k){
                return false;
              }
        }
      }
    return true;

}

func IsValid(sudoku [9][9]int, position int) bool {

  if (position == 9*9){
        return true;
      }

      var x, y, k int

    x = position/9
    y = position%9

    if (sudoku[x][y] != 0){
        return IsValid(sudoku, position+1);
      }

    for k=1; k <= 9; k++ {
        if (AbsentOnLine(k,sudoku,x) && AbsentOnRow(k,sudoku,y) && AbsentOnBloc(k,sudoku,x,y)){
            sudoku[x][y] = k;

            if (IsValid(sudoku, position+1)){
                return true;
              }
        }
    }
    sudoku[x][y] = 0;
    return false;

}

我在控制台中收到了这个:

900|100|005
005|090|201
800|040|000

000|080|000
000|700|000
000|026|009

200|300|006
000|200|900
001|904|570

我不明白为什么它没有完成网格,有没有人有任何想法?

2 个答案:

答案 0 :(得分:1)

我不认识Golang,但我使用回溯编写了一个数独求解算法。

您的代码只会迭代一次电路板。您从position=0开始,您的代码比在电路板上迭代,如果某个位置的值为零,则您尝试使用值1-9并且如果你没有工作,你去了下一个位置。当position=81时,您的代码会停止。

您使用Isvalid函数向电路板添加了新值,但是您没有再次迭代新电路板以查看这些新值是否有助于您的AbsentOn...函数返回一个新值,即与上一次迭代不同。您必须一次又一次地迭代您的电路板,直到您确定没有0个有价值的电池。

这就是你在程序结束时在董事会上有很多0的原因。你的程序只迭代一次,在它首次尝试时无法解决你的示例数独。它必须为电路板添加新值,并在每次迭代时使数独板更容易。

另一个问题是您的代码没有给出反馈。例如,它将1提供给空单元格。起初看起来似乎很好,但它并不意味着该单元格的最终值必须是1。它可能会发生变化,因为在您的下一次迭代中您会发现另一个单元格只能取值1,所以现在您必须更改回初始单元格并找到1以外的新值。您的代码也无法做到这一点。这就是为什么当人们不确定时,人类会在细胞附近放置一些可能的值。

看起来您的问题与算法有关。您必须了解回溯算法。你可以用你熟悉的另一种语言尝试它,然后将它迁移到golang(我用C ++写的)。除此之外,你的golang代码很容易阅读,我也没有看到任何与golang相关的问题。

答案 1 :(得分:0)

您的IsValid函数会更改数独的内容。问题是,实际上,在您的代码中,只更改了数独的副本。如果它应该改变实际变量,你需要将它作为指针传递。

以下是您在代码中需要进行的更改,它只有五个字符:

func main() {
    IsValid(&sudoku, 0)
    Display(sudoku)
}

// ...

func IsValid(sudoku *[9][9]int, position int) bool {

// ...

if AbsentOnLine(k, *sudoku, x) && AbsentOnRow(k, *sudoku, y) && AbsentOnBloc(k, *sudoku, x, y) {