스도쿠에 여러 해가 있나요? 구체적인 예제
예. 모든 단서를 유지하고 규칙을 만족하는 서로 다른 완성 격자가 둘 이상이면 다중해입니다. 해 하나는 존재만 증명하므로 유일성을 검사하려면 두 번째 해를 찾아야 합니다.
풀이 예제
좌표는 왼쪽 위부터 읽습니다. r은 행, c는 열입니다. 작은 숫자는 후보, 테두리는 설명에서 다루는 칸입니다.
풀이기에서 예제 열기정확한 81칸 입력 보기
각 행을 왼쪽에서 오른쪽, 위에서 아래로 읽습니다. 0은 빈칸입니다.
003456789456789003789003456034567890567890034890034567345678900678900345900345678단서를 유지하고 빈칸만 바꾸세요
아래 완성 격자를 A로 두고 모든 1과 2를 지우세요. 각각 아홉 개이므로 빈칸 18개와 단서 63개가 남습니다.
A의 모든 1을 2로, 2를 1로 바꾸면 B입니다. 3–9는 그대로여서 두 해 모두 모든 단서를 유지합니다.
두 번째 해가 유효한 이유
해 A의 각 행·열·박스에는 1과 2가 하나씩 있습니다. 전체에서 서로 바꿔도 각각 하나씩이며 나머지 일곱 숫자는 그대로입니다. 따라서 B는 단순히 충돌 없는 부분 격자가 아닌 완전한 유효 해입니다.
두 해의 r1c1 값이 달라 서로 다른 해입니다. 이 두 사례만으로 유일하지 않음을 증명하며 정확히 두 해라고 주장하거나 모두 셀 필요는 없습니다.
주어진 숫자가 63개여도 유일해는 보장되지 않습니다
일반 신문 퍼즐보다 단서가 훨씬 많도록 만든 예제지만 여러 해가 있습니다. 단서 수는 지정된 칸 수일 뿐 모든 유효한 해를 구분하는지 알려 주지 않습니다.
두 답에 다른 난이도를 붙여도 다중해 문제는 해결되지 않습니다. 난이도는 정해진 방법으로 푸는 노력이고 유일성은 해의 개수입니다. 난이도를 매기기 전에 유일해를 확인하세요.
풀이기가 판단할 수 있는 것과 없는 것
완성 격자 하나는 해가 존재함만 증명합니다. 유일해를 말하려면 다른 모든 해를 배제해야 합니다. Sudoku Slate는 가능성을 모두 탐색하거나 두 번째 해를 찾을 때까지 검색합니다.
여러 해가 나오면 첫 답을 의도된 정답으로 보지 마세요. 원본이 유일해여야 한다면 빠진 단서를 확인하고 직접 만든 퍼즐은 단서를 수정해 다시 검사하세요.
유효한 해에서 단서를 하나 추가하면 맞지 않는 해는 제외되지만 여러 해가 남을 수 있습니다. 직접 본 두 예제가 사라졌다는 이유만으로 유일해라고 판단하지 말고 다시 검사하세요.
이해도 확인
r1c1 = 1을 넣으면 B가 제외되나요? 그것만으로 유일해를 증명하나요?
추론 보기
r1c1 = 2인 해 B는 제외됩니다. 하지만 알려진 대안 하나를 제외해도 다른 해가 없다는 증명은 아닙니다. 수정된 퍼즐을 완전히 다시 검사해야 합니다.
이 예제 소개
완성 격자에서 만든 예제로 추론을 쉽게 확인하도록 단서를 많이 남겼습니다. 진단 예제는 명시된 경우 의도적으로 충돌하거나 다중해입니다. 난이도가 매겨진 게임 퍼즐이 아닌 학습용입니다.
규칙과 용어
- Nikoli: 스도쿠 규칙
예제에 사용한 표준 행·열·3×3 박스 규칙입니다. 이 페이지의 격자와 풀이 설명은 별도로 제작했습니다.