Forcing chains: Terminology and Definition

Advanced methods and approaches for solving Sudoku puzzles

Re: Forcing chains: Terminology and Definition

Jeff wrote:Alternative Inference Loop- a nice loop with all links that make strong and weak inferences alternatively to yield a deduction in the form of an inclusion or exclusion , eg. x-cycle, x-wing & Turbot fish.

x-cycle - a chain in which all nodes are linked by a single digit 'x' with links that make alternative strong and weak inferences to yield deduction(s). A x-cycle can be of any length. It can be continuous or discontinuous. The following patterns are subsets of x-cycles:

I think you meant the words "Alternating" ... "alternately" ... and "alternate" ... respectively.
ronk
2012 Supporter

Posts: 4764
Joined: 02 November 2005
Location: Southeastern USA

Re: Forcing chains: Terminology and Definition

Thanks Ronk.
Jeff

Posts: 708
Joined: 01 August 2005

Re: Forcing chains: Terminology and Definition

Jeff wrote:Bilocation/Bilocation Plot - a diagram ...
LOL. Been writing "b/b" too long?

Simple Colouring and Multiple Colouring - a discontinuous x-cycle of length n.
Continuous x-cycles exist in colouring.

Turbot chain - a discontinuous x-cycle of length n.
A discontinuous x-cycle of length n, where n = 5, 7, 9, ...
... OR ...
A discontinuous x-cycle of odd length n >= 5.
ronk
2012 Supporter

Posts: 4764
Joined: 02 November 2005
Location: Southeastern USA

Re: Forcing chains: Terminology and Definition

Thanks Ronk.

ronk wrote:LOL. Been writing "b/b" too long?

I was wondering what LOL (Is it Lots of Love? ) stands for so I looked it up and found a few different meanings as follows:

Code: Select all
`Lots of Love       Laugh Out Loud   Life of LoanLots of Lag        Loss of Life     Little Old LadyLots of Luck       Land O' Lakes    Language of LiteratureLack of Love       Learn Online     Land of LegendsList of Lists      Loads of Love    Lower Operating LimitLords of Legend    Live-On-Line     Loyal Orange LodgeLoad of Laughs     Lots of Losers   Low Order LanguageLaughing On Line   Log On Later     Legend of LothianLegend of Legaia   Love On Line     Language of LoveLeague of Losers   Lord Oh Lord     Life of the LandLoss of Lock       Land of Lincoln  Living on LineLautes Online      Lands of Lore    Lying Out LoudLips on Lips       Love of Life     Ladies of LallybrochLoss of Load       Loss of Light    Laughing Out LoudLast or Least      List of Lights   League of LightnessLawyers on Line    Less of Lip      Lewd Obscene LanguageLoss of Line       Lot of Lamers    Leaning Over LaughingLunatics on Line   Longitudinal Output LevelLove of Literacy   Limited Operational Life List of Links      Lots Of Laughs/Laughter `

ronk wrote:Continuous x-cycles exist in colouring.

Could you give an example?
Jeff

Posts: 708
Joined: 01 August 2005

Re: Forcing chains: Terminology and Definition

Jeff wrote:
ronk wrote:Continuous x-cycles exist in colouring.

Could you give an example?

A multi-coloring example from #871 of the top1465:

84...9..1....8.2......7..4...1..4....83....6...9.....4...7...3..1.8....5.2..3.4..
Code: Select all
` 8     4     2567 | 256   256    9    | 3     57    1 15679 35679 567  | 4     8      1356 | 2     579   679 1569  3569  256  | 1256  7      12356| 5689  4     689------------------+-------------------+------------------ 2567  567   1    | 2569  2569   4    | 5789  25789 3 4     8     3    | 1259  1259   7    | 159   6     29 2567  567   9    | 3     1256   8    | 157   1257  4------------------+-------------------+------------------ 569   569   4568 | 7     124569 1256 | 1689  3     2689 3     1     467  | 8     2469   26   | 679   279   5 5679  2     568  | 1569  3      156  | 4     1789  6789 .  .  A  |  .  .  .  |  .   a  . 7  7 -7  |  .  .  .  |  .  -7  B .  .  .  |  .  .  .  |  .   .  .----------+-----------+----------- 7  7  .  |  .  .  .  |  7   7  . .  .  .  |  .  .  .  |  .   .  . 7  7  .  |  .  .  .  |  7   7  .----------+-----------+----------- .  .  .  |  .  .  .  |  .   .  . .  .  c  |  .  .  .  |  7   7  . C  .  .  |  .  .  .  |  .  -7  b... for exclusions r2c3<>7, r2c8<>7, and r9c8<>7`

Jeff wrote:I was wondering what LOL (Is it Lots of Love? ) stands for ...

LOL. It's common internet slang for "laughing out loud" or "lots of laughs."
http://en.wikipedia.org/wiki/LOL_(Internet_slang) [edit: the parenthetical is part of the link, but BBCode won't pick it up.]
ronk
2012 Supporter

Posts: 4764
Joined: 02 November 2005
Location: Southeastern USA

Re: Forcing chains: Terminology and Definition

ronk wrote:A multi-coloring example from #871 of the top1465:

Thanks Ronk for the example, I must have missed this one. Could you point me to the thread or description where this continous colouring technique is discussed?
Jeff

Posts: 708
Joined: 01 August 2005

Re: Forcing chains: Terminology and Definition

ronk wrote:LOL. It's common internet slang for "laughing out loud" or "lots of laughs."
http://en.wikipedia.org/wiki/LOL_(Internet_slang) [edit: the parenthetical is part of the link, but BBCode won't pick it up.]

Jeff

Posts: 708
Joined: 01 August 2005

There is a "Grounded X-wing" in the initial post. Also in a list of X-cycles, I've always a continuous 6-node 2-tailed Turbot fish and its higher order brethren as well as grouped brethren as separate from a 222 Swordfish (simple or finned):
Code: Select all
` . . X | . . X . . . | . . . X . . | . . .------+------ . . . | . . X . . . | . . . X . . | X . .`

Is it truly separate or just something already listed? I also include 2222 Jellyfish, etc.

Most grouped X-cycles are just grouped somethings, with two notable exceptions: finned N*N fish and box/box locked candidates (grouped 4-node continuous). Would it makes sense to include these as well? Note as I understand it, a box/line locked candidate is somewhat akin to a grouped naked single so unless you're including 1-node continuous X-cycles, it doesn't appear to make the list.

Finally, in the list of xy-chains such critters as naked pairs, 222 naked triples, etc could also be included. Here grouping aka Almost Locked Sets could also be included.
Mike Barker

Posts: 458
Joined: 22 January 2006

Re: Forcing chains: Terminology and Definition

Jeff wrote:Could you point me to the thread or description where this continous colouring technique is discussed?

I don't recall ever seeing the terms "continuous" or "discontinuous" used in conjunction with coloring. I'm sure it's not a concept foreign to coloring ... and maybe it's called "closed loop" and "open loop", or something similar to that.

Following very simple rules, one just arbitrarily starts coloring anywhere on the grid. If the coloring creates a closed loop with a contradiction (identical colors in a unit) then candidates represented by that color may be eliminated. If there is no contradiction, the closed loop corresponds to the continuous chain on your b/b plots.

My one and only "bible" post on such closed loops is ... http://forum.enjoysudoku.com/viewtopic.php?p=14764#p14764

It all seems quite elementary, with the simplest case being the x-wing:
Code: Select all
` . A . | . . b . . . | . . . . a . | . . B`

Since A!b (A true excludes b true) and a!B, then b=a and B=A ... and we may recolor as:
Code: Select all
` . A . | . . a . . . | . . . . a . | . . A`
ronk
2012 Supporter

Posts: 4764
Joined: 02 November 2005
Location: Southeastern USA

Hi Mike, I am not sure if the following is relevant to your comments.

A Turbot fish always has odd number of links, so it can never be continuous. The 6-node pattern shown above is just a simple x-cycle which has been included already.

Listed below are some of the grouped nodes that can be used to make inferences within grouped networks:

grouped x-node, Note: a grouped x-node nice loop is equivalent to an empty rectangle deduction.
almost locked set (Lockedset+1)
almost unique rectangle (AUR)
almost x-wing, Note: an almost x-wing nice loop is equivalent to a fillet-O-fish.
almost NxN fish (finned fish)
almost BUG-Lite (BUG-Lite+2), Note: all almost unique patterns are almost BUG-Lites.
A grouped network may have one or more of the above grouped nodes embedded in a simple chain or net. Names have been used in some special cases listed below:

Grouped x-cycle - an x-cycle with grouped x-node(s) as grouped node(s).

Grouped xy-chain - an xy-chain with almost locked set(s) as grouped node(s).

Strong Grouped Nice Loop - a simple nice loop with grouped x-node(s) as grouped node(s).

Weak Grouped Nice Loop - a simple nice loop with almost locked set(s) as grouped node(s).

AUR Nice Loop - a simple nice loop with almost unique rectangle(s) as grouped node(s).

Almost x-wing Nice Loop - a simple nice loop with almost x-wing(s) as grouped node(s).
Jeff

Posts: 708
Joined: 01 August 2005

Previous