Cánh

Nguyên tắc cốt lõi đằng sau mỗi kỹ thuật cánh

Tất cả các kỹ thuật cánh đều chia sẻ một ý tưởng nền tảng duy nhất: nếu một chữ số khả dụng phải xuất hiện trong ít nhất một trong số các ô, và mọi trường hợp của chữ số đó đều có thể nhìn thấy từ một mục tiêu cụ thể Ô, thì mục tiêu Ô không thể chứa chữ số đó. Điểm nối thường là một ô hai giá trị Ô đóng vai trò như một điểm phân nhánh trong suy luận. Các ô cánh là những ô bị buộc phải nhận một chữ số cụ thể dưới một nhánh quyết định của điểm nối. Chữ số loại bỏ (Z) phải xuất hiện trong ít nhất một ô cánh bất kể nhánh nào mà điểm nối chọn. Chữ số chung bị hạn chế (RCC) hình thức hóa mối liên hệ giữa điểm nối và các ô cánh. RCC là chữ số chung giữa điểm nối và nhóm ô cánh, nơi mọi trường hợp đều có thể nhìn thấy từ điểm nối, đảm bảo sự loại trừ lẫn nhau.

Cánh XY: Cánh ba Ô cổ điển

The Cánh XY sử dụng ba ô có hai giá trị. Cực {A, B}, Cánh 1 {A, C}, Cánh 2 {B, C}. Hai cánh nhìn thấy cực nhưng không cần nhìn thấy nhau. Nếu Cực = A, Cánh 1 phải là C. Nếu Cực = B, Cánh 2 phải là C. Dù sao đi nữa, C cũng xuất hiện trong ít nhất một cánh. Loại bỏ C khỏi các ô nhìn thấy cả hai cánh. Đánh giá cấp độ 6 (Khó). Sức mạnh đến từ việc hai cánh không cần chia sẻ một nhà, cho phép loại bỏ chéo lưới.

W-cánh: Kết nối liên kết mạnh

Hai ô bivalue giống nhau {X, Y} được nối với nhau qua một cặp liên kết hợp lý trên chữ số X. Chúng không được chung một nhà. Ít nhất một ô phải là Y. Loại bỏ Y khỏi các ô nhìn thấy cả hai. Đánh giá cấp độ 6 (Khó). Dễ phát hiện hơn Cánh XY vì bạn quét để tìm các ô bivalue lặp lại.

XYZ-Wing: Ba ứng viên tại điểm Pivot

Cực {X, Y, Z}, cánh 1 {X, Z}, cánh 2 {Y, Z}. Ba ô này đều chứa Z. Trong mỗi Ô, ít nhất một trong ba ô phải là Z. Loại bỏ Z khỏi các ô nhìn thấy cả ba ô này. Điều này chặt chẽ hơn Cánh XY vì mục tiêu cũng phải nhìn thấy cực. Đánh giá cấp độ 7 (Rất Khó).

Gia đình Cánh mở rộng: Từ WXYZ-Wing đến STUVWXYZ-Wing

Cùng một logic cũng hoạt động khi cạnh cánh được mở rộng thành một tập hợp gần như bị khóa (ALS). Điểm nối vẫn là một tập hợp hai giá trị Ô; cạnh cánh là một ALS. Cánh XY: 3 ô, Cấp độ 6 WXYZ-Wing: 4 ô, Cấp độ 8 Cánh VWXYZ: 5 ô, Cấp độ 10 Cánh UVWXYZ: 6 ô, Cấp độ 10 TUVWXYZ-Wing: 7 ô, Cấp độ 11 STUVWXYZ-Wing: 8 ô, Cấp độ 11 Việc đặt tên thêm các chữ cái theo thứ tự ngược bảng chữ cái. Mỗi chữ cái đại diện cho một Ô bổ sung trong tập hợp ALS cánh.

Làm thế nào để tìm mẫu cánh

Bước 1: Xác định các ô bivalue làm điểm nối tiềm năng. Bước 2: Kiểm tra các mẫu Cánh XY (hai cánh bivalue chia sẻ một ứng viên với điểm nối). Bước 3: Kiểm tra các mẫu W-cánh (các ô bivalue giống nhau được kết nối qua một cặp liên hợp). Bước 4: Kiểm tra các mẫu XYZ-Wing (điểm nối ba ứng viên với hai cánh bivalue). Bước 5: Kiểm tra các cánh mở rộng (điểm nối bivalue với các cánh ALS). Lưu ý: Bắt đầu từ các ô bivalue. Tìm các chữ số lặp lại. Kiểm tra kỹ ràng buộc RCC.

Tiến độ độ khó

Cánh XY: Cấp độ 6, Khó W-cánh: Cấp độ 6, Khó XYZ-Wing: Cấp độ 7, Rất khó WXYZ-Wing: Cấp độ 8, Chuyên gia Cánh VWXYZ: Cấp độ 10, Cao thủ Cánh UVWXYZ: Cấp độ 10, Cao thủ TUVWXYZ-Wing: Cấp độ 11, Cực độ STUVWXYZ-Wing: Cấp độ 11, Cực độ

Cánh và Các tập hợp gần như bị chặn: Kết nối đại số

Họ cánh dài là tương đương về mặt toán học với ALS-XZ nơi một ALS là một ô bivalue Ô. Một bộ xử lý thực hiện ALS-XZ sẽ tự động tìm thấy tất cả các mẫu cánh dài. Cánh XY là mẫu Ô suy biến nơi cả hai ALS đều là ô bivalue. Mẫu XYZ-Wing có điểm nối ba ứng viên và nên được hiểu là một mẫu riêng biệt.

Tóm tắt

Gia đình cánh cung cấp các công cụ loại bỏ với quy mô từ Cánh XY đến STUVWXYZ-Wing. Mỗi thành viên đều dựa trên cùng một logic cốt lõi: một điểm chốt tạo ra một nhánh hai hướng, và bất kể nhánh nào được chọn, một ứng cử viên cụ thể phải nằm trong ít nhất một cánh Ô. Các ô nhìn thấy tất cả các vị trí khả dĩ của con số đó có thể loại bỏ nó. Bắt đầu từ Cánh XY, thấm nhuần logic của nó, và các cánh lớn hơn sẽ tự nhiên theo sau.