예제 격자 보기
Nishio는 후보 하나를 가정하고 강제되는 수를 따라가요. 어느 칸에도 가능한 숫자가 없거나 필요한 숫자의 자리가 사라지면 그 가정은 틀려요.
앱 예제로 살펴보기
C1의 후보 7을 살펴봐요. 우선 참이라고 가정만 해요. 미리보기의 다음 숫자들은 모두 이 가정에 의존해요.
강제되는 Naked Single과 Hidden Single만 따라가요. 칸에 가능한 숫자가 없거나 필요한 숫자의 자리가 없어지면 가정이 틀렸어요. 이후 미리보기는 모두 버려요.
가정으로만 C1 = 7이라고 두고 이어지는 싱글을 따라가요. 실제 격자는 바뀌지 않아요.
이 가정에서는 H1에 8만 가능해요. 이 Naked Single을 가정 격자에 입력했어요.
이 가정에서는 2행에서 8이 들어갈 곳이 D2뿐이에요. 이 Hidden Single을 가정 격자에 입력했어요.
이 가정에서는 2행에서 1이 들어갈 곳이 F2뿐이에요. 이 Hidden Single을 가정 격자에 입력했어요.
이 가정에서는 2행에서 5이 들어갈 곳이 E2뿐이에요. 이 Hidden Single을 가정 격자에 입력했어요.
이 가정에서는 E9에 6만 가능해요. 이 Naked Single을 가정 격자에 입력했어요.
이 가정에서는 E8에 7만 가능해요. 이 Naked Single을 가정 격자에 입력했어요.
7행에 필요한 7이 들어갈 자리가 없어졌어요. 모순이므로 처음 가정이 틀렸어요.
바뀌지 않은 원래 격자로 돌아가요. 가정 실험을 통해 이 메모를 제외할 수 있어요: C1: 7. 실제 격자에서는 이 메모만 바뀌어요.
이미지는 이 단계에 필요한 후보를 보여 줘요. 보이지 않는 메모가 논리적으로 제거되었다는 뜻은 아니에요.
레슨에서 이어서 연습해요
Unisu에서는 Naked Single과 Hidden Single만 따라가요. 이후 원래 격자로 돌아와 반박된 후보만 지워요.
앱의 해당 레슨에서 이유를 따라간 뒤 직접 적용해 보세요. 새 퍼즐에서는 그 격자의 실제 후보부터 다시 살펴봐야 해요.
Nishio에 관한 질문
Nishio에서는 무엇을 가정하나요?
후보 하나를 임시로 참이라고 놓아요. 이후 모든 수는 그 가정에 의존하며 실제 게임 상태를 바꾸지 않아요.
무엇을 모순이라고 하나요?
후보가 없어진 칸이나 필요한 숫자가 들어갈 곳이 없는 범위 등이에요. 이때 시작 가정이 반박돼요.
다음 Single이 없으면 분기가 반박되나요?
아니요. 막힌 것은 모순과 달라요. 실제 모순이 없으면 가정한 후보를 지울 수 없어요.
마지막에 무엇을 반영할 수 있나요?
모순으로 반박된 시작 후보의 정당한 제거만 반영해요. 추론 중 임시로 넣은 숫자는 버려요.
Forcing Chain과 무엇이 다른가요?
Nishio는 한 가정을 반박해요. 여기서 설명한 Forcing Chain은 두 가능성의 공통 결론을 이용해요.
Unisu에서 더 연습해 보세요
iPhone이나 Android용 Unisu를 다운로드해 보세요. 퍼즐을 풀거나 단계별 레슨으로 기법을 연습할 수 있어요.
