De Coq on Sue de Coq


This post explains Sue de Coq and invites readers to enumerate all instances of it in the originating post’s puzzle.

I may be entirely alone in suggesting Sue de Coq as one of the first advanced methods to use after basic solving is completed.  It makes sense, though, in that a scan for SdC chutes is done on the grid fresh out of basic solving. And when it fails, the chute is often a candidate for another advanced method, APE.  So why not?

If by chance, Sue de Coq,  the reporter of the solving method of that name, were to be reading this blog (don’t  I  wish), he or she would be surprised as well as pleased to see it first among my advanced methods. She (I’m going with that, since we’re talking about a Sue),  almost apologized for bringing it up in the post, saying that this “two-sector disjoint subset” method would probably be superseded by the hot new method, forcing chains. Didn’t happen.

SdC  is based on a precise description of the numbers in the solution of a chute, the intersection of a box and a line.  For that description, we need logic functions, a device universally applied in engineering and science.  But simple ones.  Rocket science this is not. It’s the patience that counts.

De Coq’s post was brief and elegant, but used a rationale which, though correct, was limited to a rarely occurring special case of Sue de Coq .  For a clear picture of Sue de Coq game, let’s start with the players.

SdC applies to a chute seen by bv and other ALS. A chute is the intersection of a box and a line.  The Almost Locked Sets you met before with the suset scratchpad algorithm,  n mutually visible cells containing n + 1 numbers.  Bi-value cells (bv) are the simplest form of ALS.  The portion of the chute’s line outside of the box is the line remainder.  The portion of the chute’s box outside of the chute is the box remainder.

An ALS can give up only one of its numbers, and still cover its obligation to have a number be true in every cell. Therefore,

a chute cannot contain any pair of numbers in a remainder ALS.

In this post, let’s consider how this is applied in Sue’s definition of Sue de Coq. Sue looked for any chute with exactly five numbers, along with two bv cellsof four numbers in the two remainders, each matching a different pair of numbers in the chute. Since each bv limits the chute to one of its matched numbers, only three numbers remain for the chute.

SdC diagramTo see what happens next, here is a diagram of the chute and remainders, with the bv partners a, b, c and d. In Sue’s definition the rounded squares represent the bv cells, but the more general Sysudoku definition, they represent ALS containing the two chute numbers.

To describe the chute contents we use the logical expression    N(a + b)(c +d) . In the expression, “multiplication” stands for logical “and”, and the plus sign, for logical “exclusive or”, i.e. one of two and not both. Each factor describes the contents of a cell in the chute, without regard to order.

The chute cannot contain both true a and true b, because this would take both numbers from the remainder ALS(the bv). Let’s call the pair (a,b) an alternate pair, or more simply, an alternate. Same for the pair(c,d).

Sue’s definition depends only on the fact that two of the numbers left to the chute are alternate numbers. Since (a or b) must be present in the chute, and the ALS covers the one that is not, any other a or b in the line remainder containing the (ab) bv cell can be removed. Similarly, any c or d in the box remainder containing the(cd) bv cell an be removed. The third chute number, regardless of its form as a clue or multiple candidates, is toxic to matching candidates in both remainders.

In the next post, the definition of the Sue de Coq is expanded to allow any form of ALS. Also, you will see how to make Sue de Coq work with only one alternate, more than doubling its rate of occurrence.

SdC for SdCYour next challenge  is to find all of Sue’s classic Sue de Coq and their removals, by the method above. Except, like Sue, you can only use bv for the ALS. Write down the chutes, the logic expressions,  and the removals by number and cell location.  Do each one without regard to removals by other ones.  The checkpoint will tell you if you, or Sue, missed any.

 

 

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 and tagged , , . Bookmark the permalink.

4 Responses to De Coq on Sue de Coq

  1. Aleksandr says:

    Just cause it’s simple doesn’t mean it’s not super helpful.

  2. Big says:

    I believe you are missing a 2 pencil mark in r7c3

    • Sudent says:

      So glad to hear from you again. In the earlier post “Locked Set Enumeration …” of 10/27/11, the 2r7c3 candidate was removed from the original Sue de Coq grid by the naked quad 2357 or the corresponding hidden pair, in c3. This removal was missed by Sue, but it did not affect any of her valuable conclusions.

      Did you like my review of Bob Hanson’s Student Assistant methods? Peter Gordon’s Guide is next. Thanks for your past suggestions on who to review. Got any more?

  3. Sudent says:

    Tyrone, the experts I know about are mentioned in the posts. There are many review posts listed in the “Experts” category in the right margin.

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 )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s