Hodoku ALS-XZ


For your after Christmas Sudoku fix, this post is about Hodoku’s ALS-XZ, a label favored by most writers. I prefer the term ALS toxic sets, associating the method with others by the goal of identifying a set of candidates guaranteed to include the true one. Unfortunately, the first Hodoku ALS-XZ example is compromised in a way that many Hodoku batting cage pitches are. With the given clues, there are candidates missing from the example, a crucial one in the example.

Hodoku ALS-XZ 1It works only if 7r1c7 is removed, as in the Hodoku diagram. But how and when did it go.

 

Hodoku ALS-XZ 2We’re on firmer ground with the second example. All candidates are present, and the ALS partners in the toxic set come from two boxes. The question that arises often with ALS toxic sets is, “How on earth did you find it?”

One answer is, just relax and be on the lookout for ALS with single cell candidates and restricted commons. I can say it, but I seldom do it.

As to enumerating all ALS toxic sets, as an almost last resort, I’m pleased to have greatly improved my technique for this  very recently. Instead of attempting to enumerate ALS first and then finding pairs to generate toxic sets, I now advise that you enumerate promising primary ALS and search for a toxic set partner for each one. This mercifully ignores the way too numerous ALS pair combinations.

The process is illustrated in the revised post, Enumerating the ALS-XZ , of 7/24/12.

In the primary ALS you want single or boxed group number for the restricted common. You favor many cells and numbers for more possible toxic sets. That may mean using the suset enumerator to flush them out.

For partners look at nearby units. For primary lines, overlapping boxes or lines, or parallel lines crossing an overlapping box. For primary boxes, overlapping lines or aligned boxes, as in the example. ALS pairs cannot cover a unit. That would lock each number. Once a partner is found, check for forcing chain victims.

Adjacent lines are more prevalent than the example’s aligned boxes, so I start with primary lines, working down.

As an example of systematic ALS-XZ search, let’s walk through the one leading to Hodoku’s second example above, using susets. In r1, the suset list contains 5/12, 9/28, 59/128, 79/258 and four combinations of three cells, over 1258.

5/12 is locked with r2c5 in a naked pair

9/28 no ALS partners not filling the shared unit

59/128 no ALS partner

79/258 no ALS. NE167/23578 doesn’t qualify.

157/1258 (red)has two of each number, each in separate boxes

Hodoku XZ 2

 

 

 

 

Hodoku XZ 3159/1258 has one 5, and an RC with the bv r3c1, but it’s toxic set has no victims.

 

 

Hodoku XZ 4c1:39/578 is even harder to see.

179/1258 obviously has no victims

That gives some idea of the hordes of possibilities. It is clearly impractical to look that closely at all of them. With some practice, it may be possible to cover most of them with a reasonable scan.

For me, the technique has to stay at the back of the line, where an enumeration this extensive is justified.

Hodoku XZ 5Here I’ll just suggest a few of the more promising possibilities on the way to the example pair. Candidates isolated for restricted common terminals are circled.

Next post examines Hobinger’s examples of AIC chains exclusively constructed of ALS nodes. You wouldn’t want to look for them particularly, but only to be alert for them as you construct AIC .

Happy New Year!

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 )

w

Connecting to %s