127.0.0.1: Created page with "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 e..."

2021-10-25T09:42:58Z

Created page with "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 e..."

New page

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 [[chain]]s or [[loop]]s, the term '''inference''' is equivalent to '''[[link]]'''.

There is some discussion about the difference between inferences and [[implication]]s.

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.

== Strong Inference ==
Examples of strong inferences (or links), where both premises cannot be false, include:
* The two candidate values of a [[bivalue]] cell.
* The common candidate value of a [[bilocal]] unit.
* A candidate value of a cell '''C''', and that value in the group of cells consisting of all cells with that candidate value that share a [[house]] with '''C'''.

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]]:
{{twinbox|screedwidth=0|screed=|r1c1=(123)a|r1c5=(12)b|r3c1=(12)c|r3c5=(125)d}}
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:
* If '''A''' is false, '''B''' is true.
* If '''B''' is false, '''A''' is true.

Strong inference is represented in most notation systems by an equal sign: '''='''.
== Weak Inference ==
Examples of weak inferences (or links), where both premises cannot be true, include:
* Any two candidate values of a single cell.
* A candidate value of a cell '''C''', and that value in any cell that shares a house with '''C'''.
* Any two disjoint subsets of candidate values of an Almost Locked Set, where the cells of the ALS having those values as candidates are either the same or mutually visible.

For two premises, named '''A''' and '''B''', the following weak inference deductions can be made:
* If '''A''' is true, '''B''' is false.
* If '''B''' is true, '''A''' is false.

Weak inference is represented in most notation systems by a dash sign: <code>-</code>.

== Alternating Inference ==
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:
* '''A''' weak link with '''B'''
* '''B''' strong link with '''C'''
* '''C''' weak link with '''D'''
* '''D''' strong link with '''E'''
* '''E''' weak link with '''F'''
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:
<font color="red">A - B = C = D = E - F</font>
However, this chain uses the wrong inference between premises '''C''' and '''D'''. This might be illustrated by showing the list of implications:
* If '''A''' is true, '''B''' is false.
* If '''B''' is false, '''C''' is true.
* If '''C''' is false, '''D''' is true.
* If '''D''' is false, '''E''' is true.
* If '''E''' is true, '''F''' is false.
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.

{{debate}}
[[Category:Chains and Loops]]

Inference - Revision history

127.0.0.1: Created page with "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 e..."