https://www.sudopedia.org/index.php?title=Deadly_Pattern&feed=atom&action=history
Deadly Pattern - Revision history
2020-12-01T15:05:08Z
Revision history for this page on the wiki
MediaWiki 1.34.1
https://www.sudopedia.org/index.php?title=Deadly_Pattern&diff=111&oldid=prev
Rooted: Created page with "A '''deadly pattern''' is a set of cells whose candidates form a pattern that causes the puzzle to have multiple solutions. Deadly patterns can never be encounter..."
2020-05-31T20:05:33Z
<p>Created page with "A '''deadly pattern''' is a set of <a href="/wiki/Cell" title="Cell">cells</a> whose <a href="/wiki/Candidate" title="Candidate">candidates</a> form a pattern that causes the puzzle to have multiple <a href="/wiki/Solution" title="Solution">solutions</a>. Deadly patterns can never be encounter..."</p>
<p><b>New page</b></p><div>A '''deadly pattern''' is a set of [[cell]]s whose [[candidate]]s form a pattern that causes the puzzle to have multiple [[solution]]s. Deadly patterns can never be encountered while solving a proper (uniquely-solvable) Sudoku.<br />
<br />
If an "almost deadly" pattern (which is a deadly pattern but for the presence of additional candidates) is encountered then at least one of those additional candidates must be correct. This is the basis of various [[Uniqueness Test|uniqueness tests]].<br />
<br />
== Definition ==<br />
<br />
Formally, a '''deadly pattern''' is a collection of cells and their candidates that ...<br />
* ... have multiple solutions ...<br />
* ... each of which have the same [[footprint]] ...<br />
* ... but no (cell,value) pairs in common.<br />
The first two of those points ensure that the puzzle has multiple solutions. The last is a convention to limit the definition to the "core" of the multiple-solutions pattern.<br />
<br />
The formal definition is not easy to work with in practice. Simpler descriptions in terms of [[bivalue]] cells are used for the commonly-encountered types of deadly pattern, namely [[Unique Rectangle]], [[BUG]] and [[BUG Lite]]. However, it should be remembered that more complex deadly patterns are also possible in theory.<br />
<br />
== Examples ==<br />
<br />
=== A deadly pattern ===<br />
<br />
This is a deadly pattern:<br />
. 12 . | . 21 . | . . .<br />
. 23 . | . 32 . | . . .<br />
. 31 . | . 13 . | . . .<br />
Its solutions are (reading cells left to right, top to bottom) ...<br />
one solution: .1..2.....2..3.....3..1....<br />
other solution: .2..1.....3..2.....1..3....<br />
... which are easily seen to have the same footprint and be disjoint, as required.<br />
<br />
If this pattern occurred whilst solving a Sudoku then we could immediately deduce that the puzzle had multiple solutions.<br />
<br />
=== Inference with an "almost deadly" pattern ===<br />
<br />
This much more interesting scenario is an "almost deadly" pattern due to the presence of additional candidates (shown in blue):<br />
. 12 . | . 21<font color="blue"><b>3</b></font> . | . . .<br />
. <font color="blue"><b>1</b></font>23 . | . 32 . | . . .<br />
. 31 . | . 13 . | . . .<br />
In this case, the solutions are ...<br />
one solution: .1..2.....2..3.....3..1....<br />
other solution: .2..1.....3..2.....1..3....<br />
third solution: .2..3.....1..2.....3..1....<br />
... which have neither the same footprint nor are disjoint; so the pattern is '''not''' deadly.<br />
<br />
Without the additional candidates, the pattern ''would'' be deadly. Thus, at least one of the additional candidates must be correct. In this particular example, that forces the cells to match the third solution listed above.<br />
<br />
== Deadly patterns and minimal unavoidable sets ==<br />
<br />
An [[Unavoidable Set]] in a solution grid is a set of cells whose values can be altered without changing the [[footprint]]. A ''minimal'' unavoidable set is one that contains no smaller unavoidable sets.<br />
<br />
Minimal unavoidable sets and deadly patterns are two views of the same phenomenon, since a deadly pattern can also be regarded as a collection of cells and their candidates all of whose solutions are minimal unavoidable sets.<br />
<br />
Thus, we can use the theory of unavoidable sets to state that:<br />
* there are thousands of different types of deadly pattern<br />
* the smallest covers four cells<br />
* the largest covers at least sixty cells (this is probably unusable in practice)<br />
* if there are D(''n'') types of deadly pattern on ''n'' cells then D(4)=1, D(5)=0, D(6)=4, D(7)=0, D(8)=9, D(9)=3, D(10)>46, ...<br />
* all deadly patterns of size less than about 30 cells consist entirely of [[bivalue]] cells <br />
<br />
Since D(''n'') is small for ''n''<10, we can catalogue all of the small deadly patterns. For larger deadly patterns, the catalogue is too long to be useful for human players, so rules of thumb involving [[bivalue]] cells are used to spot deadly patterns instead.<br />
<br />
== Catalogue of deadly patterns on <10 cells ==<br />
<br />
In what follows, the candidates are arranged so that ''either'' all of the lefthand candidates in each pair are true ''or'' all of the righthand candidates are true.<br />
<br />
The catalogue is comprehensive up to [[Mathematically equivalent|isomorphism]].<br />
<br />
=== 4 cells ===<br />
12 . . | 21 . . | . . .<br />
21 . . | 12 . . | . . .<br />
. . . | . . . | . . .<br />
<br />
=== 6 cells ===<br />
12 . . | 21 . . | . . .<br />
21 . . | . . . | 12 . .<br />
. . . | 12 . . | 21 . .<br />
<br />
12 . . | 23 . . | 31 . .<br />
21 . . | 32 . . | 13 . .<br />
. . . | . . . | . . .<br />
<br />
12 . . | 21 . . | . . .<br />
23 . . | 32 . . | . . .<br />
31 . . | 13 . . | . . .<br />
<br />
12 21 . | . . . | . . .<br />
. . . | . . . | . . .<br />
. . . | . . . | . . .<br />
--------- ----------- ---------<br />
21 . . | 12 . . | . . .<br />
. 12 . | 21 . . | . . .<br />
. . . | . . . | . . .<br />
<br />
=== 8 cells ===<br />
12 . . | 23 . . | 31 . .<br />
. 21 . | 32 . . | 13 . .<br />
. . . | . . . | . . .<br />
--------- ----------- ---------<br />
21 12 . | . . . | . . .<br />
. . . | . . . | . . .<br />
. . . | . . . | . . .<br />
<br />
12 . . | 21 . . | . . .<br />
. 21 . | . . . | 12 . .<br />
. . . | 12 . . | 21 . .<br />
--------- ----------- ---------<br />
21 12 . | . . . | . . .<br />
. . . | . . . | . . .<br />
. . . | . . . | . . .<br />
<br />
12 . . | 21 . . | . . .<br />
. 21 . | 12 . . | . . .<br />
. . . | . . . | . . .<br />
--------- ----------- ---------<br />
21 . . | . 12 . | . . .<br />
. 12 . | . 21 . | . . .<br />
. . . | . . . | . . .<br />
<br />
12 . . | 21 . . | . . .<br />
. 21 . | 12 . . | . . .<br />
. . . | . . . | . . .<br />
--------- ----------- ---------<br />
21 . . | . . . | 12 . .<br />
. 12 . | . . . | 21 . .<br />
. . . | . . . | . . .<br />
<br />
12 . . | 21 . . | . . .<br />
. 21 . | . 12 . | . . .<br />
. . . | . . . | . . .<br />
--------- ----------- ---------<br />
21 . . | 12 . . | . . .<br />
. 12 . | . 21 . | . . .<br />
. . . | . . . | . . .<br />
<br />
12 23 . | 31 . . | . . .<br />
. . 31 | 13 . . | . . .<br />
. . . | . . . | . . .<br />
--------- ----------- ---------<br />
21 32 13 | . . . | . . .<br />
. . . | . . . | . . .<br />
. . . | . . . | . . .<br />
<br />
12 . . | 24 . . | 41 . .<br />
23 . . | 32 . . | . . .<br />
31 . . | 43 . . | 14 . .<br />
<br />
13 24 . | 32 . . | 41 . .<br />
31 42 . | 23 . . | 14 . .<br />
. . . | . . . | . . .<br />
<br />
12 24 . | 41 . . | . . .<br />
31 43 . | 14 . . | . . .<br />
. . . | . . . | . . .<br />
--------- ----------- ---------<br />
23 32 . | . . . | . . .<br />
. . . | . . . | . . .<br />
. . . | . . . | . . .<br />
<br />
=== 9 cells ===<br />
12 . . | 21 . . | . . .<br />
. 23 . | 32 . . | . . .<br />
. . 31 | 13 . . | . . .<br />
--------- ----------- ---------<br />
21 32 13 | . . . | . . .<br />
. . . | . . . | . . .<br />
. . . | . . . | . . .<br />
<br />
12 24 . | 41 . . | . . .<br />
31 . 43 | 14 . . | . . .<br />
. . . | . . . | . . .<br />
--------- ----------- ---------<br />
23 42 34 | . . . | . . .<br />
. . . | . . . | . . .<br />
. . . | . . . | . . .<br />
<br />
12 . . | 21 . . | . . .<br />
23 . . | . . . | 32 . .<br />
. 31 . | 12 . . | 23 . .<br />
--------- ----------- ---------<br />
31 13 . | . . . | . . .<br />
. . . | . . . | . . .<br />
. . . | . . . | . . .<br />
<br />
== Deadly patterns in practice ==<br />
<br />
When solving a Sudoku puzzle, there are numerous "recipes" for exploiting (almost) deadly patterns. These techniques differ in the type of deadly pattern being avoided and the positioning or values of the additional candidates.<br />
* [[Uniqueness Test|Uniqueness Tests]]. These exploit various arrangements of additional candidates attached to the 4-cell [[Unique Rectangle]].<br />
* [[BUG]] (Bivalue Universal Grave). This is the deadly pattern in which all unresolved cells ''in the whole grid'' have precisely 2 candidates.<br />
* [[BUG Lite]]. This is any deadly pattern in which all cells ''in that pattern'' have precisely 2 candidates. The [[Unique Rectangle]] and [[BUG]] are special cases of BUG Lite.<br />
<br />
The corresponding "almost deadly" patterns, in which ''n'' cells have additional candidate(s), are called UR ''n'', BUG ''n'' or BUG Lite ''n''.<br />
<br />
The only type of deadly pattern missing from this categorisation is any with >2 solutions. However, as mentioned previously, such patterns are rare and large, so unlikely to be useful in practice.<br />
<br />
== External links ==<br />
<br />
* [http://www.sudoku.com/forums/viewtopic.php?t=3056 BUG Lite thread] on the Sudoku Players' forum<br />
* [http://www.sudoku.com/forums/viewtopic.php?t=2747 Pseudo-puzzles thread] on the Sudoku Players' forum<br />
<br />
== See also ==<br />
<br />
* [[Unique Rectangle]]<br />
* [[BUG]]<br />
* [[BUG Lite]]<br />
* [[Uniqueness Test]]<br />
<br />
{{debate}}<br />
<br />
[[Category:Uniqueness]]</div>
Rooted