유일한 해
잘 만든 노노그램에는 답이 정확히 하나 있고, 바로 그 하나의 사실이 퍼즐을 공정하게 만듭니다. 그것이 모든 칸을 논리로 풀 수 있는 이유이며, 찍기가 결코 필요하지 않은 이유입니다. 이 가이드는 유일한 해가 정말 무엇을 뜻하는지 설명하고, 퍼즐에 그것이 없을 때 무슨 일이 생기는지, 그리고 우리가 우리 퍼즐이 항상 그렇도록 어떻게 보장하는지를 보여 줍니다.
한 그림, 오직 하나
노노그램의 힌트는 그림을 묘사하지만, 모든 힌트 조합이 정확히 하나의 그림을 묘사하지는 않습니다. 「유일한 해」란 모든 행과 열의 힌트가 동시에 충족되도록 격자를 채우는 방법이 정확히 하나뿐임을 뜻합니다 — 더도 덜도 아닙니다. 그것이 제대로 된 퍼즐이 지녀야 할 성질입니다.
그것이 성립할 때, 푸는 것은 순수한 연역입니다. 매 단계마다 상태가 강제되는 칸이 있고, 그 강제된 칸을 따라가면 유일무이한 답에 이릅니다.
모호함은 어떻게 생겼는가
이 규칙을 깨는 가장 작은 퍼즐은 모든 행과 모든 열의 힌트가 1인 2×2 격자입니다. 그것은 완전히 다른 두 그림 — 아래의 두 대각선 — 으로 충족됩니다. 둘 다 같은 힌트에 대한 완벽히 유효한 답이므로, 어느 것이 「옳은지」 알 방법이 없습니다.
그것이 모호한 퍼즐이고, 불공정합니다. 흠 없는 논리를 따르는 해결자가 어느 그림에도 도달할 수 있기 때문입니다. 이런 퍼즐은 찍지 않고는 풀 수 없습니다 — 바로 그래서 해가 둘 이상인 퍼즐은 게시되어서는 안 됩니다.
이것이 당신이 결코 찍을 필요가 없는 이유입니다
유일성과 찍지 않음은 같은 동전의 양면입니다. 퍼즐에 해가 하나 있는데 찍어야 할 것 같은 지점에 이르렀다면, 그것은 아직 발견하지 못한 연역이 존재한다는 뜻이지 퍼즐이 막혔다는 뜻이 아닙니다. 강제되는 칸은 언제나 판 어딘가에 있습니다. 그러니 잘 만든 퍼즐에서 찍고 싶은 유혹이 들 때, 생산적인 수는 도박 없이 풀리는 줄을 계속 찾는 것입니다.
여기의 모든 퍼즐이 어떻게 검사되는가
우리는 유일성을 그대로 믿지 않습니다. 퍼즐이 게시되기 전에 해결기가 그것을 훑어 해가 정확히 하나임을 확인합니다 — 해가 없는 것(모순된 힌트)이나 둘 이상인 것(모호함)은 즉시 거부됩니다. 그것은 우리가 퍼즐을 만드는 방식에서 가장 중요한 단 하나의 관문이며, 「우리가 노노그램을 만드는 방법」 페이지에서 더 자세히 설명합니다. 당신에게 주는 결론: 이 사이트에서는 찍어야 할 것처럼 느껴져도 실은 그렇지 않습니다 — 답은 언제나 논리로 도달할 수 있습니다.
