LPO vs Unsolvable 40


This post applies Limited Pattern Overlay, the sysudokie’s POM, to an Andrew Stuart Unsolvable, #40. The interplay of coloring and LPO patterns ties this beast up for the kill.

Here is the grid as we apply LPO:

My freeform LPO pattern enumeration on Unsolvable 40, aided by three color clusters,  found four numbers, going up to 5 patterns.  Now we tabulate pattern conflicts and reduce them to logical statements relating the patterns.  The freeform and letter panels follow:

The patterns for 6, 8 and 9 are restricted by coloring. If a pattern contains a candidate of one color in a cluster, it cannot contain the opposing color. Patterns assign colors to candidates, but not as strongly as nets of slinks.  There are no color traps in pattern coloring. But confirmed candidates can prove patterns and true colors.

I used the logic formulas to represent pattern conflicts in the  Maestro 22 LPO. A single worksheet posting all LPO patterns may be even better:

Now we  transfer this information to conflict tables, in which patterns are listed in rows, and conflicts with other patterns are posted along the rows.

Pattern 8b is eliminated, because it conflicts with every pattern for the number 6.  Note how this is restated in both the 6 and 8 conflict tables.  The combination 6c and 9a is prohibited, because 8a is the only 8-pattern that 6c allows, and 9a conflicts with 8a. 

The next strongest conclusions are from almost completed rows, that 6a => 8d, 6b or 6c => 8a, !(8a&9a),  8c => 9d, and 9c or 9e =>5a.    

With some logical calculation, the LPO conflicts show that 8c is blue. Here goes:

8c => !8a and !8d => !(6b or 6c)and !6a =>!6a and !6b and !6c => 6d or 6e => blue.

What is the impact on the grid of these conclusions?  No change in the 8 candidates results from the elimination of 8b, but the determination of the 8-pattern is certainly closer. We can “blue” only the 8c candidates that belong to the 8c pattern exclusively, but this is enough to merge the pink / purple and blue / green patterns.  The merged blue /green eliminates candidates of patterns b and e.  The coloring of patterns for the number 6 has eliminated patterns of number 8!

The removal of pattern e leaves pattern d alone to turn two more 8 candidates green, completing the blue / green extension over number 8 and trapping two more 8-candidates, removing pattern 8a. We are left with patterns 8c (blue)and 8d (green)!

 

 

 

 

Going back to our conflict logic, !8a => !6b and !6c, so the 8 patterns return the favor to the 6 patterns, and 6a becomes the champion of green while 6d and 6e represent blue.

Let’s catch our breadth and allow you to follow up on these revelations.  Maybe you can polish off Unsolvable 40 from here.

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 Extreme 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 )

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