Sudoku: Difference between revisions

Content deleted Content added

Inline

@@ Line 9,704: / Line 9,704: @@
 Varying tables:
-* 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.
+* v(n,z)=1 if 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.