본문으로 건너뛰기
퍼즐 진단읽기 4분게시일

중복 숫자가 없어도 해가 없을 수 있나요?

예. 중복 검사는 이미 입력된 숫자만 봅니다. 완전한 해는 모든 빈칸도 모순 없이 채워야 합니다. 가능한 숫자가 없는 칸이나 영역에 자리가 없는 필수 숫자는 무해를 증명합니다.

풀이 예제

9×9 스도쿠 학습 도표입력 중복은 없습니다. 1행에 2와 4가 빠져 있지만 표시된 r1c1과 r1c4는 4만 가능합니다. 1행: 빈칸, 1, 3, 빈칸, 5, 6, 7, 8, 9. 2행: 빈칸, 5, 6, 7, 8, 9, 1, 2, 3. 3행: 7, 8, 9, 빈칸, 2, 3, 4, 5, 6. 4행: 2, 3, 4, 5, 6, 7, 8, 9, 1. 5행: 5, 6, 7, 8, 9, 1, 2, 3, 4. 6행: 8, 9, 1, 2, 3, 4, 5, 6, 7. 7행: 3, 4, 5, 6, 7, 8, 9, 1, 2. 8행: 6, 7, 8, 9, 1, 2, 3, 4, 5. 9행: 9, 빈칸, 2, 3, 4, 5, 6, 7, 8.c1r1c2r2c3r3c4r4c5r5c6r6c7r7c8r8c9r9
입력 중복은 없습니다. 1행에 2와 4가 빠져 있지만 표시된 r1c1과 r1c4는 4만 가능합니다.

좌표는 왼쪽 위부터 읽습니다. r은 행, c는 열입니다. 작은 숫자는 후보, 테두리는 설명에서 다루는 칸입니다.

풀이기에서 예제 열기
정확한 81칸 입력 보기

각 행을 왼쪽에서 오른쪽, 위에서 아래로 읽습니다. 0은 빈칸입니다.

013056789056789123789023456234567891567891234891234567345678912678912345902345678

들어갈 곳이 없는 숫자 2

히든 싱글 예제의 r1c2에 1을 넣었습니다. 같은 행·열·박스에 다른 1이 없어 중복은 없지만 전체 격자를 완성할 수 없습니다.

r9c2에서도 모순이 보입니다. 9행에는 1이 필요하지만 2열에는 추가된 r1c2 = 1이 있습니다. 같은 원인이 여러 곳에서 드러날 수 있어 모순을 발견한 칸이 잘못 입력한 칸과 같지는 않습니다.

  1. 단계 1. 1행: 빈칸, 1, 3, 빈칸, 5, 6, 7, 8, 9. 2와 4가 빠졌습니다.

  2. 단계 2. 1열 r4c1에 2가 있어 r1c1은 2가 될 수 없습니다.

  3. 단계 3. 4열 r6c4에 2가 있어 r1c4는 2가 될 수 없습니다.

  4. 단계 4. 이들이 1행의 유일한 빈칸입니다. 필요한 2를 넣을 곳이 없어 해가 없습니다.

격자를 허용할 수 없는 세 이유

풀이기는 입력 오류와 해의 개수를 구분해 다음 확인 대상을 알려 줍니다.

퍼즐 진단증명하는 내용권장 다음 단계
입력 형식 오류텍스트가 유효한 81칸을 나타내지 않음길이, 순서와 빈칸 기호 확인
충돌하는 입력영역 내 입력 숫자 중복강조된 숫자를 원본과 비교
해 없음충돌은 없지만 완성 불가단서를 확인하고 근거 없는 입력을 되돌리세요

임의로 바꾸지 말고 잘못된 가정을 찾으세요

먼저 원본 단서만 검사하세요. 원본은 유일해인데 현재 격자는 무해라면 추가한 숫자 중 하나 이상이 잘못됐습니다. 근거를 설명할 수 있는 상태까지 되돌리세요.

원본 단서만으로도 해가 없으면 행별로 대조하고 빠진 빈칸이나 한 열 옆으로 잘못 넣은 숫자를 확인하세요. 답을 얻으려고 단서를 바꾸면 다른 퍼즐을 푸는 것입니다.

이 예제에서는 추가한 r1c2 = 1이 원인임을 알고 있습니다. 지우면 원래 상태로 돌아가 1행에서 r1c2 = 2가 강제됩니다. 이력을 모르는 격자에서는 결과 상태만으로 잘못된 한 칸을 특정할 수 없습니다.

막혔다고 해가 없는 것은 아닙니다

네이키드·히든 싱글을 못 찾았다는 것은 이번 탐색에서 그 기법으로 수를 찾지 못했다는 뜻뿐입니다. 무해의 증거는 아니며 더 어려운 추론이 필요하거나 여러 해가 있을 수 있습니다.

모든 가능한 분기를 탐색해야 무해를 증명할 수 있습니다. 시간 초과나 기술적 제한으로 중단된 검사는 결과를 알 수 없는 것이며 ‘해 없음’으로 표시하면 안 됩니다.

이해도 확인

1행의 두 빈칸 모두 4가 가능합니다. 한 곳에 4를 넣으면 2의 위치가 드러날까요?

추론 보기

아닙니다. 열의 기존 숫자가 고정된 한 두 빈칸 모두 2를 받을 수 없습니다. 한 곳에 4를 넣어도 다른 칸에 불가능한 조건이 남습니다. 이미 모순이 확정됐습니다.

이 예제 소개

완성 격자에서 만든 예제로 추론을 쉽게 확인하도록 단서를 많이 남겼습니다. 진단 예제는 명시된 경우 의도적으로 충돌하거나 다중해입니다. 난이도가 매겨진 게임 퍼즐이 아닌 학습용입니다.

규칙과 용어

  • Nikoli: 스도쿠 규칙

    예제에 사용한 표준 행·열·3×3 박스 규칙입니다. 이 페이지의 격자와 풀이 설명은 별도로 제작했습니다.