SuDoKu Solver Applet Publisher's description
from Doug Palmer
SuDoKu Solver is an aid to solving SuDoKu puzzles.
This applet is an aid to solving SuDoKu puzzles.
It doesn't generate puzzles. Rather, it allows you to track the consequences of the settings in each cell of the SuSoKu grid, so that a solution can be found. Once you have set up a particular puzzle, you can usually automatically solve the puzzle.
The rules follow that of SuDoKu. Each 3x3 square needs to be assigned numbers from 1 to 9. A number may not be repeated either in a 3x3 square, in a full row or a full column.
Each cell in the SuDoKu grid is part of a square, a row and a column. Each cell starts with the full range of 1-9 as possibilites. When a cell is fixed to a particular value, the other cells in the square, row and column have that possibility removed.
When a cell can only have one possible value, it becomes a singleton and can be fixed to the singleton value. There are two ways of becoming a singleton. Firstly, all the other possibilities can be removed from the cell. Secondly, and more likely, the cell can be the only cell in a square, row or column which still has a value as a possibility, in which case the cell has to have that value.
There is another possible deduction. If a row or column in a square is the only row or column that can have a possible value, then that value can be eliminated from other squares in the row/column. Since the first two rules seem to solve even hard SuDoKu puzzles, this deduction has not yet been implemented.
The solution strategy described above follows the Andorra Principle of logic programming: do the deterministic bits first and then make a choice. Each step eliminates all the deterministic choices, possibly creating new ones as it does so.
As each choice is made, by picking a value for a cell or hitting the step button, a choice-point is created. As a cell has a possibility eliminated, is fixed or becomes a singleton, the action is trailed. To undo, the trail is rewound back to the nearest choice point, setting things back to the way they were.
System Requirements:No special requirements.
Program Release Status:
Program Install Support: Install Only