The Minesweeper Subset Rule
When every unknown cell in one clue group also appears in a larger clue group, subtract the smaller group’s cells and remaining mine count. The difference can force a safe cell or a mine.
larger constraint−contained constraint= forced difference
Subtract two overlapping clue groups
- The 1 below the 3 covers three unknown cells.
Exactly one mine is somewhere among the three covered cells running down the right side of that clue.
- The 2 below it already touches one flag.
Its two remaining covered neighbors therefore contain exactly one mine.
- Those two cells are contained in the first group.
Both groups require one mine. Subtracting the two-cell group leaves the extra cell—row 2, column 4—with zero mines. It is safe.
The difference may be safe or mined
Difference requires 0 mines
Every cell left after subtraction is safe. That is the result in this example.
Difference requires every cell
If the remaining mine count equals the number of remaining cells, all of them are mines.