기초

스도쿠 후보 제외: 초보자 실전 가이드

hugh
게시:수정:읽는 시간 9분
스도쿠 후보 제외: 초보자 실전 가이드

후보 제외는 “규칙은 안다”와 “어려운 판을 풀 수 있다” 사이의 다리입니다. 후보는 행, 열, 3×3 박스를 확인한 뒤 빈 칸에 아직 들어가는 숫자일 뿐입니다. 좋은 풀이는 모든 숫자를 모든 곳에 쓰는 것이 아닙니다. 정확한 가능성 집합을 유지하고, 규칙이 불가능을 증명할 때만 숫자를 지우고, 그 삭제가 싱글이나 재사용 가능한 패턴을 만들 때 알아차리는 것입니다.

유용한 메모는 한 질문에 답합니다. 이 칸에 아직 합법적으로 가능한 숫자는 무엇인가?

후보 제외란?

후보 제외는 미해결 칸에서 불가능한 숫자를 지우는 과정입니다. 첫 제외는 놓은 숫자에서 직접 옵니다. 5행에 이미 7이 있으면 5행의 다른 칸은 후보 7을 유지할 수 없습니다. 같은 확인이 열과 박스에도 적용됩니다. 이후 제외는 네이키드 페어, 히든 페어, 잠긴 후보, X-Wing 같은 패턴에서 옵니다. 이 패턴은 최종 값을 추측하지 않고, 하나 이상의 후보가 어떤 유효한 완성에도 참여할 수 없음을 증명합니다. 한 칸에 후보가 하나만 남으면 네이키드 싱글입니다. 한 집에서 숫자의 남은 칸이 하나면 히든 싱글입니다.

믿을 수 있는 후보 작업 흐름

  1. 메모를 더하기 전에 직접 싱글을 채웁니다. 붐비는 박스, 행, 열을 먼저 훑습니다. 확정된 숫자마다 나중에 필요한 후보 작업이 줄어듭니다.
  2. 세 제약을 모두 확인합니다. 빈 칸마다 그 행, 열, 3×3 박스에 이미 있는 숫자를 지웁니다. 세 확인을 모두 견딘 숫자만 후보로 남습니다.
  3. 짝을 즉시 갱신합니다. 숫자를 놓은 뒤 새 패턴을 찾기 전에 같은 행, 열, 박스의 미해결 짝에서 그 후보를 지웁니다.
  4. 제한된 그룹을 찾습니다. 한 집 안에서 후보 목록을 비교합니다. 같은 두 숫자 칸, 두 위치로 제한된 숫자, 박스-줄 정렬이 추가 제외를 뒷받침합니다.
  5. 변화마다 싱글로 돌아갑니다. 작은 삭제가 칸이나 숫자를 한 위치로 남길 수 있습니다. 더 복잡한 기법으로 올리기 전에 그 쉬운 결과를 모읍니다.
7
놓은 7의 모든 짝에서 후보 7을 지우고, 마지막 대안을 잃은 칸이 싱글이 됩니다.

실전 예제: r5c6을 후보 하나로 줄이기

5행에 빠진 숫자가 {2,4,7}이라고 합시다. r5c6은 이미 2가 있는 열을 공유하고, 그 3×3 박스에는 이미 7이 있습니다. 그 두 제약이 2와 7을 지워 4만 남깁니다.

  1. 행에서 시작합니다. 5행에 빠진 숫자만 나열합니다. 2, 4, 7. 행에 이미 있는 숫자는 초기 후보 집합에 속하지 않습니다.
  2. 열 제약을 적용합니다. 6열에 이미 놓은 2가 있으므로 r5c6에서 2를 지웁니다. 칸의 후보는 이제 {4,7}입니다.
  3. 박스 제약을 적용합니다. 가운데 오른쪽 박스에 이미 7이 있으므로 r5c6은 7이 될 수 없습니다. 후보 4만 남은 합법 값입니다.
  4. 놓고 전파합니다. r5c6에 4를 쓰고 짝에서 후보 4를 지운 뒤 5행, 6열, 박스를 다시 훑어 새로 생긴 싱글을 찾습니다.

후보에서 흔한 실수

제외 대신 추가하기

모든 칸에 1–9를 복사하고 패턴이 나오기를 바라지 마세요. 빠진 숫자부터 시작해 세 제약이 금하는 것을 지웁니다.

낡은 메모 남기기

지웠어야 할 후보는 가짜 페어를 만들거나 진짜 싱글을 숨길 수 있습니다. 후보 유지는 모든 배치의 일부입니다.

규칙을 말하지 않고 지우기

가능성 없어 보이는 후보도 아직 가능합니다. 지우기 전에 제외를 증명하는 놓은 짝 또는 패턴을 특정합니다.

후보 제외 체크리스트

  • 빈 칸 하나에 대해 행의 빠진 숫자를 말한 뒤 열과 박스의 충돌을 지웁니다.
  • 배치마다 다른 곳으로 가기 전에 영향받은 행, 열, 박스를 쓸어 봅니다.
  • 후보가 둘인 칸과 위치가 둘인 숫자를 동그라미치되, 패턴을 주장하기 전에 집 전체를 검증합니다.
  • 가능성은 메모 모드에, 큰 숫자는 논리로 강제된 값에만 씁니다.

후보 제외는 별도의 고급 트릭이 아닙니다. 거의 모든 기법 아래의 장부 층입니다. 클래식 보통에서 연습하세요. 정직한 가능성만 쓰고, 모든 짝을 갱신하고, 삭제마다 설명합니다. 메모를 믿을 수 있으면 페어, 잠금, 피시 패턴이 신비가 아니라 보이게 됩니다. 추론이 실패하면 지운 후보를 되돌리고 그것을 뒷받침했어야 할 정확한 행, 열, 박스를 감사합니다.

후보 제외 FAQ

모든 빈 칸에 후보 메모가 있어야 하나요?

모든 퍼즐에서 그렇지는 않습니다. 쉬움과 보통에서는 선택 메모로 충분한 경우가 많고, 어려움·전문가·마스터에서는 완전한 메모가 고급 패턴 검증을 돕습니다.

어려운 국면으로 이어진다는 이유로 후보를 지워도 되나요?

안 됩니다. 난이도는 모순이 아닙니다. 스도쿠 제약이나 유효한 논리 패턴이 불가능을 증명할 때만 지웁니다.

후보와 추측의 차이는 무엇인가요?

후보는 아직 가능한 값의 기록입니다. 추측은 증명 없이 한 가능성에 확정합니다. 정확한 메모가 그 구분을 보이게 유지합니다.

메모를 갱신하니 페어가 사라진 이유는?

낡은 후보로 만들어졌거나 갱신이 한쪽 구성원을 풀었을 수 있습니다. 옛 패턴을 보존하지 말고 현재 목록을 다시 확인합니다.

제외 뒤에 무엇을 훑어야 하나요?

영향받은 칸과 집에서 시작합니다. 넓은 판을 찾기 전에 네이키드 싱글, 히든 싱글, 짧은 후보 그룹을 봅니다.

관련 글