Sue Defeats the Slippery Wex 428


wex 428 basic trThe third Weekly Extremes review puzzle is another rewrite, in which an extreme level pattern analysis is made unnecessary by an advanced technique overlooked at first reading.

Taxes in? On the review, Wex 428 was easy on us through basic solving. A very generous slink bypass gave us quick box marking and very moderate line marking, with a naked triple to keep us awake.

Again, a potential Sue de Coq on the line marked grid appears, taunting me for missing it before. I kinda’ hope it doesn’t erase the coloring cluster extension via pattern analysis I was planning on.

wex 428 basic grid sdcYou have the verification dance by now. The chute is

SWr9 = 5(1+9)(7+8),

or 5 plus naked pair 78.

If (1+9) is an alternate, so is (7+8). But if it’s missing, the two cells in the remainder of r9 can supply the 1 and 9. But if it’s not missing, we can discard the possiblility of a naked pair 78. Then bv19 has to supply 1 or 9 needed in the chute, and 9r9c5 will never be a clue.

wex 428 trial tr 1So I scratch out a trial trace of SWnp78. It’s a long and tedious one, with a consolation prize in the middle, the naked triple(nt).  Whdx9m,  stands for “hidden dublex=>W9m”. My hidden dublex is a form of double line exclusion. See Sysudokie Speak.

wex 428 trial gridThe trial would have bogged down without the naked triple.

The SWnp78 is found guilty to a charge of forcing two 7’s into c6.

wex 428 trial tr 2Regular readers may be scratching their heads, but a trial trace can be divided like that because it is breath first and is read line by line.

wex 428 XYZ remote pairNow 428 comes apart, as a direct consequence of that 9r9c5 removal. A grouped forcing chain (or ER wink) creates a remote 798-wing, but there are no victims. However, a parallel 8 forcing chain completes a remote pair pair, a.k.a conjugate pair, removing 7r8c6 and confirming 7r3c6 as N7. I wasn’t even aware that could happen!

Listen up, WECer friends: Such revelations happen when you work advanced techniques at the fundamental, sysudokie level. Don’t bypass these catches  by guessing! Well, not after your WEC solution is submitted, anyway. Do you have that grouped forcing chain thing down?

wex 428 kraken swordWex 428 has a pretty final act. My 9-panel now reveals a kraken swordfish. The victim sees the fin via an XY forcing chain.

The collapse follows immediately. I’m showing the trace to give you another example of a regular 2-D trace. Unlike the trial trace, all consequences of a cause is explored before the next cause its effect list is explored. Its depth first.

wex 428 final trBoth traces are left to right, but in the regular trace, unused causes sprout out of a descending leg to start their own descending leg.

The review continues next Tuesday with Wex 429.

Posted in Advanced Solving, Puzzle Reviews, Weekly Extreme | Tagged , , , , , , , | Leave a comment

A Colorful Verification Creams Wex 427


The second Weekly Extreme review puzzle, 427 is prey of a Sue de Coq verification trial, but I had to get out the crayons to do it.

Non WECers, did you like your first Weekly Extreme Competition puzzle? If you like the review puzzles, the entire line up of puzzles and solutions to date is found at

www.sudoku.org.uk/WeeklySudoku.asp . The large print puzzle for the current week is at

www.sudoku.org.uk/PrintWeeklySudoku.asp .

Wex 427 offered a fairly moderate slink marking bypass and box marking, followed by a very tough line marking:

wex 427 LM

wex 427 basic trSysudokies, look at the size of those fill strings. What did I miss?

Anyway, there’s a couple of remotely possible unique rectangles, but following my own advice on #426, I was looking over the chutes for a Sue de Coq.

 

I found one right in the middle, Cr5 = 5(3+9)(7+8)+875 . I’m hoping for a removal of 3r6c4. The verification does not go well, however, as the marking doesn’t reach resolution.

wex 427 sdctrwex 427 coloringThere are many slinks and bv, so I get out the crayons to continue the trial. After extending the blue/green cluster as far as I can, I have related bv left, so I throw in a red/orange. Now we look for interactions.

We have cell r1c7 asserting

not (green & orange),

and cell r9c5 asserting

not(green & red)

 

So that means: (blue or red) and (blue or orange) = blue and (red or orange) = blue

wex 427 blue to redThe distributive law of Boolean logic helps our Sue de Coq verifying trial along, particularly when S4 hands the gavel to red.   It’s a small step to the solution. WEC 427 is not admitted into the Sysudoku Extreme Club.

I admit to missing the above Sue de Coq on my first encounter with 427. I finally saw it on my scan through the slides before putting the final post together. That sneaky verification buried a finned swordfish and a freeform reduction of 2-patterns to one pink and two olive, with a subsequent pattern trial. #*&@%^!:(

It would be great to have some WECer commentary on SdC verification trials, to go along with this post. I believe SdC verification meets the “logic” criteria outlined in the previous post. Do you believe they are a form of trial-and-error? Does either the prior identification of removed candidates, or the reproducible evidence of the 2-D trial trace, reduce T & E concerns? Has anyone else employed the single alternate form of Sue deCoq with a verification or a solution by verification trial?

We’re still looking for a sysudokie extreme level WEC. Next time, the applicant is Wex 428.

Posted in Advanced Solving, Puzzle Reviews, Weekly Extreme | Tagged , , , , | Leave a comment

Weekly Extreme 426 Traces and Trials


We open the Weekly Extreme Competition review with #426. My selection for the review is simply the consecutive weeks, from here to #435. I’ll provide complete tracing to the point of guaranteed collapse.

I want to particularly welcome WEC players. I will do my best to enlist you into the sysudokie ranks, even as you continue making competition deadlines. My regular readers, please be patient when I sound like I’m talking to someone else, throwing in explanations and links to the familiar. When we’re done, and with added experience of the WEC review and WECer comments, we’ll all march on Fata Morgana. Let’s enjoy these Weekly Extremes in their fascinating detail.

wex 426 bypassWex 426 opened with a generous bypass and box marking. Then a routine line marking closes with a hidden pair.  WECers, if you go through #426 again, but follow the traces, you can  pick up the trace conventions without reading the traces page.

 

wex 426 basic trwex 426 basicOn the candidate grid the chute Wc3 can become a Sue de Coq 8(5+6)(3+4), (outlined in red) once we verify that the (5+6) alternative is not missing. The SdC, when verified, will remove 6r3c3, and 7r7c3.

 

 

 

 

The verification is dowex 426 sdc v gridne with a trial trace, which reaches a contradiction, if there is one, in the lowest number of inference levels. The basic traces above are regular depth first traces. The trial trace is breath first.

Compact traces are very helpful in analysis, and could greatly improve communication among experts.

 

wex 426 sdc vtrAre you on to my link conventions? It’s all there in the diagram: weak, strong, confirming links and grouping.  If you look into what’s going on, that is.

Follow up on the SdC removals was anemic, just  NW7 => SW7 => S7m.

WECers note, SdC’s are more plentiful than you might have thought. If you use the sysudokie definition, that is, including only one forced alternative and ALS removals.

wex 426 354-wingThe 7r7c3 removal adds a bv (bi-value cell) to the bv map, and permits a regular 354-wing that would go victimless in the shared unit weak link vision of most Sudoku writers and many solvers, human and computer. But after fitting the 4-candidates with the grouped forcing chain sysudokie vision, two of them see all three members of the wing’s toxic set. Tell ‘em where you got it.

 

wex 426 clustersContinuing with the Sysudoku Order of Battle, I looked for XY-chains with the bv maps, then went on to the X-panel for X-chains and fish. In this case I was pulled along toward coloring by the luscious field of bv.

I went to blue and green on the isolated 6789 cluster in the East boxes. A more integrated red/orange cluster traps a 6-candidate.

The number 8 is the only value connection between the two clusters. Along row r8, there is bridging opportunity. The wink between blue and red 8’s asserts

not (blue and red) = green or orange.

But a true green 6r8c9 would color a second 5r8c5 orange!  That is to say:  green =>red.

OK, so that also is to say that:   not red = orange => not green = blue.

And more to the point, either (green and red) or (orange and blue) is true. It’s a merge into two opposing armies!

WECers, does your platform do coloring this well? My ©PowerPoint screen templates are available via email. You don’t have to construct them yourself. See the toolware page. No charge. Not kidding.

wex 426 blue orangeI picked orange and blue for a trial, and that forced two 6’s in r6, so its green and red.

I’m particularly anxious for my WEC friends to know what I mean by a trial.  It’s a test of a sizeable set of values, constructed logically to be all true or not all true. It is meant to go all the way to the solution, or to a profitable contradiction, proving an opposing set of candidates to be true. And it is meant to be a sysudokie alternative to the arbitrary election of a cell value for trial-and-error.

Sue de Coq verification, illustrated earlier in this post, is a trial, but in an early stage of solving, with generally less at stake. It puts a smaller, but far from arbitrary, combination of values on trial. I concede my early use of the advanced, “missing alternative testing version of Sue de Coq is a grey area in the T&E debate. Comment to this post and voice your opinion.

wex 426 solutionIf you are one of those whose path to the WEC solution is littered with arbitrary guesses, you are missing challenges that would suit your abilities better.

Here is the 426 solution in merged green and red. I don’t consider the trial of an extended cluster to be particularly extreme.

Maybe you’d like to look over what you did on 427 before my next post at 2 p.m. EDST next Tuesday.

Posted in Advanced Solving, Puzzle Reviews, Weekly Extreme | Tagged , , , , , | Leave a comment

Finishing More Extreme 200


This post continues, slicing the 9 patterns of More Extreme 200, and conducting trials of the divided sets. A brief, but decisive cluster merge ends the struggle.

Antoine was right. #200 is outstanding. Following a pink/olive analysis on the 9 patterns, I suggested you try another one on the remaining 9 patterns, with 9r2c6 shaded pink. Here is my division, with two pink patterns with one clue, and three olive patterns and one clue. A pink trial throws out five, and the olive trial, three.

more 200 pink olive 2more 200 2nd pink trialIt’s generally best to try the more decisive side, because you want the trial to come to a conclusion, positive or negative. In the pink trial, the remote pair =>9r1c8, E3 => SEnt278 =>r9np36 =>SE8, removing all 8 from c8.

 

 

 

 

more 200 guardianAs we install the olive pattern set, the remote pairs seen in the pink trials come back to haunt # 200. The removal of 9r1c8 allows 3r6c8 to produce five 5 conjugate pairs in a loop, and therefore odd sided slink loops in 7 and 8, making a solution impossible. This also confirms 3r7c8 as a necessary guardian.

 

 

more 200 collapse trThe final collapse unravels a curtain of naked pairs which explain why #200 was so extraordinarily tough.

Let’s close the review with a round of applause for Antoine Alary. Wear your helmet, my man.

Next I’m going tackle the extremely tough, but popular, Weekly Extreme Competition series, at www.sudoku.uk . My review puzzles start with #426 and end with #435. All of the puzzles are available, packaged with their solutions, in an archive table on the competition site. The competition is to complete each puzzle within a week, and key in the solution to the site before the midnight deadline. Winners over the whole year get their names on the honors list.

I hope Weekly Extreme competitors will follow my posts, and comment on them. If you know any, let them know about it. Of course, we will always be seeking humanly efficient, entirely logic based route to the solution, which is not the only way to succeed in the competition. But these compeititors are serious Sudoku solvers, and could easily become sysudokies as well.

 

Posted in Alary, Extreme Solving, Puzzle Reviews | Tagged , , , , , , | Leave a comment

Taking on More Extreme 200


This post and the next checkpoint a sysudokie solution of Antoine Alary’s extra tough More Extreme 200. Sysudokie readers are given an opportunity to get a little extreme, as well.

Happy St. Patrick’s Day. Let’s do the 200. But first, your kraken analysis homework on More Extreme 144:

more 144 6 krakenYes, the other 6 in the fin box is removed, but the four kraken hostages escape.

The basic solving of More Extreme 200:

more 200 basic tr

more 200 basic gridIt’s a semi –monster all right.

more 200 finned 78-wingThe next result is from the X-panel, and is quite unusual. A simultaneous, finned 7-wing and 8-wing, but no krakens.

That’s all I see for X-panels, coloring or AIC, but the 9-candidates are relatively sparse, with slinks in both directions.

Going to pattern analysis, I have two pink and five olive, with many 9-candidates in one set or the other. A trial of the pink set of patterns could take a big step.

more 200 9 pink olive

more 200 pink trial trIn fact, in the trial of pink patterns, the two 9-candidates in both are confirmed, and the seven exclusive to olive patterns are removed.

As luck would have it, the trial fails with three bv 36 cells in r9. The true 9 pattern is among the olive five

more 200 olive gridThe olive trial brings in only one clue, 9r5c5, but removes two. C9 generates a boxline in S. It’s 3 removals in S allows a Sue de Coq.

 

 

 

 

 

 

 

More 200 SdCThe contents of Sc5 are 3(2+6)(7+8) if 7 and 8 are not both missing and the naked triple236 if they are missing. But the latter generates three bv 36 cells in r9. So the Sue de Coq is verified to contain 3(2+6)(7+8), removing 78r2c5.

Now, how would you like to do the next pink/olive pattern analysis? The remaining 9 patterns can be divided again.

 

To be sure of agreeing with the checkpoint, make 9r2c6 pink and shade the 9 cells accordingly. Two clues are added in the olive trial, but only one in the pink trial, so we do the olive trial first, hoping for a more decisive result. As usual, you have a week. Lay off the Paddy’s day cache.

Posted in Alary, Extreme Solving, Puzzle Reviews | Tagged , , , , , | Leave a comment

Just One More “More Extreme”


This post concludes the Alary More Extreme review puzzles with More 144, Basic marking features a timely naked quad, and advanced solving is another parade of highlights.

more 144 basic trThe basic trace classifies More Extreme 144 as a tough one. I would hate to be faced with the task of starting it with the number scanned candidates. I wouldn’t even want to do it with the grid encrusted with computer generated number scanned candidates. Are you listening, Antoine?

 

more 124 nq gridIf you don’t go through it, I’d like you to see at least the naked quad along the way. Note the long fill strings, loads of candidates, and the few sparse,and therefore promising numbers.

 

 

more 144 fin swordThe bv scan is a bust, but the X-panel offers some promise. The 6-panel delivers a finned swordfish, with one victim in the fin box. All of the kraken victims go free.

Your challenge for the next post is to identify the kraken victims and to show how each of them escapes. A potential victim that sees the fin by any means is eaten by the fish. Forcing chain vision is necessary.

more 144 9-patternsGoing on through the  X-panels, a 9-swordfish deletes all candidates impeding a coloring cluster of two 9-patterns.

If you don’t see the swordfish, look for its victims now missing from the previous grid.

These patterns extend the coloring into the 6-panel. What happens then is LPO magic.

 

 

more 144 6 LPOOne of the two 9 patterns is true. Together, they limit the blue or the green patterns of other numbers. The limits go both ways. The partial 6-patterns allow two blue 6-patterns, and zero 6-green patterns, with freeforms from the left. It’s a pink/olive wrap, in blue and green! Green candidates, and others orphaned by the blue patterns, are eliminated. That’s nine 6-candidates gone!

 

 

more 144 blue ntThe surviving grid sports a naked triple forcing 8r6c1, a fatal wound. If you care to follow it, the autopsy report is below.

It’s time to close the review. Again, I do enthusiastically endorse Antoine Alary’s Extreme Sudoku and More Extreme sequel for advanced level sysudokies.

 

 

It would be nice if we could can the wild claims and honor  good advanced level Sudoku books for what they are.

more 144 autopsy

OK, a promise is a promise. Next time you can compare notes with me on a sysudokie solution of More Extreme 200. You have yours all ready, don’t you? If not, get the book and get busy!

And don’t forget to do your More Extreme 144 kraken homework. Virginia is in high school now, so I had to do the kraken analysis myself. Fortunately the ©Word X-panel template makes it sooo easy. Just copy the numbers in, delete the ones seen by a true victim and it’s confirmed cohorts, and see if the fin survives.

Yeah, I know.  Virginia says that laptops and Office aren’t cool anymore.

 

 

 

Posted in Advanced Solving, Alary, Extreme Solving, Puzzle Reviews | Tagged , , , , , | Leave a comment

Smooth Navigation in Rocky Terrain


This post reports a sysudokie attack on Alary’s More Extreme 84 with several highlight eliminations. A naked triple and a combination X-panel punch on the tightly linked numbers lead to a polarity ANL, color bridging and a surprising color wrap. Sounds good?

more 84 basic gridMore Extreme 84 is grudging, if not downright stingy, in basic solving.

An interesting event is the naked triple 459 in the West box . It forced 9 marks before the box was marked to produce them. The c2 removal came from the more 84 basic trresulting NWc2 boxline.

The basic trace:

 

 

 

 

 

more 84 finned sword anl

Once in a while an elimination can be credited to either of two advanced methods.

A finned swordfish and a 2-chain ANL share victims on the 2-panel. The swordfish eliminates the victim because it is in the fin box. There is even an alternate chain on the ANL.

 

More 84 freeformsNext, the 4-panel slinks call for 4 coloring. Winks in r3 and c9 limit the cluster. One of the colors is surely true, and freeforms drawn from the left through the cluster candidates identify only one blue and one green pattern, and orphan 4r3c9, extending the cluster over all 4-candidates.

A remarkably simple and effective application of pattern analysis to coloring.

There are two ways to explain what happens next, when the AIC hinges are marked.

More 84 two shct ANLThe hinges allow a blue and a green 4 to get on the 2 network. The slink between any blue and green candidates in the cluster completes the all black ANL removing cr3c6, and the red dashed ANL removing 2 r6c6. That’s my shortcut ANL.

Another interpretation is that each of the two candidates use forcing chains to see both a blue and a green candidate, one of which must be true. Since the Bob Hanson review, I’ve been calling that a polarity ANL.

more 84 bridgeElegant as that is, it does not solve More Extreme 84. Fortunately I have the slinks to add a red/orange cluster, and it produces some classic bridging.

Cells r1c9 and r3c5 assert

not(green and red), implying blue or orange,

Cell r9c2 then traps 1, 5 and 7 but also asserts

not (blue and orange), implying green or red.

So its (blue and red) or (green and orange).

My trial trace finds that (blue and red) wipes out all 9s from box C. That leaves (green and orange) to wipe out this gem.It looks like More Extreme 84 was custom composed for Sysudoku. I’d sure like to know how much of this analysis Antoine anticipated when he came up with it.

More Extreme 144Just one more review puzzle, More Extreme 144 shown here, and then we’ll do our version of Antoine’s challenge special, #200.

I hope you have your copy and are about ready to compare some sysudokie notes with me.

Posted in Advanced Solving, Alary, Extreme Solving, Puzzle Reviews | Tagged , , , , , , | Leave a comment