해가 없는 스도쿠
스도쿠는 숫자가 중복되지 않아도 해가 없을 수 있습니다. 중복 검사는 이미 입력된 숫자만 확인합니다. 완전한 해는 모든 빈칸도 일관되게 채워야 합니다. 가능한 숫자가 없는 칸이 있거나 한 영역에 필요한 숫자를 놓을 곳이 없으면 완성할 수 없음을 증명합니다.
풀이 예제
좌표는 왼쪽 위에서 시작하며 r은 행, c는 열입니다. 작은 숫자는 후보이며, 테두리가 있는 칸은 아래에서 설명합니다.
이 예제 검사하기퍼즐 텍스트 보기
각 행을 왼쪽에서 오른쪽, 위에서 아래로 읽습니다. 0은 빈칸입니다.
013056789056789123789023456234567891567891234891234567345678912678912345902345678들어갈 곳이 없는 숫자 2
히든 싱글 예제의 r1c2에 1을 넣었습니다. 같은 행·열·박스에 다른 1이 없어 중복은 없지만 전체 격자를 완성할 수 없습니다.
r9c2에서도 모순이 보입니다. 9행에는 1이 필요하지만 2열에는 추가된 r1c2 = 1이 있습니다. 같은 원인이 여러 곳에서 드러날 수 있어 모순을 발견한 칸이 잘못 입력한 칸과 같지는 않습니다.
단계 1. 1행: 빈칸, 1, 3, 빈칸, 5, 6, 7, 8, 9. 2와 4가 빠졌습니다.
단계 2. 1열 r4c1에 2가 있어 r1c1은 2가 될 수 없습니다.
단계 3. 4열 r6c4에 2가 있어 r1c4는 2가 될 수 없습니다.
단계 4. 이들이 1행의 유일한 빈칸입니다. 필요한 2를 넣을 곳이 없어 해가 없습니다.
진단 결과 이해하기
진단 결과에 따라 확인할 숫자를 살펴보세요.
| 퍼즐 진단 | 증명하는 내용 | 권장 다음 단계 |
|---|---|---|
| 입력 형식 오류 | 텍스트가 유효한 81칸을 나타내지 않음 | 길이, 순서와 빈칸 기호 확인 |
| 충돌하는 입력 | 영역 내 입력 숫자 중복 | 강조된 숫자를 원본과 비교 |
| 해 없음 | 충돌은 없지만 완성 불가 | 단서를 확인하고 근거 없는 입력을 되돌리세요 |
주어진 숫자와 최근 입력 확인하기
먼저 원본 단서만 검사하세요. 원본은 유일해인데 현재 격자는 무해라면 추가한 숫자 중 하나 이상이 잘못됐습니다. 근거를 설명할 수 있는 상태까지 되돌리세요.
원본 단서만으로도 해가 없으면 행별로 대조하고 빠진 빈칸이나 한 열 옆으로 잘못 넣은 숫자를 확인하세요. 답을 얻으려고 단서를 바꾸면 다른 퍼즐을 푸는 것입니다.
이 예제에서는 추가한 r1c2 = 1이 원인임을 알고 있습니다. 지우면 원래 상태로 돌아가 1행에서 r1c2 = 2가 강제됩니다. 이력을 모르는 격자에서는 결과 상태만으로 잘못된 한 칸을 특정할 수 없습니다.
막혔다고 해가 없는 것은 아닙니다
네이키드·히든 싱글을 못 찾았다는 것은 이번 탐색에서 그 기법으로 수를 찾지 못했다는 뜻뿐입니다. 무해의 증거는 아니며 더 어려운 추론이 필요하거나 여러 해가 있을 수 있습니다.
모든 가능한 분기를 탐색해야 무해를 증명할 수 있습니다. 시간 초과나 기술적 제한으로 중단된 검사는 결과를 알 수 없는 것이며 ‘해 없음’으로 표시하면 안 됩니다.
이해도 확인
1행의 두 빈칸 모두 4가 가능합니다. 한 곳에 4를 넣으면 2의 위치가 드러날까요?
추론 보기
아닙니다. 열의 기존 숫자가 고정된 한 두 빈칸 모두 2를 받을 수 없습니다. 한 곳에 4를 넣어도 다른 칸에 불가능한 조건이 남습니다. 이미 모순이 확정됐습니다.
이 예제 소개
이 학습 격자는 추론을 쉽게 살펴보도록 주어진 숫자를 많이 남겼으며 난이도는 없습니다. 진단 예제에 명시된 충돌이나 여러 해는 의도적으로 설정되었습니다.
규칙과 용어
- Nikoli: 스도쿠 규칙
예제에 사용한 표준 행·열·3×3 박스 규칙입니다. 이 페이지의 격자와 풀이 설명은 별도로 제작했습니다.