부분집합 추론
난이도: 중급
한 숫자의 후보가 다른 숫자에 포함되면 차이로 확정합니다.
이웃한 두 숫자 칸의 '닫힌 인접 칸 집합'을 비교하는 기법입니다. 한 칸의 지뢰 후보 집합이 다른 칸의 후보 집합에 완전히 포함될 때 성립합니다.
예를 들어 A의 후보가 B의 후보에 포함되고, B가 필요로 하는 지뢰 수에서 A의 지뢰 수를 뺀 값이 '차집합 칸의 수'와 같다면 그 차집합은 모두 지뢰입니다. 반대로 0이면 모두 안전입니다.
1-1·1-2 패턴도 사실 이 부분집합 논리의 특수한 경우입니다. 집합의 포함 관계로 사고하면 복잡한 경계도 일반적으로 처리할 수 있습니다.