Connecting Tech Pros Worldwide Forums | Help | Site Map

Question on the sudoku solution on this website

Newbie
 
Join Date: Dec 2008
Posts: 4
#1: Dec 17 '08
Part A (Sudoku A)
B (Sudoku B)
C (Sudoku C)

this question refers to the Sudoku howto posted on this website. The links are shown above. My question centers around the boolean variables declared in
Part A, such as the following.

Expand|Select|Wrap|Line Numbers
  1. boolean[][] rows= new boolean[9][9]; 
  2. ... 
  3. if (row[i][val]) // 'val' is already present in row 'i' 
  4.  
if the boolean values are just declared like that, how would that serve the purposes of checking whether the value is present in a row, as done in
the method "possible", shown below?

Expand|Select|Wrap|Line Numbers
  1. private boolean possible(int i, int j, int val) { 
  2.  
  3.     // position already taken or invalid? 
  4.     if (rows[i][val] || columns[j][val] ||  
  5.         squares[3*(i/3)+j/3][val]) 
  6.         return false; 
  7.  
  8.     // position i,j is taken now:         
  9.     rows[i][val]= true; 
  10.     columns[j][val]= true; 
  11.     squares[3*(i/3)+j/3][val]= true; 
  12.  
  13.     board[i][j]= val+1; 
  14.  
  15.     return true; 
  16.  
suppose the values 1,1,7 was passed to the method 'possible.'

it would first check rows[1][7], right? and that would yield true or false.
now...rows[1][7] has not been declared true or false. How would the method
at that point know anything about the first row? in fact, how do these boolean
values know to refer to the actual sudoku board, int board[][], since these
rows[][], columns[][], and squares[][], are boolean values of their own, completely unrelated to the sudoku board int values, board[][]?

perhaps I just don't understand how this "possible" method works.
any help will be appreciated. Thank you!

JosAH's Avatar
Expert
 
Join Date: Mar 2007
Posts: 10,611
#2: Dec 17 '08

re: Question on the sudoku solution on this website


The value row[i][val] represents the status that value val is present in row i. The same reasoning applies to the other boolean arrays.

If you look at the solve() method only empty squares are checked, so for a value val to be possible at an empty square i,j there shouldn't be a value val in the same row (row[i][val]) or same column (col[j][val]) or a value val in the same sub-square.

When the arrrays are created with the new operator all values are initialized to the value false implicitly which conforms to an initially empty sudoku board.

kind regards,

Jos
Reply