AIC (표준 체인)

전제조건: Chain basics

---

1. 개요

AIC(Alternating Inference Chain)는 "가장 일반적인" 종류의 체인입니다.

• X-체인(행/열/상자의 단일 숫자 강력한 링크) 및 XY-체인(또는 이중 값 셀 내부)의 빌딩 블록을 혼합할 수 있습니다.
• 체인이 계속 강함/약함을 번갈아 가며 유지되는 한 추론은 전파될 수 있습니다.

가장 일반적으로 사용되는 것은 제거입니다.
AIC가 두 개의 엔드포인트가 둘 다 거짓일 수 없음을 암시하는 경우 두 엔드포인트 모두 거짓이 되는 후보는 참일 수 없으므로 제거할 수 있습니다.

---

2. 연습

이미지에서:

• 두 끝점은 r7c7의 후보 6 및 r4c7의 후보 7(파란색)입니다.
• 제거는 r7c7의 후보 7(빨간색)입니다.
• r7c7은 끝점이자 제거 셀이기 때문에 빨간색 배경으로 강조 표시합니다.

r7c7에서7을 제거할 수 있는 이유는 무엇입니까? 짧은 모순이면 충분합니다.

1. 주요 사실: 강하고 약한 체인이 교대로 반복되는 경우, 한 끝점이 거짓이면 추론이 전파되어 결국 다른 끝점이 참이 됩니다.
   따라서 두 끝점은 둘 다 거짓일 수 없습니다(적어도 하나는 참이어야 합니다).

2. 이제 빨간색 후보 r7c7 = 7이 참이라고 가정합니다.

   • 동일한 셀 ⇒ r7c7의 후보 6은 거짓입니다
   • 동일한 열 ⇒ r4c7의 후보 7은 거짓입니다

3. 이는 두 끝점을 모두 거짓으로 만들어 1단계와 모순됩니다.

따라서 가정은 불가능합니다. r7c7의 후보 7은 제거될 수 있습니다.

---

3. 예시

여기에 두 가지 AIC 예가 더 있습니다. 먼저 패턴을 찾아보세요.

• 파란색 끝점
• 강한/약한 링크를 교대로 사용
• 두 엔드포인트와 충돌하는 빨간색 후보

---

4. AIC를 찾는 방법

한 문장에서: 강한 링크 세그먼트와 이중값 세그먼트를 교대 체인으로 연결한 다음 두 끝점을 모두 거짓으로 만드는 후보를 찾습니다.

실용적인 체크리스트:

1. 강력한 링크 소스 찾기(녹색 실선):
   • 숫자는 행/열/상자에 정확히 두 개의 후보가 있습니다(공액 쌍).
   • 또는 이중 값 셀은 셀 내부에 "X 또는 Y"의 강력한 링크를 제공합니다.
2. 약한 링크(노란색 점선)로 연결합니다.
   • 같은 숫자 충돌(같은 행/열/상자)
   • 같은 셀에 다른 숫자가 있는 경우
3. 강약약 교대 패턴 유지
4. 빨간색 제거를 찾습니다: 두 가지 엔드포인트와 충돌하는 후보