整数[,]的数独求解算法

本文关键字:算法 整数 | 更新日期: 2023-09-27 18:14:32

大家好,

我一直在开发一个c#数独解算器应用程序,但我真的低估了数独算法的难度。我一直在网上搜索我可以实现的可能的算法,但我没有运气找到一个简单的算法,我可以理解。

我发现了一种算法,可以在我的应用程序中工作,然而这个人正在使用一维数组来解决它。我试图改变它,使它与一个多维数组的工作,但我不能让它正常工作。

有没有人能给我建议或告诉我如何改变代码,使其与多维数组(int[,])一起工作?只是我自己找不到。代码可以在这里找到:http://blah.winsmarts.com/2007-1-sudoku_solver_in_c-.aspx

如果你有另一种算法可以处理int[,],那当然也很棒。

帮助将是非常感激的,因为我一直在寻找很长时间。提前感谢!

整数[,]的数独求解算法

您链接的代码已经在逻辑上使用2D数组,它只是使用1D数组作为支持。改变这个:

private int[] vals = new int[81];
public int this[int row, int column]
{
    get { return vals[FindIndex(row, column)]; }
    set
    {
        vals[FindIndex(row, column)] = value;
    }
}
private int FindIndex(int row, int column)
{
    return (((column - 1) * 9) + row - 1);
}

:

private int[,] vals = new int[9,9];
public int this[int row, int column]
{
    get { return vals[row - 1, column - 1]; }
    set
    {
        vals[row - 1, column - 1] = value;
    }
}

(- 1在当前代码的其余部分是必需的,因为rowcolumn从1开始而不是0)

递归回溯,蛮力,算法。

public class SudokoSolver
{
    private readonly Grid _grid;
    public SudokoSolver(Grid grid)
    {
        _grid = grid;
        _grid.Validate();
    }
    public int?[,] SolvePuzzle()
    {
        Solve();
        Console.WriteLine(_grid.Assigns + " tries total.");
        return _grid.Data;
    }
    private bool Solve()
    {
        int row, col;
        if (!_grid.FindUnassignedLoc(out row, out col))
        {
            return true;
        }
        for (int num = 1; num <= 9; num++)
        {
            if (_grid.NoConflicts(row, col, num))
            {
                _grid.Assign(row, col, num);
                if (Solve())
                {
                    return true;
                }
                _grid.Unassign(row, col);
            }
        }
        return false;
    }
    public int?[,] Data
    {
        get { return _grid.Data; }
    }
}
public class Grid
{
    public int?[,] Data { get; private set; }
    private int _curC = 0;
    private int _curR = 0;
    private int _assigns = 0;
    public Grid(int?[,] data)
    {
        Data = data ?? new int?[9,9];
    }
    public bool FindUnassignedLoc(out int row, out int col)
    {
        while (Data[_curR, _curC].HasValue)
        {
            _curC++;
            if (_curC == 9)
            {
                _curR++;
                _curC = 0;
            }
            if (_curR == 9)
            {
                row = -1;
                col = -1;
                return false;
            }
        }
        row = _curR;
        col = _curC;
        return true;
    }
    public bool NoConflicts(int row, int col, int num)
    {
        for (int r = 0; r < 9; ++r)
        {
            if (Data[r, col] == num)
            {
                return false;
            }
        }
        for (int c = 0; c < 9; c++)
        {
            if (Data[row, c] == num)
            {
                return false;
            }
        }
        int fromC = 3 * (col/3);
        int fromR = 3 * (row / 3);
        for (int c = fromC; c < fromC + 3; c++)
        {
            for (int r = fromR; r < fromR + 3; r++)
            {
                if (Data[r, c] == num)
                {
                    return false;
                }
            }
        }
        return true;
    }
    public void Assign(int row, int col, int num)
    {
        _assigns++;
        Data[row, col] = num;
    }
    public void Unassign(int row, int col)
    {
        Data[row, col] = null;
        _curC = col;
        _curR = row;
    }
    public int Assigns
    {
        get { return _assigns; }
    }
    public void Validate()
    {
        if (Data.Length != 81)
        {
            throw new Exception("Invalid dimentions!");
        }
        if (!IsLegal())
        {
            throw new Exception("Illigal numbers populated!");
        }
    }
    public bool IsLegal()
    {
        var container = new HashSet<int>();
        //vertical check 
        for (int c = 0; c < 9; ++c)
        {
            container.Clear();
            for (int r = 0; r < 9; ++r)
            {
                if (Data[r, c].HasValue)  
                {
                    if (container.Contains(Data[r, c].Value))
                    {
                        return false;
                    }
                    container.Add(Data[r, c].Value);
                }
            }
        }
        // horizontal check
        for (int r = 0; r < 9; ++r)
        {
            container.Clear();
            for (int c = 0; c < 9; ++c)
            {
                if (Data[r, c].HasValue)
                {
                    if (container.Contains(Data[r, c].Value))
                    {
                        return false;
                    }
                    container.Add(Data[r, c].Value);
                }
            }
        }
        // square check
        var topLeftCorners = new List<Tuple<int, int>>
        {
            new Tuple<int, int>(0,0),
            new Tuple<int, int>(0,3),
            new Tuple<int, int>(0,6),
            new Tuple<int, int>(3,0),
            new Tuple<int, int>(3,3),
            new Tuple<int, int>(3,6),
            new Tuple<int, int>(6,0),
            new Tuple<int, int>(6,3),
            new Tuple<int, int>(6,6)
        };
        foreach (var topLeftCorner in topLeftCorners)
        {
            int fromC = topLeftCorner.Item2;
            int fromR = topLeftCorner.Item1;
            container.Clear();
            for (int c = fromC; c < fromC + 3; c++)
            {
                for (int r = fromR; r < fromR + 3; r++)
                {
                    if (Data[r, c].HasValue)
                    {
                        if (container.Contains(Data[r, c].Value))
                        {
                            return false;
                        }
                        container.Add(Data[r, c].Value);
                    }
                }
            }
        }
        return true;
    }
}