Nishio는 신중한 “만약에?”예요. 한 후보를 참이라고 놓고 강제되는 결과만 따라가요(무작정 추측하지 않아요). 그 세계가 규칙을 깨면, 시험한 후보는 거짓이었던 거예요.
이것은 귀류법이에요. 무작위 추측이 아니라 여전히 논리예요.
왜 성립할까요
스도쿠는 절대 모순을 허용하지 않아요. 어떤 칸에 숫자 D를 가정했더니 한 영역에 같은 숫자가 두 개 생기거나, 어떤 칸의 후보가 모두 사라진다면, D는 거기에 들어갈 수 없어요.
시험 중에는 강제된 수만 받아들여요. 코치는 포싱 체인 검증(패턴 증명)과 무작정 추측을 구분해요. Nishio는 그 신중한 버전이에요.
찾는 방법
시험 세계에서는 강제된 수만 따라가세요. 무작정 추측은 금물이에요. 세계가 깨지면 시험한 후보는 거짓이에요.
시연
더 간단한 패턴이 막히면, 유망한 후보를 하나 골라 물어보세요. 이게 참이라면?
강제된 배치와 소거만 따라가세요. 여기서 1에 대해 시험해 보면 모순이 나와요. 이것이 Nishio예요.
올바른 스도쿠는 그런 깨진 세계에 도달할 수 없어요. 그러니 시험한 후보는 참일 수 없어요.
불가능한 후보를 지우세요(빨간색) (여기서는 1).
예제 1
후보 하나를 시험하고 포싱 체인을 따라가세요(강제된 수만).
Nishio로 보면 여기서 6은(는) 참일 수 없어요. 모순으로 터져 버려요.
모순이 난 후보를 지우세요(빨간색) (여기서는 6). 그 시험 세계는 규칙에 어긋났어요.
예제 2
후보 하나를 시험하고 포싱 체인을 따라가세요(강제된 수만).
Nishio로 보면 여기서 7은(는) 참일 수 없어요. 모순으로 터져 버려요.
모순이 난 후보를 지우세요(빨간색) (여기서는 7). 그 시험 세계는 규칙에 어긋났어요.