네이키드 부분집합
네이키드 부분집합
수드쿠의 네이키드 서브셋이란?
네이키드 서브셋은 하나의 하우스(행, 열 또는 블록) 안에 있는 N개 셀의 후보 숫자를 합쳤을 때 정확히 N개의 서로 다른 숫자가 되는 그룹입니다. 그 N개의 숫자는 반드시 그 N개의 셀을 채워야 하므로, 같은 하우스의 다른 어떤 셀에도 나타날 수 없습니다. 따라서 나머지 셀에서 그 숫자들을 안전하게 제거할 수 있습니다.
"네이키드(벗은)"란 후보 숫자가 완전히 드러나 보인다는 뜻입니다. 다른 후보들 사이에 숨은 숫자를 찾을 필요가 없습니다. 서브셋은 그 셀들의 연필 표시를 통해 스스로 분명히 드러납니다.
네이키드 서브셋 기법은 가능한 그룹 크기마다 하나씩, 모두 네 가지가 있습니다.
- 누드 싱글(N=1) -- 후보가 하나인 셀
- 노출 쌍(N=2) -- 후보를 합치면 정확히 두 숫자가 되는 두 셀
- 노출 트리플(N=3) -- 후보를 합치면 정확히 세 숫자가 되는 세 셀
- 누드 쿼드(N=4) -- 후보를 합치면 정확히 네 숫자가 되는 네 셀
이 네 가지 기법은 하나의 계열을 이룹니다. 같은 근본 논리를 공유하며 관련된 셀 수만 다릅니다. 핵심 원리를 한 번 이해하면 더 큰 서브셋은 더 단순한 것의 자연스러운 확장이 됩니다.
핵심 원리: 네이키드 서브셋이 통하는 이유
네이키드 서브셋 뒤의 논리는 비둘기집 원리라고도 불리는 기본적인 세기 논증에 기초합니다. 쉽게 말해, N개의 자리와 그것을 채울 정확히 N개의 항목이 있다면 각 항목은 정확히 하나의 자리에 들어가고 다른 항목은 그 자리를 차지할 수 없습니다.
아홉 개의 셀이 있는 행을 생각해 봅시다. 풀리지 않은 각 셀에는 후보 숫자 집합이 있으며, 이는 그 셀에 아직 합법적으로 들어갈 수 있는 연필 표시입니다. 그 행에서 후보가 같은 두 자리 숫자 풀, 예를 들어 {4, 6}에서 나온 두 셀을 찾았다고 합시다. 그중 한 셀에는 4가, 다른 셀에는 6이 들어가야 합니다. 다른 배치는 있을 수 없습니다. 즉, 그 행의 다른 어떤 셀도 4나 6을 포함할 수 없습니다. 두 숫자 모두 그 두 셀로 완전히 설명되기 때문입니다.
같은 논리는 더 큰 규모로도 적용됩니다. 후보를 합쳐 정확히 세 숫자가 되는 세 셀은 그 세 숫자를 그 세 셀에 고정합니다. 후보를 합쳐 네 개가 되는 네 셀은 네 숫자 모두를 고정합니다. 모든 셀에서 고정된 숫자는 공유 하우스의 다른 모든 셀에서 제거할 수 있습니다.
이 원리는 하우스가 행이든, 열이든, 3x3 블록이든 똑같이 적용됩니다. 유일한 조건은 N개의 셀이 모두 같은 하우스에 속해야 한다는 것입니다.
누드 싱글: 수드쿠 해법의 기초
누드 싱글는 가장 단순한 네이키드 부분집합입니다. 셀의 연필 표시에 후보가 하나만 남았을 때 발생합니다. 그 셀에 합법적으로 들어갈 수 있는 숫자는 하나뿐이므로, 그 숫자가 셀의 해답입니다.
모든 수드쿠 풀이자는 인간이든 알고리즘이든 네이키드 싱글에 의존합니다. 이는 제거 연쇄의 마지막 단계입니다. 행, 열, 블록의 제약으로 불가능한 숫자가 모두 제거된 후, 마지막으로 남은 후보가 정답입니다.
누드 싱글를 찾으려면 각 셀의 연필 표시를 주의 깊게 추적해야 합니다. 셀는 최대 아홉 개의 후보로 시작합니다. 보드의 다른 곳에 숫자를 배치하면 후보가 제거됩니다.
- 같은 행 어디든 숫자가 배치되면, 셀의 후보에서 그 숫자를 제거합니다.
- 같은 열 어디든 숫자가 배치되면, 셀의 후보에서 그 숫자를 제거합니다.
- 같은 3x3 블록 어디든 숫자가 배치되면, 셀의 후보에서 그 숫자를 제거합니다.
이러한 제거로 셀가 하나의 후보로 줄어들면, 누드 싱글를 찾은 것입니다.
부분적으로 풀린 퍼즐의 셀 R5C3을 생각해 보세요. 행, 열, 블록의 제약으로 다음 숫자들이 제거됩니다.
- 행 5에는 이미 1, 3, 5, 8이 있습니다
- 열 3에는 이미 2, 6, 9가 있습니다
- 블록 4(중앙 왼쪽 블록)에는 이미 7이 있습니다
이를 합치면 숫자 1, 2, 3, 5, 6, 7, 8, 9가 모두 제거됩니다. 남은 후보는 4뿐입니다. 셀 R5C3은 4여야 합니다. 이것이 누드 싱글입니다.
네이키드 싱글은 매 수를 둔 후 가장 먼저 확인해야 할 사항입니다. 숫자를 배치할 때마다 인접한 셀이 하나의 후보로 줄어들 수 있습니다. 쉬운 퍼즐에서는 네이키드 싱글의 연쇄만으로 다른 기법 없이 보드의 많은 부분을 풀 수 있습니다. 어려운 퍼즐에서도 네이키드 싱글은 더 고급 기법으로 후보를 제거한 후 보드를 정리합니다.
노출 쌍: 두 셀, 두 후보, 강력한 제거
같은 하우스 안의 두 셀이 정확히 같은 두 개의 후보만을 포함하고 다른 후보가 없을 때 노출 쌍가 발생합니다. 그 두 숫자는 반드시 그 두 셀에 들어가야 하므로, 해당 하우스의 다른 모든 셀에서 두 숫자를 모두 제거할 수 있습니다.
네이키드 페어는 가장 흔히 사용되는 중급 수드쿠 전략 중 하나입니다. 자주 나타나며 다른 기법을 막는 후보를 제거하여 종종 큰 진전을 이끌어냅니다.
1행의 두 셀이 모두 후보 {4, 6}만을 포함한다고 가정합니다:
- R1C2의 후보: {4, 6}
- R1C7의 후보: {4, 6}
이 셀 중 하나는 4가 되고 다른 하나는 6이 됩니다. 어느 쪽이 어느 것인지는 아직 모르지만, 4와 6이 이 두 셀에 완전히 소비된다는 것은 확실합니다. 따라서 1행의 다른 어떤 셀도 4나 6을 포함할 수 없습니다.
R1C4의 후보가 {3, 4, 6, 9}라면 4와 6을 제거하여 {3, 9}로 줄일 수 있습니다. R1C8의 후보가 {2, 6}이라면 {2}로 줄일 수 있습니다. 단일 후보로의 이 축소는 그 자체로 누드 싱글이며, 셀를 즉시 해결합니다.
각 하우스를 훑어 후보가 정확히 두 개인 셀을 찾으세요. 같은 하우스에서 동일한 두 후보 집합을 가진 두 셀을 찾으면 그것이 노출 쌍입니다. 연필 표시가 두 개뿐인 셀은 시각적으로 눈에 띄므로, 네이키드 페어는 가장 찾기 쉬운 중급 기법 중 하나입니다.
유용한 습관: 후보가 두 개뿐인 셀를 발견하면, 즉시 같은 행, 열, 블록의 다른 셀가 같은 페어를 공유하는지 확인하세요.
노출 트리플: 세 개의 셀, 세 개의 후보, 미묘한 반전
노출 트리플는 같은 하우스에 있는 세 칸의 후보가 정확히 세 개의 숫자로 이루어진 동일한 풀에서만 나올 때 발생합니다. 세 칸 전체의 모든 후보를 합친 집합에는 정확히 세 개의 서로 다른 숫자가 포함됩니다.
많은 풀이자를 방심하게 만드는 핵심 통찰은 이것입니다. 각각의 셀가 반드시 세 숫자를 모두 포함할 필요는 없습니다. 유효한 노출 트리플에는 세 숫자 중 두 개만 가진 칸이 포함될 수 있습니다. 중요한 것은 세 칸 전체의 모든 후보의 합집합이 정확히 세 개의 서로 다른 값이 된다는 점입니다.
많은 플레이어는 먼저 네이키드 페어를 배우고 나서 네이키드 트리플은 세 칸 각각이 동일한 세 후보(예: 세 칸 모두 {1, 3, 7})를 포함해야 한다고 가정합니다. 그것은 노출 트리플의 유효한 한 형태이지만, 유일한 형태도 아니고 가장 흔한 형태도 아닙니다.
5열에 있는 다음 세 칸을 생각해 보세요.
- R2C5: {1, 3}
- R4C5: {1, 7}
- R8C5: {3, 7}
합친 후보는 {1, 3, 7}이며, 이는 세 칸에 정확히 세 숫자가 있음을 의미합니다. 어떤 단일 셀도 세 숫자를 모두 포함하지 않지만, 이것은 유효한 노출 트리플입니다.
논리는 네이키드 페어와 같습니다. 이 세 숫자는 어떤 순서로든 이 세 칸을 채워야 합니다. 하나의 셀는 1을, 하나는 3을, 하나는 7을 가집니다. 따라서 1, 3, 7은 5열의 다른 모든 셀에서 제거할 수 있습니다.
먼저 후보가 두 개 또는 세 개인 칸을 찾으세요. 주어진 하우스에서 합친 후보가 정확히 세 숫자의 집합을 이루는 세 칸을 찾으면 노출 트리플가 있습니다.
실용적인 접근법:
1. 각 하우스에서 후보가 세 개 이하인 미해결 칸을 모두 나열합니다.
2. 그러한 칸 중 세 개의 조합을 아무거나 고릅니다.
3. 그 후보들의 합집합을 구합니다. 합집합이 정확히 세 숫자라면 노출 트리플입니다.
가능한 조합이 여러 개이므로 네이키드 트리플은 네이키드 페어보다 더 주의 깊은 스캔이 필요합니다. 이것이 이들을 더 높은 난이도의 기법으로 만드는 이유 중 하나입니다.
누드 쿼드: 네 칸, 네 후보, 최대 복잡성
누드 쿼드는 일반적으로 사용되는 네이키드 부분집합 중 가장 큰 것입니다. 이는 한 하우스의 네 칸이 정확히 네 개의 숫자로만 이루어진 동일한 후보 풀에서 후보를 가질 때 발생합니다. 트리플과 마찬가지로 개별 칸이 네 개의 숫자를 모두 포함할 필요는 없습니다. 중요한 조건은 네 칸 모두의 후보 합집합이 정확히 네 개의 서로 다른 값이 되는 것입니다.
논리는 더 작은 네이키드 부분집합과 동일합니다. 네 개의 숫자가 네 칸을 채워야 합니다. 그 숫자들은 하우스의 다른 어디에도 나타날 수 없습니다.
네이키드 쿼드는 무심코 훑어보는 것으로는 거의 발견되지 않습니다. 네 칸과 네 숫자로는 확인해야 할 가능한 조합이 훨씬 많습니다. 미해결 칸이 여섯 개인 하우스에서는 그중 네 개를 고르는 방법이 15가지 있습니다. 각 조합을 머릿속으로 확인하는 것은 지루합니다.
네이키드 쿼드를 찾는 대부분의 풀이자는 체계적인 확인을 통하거나, 나머지 칸이 상보적인 히든 부분집합을 이룬다는 것을 먼저 알아차려서 찾습니다.
그 희귀함에도 불구하고 네이키드 쿼드는 실제 퍼즐, 특히 중급에서 고급 난이도로 평가된 퍼즐에 나타납니다. 이 기법을 레퍼토리에 갖추면 더 단순한 기법을 다 써버렸을 때 막히지 않습니다.
네이키드 부분집합 찾는 법: 실전 스캔 팁
네이키드 부분집합을 효율적으로 찾으려면 무작위 스캔이 아니라 체계적인 접근이 필요합니다. 숙련된 풀이자가 사용하는 기법은 다음과 같습니다.
후보 수가 적은 칸부터 시작하세요: 후보가 적은 칸일수록 네이키드 부분집합에 참여할 가능성이 높습니다. 후보가 두 개인 셀는 페어, 트리플, 쿼드의 일부가 될 수 있습니다. 후보가 다섯 개인 셀는 합집합에 숫자를 너무 많이 더하기 때문에 덜 유용합니다. 먼저 각 하우스에서 후보가 두 개인 칸을 찾으세요. 일치하는 페어를 확인하세요. 그런 다음 후보가 두세 개인 칸을 함께 살펴 트리플을 찾으세요.
하우스별로 작업하세요: 행, 열, 블록 하나를 골라 미해결 칸을 모두 함께 살펴보세요. 그 후보를 나열하세요. 후보가 작은 숫자 풀 안에서 겹치는 칸들의 무리를 찾으세요.
카운트 확인을 사용하세요: 네이키드 부분집합을 이룰 것 같은 N개의 칸 그룹에 대해, 합쳐진 후보에 있는 서로 다른 숫자를 세어보세요. 그 수가 N과 같으면 네이키드 부분집합을 찾은 것입니다. 수가 N을 넘으면 그 칸들은 네이키드 부분집합이 아닙니다.
제거할 때마다 확인하세요: 다른 기법이 셀에서 후보를 제거하면, 그 셀의 하우스를 다시 확인하세요. 그 제거로 인해 이전에는 보이지 않던 새로운 네이키드 부분집합이 생겼을 수 있습니다. 많은 네이키드 페어는 이전 제거의 부작용으로 나타납니다.
여집합을 찾으세요: 어떤 하우스에 K개의 미해결 칸이 있고 네이키드 부분집합이 있을 것 같지만 직접 찾을 수 없다면, 여집합을 살펴보세요. 크기 M의 히든 부분집합을 찾으면 자동으로 크기 K - M의 네이키드 부분집합이 함의됩니다.
네이키드 부분집합과 히든 부분집합의 관계
네이키드 서브셋과 히든 서브셋은 같은 동전의 양면입니다. 그 이중성을 이해하면 수드쿠 논리에 대한 이해가 깊어지고, 놓쳤을 수 있는 패턴을 찾는 데 도움이 됩니다.
히든 서브셋은 한 하우스의 N개 숫자가 N개의 특정 셀에만 나타날 때 발생합니다. 그 셀들에는 다른 후보도 들어 있을 수 있기 때문에 숫자가 "숨겨져" 있습니다. 제거는 그 N개 셀에서 여분의 후보를 없애고 숨겨진 숫자만 남깁니다.
미해결 셀이 K개인 하우스에서 크기 N의 네이키드 서브셋이 있으면 자동으로 크기 K - N의 히든 서브셋이 존재합니다. 두 서브셋은 상보적이며, 미해결 셀과 나머지 숫자를 겹치지 않는 두 그룹으로 나눕니다.
예를 들어, 미해결 셀이 6개인 행을 생각해 봅시다. 그중 두 셀이 노출 쌍을 이루면 나머지 네 셀은 숨겨진 쿼드을 이룹니다(또는 마찬가지로, 그 네 셀의 제외된 숫자들 사이에 누드 쿼드가 존재합니다). 둘 중 하나를 찾아 해당 제거를 적용할 수 있습니다.
이 이중성 덕분에 같은 제거로 가는 두 가지 경로가 있습니다. 하우스에 미해결 셀이 많으면 작은 네이키드 서브셋(페어나 트리플)이 큰 히든 서브셋보다 찾기 쉽습니다. 반대로 하우스에 미해결 셀이 적으면 숨겨진 쌍가 상보적인 누드 쿼드를 찾는 것보다 더 쉬울 수 있습니다.
숙련된 해결사는 주어진 상황에서 더 실용적인 쪽에 따라 네이키드와 히든 관점을 전환합니다. 양쪽을 모두 볼 수 있는 능력은 큰 이점을 줍니다.
난이도 진행: 초급에서 고급까지
네 가지 네이키드 부분집합 기법은 여러 난이도에 걸쳐 있으며, 그룹 크기가 커질수록 찾기가 얼마나 더 어려워지는지를 반영합니다:
누드 싱글(N=1): 레벨 2, 쉬움
노출 쌍(N=2): 레벨 3, 쉬움
노출 트리플(N=3): 레벨 4, 보통
누드 쿼드(N=4): 레벨 5, 어려움
난이도 상승은 모든 셀에서 동일한 논리 자체에 관한 것이 아니라 탐색 복잡성에 관한 것입니다:
누드 싱글: 셀 하나만 확인하면 됩니다. 후보가 하나 있으면 끝입니다. 조합 탐색은 필요하지 않습니다.
노출 쌍: 후보가 일치하는 두 셀을 찾아야 합니다. 미해결 셀이 여섯 개인 하우스에는 확인할 수 있는 쌍이 15개 있습니다. 하지만 정확히 동일한 후보 두 개를 가진 셀을 찾는 것이므로 시각적 패턴이 독특하고 알아보기 쉽습니다.
노출 트리플: 후보를 합치면 세 개의 숫자가 되는 세 셀을 찾아야 합니다. 미해결 셀이 여섯 개인 하우스에는 세 쌍 조합이 20개 있습니다. 셀이 동일한 후보 집합을 가질 필요는 없으므로 탐색이 더 어렵습니다.
누드 쿼드: 잠재적으로 많은 미해결 셀 중에서 네 개의 셀을 찾아야 합니다. 조합의 수가 늘어나고, 네 자리 합집합을 머릿속으로 계산하기가 더 어렵습니다. 대부분의 쿼드는 체계적인 후보 세기나 보완적인 숨겨진 쌍을 찾는 방식으로 간접적으로 발견됩니다.
퍼즐 난이도 평가는 흔히 퍼즐을 푸는 데 어떤 기법이 필요한지에 따라 달라집니다. 네이키드 싱글과 페어만으로 풀리는 퍼즐은 쉬움으로 평가됩니다. 네이키드 트리플이 필요한 퍼즐은 보통 영역에 들어갑니다. 누드 쿼드을 요구하는 퍼즐은 적어도 어려움에 해당합니다.
흔한 실수와 피하는 방법
실수 1: 모든 셀이 모든 숫자를 포함해야 한다고 기대하기
네이키드 트리플과 쿼드에서 가장 흔한 오류는 부분집합의 모든 셀가 N개의 숫자를 모두 포함해야 한다고 가정하는 것입니다. 이는 틀렸습니다. 셀이 {1,3}, {1,7}, {3,7}인 노출 트리플는 어떤 셀도 1, 3, 7을 모두 포함하지 않더라도 완벽하게 유효합니다.
피하는 방법: 개별 셀이 아니라 항상 후보의 합집합을 확인하세요. 그룹의 모든 셀에 걸쳐 서로 다른 숫자를 세세요. 그 개수가 셀의 개수와 같다면, 숫자가 개별 셀에 어떻게 분포되어 있든 네이키드 부분집합입니다.
실수 2: 네이키드 부분집합과 히든 부분집합 혼동하기
노출 쌍는 후보가 N개의 숫자로 제한된 N개의 셀을 가집니다. 숨겨진 쌍는 N개의 숫자가 N개의 셀로 제한되지만, 그 셀들은 추가 후보를 가질 수 있습니다.
노출 쌍에서는 하우스의 다른 셀에서 페어의 숫자를 제거합니다. 숨겨진 쌍에서는 페어 자신의 셀에서 페어가 아닌 숫자를 제거합니다.
피하는 방법: 스스로에게 물어보세요. "후보가 제한된 셀(네이키드)을 보고 있는가, 위치가 제한된 숫자(히든)를 보고 있는가?" 제한의 방향이 어떤 유형의 부분집합을 찾았는지 결정합니다.
실수 3: 잘못된 셀에서 제거하기
셀 R1C2와 R1C7에서 노출 쌍 {4, 6}을 찾으면, 행 1의 다른 셀에서 4와 6을 제거합니다. R1C2와 R1C7 자체에서 다른 후보를 제거하지는 않습니다. 노출 쌍의 후보는 부분집합 자신의 셀에서는 그대로 유지됩니다.
피하는 방법: 규칙을 기억하세요. 네이키드 부분집합은 부분집합 밖의 셀에서 그 숫자를 제거합니다. 히든 부분집합은 부분집합 안의 셀에서 부분집합이 아닌 숫자를 제거합니다.
실수 4: 모든 공유 하우스 확인을 잊기
두 셀은 하나 이상의 하우스를 공유할 수 있습니다. 예를 들어, R1C1과 R1C3은 행 1과 블록 1을 모두 공유합니다. 이들이 노출 쌍를 이루면, 행 1의 다른 셀과 블록 1의 다른 셀에서 페어의 숫자를 제거할 수 있습니다. 제거를 하나의 하우스로만 제한하지 마세요.
피하는 방법: 찾은 모든 네이키드 부분집합에 대해, 부분집합의 모든 셀이 어떤 하우스를 공유하는지 확인하세요. 공유하는 모든 하우스에서 제거를 적용하세요.
풀이 워크플로에서 네이키드 부분집합을 사용할 때
네이키드 부분집합은 작은 것부터 큰 것 순서로 확인해야 합니다:
1. 먼저 네이키드 싱글. 숫자를 놓을 때마다 새로운 네이키드 싱글이 있는지 살펴보세요. 이는 부담 없이 즉시 활용할 수 있습니다.
2. 두 번째로 네이키드 페어. 더 이상 네이키드 싱글이 없으면 모든 행, 열, 블록에서 네이키드 페어를 찾으세요. 가장 흔한 중급 기법이며 자주 추가적인 네이키드 싱글을 열어줍니다.
3. 세 번째로 네이키드 트리플. 페어로 충분하지 않으면 트리플로 탐색을 넓히세요. 여러 셀이 두세 개의 후보를 가진 하우스에 집중하세요.
4. 마지막으로 네이키드 쿼드. 더 작은 부분집합과 다른 기법을 모두 소진했을 때만 쿼드를 찾으세요. 그 어려움을 고려하면 숨은 페어나 트리플을 먼저 확인하는 것도 좋습니다. 찾기 더 쉽고 쌍대성 원리를 통해 같은 정보를 드러낼 수 있기 때문입니다.
이 순서를 따르면 가장 쉽고 가장 생산적인 기법을 먼저 적용하여 정말 필요할 때를 위해 정신적 노력을 아낄 수 있습니다.
요약
네이키드 부분집합은 하나의 우아한 원리로 통합된 네 가지 수드쿠 기법의 가족입니다: 하우스 안의 N개 셀이 정확히 N개의 후보를 합쳐 가지면 그 숫자들이 제자리에 고정되어, 하우스의 다른 모든 셀에서 그 숫자들을 제거할 수 있습니다.
셀를 단번에 푸는 소박한 누드 싱글부터, 후보를 쓸어내는 네이키드 페어와 트리플, 그리고 신중하고 체계적인 탐색을 요구하는 찾기 어려운 누드 쿼드에 이르기까지, 이 기법들은 논리적 수드쿠 풀이의 척추를 이룹니다. 이를 숙달하면 모든 난이도의 퍼즐에 적용할 수 있는 신뢰할 만한 도구를 얻게 되고, 숨은 부분집합, 피시 패턴, 체인 같은 더욱 고급 전략에 도전할 토대가 마련됩니다.