기본 배제

요약

기본 배제는 두 가지 규칙으로 구성됩니다. 규칙 1(배제): 고양이가 놓인 칸의 주변 8칸·같은 행·열·색 영역을 X로 표시해 후보에서 제외합니다. 규칙 2(확정): 어떤 영역·행·열에 빈칸이 정확히 1개만 남으면 그 자리에 고양이를 확정합니다. 솔버는 규칙 2를 우선 수집하며, 규칙 1의 배제 결과가 이미 확정된 규칙 2의 자리를 덮어쓰지 않습니다.

언제 쓰나요

• 퍼즐을 시작할 때 가장 먼저 적용하는 기법입니다.
• 고양이가 하나라도 놓인 직후에는 반드시 배제를 전파합니다.
• 어떤 영역·행·열의 빈칸 수가 2 이하로 줄었을 때 자동으로 확정이 발생할 수 있습니다.
• 다른 기법(행/열 잠금·페어·X-윙 등)으로 새 X를 추가한 뒤에도 기본 배제를 다시 돌려 확정 여부를 확인합니다.
• 더 이상 확정도 배제도 나오지 않으면 다음 난이도의 기법으로 넘어갑니다.

원리

냥자리의 세 규칙(행·열·영역 각 1마리, 대각선 포함 인접 금지)은 고양이 한 마리가 놓이는 즉시 같은 행·열·영역과 인접 8칸을 모두 배제합니다. 이것이 규칙 1입니다. 배제 후에 어떤 그룹(영역·행·열)에 빈칸이 단 1개만 남으면, 퍼즐 규칙상 그 자리에 반드시 고양이가 놓여야 합니다. 이것이 규칙 2입니다. 두 규칙은 서로를 자극해서, 규칙 2로 고양이가 하나 확정되면 규칙 1이 새 X를 만들고, 그 X가 또 규칙 2를 유발할 수 있습니다. 이 연쇄를 더 이상 진행할 수 없을 때까지 반복하는 것이 기본 배제의 전부입니다.

예시

▲ (1,1)에 고양이(🐱)가 확정된 직후. 주변 8칸·1행 전체·1열 전체·영역 a에 × 표시됨.

1. 초기 상태: 5×5 보드에 고양이가 아직 없고 모든 칸이 비어 있습니다.
2. 첫 확정(규칙 2): 영역 a의 빈칸을 세어 보니, 1행 전체가 배제된 뒤 (1,1) 하나만 남았습니다. 규칙 2가 발동해 고양이를 놓습니다.
3. 배제 전파(규칙 1): (1,1)에 고양이가 놓이면서 ↑↙↗ 등 주변 8칸, 1행 전체, 1열 전체, 영역 a 전체에 × 표시가 됩니다.
4. 연쇄 확인: 새로 추가된 × 때문에 다른 그룹의 빈칸 수가 줄었는지 다시 확인합니다. 줄었다면 규칙 2가 또 발동합니다.
5. 종료: 더 이상 확정도 배제도 나오지 않으면 다음 기법으로 넘어갑니다.

주의할 점

• 배제 순서: 규칙 2(확정)를 먼저 모아 두고 규칙 1(배제)보다 우선 적용합니다. 규칙 1의 결과가 이미 확정된 자리를 덮어써서 모순이 생기지 않도록 합니다.
• 인접 8칸 vs. 행/열/영역: 규칙 1은 인접 8칸에 X를 칠 뿐 아니라 같은 행·열·영역 전체도 배제합니다. 인접 칸만 X를 치는 실수를 자주 합니다.
• 기법 한계: 기본 배제만으로 풀리지 않는 퍼즐은 행/열 잠금 이상의 고급 기법이 필요합니다. 모든 빈칸이 2개 이상 남아 있는데 진행이 막혔다면 다음 기법을 시도하세요.
• 비슷한 기법과의 구별: 행/열 잠금은 영역 내 후보가 한 행(열)에 집중될 때 그 행(열)의 다른 영역을 배제하는 기법입니다. 기본 배제와 달리 고양이를 직접 확정하지 않습니다.