X-Wing, 사시미, Finned X-Wing 패턴을 자동으로 탐지하고 해결합니다.
①번과 ②번은 스트롱
③번과 ④번도 스트롱
즉, ①이 true ④번도 true
반대로 ①이 false ②번③은 true
따라서, ①번 열과 ④번 열은 항상 true이기 때문에 ①번 열과 ④번 열에서(빨간색 테두리) 후보숫자 4를 제거할 수 있음
①④을 선으로 연결하고, ②③를 선으로 연결하면 X가 된다고 하여 X윙이라고 함.
하늘색 셀에 들어있는 숫자 9는 열 유닛에서 2번만 등장(스트롱 링크)함. 4개의 숫자 9는 true, false를 반복하는 관계임
즉, ①번이 true라면 ④번도 true임. 반대로 ①번이 false라면 ②번이 true임. ①번이 true이거나, false인 경우 모두 ②번과 ④번 중에 1개는 true임. ②번과 ④번은 언제나 true이기 때문에 ②번과 ④번의 교차점(빨간색 외곽선)에서 후보숫자 9를 제거할 수 있음.
즉, x윙과 유사하나 ②번과 ④번이 연결되지 않기 때문에 ②번과 ④번의 교집합에서 후보숫자를 제거하는 원리임.
①번과 ②번이 스트롱
③번과 ④번도 스트롱
①번이 true ②③은 false ④은 true
①번이 false ②③은 true ④은 false
즉, ②번과 ④은 true, false의 관계를 가지고 있음, 따라서 ②번과 ④번의 교집합(빨간색 테두리 31박스 2곳)에서 후보숫자 4를 제거할 수 있음
①번 셀과 ②번 셀은 스트롱, 즉, 유닛(행)에서 2번만 나오는 후보숫자 4을 가지고 있음
③번과 ④⑤번은 유닛(행)에서는 스트롱은 아니지만, ④⑤은 같은 33박스 유닛(행)에 있으면, 동시에 13박스에 위치함.
③번과 ④⑤번은 행으로 스트롱은 아니지만, ④⑤번이 13박스에 존재하기 때문에 유사 스트롱의 효과를 가지고 있음
다시한번 더 true, false로 검증해 보면
①번이 true일때, ③번은 false임. 따라서 ④⑤중 1개는 true임
①번이 false일때,②번은 true
즉, ①번이 true 이 던지, false 던지 ②와 ④⑤중에 1개는 true임. 즉 ②④⑤의 교차점(파란색)에서 후보숫자 4를 제거할 수 있음
