The WXYZ-Wing is the four-cell wing: four cells holding four digits between them, with one cell — the hinge — seeing the other three. It extends the same idea as the XYZ-Wing by one cell and one digit, and it fires far more often than its awkward name suggests.
Take four cells whose candidates, pooled together, come to exactly four digits. Call them W, X, Y and Z. Now check each digit separately:
| XYZ-Wing | WXYZ-Wing | |
|---|---|---|
| Cells | 3 | 4 |
| Digits in total | 3 | 4 |
| Hinge sees | both wings | all three partners |
| Digit removed | the one shared by all three cells | the single non-restricted digit |
A WXYZ-Wing needs exactly one non-restricted digit. Call it Z. Since the other three digits can each appear only once, they can fill at most three of the four cells. The fourth cell has to be Z. So at least one cell of the group is Z, and any cell outside the group that sees every group cell containing Z cannot be Z itself.
Look after the three-cell wings have failed and you still have a cluster of bi-value and tri-value cells packed into one box. The hinge is usually a bi-value or tri-value cell in a box, with two partners in the same box and one further along its row or column.
four cells, four digits {1,2,3,4}
r5c5 {1,2} hinge, sees the other three
r5c1 {1,4} same row as the hinge
r4c4 {2,4} same box as the hinge
r6c6 {2,3} same box as the hinge
digit 1 -> r5c5, r5c1 share row 5 restricted
digit 2 -> r5c5, r4c4, r6c6 share box 5 restricted
digit 3 -> r6c6 only restricted
digit 4 -> r5c1, r4c4 do NOT see each other -> non-restricted
=> one of r5c1 / r4c4 must be 4
=> 4 leaves r4c1 and r5c4, the cells that see both
Check the logic. Suppose none of the four cells is 4. Then all four take values from {1, 2, 3}, and each of those three digits can be used only once inside the group — so three digits would have to fill four cells. Impossible. One cell is therefore 4, and only r5c1 and r4c4 can supply it. Cell r4c1 sees r4c4 along row 4 and r5c1 down column 1; r5c4 sees r5c1 along row 5 and r4c4 down column 4. Neither can be 4.
The WXYZ-Wing is diabolical tier. It first becomes necessary in Expert puzzles, where four-cell patterns start to replace the simpler wings. On Hard grids an XY-Wing, XYZ-Wing or a subset almost always gets there first, so keep this one in reserve.