This post illustrates the use of the Sysudoku X-panel for fireworks analysis, as introduced in forum corresponent shye’s first two examples.
Here is shye’s statement of the fireworks principle:
What does this actually mean? Given a row, column and intersecting cell, if a value in the cell cannot appear in the row or column outside the box containing the intersection, that value is placed in the intersection cell. This holds because no other candidate of that value in the box can provide that value to both row and column. Shye’s formulation of his fireworks principle uses the word “candidate”, when he means “value”.
A practical way to apply this fact is to find row/box/column combinations with only single candidates of an intersecting cell value in the row and column outside the box. Then by the fireworks principle above, the two single candidates and the intersection cell mark three cells, one of which contains the true candidate. For a reason soon to be apparent, we’ll call this combination of row, column and intersection cells, an elbow. We’ll call the single row and column cells containing the value of the elbow, the cuff cells. To go along with that, the intersection cell will be the neck of the elbow.
Commentator shye refers to elbows as fireworks, also uses that term for other forms restricting intersection box values.
Shye’s first example in http://forum.enjoysudoku.com/fireworks-t39513.html illustrates the idea that, if you find three elbows matching three values at the neck and cuffs, you have a type of hidden triple. The three cells must be reserved for these three values, so candidates of other values are removed.
Here is the Sysudoku line marked grid for shye’s first example, with matching neck and cuffs for values 1, 2. There is no 3-candidate in c1 outside of the NE box, so value 3 is also limited to the three cells of the hidden triple, and candidates other than 1, 2, and 3 are removed. We must consider one armed elbows.
We depict elbows on grids by freeforms because they are not made of strong links.
How hard is it to spot matching elbows? It’s much easier once you have all elbows of a value on an X-panel, with all 9 X-panels side by side. For that, you mark outside singles having outside singles from the same box in the crossing direction. After finding two matching elbows, you could look for a third one – armed elbow to match them. Here’s an elbow map for shye’s first example.
Values 1, 2 and 3 matching elbows, with three cells in common, a hidden triple. Other candidates are removed from these three cells. The 9 x-panels make it easy to verify that these and no more elbows of different values match. In this case, the removals bring an immediate collapse.
For the second example in shye’s fireworks introduction post, the homework of last week, here is a basic trace. This example shows how four elbows on a four cell rectangle, sharing two pairs of values, makes a hidden quad.
Now in place of the usual line marked grid, here is the corresponding set of X-panels. Find and mark the elbows, including four matching on two values, that allow 1 and 2 in r9c6, SW r1c1 and r4c1; and 3 and 4 in r4c1, C r4c6 and r8c6, removing, 5r4c1, 89r4c6, 951c6 and 56r9c1.
On the line marked grid, the “the matching elbows form a quad.
Values 1 and 2 are limited to r4c1, r9c6, and r9c1, and values 3 and 4 are limited to cells r4c1, r9c6 and r4c6. Thus the four values must be placed in the four corner cells, removing all other candidates, including a rival 8 in the center box.
The “quad” brings an immediate, but long, collapse.
Without the fireworks, this example keeps the ultrahardcore solvers at bay for 30 slides. My general conclusion from these first two examples is that, with X-panels, DIY exhaustive fireworks elbow detection is reasonable to do. A plausible test of the frequency of results might be to see how many, if any, fireworks matches occur in the 22 ultrahardcore linemarked grids of the right and left page reviews. Volunteers, anybody?
Before you do that, let’s look at shye’s further examples of what to do with them. Next week, we start the new year with shye’s third example.