Sudoku: Difference between revisions
Content deleted Content added
Line 9,704: | Line 9,704: | ||
Varying tables: |
Varying tables: |
||
* v(n,z)=1 is the cell n may have the value z, otherwise 0. When a value z is |
* v(n,z)=1 is the cell n may have the value z, otherwise 0. When a value z is pushed into the matrix, all neighboring cells are updated, as they can't take the value z anymore. |
||
* w(n)=1 if cell n is not yet known, otherwise 0. |
* w(n)=1 if cell n is not yet known, otherwise 0. |
||