WXYZ-윙

이미 이 내용을 읽었다면 WXYZ-Wing이 훨씬 쉬워질 것입니다.
XY-Wing / XYZ-Wing

---

1. 개요

WXYZ-Wing은 기본적으로 XY-Wing / XYZ-Wing의 "더 큰" 버전입니다. 우리는 작은 구조를 사용하여 명확한 모순을 강제한 다음 후보를 제거합니다.

보드에서는 일반적으로 작은 색상의 클러스터(파란색 허브 셀 + 노란색 날개 셀)처럼 보입니다.

• 이 클러스터의 모든 후보는 4자리(예: {1,4,7,9})로 제한됩니다.
• 빨간색 후보 d가 참이라고 가정하면 클러스터의 다른 위치에서 d가 제거됩니다.
• 그러면 클러스터에는 4개 셀을 채울 수 있는 3자리만 남습니다.
  • ⇒ 적어도 하나의 셀에 유효한 값이 없음(모순)

따라서 빨간색 후보 d는 제거될 수 있습니다.

---

2. 연습

이미지에서 파란색은 허브 셀, 노란색은 날개, 빨간색은 제거입니다.
두 개의 적혈구(r4c2 및 r4c3)에서 후보 4를 제거합니다.

빨간색 4를 제거할 수 있는 이유는 무엇입니까? 짧은 모순이면 충분합니다.

• 빨간색 후보 4가 참이라고 가정합니다.
• 그런 다음 노란색 날개에서 충돌하는 4를 제거해야 합니다.
• 날개는 1, 7, 9에만 배포되도록 강제됩니다(해당 숫자는 이미지에서 이미 강조 표시되어 있습니다).
• 하지만 파란색 허브 셀에는 1, 7만 사용할 수 있습니다.
  날개가 허브에 대해 1, 7, 9를 "사용/차단"하면 허브 셀에는 유효한 값이 남지 않습니다(모순).

따라서 가정은 불가능합니다. 빨간색 후보 4는 제거될 수 있습니다.

---

3. 예시

여기에 두 가지 WXYZ-Wing 예가 더 있습니다. 파란색 허브 / 노란색 날개 / 빨간색 제거 등 구조를 간단하게 비교할 수 있습니다.

---

4. WXYZ-Wing을 찾는 방법

한 문장에서: 4자리로 제한된 파란색/노란색 클러스터를 찾은 다음 빠른 모순으로 빨간색 후보를 테스트합니다. 클러스터가 값이 없는 일부 셀을 남기게 하면 제거할 수 있습니다.

실제로:

1. 세포가 국소적으로 서로를 볼 수 있는 작은 색상의 클러스터(파란색 + 노란색)를 찾습니다.
2. 해당 클러스터의 모든 후보가 4자리로 제한되어 있는지 확인
3. 빨간색 후보를 보십시오. 그것이 참이라고 가정하고 숫자를 "밀어내고" 일부 컬러 셀에 값이 없게 하면 제거가 이루어집니다.
4. 그것을 제거하십시오