SUDOKUDOCS
문서 목차
7. 고급 공식

7-4. X-체인


x-chain X-체인(X-Chain)은 한 번에 하나의 숫자만 고려하는 AIC(교대 추론 체인)입니다. 따라서 X-체인은 강한 링크로 시작해서 강한 링크로 끝나며, 강한 링크와 약한 링크가 번갈아 나타나는 체인입니다. 이러한 X-체인의 양쪽 끝 중 하나는 항상 참(정답)이 되므로, 우리는 양쪽 끝을 모두 바라보는(영향을 받는) 모든 후보 숫자 [빨간색]을 제거할 수 있습니다.

x-chain 이 예시에서 이것들이 우리 체인의 두 끝점입니다. 만약 한쪽 끝이 거짓이라고 가정한다면, 다른 쪽 끝은 참이 되는 결과로 이어집니다.

x-chain 직접 확인해 보실 수 있습니다. 이 셀에서 시작하여 화살표 방향을 따라 체인을 따라가 보세요. [주황색 7]이 거짓이라고 가정하고 시작해 봅니다. 그러면 모든 [초록색] 후보 숫자는 참이 되고, 모든 [주황색] 후보 숫자는 거짓이 되는 것을 볼 수 있습니다. 체인 반대편 끝에 있는 [초록색 7]은 참이 될 것입니다. 체인을 거꾸로(반대편 끝에서 거짓으로 시작하여 현재 시작점에서 끝남) 거슬러 올라가도 체인의 끝은 참이 됩니다.

x-chain 따라서 체인의 양 끝 중 하나는 항상 참이 되며, [빨간색 7]은 절대 존재할 수 없으므로 이를 확실하게 제거합니다.

가장 짧은 X-체인 (Shortest X-Chains)

우리는 이미 전에 여러 가지 X-체인을 접한 적이 있습니다:

  • 스카이스크래퍼 (Skyscrapers)
  • 투-스트링 카이트 (Two-String-Kites)
  • 크레인 (Cranes)

x-chain x-chain x-chain

이들은 모두 같은 방식으로 만들어집니다: 강한 링크 - 약한 링크 - 강한 링크. 이들은 기본적으로 만들 수 있는 가장 짧은 형태의 X-체인입니다.

X-체인을 찾는 방법 (How to find X-Chains)

x-chain 먼저, 우리는 단 하나의 숫자만 고려하고 있으므로 후보 숫자 강조(highlighting) 기능을 켜는 것이 엄청난 도움이 될 것입니다. 스도쿠에서 강한 링크는 약한 링크보다 훨씬 드물기 때문에, 강한 링크가 어디 있는지 먼저 찾은 다음 약한 링크를 사용하여 그것들을 연결하려고 시도하는 것이 가장 좋습니다.

x-chain 지금까지 우리가 알고 있는 유일한 강한 링크는 바이-밸류(bi-values)와 바이-로컬(bi-locals)에서 나오는 것뿐입니다. 바이-밸류는 다른 숫자들과 연관되어 있으므로 여기서는 사용하지 않습니다. 우리는 오직 하나의 숫자에만 집중하고 있습니다. 따라서 우리는 바이-로컬이 어디에 있는지 살펴봅니다. 바이-로컬은 한 영역(region)에 정확히 두 번 나타나는 후보 숫자를 말합니다.

x-chain 여기 사용 가능한 바이-로컬들의 모든 강한 링크가 있습니다.

x-chain 이제 다음 단계는 약한 링크를 사용하여 그것들을 연결해 보는 것입니다. 약한 링크는 단순히 셀들이 서로를 바라본다(영향을 미친다)는 것을 의미합니다. 이 두 셀은 서로를 바라보고 있으므로, 여기에 약한 링크를 그릴 수 있습니다.

x-chain 강한 링크들의 왼쪽 무리는 그 자체만으로는 아무것도 제거할 수 없다는 것을 알 수 있습니다. 따라서 우리가 그려 넣은 약한 링크가 최종 체인에서 어떤 역할을 할 것임을 짐작할 수 있습니다.

x-chain 체인은 항상 강한 링크와 약한 링크가 번갈아 나타나야 하므로, 이 약한 링크는 우리에게 약한 링크가 더 있어야 할 위치를 알려줍니다. 바이-로컬은 항상 약하게도 연결되어 있고 강하게도 연결되어 있다는 점에 유의하세요. 따라서 우리는 그 강한 링크 중 일부를 약한 링크로 쉽게 바꿀 수 있습니다. 링크가 번갈아 나타나야 한다는 점을 명심하면서, 우리는 후보 숫자 쌍을 하나씩 건너뛰며 약한 링크를 사용합니다.

x-chain 일부 링크는 불가피하게 번갈아 나타나지 않게 배치될 것입니다. 이것들은 우리가 무시할 수 있는 링크입니다. 그것들을 없애면...

x-chain ... 그리드가 조금 더 깔끔해질 것입니다.

자, 이 그리드 안에는 여전히 여러 개의 잠재적인 체인이 존재합니다. 잠재적인 시작점과 끝점은 다음과 같을 수 있습니다:

x-chain x-chain x-chain x-chain x-chain

x-chain 이 중 양쪽 끝이 실제로 제거 가능한 후보 숫자를 동시에 바라보는 체인은 단 하나뿐입니다. 바로 이 두 셀에서 시작하고 끝나는 체인입니다.

x-chain 따라서 우리는 [빨간색 7]을 제거할 수 있는 유효한 X-체인을 찾았습니다.

x-chain 강한 링크와 약한 링크는 선 대신 화살표로 그려지는 경우가 더 많습니다. 이는 더 복잡한 체인을 쉽게 따라갈 수 있게 해줍니다.

예시 (Examples)

[주황색] / [초록색] 체인

[빨간색] 제거할 수 있는 후보 숫자들

x-chain x-chain x-chain x-chain

마무리 (Finished)

x-chain X-체인을 만들어 나가는 즐거움을 만끽하세요!