LeetCode Sudoku Solver

题目

Write a program to solve a Sudoku puzzle by filling the empty cells.

Empty cells are indicated by the character '.'.

You may assume that there will be only one unique solution.

A sudoku puzzle...

...and its solution numbers marked in red.

 

求解数独。

可以注意到：

由于保证了有唯一的解，所以初始状态必然是合法的（当然如果严谨一些，可以先做一次像上一题中的完整的检查）。

那么插入一个元素后只要检查这个元素影响的行、列、九宫格内是否有这个元素，即可验证新的状态是否合法（不保证有解）。

这样检查的代价比上一题中小很多，可以暴力尝试所有的可能，直到获得结果。

 

代码：

class Solution {
public:
	bool isValid(vector<vector<char>> &board,int row,int col)	//判断row,col位置插入某数后是否依然合法
	{
		int i,j,k,l;
		for(i=0;i<9;i++)
			if(i!=row&&board[row][col]==board[i][col])
				return false;
		for(j=0;j<9;j++)
			if(j!=col&&board[row][col]==board[row][j])
				return false;
		i=row;i/=3;i*=3;
		j=col;j/=3;j*=3;
		for(k=0;k<3;k++)
			for(l=0;l<3;l++)
				if((i+k!=row||j+l!=col)&&board[row][col]==board[i+k][j+l])
					return false;
		return true;
	}
	bool iterativeSolve(vector<vector<char>> &board,int row,int col)	//迭代求解
	{
		int i,j=col,k;
		for(i=row;i<9;i++)
		{
			for(;j<9;j++)
			{
				if(board[i][j]=='.')
				{
					for(k=0;k<9;k++)
					{
						board[i][j]='1'+k;
						if(isValid(board,i,j))
							if(iterativeSolve(board,i,j))
								return true;
					}
					board[i][j]='.';
					return false;
				}
			}
			j=0;
		}
		return true;
	}
    void solveSudoku(vector<vector<char> > &board) {
		iterativeSolve(board,0,0);
	}
};

 

一种类似人的思维的想法：

如果某个位置的元素确定，则可以排除相应行、列、九宫格出现这个元素的可能。

这样通过排除法可以确定某些位置上的元素，获得结果。

这样速度应该会更快。

 

然而这样做存在问题，有时虽然答案唯一，却会出现无法用排除法确定任意一个位置的情况。从而不能保证获得解。

需要寻找额外的排除条件，目前还没想到好的解决方法……