This is an important Killer Sudoku strategy which I have placed at the start of all the more complex strategies in the solver because it is so useful and very easy to spot. It is related to Intersection Removal. Whereas IR is the overlap of rows/columns with boxes, this is the overlap of 'cages' with rows, columns and boxes.

Each 'cage' is made up of one or more 'combinations' - sets of numbers that total the cage clue. If you can find a candidate number inside that cage that is not found elsewhere on the row, columns or box the cage is aligned on, then you know that number must appear in the cage. That part is self-evident since, in the solver at least, these numbers are displayed. Given that number is true, we can remove all combinations which omit that number. Often that means we can remove a bunch of numbers.

Each 'cage' is made up of one or more 'combinations' - sets of numbers that total the cage clue. If you can find a candidate number inside that cage that is not found elsewhere on the row, columns or box the cage is aligned on, then you know that number must appear in the cage. That part is self-evident since, in the solver at least, these numbers are displayed. Given that number is true, we can remove all combinations which omit that number. Often that means we can remove a bunch of numbers.

In the first example below, two such

The blue ringed cage, a 3-cell with a clue of 19 gives us five different combinations. But the 9 in that cage is unique to both the cage and row H, so only the combinations with 9 in them are valid. {4,7,8} and {5,6,8} are not possible. Of the remaining candidates, the 5s can be removed.

If Type 1 above is related to Box Line Reduction, then you'd recognize that Type 2 will look like Pointing Pairs, it's opposite. Credit to **Caleb Andrews** for finding this example and stating the logic so elegantly.

In this puzzle (also used in the Innies/Outies example) we consider the 4-cage in a square CD67. Because the 4 is fixed in C7 we only need to consider the combinations that have 4, but

1489 <- no 1 left in the cage

2479 <- no 2 left in the cage

3469

3478

4567 <- no 5 left in the cage

so we are left with two combinations. Both contain 3 and 4. 4 is not helpful as we've already placed it, but look where 3 fits in the cage. It can only go in D6 and D7. That makes 3 a certainty in those cells. So it acts like a Pointing Pair aligned on the row. We can remove 3 from D1235.

There is another large example of this strategy in the same puzzle, on the big L cage starting on D3.

In this puzzle (also used in the Innies/Outies example) we consider the 4-cage in a square CD67. Because the 4 is fixed in C7 we only need to consider the combinations that have 4, but

1489 <- no 1 left in the cage

2479 <- no 2 left in the cage

3469

3478

4567 <- no 5 left in the cage

so we are left with two combinations. Both contain 3 and 4. 4 is not helpful as we've already placed it, but look where 3 fits in the cage. It can only go in D6 and D7. That makes 3 a certainty in those cells. So it acts like a Pointing Pair aligned on the row. We can remove 3 from D1235.

There is another large example of this strategy in the same puzzle, on the big L cage starting on D3.

Another type of elimination I've chosen, a bit arbitrarily, to insert into the search at this strategy point is to compare a cage with a bi-value cell. This was a tip from **Ivar Ling**.

In this puzzle the 2-cage with a sum of 12 can only be {4/8} or {5/7} (with {3/9} already removed). Now a bi-value cell B1 can see all the cells in this cage and it contains a pair of candidates which matches one of those combinations. Since B1 must be either 4 or 8 it removes {4/8} combination from the cage. This will be reported as

Cage/Unit Overlap

CAGE vs BIVALUE: the cage starting on B6 has combinations which are ruled out by bi-value cell B1 which can see all cells in the cage, so

- we can remove 4/8 from B6

- we can remove 4/8 from B7

It is easy to imagine a Triple on two cells effecting a 3-cage as well, but the solver does not currently look for this.

In this puzzle the 2-cage with a sum of 12 can only be {4/8} or {5/7} (with {3/9} already removed). Now a bi-value cell B1 can see all the cells in this cage and it contains a pair of candidates which matches one of those combinations. Since B1 must be either 4 or 8 it removes {4/8} combination from the cage. This will be reported as

Cage/Unit Overlap

CAGE vs BIVALUE: the cage starting on B6 has combinations which are ruled out by bi-value cell B1 which can see all cells in the cage, so

- we can remove 4/8 from B6

- we can remove 4/8 from B7

It is easy to imagine a Triple on two cells effecting a 3-cage as well, but the solver does not currently look for this.

## Comments