C 中的数独递归回溯辅助

Question

我对编码比较陌生，递归一直是我的眼中钉。 我需要帮助实现回溯递归。

这是我的示例代码（假设所有辅助函数都正常工作 [并且他们确实如此]）

void solve_sudoku(char sudoku[9][9])
{
    if (contains_empty_cell(sudoku) == 1)
    {
        for (int y = 0; y < 9; y++)
        {
            for (int x = 0; x < 9; x++)
            {
                if (sudoku[y][x] == 0)
                {
                    for (int i = 1; i <= 9; i++)
                    {
                        sudoku[y][x] = i;
                        if (is_valid_column(sudoku, y, x) == 1 &&
                            is_valid_row(sudoku, y, x) == 1 &&
                            is_valid_sub_box(sudoku, y, x) == 1)
                        {
                            solve_sudoku(sudoku);
                        }
                    }
                    if (sudoku[y][x] == 9)
                    {
                        sudoku[y][x] = 0;
                        return;
                    }
                }
            }
        }
    }
}

Answer 1

我认为你很接近。 主要问题是您如何处理解决方案。 您似乎试图用if (sudoku[y][x] == 9)来处理它。 但那是不正确的。

选项 1 是在找到解决方案后退出。 solve_sudoku()返回一个值来表明这一点。 解决方案将是最外层调用solve_sudoku()之后的最终结果：

int solve_sudoku(char sudoku[9][9])
{
    if (contains_empty_cell(sudoku) != 0)
    {
        return 1; // sudoku completely filled in, i.e. solution found
    }

    for (int y = 0; y < 9; y++)
    {
        for (int x = 0; x < 9; x++)
        {
            if (sudoku[y][x] == 0)
            {
                for (int i = 1; i <= 9; i++)
                {
                    sudoku[y][x] = i;
                    if (is_valid_column(sudoku, y, x) == 1 &&
                        is_valid_row(sudoku, y, x) == 1 &&
                        is_valid_sub_box(sudoku, y, x) == 1)
                    {
                        if (solve_sudoku(sudoku) == 1)
                        {
                            return 1; // exit if solution found
                        }
                    }
                }
                // restore empty cell
                sudoku[y][x] = 0;
            }
        }
    }

    return 0;
}

一个数独可以有多种解法。 所以选项 2 是打印每个找到的解决方案，然后继续：

void solve_sudoku(char sudoku[9][9])
{
    if (contains_empty_cell(sudoku) == 0)
    {
        // Sudoku completely filled in, print solution
        print_solution(sudoku);
        return;
    }

    for (int y = 0; y < 9; y++)
    {
        for (int x = 0; x < 9; x++)
        {
            if (sudoku[y][x] == 0)
            {
                for (int i = 1; i <= 9; i++)
                {
                    sudoku[y][x] = i;
                    if (is_valid_column(sudoku, y, x) == 1 &&
                        is_valid_row(sudoku, y, x) == 1 &&
                        is_valid_sub_box(sudoku, y, x) == 1)
                    {
                        solve_sudoku(sudoku);
                    }
                    
                }

                // restore empty cell
                sudoku[y][x] = 0;
            }
        }
    }
}

我没试过。 所以它可能不是一个完整的解决方案。