성립하는 이유
제한된 공통 후보로 이어진 두 개의 거의 잠긴 집합은 그들이 공유하는 또 다른 후보를 그중 적어도 하나에 들어가도록 강제하므로, 그 후보는 두 집합 밖에서 두 집합에 걸친 그 후보의 모든 위치를 보는 칸에서 제거할 수 있습니다.
찾는 방법
어려운 부분은 집합을 알아보는 것이지 논리 자체가 아닙니다.
- ALS는 한 유닛에 있는 칸들의 묶음으로, 후보가 칸 수보다 하나 더 많으면 됩니다. 이값 셀 하나도 가장 작은 ALS입니다.
- 두 집합, 공유 후보 두 개. X는 제한되어야 합니다. 즉 한쪽의 모든 X가 다른 쪽의 모든 X를 봐야 합니다. Z는 그렇지 않아야 합니다.
- 두 집합 밖에서 양쪽의 모든 Z를 보는 칸에서 Z를 지우세요.
선행 기법
풀이 예시
이것은 앱의 실제 레슨 보드입니다. 힌트와 같은 방식으로 한 단계씩 살펴보세요.
- 1
첫 번째 집합 을 보세요. 이 2개의 칸은 모두 같은 행, 열 또는 박스 안에 있으며 이들 전체에 걸쳐 3개의 서로 다른 후보가 있어, 칸 수보다 하나 많습니다. 이것을 거의 잠긴 집합(ALS)이라고 합니다.
- 2
이제 두 번째 집합 을 보세요. 이 3개의 칸도 모두 같은 행, 열 또는 박스 안에 있으며 이들 전체에 걸쳐 4개의 서로 다른 후보가 있어, 칸 수보다 하나 많으므로 역시 ALS를 형성합니다. 두 집합은 후보 3를 제한된 공통 후보(RCC)로 공유합니다. 한 집합에서 후보 3를 가진 모든 칸이 다른 집합에서 후보 3를 가진 모든 칸을 보므로, 숫자 3는 두 집합 중 많아야 하나에만 놓일 수 있으며 두 집합 모두에 놓일 수는 없습니다.
- 3
두 집합 모두 5를 후보로 가집니다. 숫자 3는 많아야 한 집합에만 놓일 수 있으므로, 적어도 한 집합은 3를 쓰지 않습니다. 3를 쓰지 않는 집합은 칸 수만큼의 서로 다른 후보가 남으므로, 5를 포함해 그 후보 각각을 집합 안 어딘가에 반드시 놓아야 합니다. 따라서 5는 두 집합 중 적어도 하나에 놓이며, 두 집합 밖에서 두 집합에 걸친 후보 5의 모든 위치를 보는 칸에서 후보 5를 제거할 수 있습니다. 여기서 X는 3이고 Z는 5입니다.