Mirrored from Sudopedia, the Free Sudoku Reference Guide
In Sudoku, an inference is a statement concerning the interaction between premises, where a premise is a statement concerning the state of the Sudoku that must be either true or false. The most common type of premise is that a particular cell has a particular candidate value. When they are used in chains or loops, the term inference is equivalent to link.
There is some discussion about the difference between inferences and implications.
There are 2 types of inference. Strong and weak:
Two premises can be linked by a strong inference if they cannot both be false.
Two premises can be linked by a weak inference if they cannot both be true.
Examples of strong inferences (or links), where both premises cannot be false, include:
Note that all of these are also examples of weak inferences (see below). Many types of strongly linked premises can also be weakly linked, but this is not always the case. For example, consider this potential Unique Rectangle:
For the Sudoku to have a unique solution, either a must be 3 or d must be 5. Those two prmises are therefore strongly linked, since they cannot both be false. However, they are not weakly linked, as it is possible for both to be true.
Patterns with the term almost in their name, such as the Almost Locked Set, are very useful for forming strong inferences.
For two premises, named A and B, the following strong inference deductions can be made:
Strong inference is represented in most notation systems by an equal sign: =.
Examples of weak inferences (or links), where both premises cannot be true, include:
For two premises, named A and B, the following weak inference deductions can be made:
Weak inference is represented in most notation systems by a dash sign:
In chains or loops, an interesting case occurs when the inference between subsequent pairs of premises alternates between strong and weak. Consider the following links:
Which can be written:
A - B = C - D = E - F
Where the links alternate between strong and weak, and the first and last link are the same, the chain is an Alternating Inference Chain (AIC). An AIC allows a link to be drawn directly between the two endpoints (see the AIC article for a proof of this). Thus, from the above chain we can derive:
A - F
and make any deductions that this weak link provides.
For this to work, the links must alternate strong and weak. You may be inclined to write the following chain:
A - B = C = D = E - F
However, this chain uses the wrong inference between premises C and D. This might be illustrated by showing the list of implications:
There is no proper connection between the 3rd line and those preceding and succeeding it. If the strong link between C and D is one of those types of strong link that is also a weak link, we can convert it to a weak inference to write a correct chain:
A - B = C - D = E - F
Alternating inference guarantees that the logic is sound from the first to the last node in the chain.This page was last modified 04:09, 1 April 2008.