Golang sudoku算法不工作

Question

我对Golang非常陌生，我正在尝试用回溯算法来做sudoku。但是，当我运行我的程序时，没有错误，但它只显示网格不完整，这里是我的代码：

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

我不明白为什么它没有完成网格，有谁想过吗？

Answer 1

您的IsValid函数更改sudoku的内容。问题是，实际上，在您的代码中，它只更改sudoku的副本。如果要更改实际变量，则需要将其作为指针传递。

下面是您需要在代码中进行的更改，它只有五个字符：

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) {

Answer 2

我不知道Golang，但我写了一个sudoku算法使用回溯。

您的代码只迭代董事会一次。，您从position=0开始，您的代码比遍历板，如果某个职位的值为零，您可以尝试1-9值，如果不起作用，就转到下一个位置。当position=81时，您的代码就停止了。

您使用Isvalid函数向板中添加了新值，但不会再次迭代新板，以查看这些新值是否有助于AbsentOn...函数返回与上一次迭代不同的新值。你必须一次又一次地迭代你的董事会，直到你确信没有0值的单元。

这就是为什么在你的程序结束时，你必须在板上有很多0。你的程序只迭代一次，在它是解决不了你的例子sudoku对它的第一次尝试。它必须为板添加新的值，并通过每次迭代使sudoku板更容易。

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

看起来你的问题就在算法上。你必须了解回溯算法。您可以使用您首先熟悉的另一种语言进行尝试，然后将其迁移到golang(我用C++编写了我的语言)。除此之外，您的golang代码很容易读懂，而且我没有看到任何与golang相关的问题。