The JSudoku Solve Menu

All Naked Singles

Will repeatly set the value of all naked singles until no naked single is found or the grid is solved.

Deduce One Move

Will try each enabled solving technique in order of increasing complexity. Will stop after some solver did actually alter the grid, either by solving some cell or restricting some possibilities. It will then "Solve: All Naked Singles" if the option "Solve all Naked Singles after Deduce" is selected and some solver did alter the grid.

Deduce All Moves

Will repeatly "Deduce One Move" until the grid is solved or no enabled solver can progress.

Recursively Solve

Starts solving from the current state of the grid restrained to all deductions previously made: solved cells, cells with limited set of possibilities, regular, split or complex cages defined... Here is a brief and simplistic description of the process: it will try every possibility for every cell until it finds some solution or hits a contradiction in which case, it will backtrack (undo and try next possibility). It does not stop after the first solution is found, but will continue searching for other solutions (but no more than 10 solutions). If multiple solutions are found, it will report so and the resulting grid will contain a merge of all solutions found. Cells with several possible values for the various solutions will remain unsolved and contain all these possibilities. This is useful to puzzle designers to spot the problematic cells or cages. Pressing the alt key when choosing this item will search all solutions, not only the first 10 ones.

Get a Clue / Get a Big Clue

Will try each enabled solving technique in order of increasing complexity but without altering the grid. It just prints a hint message in the log. Get a Clue gives brief message whereas Get a Big Clue gives a more descriptive message.

Innies

Semi automated solving tool for Killer Sudoku. Select first all the cells of a house: nonet, row or column, then choose Solve: Innies. Several adjacent houses may be selected, but cannot be mixed. For example, one may select all cells of rows 1 and 2, or all cells of nonet 1, 2 and 4. But not cells in row 1 and nonet 1, use Overlaps for this. JSudoku will then compute the innies of the selected house(s) and highlight them. If only one cell remains, then its value is set to the resulting sum. If several cells remains, then a split cage or complex cage is created. This cage is displayed with a transparent colored background.

Outies

Like Innies, but will compute the Outies. Note: Innies as well as Outies will only create one split cage for the corresponding part. If you want to create two split cages both for innies and outies, you should then use Solve: Split Cages or compute the two after each other.

Split Cages

Compute the other part of a split cage after computing its innies or outies. First select all the cells of the main cage, then choose Solve: Split Cages. It will subtract all existing split cages from the main cage and create another split cage with the remaining cells.

Outies minus innies

This is a mix of Innies and Outies which may result in a difference of cells. For each cage crossing the houses, this tool will keep the part with least number of cells. If there is an equal number of cells in and out, it will keep the outies. If you want it the other way, you may try to compute the Outies minus innies of the complementary houses. eg Outies minus innies on R12 with a square cage in R23C12 will keep R3C12. But Outies minus innies on R3..9 will keep R2C12. Like Innies and Outies, only houses of the same kind should be selected. It always turn the total to a positive number. The cells with blue background are added, those with red background are subtracted. So the formula should read: blue - red = sum. This is not necessarilly the outies - innies, it could be innies - outies.

Overlaps

This is a more general in/out based tool which may result in an even more complex cells formula. Here one may select overlapping houses like in the example at the window page where we will compute the overlap of R1 and N2.

Law of Leftovers

This is for jigsaw grids. First select the rows or columns, then choose Solve: Law of Leftovers. It will create the leftovers, two sets of cells which should include the same set of digits. For Killer, it will also create the split cage with the difference of the cells.

Check Grid Consistency

Checks for any conficting candidate and for any cell not included once in groups which should cover all the cells like jigsaw blocks, sum cages... For Killer will also check the sum of all cages. Note: a consistent grid may be invalid, having no or multiple solutions.

Check Grid Validity

Just like Recursively Solve, but will not show the solution(s). It searches for at most 2 solutions. Pressing the alt key when choosing this item will search all solutions, not only the first 2 ones.


File | Edit | Solve | Highlight | Design | Options | Window | Help | Cell contextual popup menu | Solver contextual popup menu

Contents

Copyright (C) 2006-2008 Jean-Christophe Godart. All rights reserved.