7-4. X-체인
X-체인(X-Chain)은 한 번에 하나의 숫자만 고려하는 AIC(교대 추론 체인)입니다.
따라서 X-체인은 강한 링크로 시작해서 강한 링크로 끝나며, 강한 링크와 약한 링크가 번갈아 나타나는 체인입니다.
이러한 X-체인의 양쪽 끝 중 하나는 항상 참(정답)이 되므로, 우리는 양쪽 끝을 모두 바라보는(영향을 받는) 모든 후보 숫자 [빨간색]을 제거할 수 있습니다.
이 예시에서 이것들이 우리 체인의 두 끝점입니다.
만약 한쪽 끝이 거짓이라고 가정한다면, 다른 쪽 끝은 참이 되는 결과로 이어집니다.
직접 확인해 보실 수 있습니다.
이 셀에서 시작하여 화살표 방향을 따라 체인을 따라가 보세요. [주황색 7]이 거짓이라고 가정하고 시작해 봅니다. 그러면 모든 [초록색] 후보 숫자는 참이 되고, 모든 [주황색] 후보 숫자는 거짓이 되는 것을 볼 수 있습니다.
체인 반대편 끝에 있는 [초록색 7]은 참이 될 것입니다.
체인을 거꾸로(반대편 끝에서 거짓으로 시작하여 현재 시작점에서 끝남) 거슬러 올라가도 체인의 끝은 참이 됩니다.
따라서 체인의 양 끝 중 하나는 항상 참이 되며, [빨간색 7]은 절대 존재할 수 없으므로 이를 확실하게 제거합니다.
가장 짧은 X-체인 (Shortest X-Chains)
우리는 이미 전에 여러 가지 X-체인을 접한 적이 있습니다:
- 스카이스크래퍼 (Skyscrapers)
- 투-스트링 카이트 (Two-String-Kites)
- 크레인 (Cranes)

이들은 모두 같은 방식으로 만들어집니다: 강한 링크 - 약한 링크 - 강한 링크. 이들은 기본적으로 만들 수 있는 가장 짧은 형태의 X-체인입니다.
X-체인을 찾는 방법 (How to find X-Chains)
먼저, 우리는 단 하나의 숫자만 고려하고 있으므로 후보 숫자 강조(highlighting) 기능을 켜는 것이 엄청난 도움이 될 것입니다.
스도쿠에서 강한 링크는 약한 링크보다 훨씬 드물기 때문에, 강한 링크가 어디 있는지 먼저 찾은 다음 약한 링크를 사용하여 그것들을 연결하려고 시도하는 것이 가장 좋습니다.
지금까지 우리가 알고 있는 유일한 강한 링크는 바이-밸류(bi-values)와 바이-로컬(bi-locals)에서 나오는 것뿐입니다.
바이-밸류는 다른 숫자들과 연관되어 있으므로 여기서는 사용하지 않습니다. 우리는 오직 하나의 숫자에만 집중하고 있습니다.
따라서 우리는 바이-로컬이 어디에 있는지 살펴봅니다. 바이-로컬은 한 영역(region)에 정확히 두 번 나타나는 후보 숫자를 말합니다.
여기 사용 가능한 바이-로컬들의 모든 강한 링크가 있습니다.
이제 다음 단계는 약한 링크를 사용하여 그것들을 연결해 보는 것입니다. 약한 링크는 단순히 셀들이 서로를 바라본다(영향을 미친다)는 것을 의미합니다.
이 두 셀은 서로를 바라보고 있으므로, 여기에 약한 링크를 그릴 수 있습니다.
강한 링크들의 왼쪽 무리는 그 자체만으로는 아무것도 제거할 수 없다는 것을 알 수 있습니다. 따라서 우리가 그려 넣은 약한 링크가 최종 체인에서 어떤 역할을 할 것임을 짐작할 수 있습니다.
체인은 항상 강한 링크와 약한 링크가 번갈아 나타나야 하므로, 이 약한 링크는 우리에게 약한 링크가 더 있어야 할 위치를 알려줍니다.
바이-로컬은 항상 약하게도 연결되어 있고 강하게도 연결되어 있다는 점에 유의하세요. 따라서 우리는 그 강한 링크 중 일부를 약한 링크로 쉽게 바꿀 수 있습니다.
링크가 번갈아 나타나야 한다는 점을 명심하면서, 우리는 후보 숫자 쌍을 하나씩 건너뛰며 약한 링크를 사용합니다.
일부 링크는 불가피하게 번갈아 나타나지 않게 배치될 것입니다. 이것들은 우리가 무시할 수 있는 링크입니다.
그것들을 없애면...
... 그리드가 조금 더 깔끔해질 것입니다.
자, 이 그리드 안에는 여전히 여러 개의 잠재적인 체인이 존재합니다. 잠재적인 시작점과 끝점은 다음과 같을 수 있습니다:

이 중 양쪽 끝이 실제로 제거 가능한 후보 숫자를 동시에 바라보는 체인은 단 하나뿐입니다.
바로 이 두 셀에서 시작하고 끝나는 체인입니다.
따라서 우리는 [빨간색 7]을 제거할 수 있는 유효한 X-체인을 찾았습니다.
강한 링크와 약한 링크는 선 대신 화살표로 그려지는 경우가 더 많습니다.
이는 더 복잡한 체인을 쉽게 따라갈 수 있게 해줍니다.
예시 (Examples)
[주황색] / [초록색] 체인
[빨간색] 제거할 수 있는 후보 숫자들

마무리 (Finished)
X-체인을 만들어 나가는 즐거움을 만끽하세요!