Simplifying Hodoku AIC


This post examines the AIC examples from the Discontinuous Nice Loop section of Hodoku Chain and Loop techniques page. Hodoku claims to demonstrate a new type of elimination technique based on AIC loops, called AIC Discontinuous Type 2. AIC ANL are to be called AIC Discontinuous Type 1. AIC hinges are demonstrated as a primary aid for AIC construction. Type 2 is shown to be a particular form of eliminating ANL, The “Type 1” and “Type 2” designations can be dropped.

We have some truly instructive examples of AIC loops to puzzle over, but first, we have to dispose of the customary fog Hodoku throws around them. Alternate Inference Chain Type 1 starts with

“Any AIC can be seen as a combination of one or more Discontinuous Nice Loops . . .”. What can this possibly mean?

Hodoku mult ANLMy guess is that “combination” means “superposition” and “AIC” means “AIC Type 1”, an eliminating ANL. The AIC is the terminal to terminal AIC having multiple victims seeing both terminals. Each victim forms an ANL.

Hodoku defines the AIC Type 1 this way:

“An AIC Type 1 starts and ends on a strong link for the same digit, thus proving that that digit has to be placed in one of the end cells of the AIC.”

Did Hobiger mean to say “on strong links to the same digit in two cells”, or not?

The corresponding definition of AIC Type 2 reads:

“An AIC Type 2 starts and ends on a strong link for two different digits in two cells, that see each other. This proves that the end digit can’t be in the start cell and the start digit cannot be in the end cell.”

Looks new, and makes you wonder why he left out “in two cells” in Type 1. Oh, well. The example diagrams will show what he means, if we can interpret them.

Hodoku AIC 3The AIC hinges guide you to this first Type 1. There were enough bv to color, and the toxic pair are both blue, but that is not a color wrap. Both chain ends can be true, but both cannot be false. Now if one of the ANL victims were blue, that would be a wrap.

 

 

 

 

Hodoku AIC 4Hodoku’s second Type 1 is two X-chains with an AIC hinge between them. Two AIC hinges guide the construction, leading to two overlapping ANL with the same result. From the r6c1 hinge, if you complete the southern chain first, then three eliminations confirm 6r3c8. If you follow the northern leg from 7 first, then a single elimination 6r2c7 confirms the clue, which eliminates 6r3c45.

These Type 1 ANL are ordinary AIC ANL, so we conclude that the only reason for Type 1 is the difference with Type 2. We can conclude that Hodoku meant for the Type 1 definition to be ambiguous about one or two cells, to include confirming ANL along with eliminating ANL.

Hodoku AIC 5aAll right, let’s derive the Sysudoku puzzle state for Hodoku’s first Type 2, and see what we can make of it.

The AIC connects 4r6c2 and 8r6c4. The cells see each other via 4 or 8, so 8r6c2 and 4r6c4 are removed by the Type 2 rule.

Hodoku AIC 5b

 

 

In this case, however, why not just complete the confirming ANL? It’s wicked, but it works

 

 

 

 

 

Hodoku AIC 6Hodoku’s second “Type 2” example is a cannibalistic AIC ANL. The two digits in cells that see each other are 2r7c8 and 6r6c7. Remove 2r6c7.

But it also works just as well as an AIC ANL.

So we have two Type 2 examples, that are also eliminating ANL. Is that always the case?

Hodoku Disco 2Let’s think outside Bernhard’s box and draw a schematic diagram of Type 2. X and Y are the terminals of an AIC, ending in cells that see each other, via a third number Z. We don’t want to know anything else. The “seeing” is Stephens’ cell seeing, i.e. containing candidates of the same number that see each other.

Hodoku Disco ANLNow if X is in the right box, the X in the left box sees it. This allows the right X to see both ends of the terminals of the AIC slink, so it becomes the X that wasn’t there. Do the same for the Y in the right box if you’re not entirely satisfied.

Is this the only known application of cell seeing? Well, not exactly. As the right diagram confirms, if the Type 2 has any effect at all, it is also one or two superimposed ANL a.k.a Discontinuous Nice Loops. We can just forget about AIC Type 1 and Type 2. I’d rather, if you don’t mind.

Next post, we move on to nice loops. Or in Hodoku speak, Continuous Nice Loops.

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, Expert Reviews, Hobiger 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 )

Google+ photo

You are commenting using your Google+ 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 )

Connecting to %s