since i had multi conversations with the author seen in this blog, Ive decided I'll accept his nomination for the named technique and develop it further
a barn is built on the idea that a subset can be "bent" to fit out side of single box/Row/Col restrictions but instead resided inside shared sectors via shared digits so that the shared digits "lock" some of the candidates into specific cells in a way so that peers of these cells can not hold said candidates.
this thread hopes to amalgamate several low level techniques with some higher lvl functions to correlate eliminations seen but often unaccounted without resorting to a higher function logic to cover the deduction.
From what i can tell, this list is potentially but not limited to:
- als-xz (double linked) {Sue De Coq }
als-xy, {death blossom} {Sue De Coq }
subset counting { aligned pair exclusion, aligned triple exclusion, subset counting, distributed disjointed subset},
I discovered this concept but lacked the terms to express the deduction and concept easily way back in my wxyz-thread
when searching for a set of N candidates found In N Cells
build a relation ship between the N cells by aligning them to sectors
and forming a restricting link reducing the placement arrangement of N-1 candidates into n-1 cell.
all peer cells of a non restricted common candidates that sees each candidate in N cells can be excluded.
if all candidates are restricted to N cells then all peer cells that see each of said candidate may be excluded.
working Concept:
N Cells holding N candidates:
Search for a group of N Cells that are all peers of a starting point each holding up to N candidates
search for sector A & Sector B
where A & B contain all N cells
where A <> B, and B <> A
A <> empty and B <> empty
next check Linking sectors:
sector(s) "L "
where L contains "R" candidates limited to each L sector
type 1: R = N-1 candidates
Z = A Candidate not found in R
both sectors A&B contain cells for digit "z"
elimination: { almost locked}
all peer cells that see each "Z" candidate in sectors A&B may be excluded.
Type 2 elimination: dual linked /sue de coq ie subset counting
R = N candidates
all cells that are peer of each "R" candidate, may be excluded.
Type 3: elimination R= N -2 {almost almost locked }
theorized
Z = missing digits from R
all peer cells for "z" that also see a situation that can place multiple or restrict multiple digit locations with in the subset may be eliminated.
example:
- Code: Select all
Wxyz - Wing {extended}
. 124 . | . . . | 13 . .
. . . | . . . | . . .
24 -24 -24| . . . | . 234 .
--------------------------------
. . . | . . . | . . .
. . . | . . . | . . .
. . . | . . . | . . .
--------------------------------
. . . | . . . | . . .
. . . | . . . | . . .
. . . | . . . | . . .
Type 4: theorized
N cells holding (N-M) Candidates where all N cells are missing the same Candidate(s)
elimination :
- Code: Select all
----------------------------------
abc -b -b | bc . . | -b -b -b
. . . | . . . | . . .
. . ab | . bc . | . . .
----------------------------------
Eventual further work and Goal:
i would like to make this project also apply to more then just direct peer cells from a starting point as this makes barns strictly limited to 1-9 cell "wings" that in habit box+Row/col configurations, and to cover some of the examples listed below.
examples:
example: XY - Wing
- Code: Select all
. 12 . | . . . | . 23 .
. . . | . . . | . . .
. . . | . . . | . . .
--------------------------------
. . . | . . . | . . .
. . . | . . . | . . .
. . . | . . . | . . .
--------------------------------
. . . | . . . | . . .
. 13 . | . . . | . -3 .
. . . | . . . | . . .
search for 3 Cells
Candidate set [123]
Cells [ R1C2,R1C8,R8C2]
type 1 examples:
1{ A=C2
B=C8
L=R1
R=2
Z=3}
2{A=R1
B=R7
L=C1
R=1
Z=3}
eliminations 3 @ R8C8
- Code: Select all
wxyz-wing
. wz . | . . . | . . .
-Z wxyz -Z | . xyz . | . xyz .
. . . | . . . | . . .
--------------------------------
. . . | . . . | . . .
. . . | . . . | . . .
. . . | . . . | . . .
--------------------------------
. . . | . . . | . . .
. . . | . . . | . . .
. . . | . . . | . . .
search for 4 Cells with candidate set size 4
Cells [1,10,13,16]
A:=0
B:=1
R:= 1
L:= 10
Z:= "Z" <> @ Cells 9,11
- Code: Select all
. 124 . | . . . | . 13 .
. . . | . . . | . . .
. 24 . | . . . | . .
--------------------------------
. . . | . . . | . . .
. -2 . | . . . | . 23 .
. . . | . . . | . . .
--------------------------------
. . . | . . . | . . .
. . . | . . . | . . .
. . . | . . . | . . .
search for 4 Cells with candidate set size 4
Canddiate set [1234]
- Code: Select all
Wxyz-Wing -- basic elimination shown
. . . | . . . | . . .
-3 678 83 | . . . | . 78 .
. 36 . | . . . | . . .
--------------------------------
. . . | . . . | . . .
. . . | . . . | . . .
. . . | . . . | . . .
--------------------------------
. . . | . . . | . . .
. . . | . . . | . . .
. . . | . . . | . . .
additionally the following are applicable
Wxyz - double linked rule: A=r2c238 {3678}, B=r3c2 {36}, X=3,6 => r1c123,r23c1,r3c3,r456789c2<>6, r1c123,r23c1,r3c3<>3, r2c145679<>7, r2c145679<>8
Edit: updated contextual wording of the project goals and present situation.
Jan 5th 2017