AIC(*Alternating Inference Chain*, 교대 추론 체인)는 강한 추론과 약한 추론으로 이루어진 유연한 체인이에요. 여러 숫자와 패턴 유형을 넘나들 수 있어요. X-Chain과 XY-Chain은 특별한 AIC이고, 이름 붙은 많은 패턴이 “그냥 짧은 AIC”예요.
먼저 배울 것: X-Chain, XY-Chain, 그리고 많은 윙/피시 결말이 특별한 AIC예요.
왜 성립할까요
강한 추론: A가 거짓이면 B는 참이에요. 약한 추론: A가 참이면 B는 거짓이에요.
끝에서 끝까지 번갈아 이으면 두 강한 끝점이 모두 거짓일 수는 없어요. 두 끝점을 모두 보는 것은 무엇이든 소거돼요. 같은 “어느 쪽이든 공격받는다” 개념인데, 더 많은 종류의 링크를 쓸 수 있어요.
찾는 방법
양 끝이 강한 체인이 좋아요. 이렇게 생각하세요. 이 끝이 거짓이면 → 다른 끝은 참.
시연
격자 전체에서 강한 추론과 약한 추론을 번갈아 따라가세요. 양 끝이 강한 게 좋아요.
초록색 칸들이 2이(가) 관련된 AIC를 그려요.
체인은 두 끝이 모두 거짓일 수 없음을 증명해요. 한 끝이 거짓이면 다른 끝은 참이어야 해요.
두 끝을 모두 보는 후보를 지우세요(빨간색) (여기서는 2).
예제 1
교대 추론 체인을 따라가 보세요.
이 AIC로 2을(를) 소거할 수 있어요.
표시된 후보를 지우세요(빨간색) (여기서는 2). 두 끝이 모두 거짓일 수 없으니 공통 이웃이 공격받아요.
예제 2
교대 추론 체인을 따라가 보세요.
이 AIC로 7을(를) 소거할 수 있어요.
표시된 후보를 지우세요(빨간색) (여기서는 7). 두 끝이 모두 거짓일 수 없으니 공통 이웃이 공격받아요.