Dessert at the Colorful AIC Feast


Happy 4th!  Last post, on Maestro 49 of Fall 2009 we mixed coloring and AIC to good effect, and discovered the joys of the slink/wink color shortcut in AIC chains. We continue now with two clusters.

The second, red/orange cluster creates green/orange conflicts in r2, and we know red or blue or both to be true.  Thus red and blue in the same number form a toxic set.

One removal comes from an XY wing, courtesy of the updated bv map.  An AIC makes two 7-candidates toxic to a third in c9. A subchain shortened into a slink is shown in the thinner red curve. The removal extends the blue/green cluster. 

The extended cluster generates two color traps,  and the extension shows

NOT(red AND blue)=> green OR orange).  This is enough to conclude that green is red and orange is blue, a true merge of clusters, because

(red OR blue) AND (orange OR green) => (red AND green) OR  (blue AND orange).

Also c2np38=>NW9=>(N8=>(NE4=>NEr1np58), C2=>S9). 

A final blow is the AIC removal , starting the collapse with SE8m=>NE5 SE5=>S3=>(N7, N4, green) . 

There may be other AIC routes to the solution. Finding them all is just not humanly practical. But it is not necessary either.  You only need to know how to explore links around the AIC hinges and bv.  Removals are seldom anticipated.  You find chains first, and then look for  links to toxic set partners elsewhere along the chain.

Next,  we see exactly how an ALS, an almost locked set, becomes a node in an alternate inference chain.

Advertisements

About Sudent

My real name is John Welch. I'm a happily married, retired professor (computer engineering), timeshare traveling, marathon running father of 3 wonderful daughters and granddad to 7 fabulous grandchildren. The blog is about Sudoku solving. It covers how to start, basic solving to find candidates efficiently, and advanced solving methods in an efficient order of battle. It is about human solving methods, not computer solving.
This entry was posted in Advanced Solving and tagged , , , . Bookmark the permalink.

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s