윙
윙
모든 윙 기법의 핵심 원리
모든 윙 기법은 하나의 근본적인 아이디어를 공유합니다. 즉, 어떤 후보 숫자가 여러 셀 중 적어도 하나에 반드시 들어가야 하고, 그 숫자의 모든 출현 위치가 특정 대상 셀에서 보인다면, 그 대상 셀에는 그 숫자가 들어갈 수 없습니다.
피벗은 일반적으로 논리의 분기점 역할을 하는 이중값 셀입니다. 윙은 피벗의 결정 중 한 갈래에서 특정 숫자를 강제로 갖게 되는 셀입니다. 제거 숫자(Z)는 피벗이 어느 갈래를 택하든 적어도 하나의 윙에 들어가야 합니다.
제한 공통 후보(RCC)는 피벗과 윙 사이의 연결을 공식화합니다. RCC는 피벗과 윙 그룹 사이에서 공유되는 숫자로, 모든 출현 위치가 피벗에서 보이므로 상호 배타가 보장됩니다.
XY 윙: 고전적인 삼셀 윙
XY 윙는 세 개의 이중값 셀을 사용합니다. 피벗 {A, B}, 윙 1 {A, C}, 윙 2 {B, C}. 윙은 피벗을 보지만 서로를 볼 필요는 없습니다.
피벗 = A이면 윙 1은 C여야 합니다. 피벗 = B이면 윙 2는 C여야 합니다. 어느 경우든 C는 적어도 하나의 윙에 나타납니다. 두 윙을 모두 보는 셀에서 C를 제거합니다.
난이도 레벨 6(어려움). 이 힘은 두 윙이 같은 하우스를 공유할 필요가 없다는 데서 나오며, 그리드를 가로지르는 제거를 가능하게 합니다.
W윙: 강한 연결
숫자 X의 공액 쌍을 통해 연결된 두 개의 동일한 이중값 셀 {X, Y}. 이들은 같은 하우스를 공유해서는 안 됩니다. 적어도 하나는 Y여야 합니다. 둘 다 보는 셀에서 Y를 제거합니다.
난이도 레벨 6(어려움). 반복되는 이중값 셀을 찾기 때문에 XY 윙보다 발견하기 쉽습니다.
XYZ-Wing: 피벗에 세 개의 후보
피벗 {X, Y, Z}, 윙 1 {X, Z}, 윙 2 {Y, Z}. 세 셀 모두 Z를 포함합니다.
모든 셀에서 세 셀 중 적어도 하나는 Z여야 합니다. 세 셀을 모두 보는 셀에서 Z를 제거합니다. 이는 대상이 피벗도 보아야 하므로 XY 윙보다 제약이 더 큽니다.
난이도 레벨 7(매우 어려움).
확장 윙 패밀리: WXYZ-Wing부터 STUVWXYZ-Wing까지
같은 논리는 윙 쪽이 거의 잠긴 집합(ALS)으로 확장될 때도 작동합니다. 피벗은 이중값 셀로 남고, 윙은 ALS가 됩니다.
XY 윙: 3셀, 레벨 6
WXYZ-Wing: 4셀, 레벨 8
VWXYZ 윙: 5셀, 레벨 10
UVWXYZ 윙: 6셀, 레벨 10
TUVWXYZ-Wing: 7셀, 레벨 11
STUVWXYZ-Wing: 8셀, 레벨 11
명명은 역 알파벳 순서로 문자를 추가합니다. 각 문자는 윙 ALS에 추가되는 셀 하나를 나타냅니다.
윙 패턴을 찾는 방법
1단계: 잠재적인 피벗으로 이중값 셀을 식별합니다.
2단계: XY 윙 패턴(피벗과 각각 하나의 후보를 공유하는 두 개의 이중값 윙)을 확인합니다.
3단계: W윙 패턴(공액 쌍을 통해 연결된 동일한 이중값 셀)을 확인합니다.
4단계: XYZ-Wing 패턴(두 개의 이중값 윙을 가진 삼후보 피벗)을 확인합니다.
5단계: 확장 윙(ALS 윙을 가진 이중값 피벗)을 확인합니다.
팁: 이중값 셀부터 시작하세요. 반복되는 숫자를 찾으세요. RCC 제한을 신중하게 확인하세요.
난이도 진행
XY 윙: 레벨 6, 어려움
W윙: 레벨 6, 어려움
XYZ-Wing: 레벨 7, 매우 어려움
WXYZ-Wing: 레벨 8, 전문가
VWXYZ 윙: 레벨 10, 마스터
UVWXYZ 윙: 레벨 10, 마스터
TUVWXYZ-Wing: 레벨 11, 극한
STUVWXYZ-Wing: 레벨 11, 극한
윙과 거의 잠긴 집합: 대수적 연결
확장 윙 패밀리는 하나의 ALS가 단일 이값 셀인 ALS-XZ와 수학적으로 동등합니다. ALS-XZ를 구현한 엔진은 모든 확장 윙 패턴을 자동으로 찾아냅니다.
XY 윙는 두 ALS가 모두 이값 셀인 퇴화된 셀입니다. XYZ-Wing는 세 후보 피벗을 가지며 그 자체의 패턴으로 이해하는 것이 더 좋습니다.
요약
윙 패밀리는 XY 윙에서 STUVWXYZ-Wing까지 확장되는 제거 도구를 제공합니다. 모든 구성원은 동일한 핵심 논리에 의존합니다. 피벗이 양방향 분기를 만들고, 어느 쪽 가지를 택하든 특정 후보가 적어도 하나의 윙 셀에 들어가야 합니다. 그 숫자의 모든 가능한 위치를 보는 셀은 그것을 제거할 수 있습니다.
XY 윙부터 시작해 그 논리를 익히면 더 큰 윙도 자연스럽게 따라옵니다.