This is a glossary of terms used in Sysudoku posts and pages.
3-fill – a unit with three cells not assigned a value. Also the method of assigning a value to a 3-fill cell because the cell is seen by the two other missing values, or because the other two unfilled cells are seen by the value. The remaining two cells can always be filled by the two remaining missing values, as two clues or a naked pair.
advanced, Sysudoku Advanced – solving methods based on relations among completely marked candidates and clues.
AIC – an alternating inference chain – a candidate chain of alternating slinks and winks.
AIC building – a late advanced stage of solving when methods focused on single types of structures and chains are exhausted, and AIC of mixed types must be explored. The number of possibilities is the problem. A successful AIC cannot be effectively displayed along with the myriad of unsuccessful chains accompanying it.
almost nice loop – a alternative logic chain closed by one extra wink or slink.
ALS – an almost locked set – a set of cells of the same unit with one extra number, becoming locked if one number is removed.
ALS node – An ALS functioning as an AIC node
ANL, almost nice loop– an alternative inference chain closed by one extra wink or slink. If the extra link is a wink, the candidate between winks is removed. In Sysudoku posts, enclosing winks of an ANL removal are omitted. The terminal candidates adjacent to the enclosing winks are a toxic set. If the extra link is a slink, the candidate between slinks is confirmed.
BARN – bent almost restricted n-set. n cells containing n numbers in an overlapping box and line, with candidates of all but one of the values seeing each other (being restricted).
Basic, Sysudoku Basic – The identification of candidates, placements and links determined by the givens, in progress.
bent region – the union of a box and a crossing line.
BNS-0 – bent naked n-set zero, n cells containing n numbers in a bent region, with no values in both remainders outsideof the intersection. Each value set has a true candidate (is locked, is toxic).
BNS-1 – bent naked n-set one, n cells containing n numbers in a bent region, with one value in both remainders outside of the intersection. The remainder candidates of this value includes a true candidate (are locked, is a toxic set). A BNS-1 is a BARN.
boomerang, boomer – an AIC loop starting with a slink and closing with a wink into a second candidate of the starting cell. If the cell has 3 or more candidates, an internal wink closes the loop and the re-entry candidate is removed. Boomers are normally spotted in the AIC building stage of Sysudoku Advanced.
box – A block of 3 x 3 cells to contain 9 values in the solution. Boxes are designated by compass points in Sysudoku.
box marking – box slink marking based on outside clues and slinks of like value excluding the value from cells of a box.
box slink – a slink made by the only two candidates of the same value in a box.
box/line – removals based on the fact that if a value in a box is confined to a line, it cannot be anywhere else in the line, or on the fact that if a value in a line is confined to a box, it cannot be anywhere else in the box. In Sysudoku posts, the bent region of the box/line is identifies by the box name and line number.
bv, bivalue cell – after line marking, a cell containing two candidates.
bv boomerang – a boomerang in which the starting cell is a bv. The internal slink closes the loop and the starting candidate is confirmed.
bypass – the first stage of Sysudoku Basic, in which slink marking is left implicit while clues and subsets are marked.
chute – The intersection of a line and a box.
cluster – a network of slink partners marked by two colors.
coloring, Medusa coloring – the marking of slink networks (clusters) by two opposing colors. Coloring identifies two sets of slink partner candidates, one of which is true and the other false, without having to determine which set is true.
dublex, double line exclusion – use of markings in two lines for marking the remaining chute of a third box.
dublex bypass – a preliminary scan in box marking to mark clues and naked pairs, reducing the free cells before slink marking.
ER – a form of weak link involving an Empty Rectangle box pattern, not a pattern completed by an ER wink.
ER wink – a wink defined by an ER inference chain. Sysudoku now marks ER inference chains as forcing chains (wink performing X-chains)
exocet – a pattern of four cells containing the same 3 or 4 candidates, and others to be eliminated by trial.
finned fish – a fish spoiled by an extra candidate (the fin), but still effective on a victim candidate in the same box as the fin.
forcing chain – an alternating inference chain starting with a weak link, it extends “seeing” across the grid in many methods.
freeform – a representation of a pattern as a graphics freeform (of connected line segments) across an X-panel.
freeform analysis – determination of possible patterns of a value enumerating their freeforms.
hidden dublex – a dublex in which marking of the third line of the box is forced by marks, not clues.
kraken victim – A removal by a finned fish outside of the box containing the fin.
krakening a finned fish – determining a wink path between fin and kraken victim, allowing the victim to be removed.
line – a row or a column.
LPO – Limited Pattern Overlay: A set of pattern overlay methods reducing possible patterns of a number
mark – A pencil mark. A small number representing the presence of a candidate in a cell.
nice loop – a closed alternating inference chain. End candidates of every link are toxic sets.
nice loop coloring, nice loop cluster – Alternate node coloring in a nice loop creates a cluster with one color representing clockwise traversal, and the other representing counterclockwise traversal. The cluster is valid in multi-cluster methods.
orphan – a candidate found to have no pattern of its values including it.
pattern – a distribution of candidates of a value that places one candidate in each unit.
pattern slicing – The division of patterns into disjoint sets based on slink partners they include.
pink/olive analysis – The coloring of candidates based on membership in pattern slices.
placement – an assignment of a solution value to a cell.
slink – strong link: a link between candidates in which at least one partner is true. A slink is represented by a solid curve.
slink marking – The sysudoku pencil marking that limits initial candidate marking to slink partners or aligned triple marks filling chutes, and places marks within the cell to distinquish box slinks, line slinks and unslinked candidates.
The diagram shows how placement of candidates in the cell mark their slink memberships.
suset – a pair of numbers in the suset enumeration scratchpad algorithm.
suset enumeration scratchpad – a hand calculation algorithm for enumerating almost locked sets in Sudoku. Developed in Sysudoku and applied to finned and regular fish, ALS and locked sets.
toxic set – a set of candidates determined by a pattern to have at least one true candidate. A candidate seeing the whole set is removed.
trace – A recording of solving events . See the Sysudoku Trace page.
trial – A true or false test of a set of logically related candidates, trial-and-error – a Sudoku term generally applied to trying out guesses, i.e. assertions not derived logically from existing candidates.
trial trace – A trace for identifying a contradiction in the shortest chains of inferences.
true candidate – A candidate that is in the solution.
unit – a box, row or column.
wink, weak link – a link between candidates in which both partners cannot be true. When one is proved true, the other is false. On Sysudoku grids, winks are dashed curves.
wrap – the determination that a cluster color is false. The opposing color is confirmed.
X-chain – an AIC through candidates of a single value (X).
X-panel – a single value grid for the remaining candidates of each number, without clues.
XY railway – a set of curves on a bv map showing possible paths of XY-chains