Wednesday, February 07, 2007

Fishy-XWing

X-Wing Strategy
This strategy is looking at single numbers in rows and columns. It should be easier to spot in a game as we can concentrate on just one number at a time. The rule is
When there are
1: only two possible cells for a value in each of two different rows, 2: and these candidates lie also in the same columns, then all other candidates for this value in the columns can be eliminated. The reverse is also true for 2 columns with 2 common rows



The above picture shows a classic x-wing, this example being based on the number six. The X is formed from the diagonal correspondence of squares marked A, B, C and D. What's special about them? Well, A and B are a locked pair of 6's. So is C and D. They are locked because they are the only 6's in the first and last rows. We know therefore that if A turns out to be a 6 then B cannot be a 6, and vice versa. Likewise if C turns out to be a 6 then D cannot be, and vice versa.
What is interesting is the 6's present in the two columns 6 and 9 directly between A and C and B and D. These have been highlighted with red boxes. Think about the example this way. A, B, C and D form a rectangle. If A turns out to be a 6 then it rules out a 6 at C as well as B. Because A and CD are 'locked' then D must be a 6 if A is. Or vice versa. So a 6 MUST be present at AD or BC. If this is the case then any other 6's along the edge of our rectangle are redundant.
We can remove the 6's marked in the cyan squares. This is good news because this leaves only a 9 at G9 and we can complete.
This strategy works in the other direction as well. If we had two pairs in two columns and those four numbers shared two rows, then we can eliminate any other occurrences of those numbers on the same rows.
Generalising X-Wing
X-Wing is not restricted to rows and columns. We can also extend the idea to boxes as well. If we generalise the rule above we get:
When there are
1: only 2 candidates for a value, in each of 2 different units of the same kind, 2: and these candidates lie also on 2 other units of the same kind, then all other candidates for that value can be eliminated from the latter two units.
Now we have 6 combinations: 1: Starting from 2 rows and eliminating in 2 columns Classic X-Wing 2: Starting from 2 columns and eliminating in 2 rows Classic X-Wing 3: Starting from 2 boxes and eliminating in 2 rows Same effect as line/box reduction 4: Starting from 2 boxes and eliminating in 2 columns Same effect as line/box reduction5: Starting from 2 rows and eliminating in 2 boxes Same effect as pointing pairs 6: Starting from 2 columns and eliminating in 2 boxes Same effect as pointing pairs
Here is an example of combination 5. Starting from 2 rows and eliminating in 2 boxes, in this case the last two boxes in the Sudoku. The rows are 7 and 8 and they each have two 7s. Our x-Wing is now a trapeziod but the logic is the same. We can be certain that 7 can be elminated at X, Y and Z.

But HOLD UP one moment. There is a simpler strategy that does the same job!

A and B above are a pointing pair. This removes the same 7s in the same place. Combination 6 is also the complement of a pointing pair. Combinations 3 and 4 are also complements of the Line/Box Reduction. Our generalization of X-Wing to boxes hasn't profited us at all. We learn that
X-Wings containing boxes are the inverse of the Intersection Removal strategies

No comments: