你一定听说过“数独”游戏

第五届校赛第6题

你一定听说过“数独”游戏。
如【图1.png】，玩家需要根据9×9盘面上的已知数字，推理出所有剩余空格的数字，并满足每一行、每一列、每一个同色九宫内的数字均含1-9，不重复。

数独的答案都是唯一的，所以，多个解也称为无解。

本图的数字据说是芬兰数学家花了3个月的时间设计出来的较难的题目。但对会使用计算机编程的你来说，恐怕易如反掌了。

本题的要求就是输入数独题目，程序输出数独的唯一解。我们保证所有已知数据的格式都是合法的，并且题目有唯一的解。

格式要求，输入9行，每行9个字符，0代表未知，其它数字为已知。
输出9行，每行9个数字表示数独的解。

例如：
输入（即图中题目）：
005300000
800000020
070010500
400005300
010070006
003200080
060500009
004000030
000009700

程序应该输出：
145327698
839654127
672918543
496185372
218473956
753296481
367542819
984761235
521839764

再例如，输入：
800000000
003600000
070090200
050007000
000045700
000100030
001000068
008500010
090000400

程序应该输出：
812753649
943682175
675491283
154237896
369845721
287169534
521974368
438526917
796318452

资源约定：
峰值内存消耗（含虚拟机） < 256M
CPU消耗 < 2000ms

请严格按要求输出，不要画蛇添足地打印类似：“请您输入…” 的多余内容。

所有代码放在同一个源文件中，调试通过后，拷贝提交该源码。
注意：不要使用package语句。不要使用jdk1.7及以上版本的特性。
注意：主类的名字必须是：Main，否则按无效代码处理。

思路：采用深度优先搜索，从矩阵的第一个位置依次填入数字，数字可以选择1-9，然后判断该数字填入是否满足题目要求，
如果满足要求则继续填入下一个数字，不满足换另一个数字继续判断，直到矩阵被填满

优化，当已经得到了正确答案时，就不进行回溯了，即在递归回溯时加判断

代码：

public class Main6_bak {
		static int[][] map = new int[9][9];
		static int count;
	
		public static void main(String[] args) {
			Scanner sc = new Scanner(System.in);
			for (int i = 0; i < 9; i++) {
				String s = sc.nextLine();
				for (int j = 0; j < 9; j++) {
					map[i][j] = s.charAt(j)-'0';
				}
			}
			//深搜
			dfs(0, 0);
			System.out.println(count); //72097  14578
		}
	
		private static boolean dfs(int i, int j) {
			count++;
			if (i == 8 && j == 9) {
				//矩阵已填满打印该矩阵
				for (int[] row : map) {
					System.out.println(Arrays.toString(row));
				}
				return true;
			}
			//如果该位置上已经有数字，则不需要填，继续深度搜索
			if(map[i][j]!=0){
				
				if (i != 8 && j == 8) {//这一行填满了则需要换行
					return dfs(i + 1, 0);
				} else {
					return dfs(i, j + 1);
				}
			}
			
			//遍历1-9的数字，寻找符合要求的数字填入
			for (int k = 1; k <= 9; k++) {
				//判断当前数字是否符合要求
				if (check(i, j, k)) {
					//将数字填入
					map[i][j] = k;
					if (i != 8 && j == 8) {
						if(dfs(i + 1, 0)){
							return true;
						}
					} else {
						if(dfs(i, j + 1)){
							return true;
						};
					}
					//回溯
					map[i][j] = 0;
				}
			}
			return false;
		}
	
		private static boolean check(int i, int j, int k) {
			//一行
			for (int x = 0; x < 9; x++) {
				if (map[i][x] == k) {
					return false;
				}
			}
			//一列
			for (int x = 0; x < 9; x++) {
				if (map[x][j] == k) {
					return false;
				}
			}
			
			//同色矩阵
			int row1 = 0, row2 = 0, col1 = 0, col2 = 0;
			if (i < 3 && j < 3) {
				row1 = 0;
				row2 = 3;
				col1 = 0;
				col2 = 3;
			} else if (i < 3 && j >= 3 && j < 6) {
				row1 = 0;
				row2 = 3;
				col1 = 3;
				col2 = 6;
			} else if (i < 3 && j >= 6 && j < 9) {
				row1 = 0;
				row2 = 3;
				col1 = 6;
				col2 = 9;
			} else if (i >= 3 && i < 6 && j < 3) {
				row1 = 3;
				row2 = 6;
				col1 = 0;
				col2 = 3;
			} else if (i >= 3 && i < 6 && j >= 3 && j < 6) {
				row1 = 3;
				row2 = 6;
				col1 = 3;
				col2 = 6;
			} else if (i >= 3 && i < 6 && j >= 6 && j < 9) {
				row1 = 3;
				row2 = 6;
				col1 = 6;
				col2 = 9;
			} else if (i >= 6 && i < 9 && j < 3) {
				row1 = 6;
				row2 = 9;
				col1 = 0;
				col2 = 3;
			} else if (i >= 6 && i < 9 && j >= 3 && j < 6) {//
				row1 = 6;
				row2 = 9;
				col1 = 3;
				col2 = 6;
			} else {
				row1 = 6;
				row2 = 9;
				col1 = 6;
				col2 = 9;
			}
	
			for (int x = row1; x < row2; x++) {
				for (int y = col1; y < col2; y++) {
					if (map[x][y] == k) {
						return false;
					}
				}
			}
	
			return true;
		}
	
	}