- 题目分析
由于数独为9\times 99×9结构,故为了验证是否有效需要两轮循环
优化的关键就在于如何通过一次两轮循环,完成横、纵、小宫的有效性判断,需要简单推导一下坐标之间的关系
2. 简单推导
我们假设外层循环变量为ii,内层循环变量为jj,那么:
board[i][.]board[i][.]表示第ii行,board[.][j]board[.][j]表示第jj列
board[i][j]board[i][j]唯一表示第ii行,第jj列的元素
如何用坐标表示小宫内的格子?
由于一共有99个小宫,每个小宫有99格,每次遍历时都会依次检查小宫里的每一格。相当于固定一个小宫ii,遍历小宫内的格子jj。
如图所示,九个小宫用不同的颜色表示,每个小宫的左上角为小宫的第00个格子(深色标记)。
我们设标号顺序为从左往右,从上往下。那么:
格子AA可以记为:第55宫,第33格(i=5,j=3i=5,j=3),坐标为(4,6)(4,6)
格子BB可以记为:第66宫,第55格(i=6,j=5i=6,j=5),坐标为(7,2)(7,2)
格子CC可以记为:第88宫,第11格(i=8,j=1i=8,j=1),坐标为(6,7)(6,7)
下面我们求出小宫的标号(第ii宫)、小宫内格子的标号(第jj格)的坐标
首先求第ii宫,第00格的坐标
横坐标(行):第ii宫向下偏移(行偏移)了i/3i/3个宫,一个小宫占33行,故横坐标为3*(i/3)3∗(i/3)
纵坐标(列):第ii宫向右偏移(列偏移)了i%3i%3个宫,一个小宫占33列,故横坐标为3*(i%3)3∗(i%3)
故第ii宫,第00格的坐标为
(3*(i/3), 3*(i%3))
(3∗(i/3),3∗(i%3))
然后求第jj格相对于第00格的偏移
横坐标(行):第jj格相对于第00格,偏移了j/3j/3行
纵坐标(列):第jj格相对于第00格,偏移了j%3j%3列
故第jj格相对于第00格的偏移为:
(j/3, j%3)
(j/3,j%3)
综上所述,第ii宫,第jj格的坐标为:
(3*(i/3)+j/3, 3*(i%3)+j%3)
(3∗(i/3)+j/3,3∗(i%3)+j%3)
由嵌套循环的知识(外层固定,内层遍历):
borad[i][j]borad[i][j]表示了对固定的一行ii,遍历列jj(即每次检查一整行)
board[j][i]board[j][i]表示了对固定的一列ii,遍历行jj(即每次检查一整列)
board[3*(i/3)+j/3][3*(i%3)+j%3]board[3∗(i/3)+j/3][3∗(i%3)+j%3]表示了对固定的宫ii,遍历格jj(即每次检查一个宫)
3. 位运算
基本知识:
与运算(a & ba&b):a,ba,b均为11时,返回11,否则返回00
异或运算(aa ^ bb):a,ba,b不同时为00或11时,返回11,否则返回00
本题可以使用一个99位二进制数判断数字是否被访问。第kk位数为11代表已加入,为00代表未加入
更新方式(记九位数为valval,传入的数字为nn):
判断是否加入:将九位数右移位nn位,与11进行与运算
结果为00:未加入,将传入的数字加入九位数
结果为11:已加入,返回false
将传入的数字加入九位数:将11左移位nn位,与valval异或即可
例子:对于数字10100100001010010000,其第4,7,94,7,9位为11,表示当前4,7,94,7,9已经访问过了
新来数字为33:
将10100100001010010000右移3位得到10100101010010,与11进行与运算,结果为00,未访问过。
将11左移位33位得到10001000,异或后得到10100110001010011000
新来数字为44:
将10100100001010010000右移4位得到101001101001,与11进行与运算,结果为11,访问过。
返回false
class Solution {
public boolean isValidSudoku(char[][] board) {
for (int i = 0;i < board.length ;i++){
int hor = 0;
int vet = 0 ,sqre = 0;
for(int j = 0 ;j< board[0].length;j++){
int h = board[i][j] - 48;
int v = board[j][i] - 48;
int s = board[(i/3)*3 + j/3][(i%3)*3 + j%3] - 48 ;
if(h>0){
hor = sodokuer(hor,h);
}
if(v>0){
vet = sodokuer(vet,v);
}
if(s>0){
sqre = sodokuer(sqre,s);
}
if(hor ==-1 || vet == -1 || sqre == -1){
return false;
}
}
}
return true;
}
private int sodokuer(int i,int j){
return ((i>>j)&1) == 1 ? -1 : i ^ (1<<j);
}
}