Sudokuwiki Ends Nakex 63 On Its Own


This post picks up on the Sudokuwiki/Sysudoku resolution of Nakamoto Extreme 63 where it was overtaken by pattern analysis and coloring, and finishes it in two ways, one humanly practical and one not.

Sudokuwiki doesn’t maintain coloring clusters between moves, or use pattern analysis to expand them.  After the 785-wing in the solution of the previous post,  Sudokuwiki continued with a two solution paths  too instructive to pass up.

The first continues with an Andrew Stuart cell forcing chain. The idea is to remove a candidate that forces all candidates in some cell to be false. It takes a modern computer very little time to determine what a single candidate forces out, but how many such examinations fail between cell forcing chain successes? Way too many for human tolerance.

But here’s one. 3r1c9 forces 7r8c2 off via 3-chain and 7-chain. The ALS forces 1r8c1 on, 15r8c1 off. Is that a peacock or a swan?

The 3r1c9 removal enables a confirming ANL enlisting a UR slink and an ALS node. What is a UR slink? The rectangle r89c16 presents a multiple solution if both 3r8c1 and 6r9c1 are false. Therefore, If one is false, the other must be true. A strong link in the ANL.

Now, after a simple BARN,

 

 

 

 

two hidden unique rectangles, Type 2.

 

 

Next, an APE, in which the ALS excludes 15, and the bv at r4c1, 35, as placement combinations in the aligned cells.

Then an ALS AIC nice loop expands the cluster to trap 9r6c3 and bring in C8.

 

 

 

The further expansion traps four candidates and repeats the XY-wing of the last post.

The follow up to E5 proves green to finish Nakamoto 63 the Sudokuwiki way.

 

 

 

 

 

Andrew Stuart’s Sudokuwiki solver has an option to bypass specific methods. When Stuart’s cell forcing chain is bypassed, the next method after boomer 7 and the 785-wing is this ALS toxic pair. 3r9c1 is eliminated because it sees all 3’s in both ALS. Since only one ALS can have a 7, all values are locked in one of the ALS, including one of those 3’s. The toxic pair takes the place of the cell forcing chain in the Sudokuwiki solution path.

But a second elimination, of 9r6c3, Sudokuwiki  attributes to “rule 2”, saying 2,4,9 are unique to the orange ALS. We need to know what  prevents 9r6c3, and therefore blue, from being true, and leaving the ALS placements 2, 3,4, and 7?

In Stuart’s Sudokuwiki strategies, “rule 2”  is attributed to forum guru David Bird, but not explained. A clue to rule 2 is the fact that 9r6c3 forces both shared 3’s in the SW box to be true. That is because it forces 9 out, and 7 into the orange ALS, along with 3 and 2.

In general terms, this effect can be described this way:

The reason is, when an unshared value is removed, it forces the common value into its ALS,  removing the common value from the other ALS, and leaving both ALS locked. In the above example, 9r6c3 must go because single 3’s in both ALS share a box and can’t both be true.

It’s not that that the outside candidate can’t be true, removing a value set. It’s that the effect that has in this case violates Sudoku placement restrictions.

Next week, we consider what Sudokuwiki can do with Nakamoto Extreme 83. You must have the book by now. Are you using another human oriented solver? If so, tell us about it.

About Sudent

My real name is John Welch. I'm a happily married, retired professor, father of 3 wonderful daughters and granddad to 7 fabulous grandchildren. Sudoku analysis and illustration is a great hobby and a healthy mental challenge.
This entry was posted in Extreme Solving, Nakamoto, Puzzle Reviews 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