XY-Chain · Ví dụ từng bước

Mỗi ô trong chuỗi có đúng hai ứng viên: R5C8={4, 7}, R5C4={3, 7}, R6C6={2, 3}, R6C5={2, 4}. Trong mỗi ô, chúng có quan hệ mạnh: nếu một ứng viên sai thì ứng viên kia bắt buộc đúng. Giữa các ô khác nhau, các ứng viên cùng chữ số được nối với nhau loại trừ lẫn nhau. Hai đầu mút R5C8=4, R6C5=4 có chung ứng viên 4.

Nhánh 1: giả sử R5C8=4 là sai.

R5C8=4 là sai. R5C8 hiện chỉ còn lại R5C8=7 nên chắc chắn là đúng.

Trường hợp 1: R5C8 là ô hai giá trị R5C8=4, R5C8=7. Với chữ số ứng viên khác sai, R5C8=7 buộc phải đúng theo giả định hiện tại. Trên các ô, nó loại trừ lẫn nhau với R5C4=7, vì vậy hãy loại bỏ những xung đột đó.

R5C4=7 là sai. R5C4 hiện chỉ còn lại R5C4=3 nên chắc chắn là đúng.

R5C4 là ô hai giá trị tiếp theo R5C4=3, R5C4=7. Với chữ số ứng viên khác sai, R5C4=3 buộc phải đúng theo giả định hiện tại. Trên các ô, nó loại trừ lẫn nhau với R6C6=3, vì vậy hãy loại bỏ những xung đột đó.

R6C6=3 là sai. R6C6 hiện chỉ còn lại R6C6=2 nên chắc chắn là đúng.

R6C6 là ô hai giá trị tiếp theo R6C6=2, R6C6=3. Với chữ số ứng viên khác sai, R6C6=2 buộc phải đúng theo giả định hiện tại. Trên các ô, nó loại trừ lẫn nhau với R6C5=2, vì vậy hãy loại bỏ những xung đột đó.

Tại ô giá trị kép điểm cuối R6C5 (R6C5=2, R6C5=4), R6C5=2 là sai, do đó R6C5=4 buộc phải đúng theo giả định hiện tại. Điểm cuối này loại trừ các mục tiêu R6C8=4, R6C9=4.

Hãy rút lại giả định này và các hậu quả của nó. Quay lại ảnh chụp nhanh chữ số ứng viên không thay đổi trước khi kiểm tra khả năng tiếp theo.

Giả sử điểm cuối đầu tiên R5C8=4 là đúng trong ô hai giá trị R5C8 (R5C8=4, R5C8=7). Trong ô, nó loại trừ chữ số ứng viên khác; giữa các ô, nó loại trừ các chữ số ứng viên xung đột có thể nhìn thấy R5C8=7, R6C8=4, R6C9=4.

Hai trường hợp điểm cuối đã sử dụng hết mọi khả năng và cả hai đều loại bỏ R6C8=4, R6C9=4. Rút lại các trạng thái chân lý logic tạm thời, sau đó loại bỏ chúng.

Mỗi ô trong chuỗi có đúng hai ứng viên: R1C4={3, 8}, R1C8={6, 8}, R7C8={2, 6}, R7C6={2, 4}, R7C5={3, 4}. Trong mỗi ô, chúng có quan hệ mạnh: nếu một ứng viên sai thì ứng viên kia bắt buộc đúng. Giữa các ô khác nhau, các ứng viên cùng chữ số được nối với nhau loại trừ lẫn nhau. Hai đầu mút R1C4=3, R7C5=3 có chung ứng viên 3.

Nhánh 1: giả sử R1C4=3 là sai.

R1C4=3 là sai. R1C4 hiện chỉ còn lại R1C4=8 nên chắc chắn là đúng.

Trường hợp 1: R1C4 là ô hai giá trị R1C4=3, R1C4=8. Với chữ số ứng viên khác sai, R1C4=8 buộc phải đúng theo giả định hiện tại. Trên các ô, nó loại trừ lẫn nhau với R1C8=8, vì vậy hãy loại bỏ những xung đột đó.

R1C8=8 là sai. R1C8 hiện chỉ còn lại R1C8=6 nên chắc chắn là đúng.

R1C8 là ô hai giá trị tiếp theo R1C8=6, R1C8=8. Với chữ số ứng viên khác sai, R1C8=6 buộc phải đúng theo giả định hiện tại. Trên các ô, nó loại trừ lẫn nhau với R7C8=6, vì vậy hãy loại bỏ những xung đột đó.

R7C8=6 là sai. R7C8 hiện chỉ còn lại R7C8=2 nên chắc chắn là đúng.

R7C8 là ô hai giá trị tiếp theo R7C8=2, R7C8=6. Với chữ số ứng viên khác sai, R7C8=2 buộc phải đúng theo giả định hiện tại. Trên các ô, nó loại trừ lẫn nhau với R7C6=2, vì vậy hãy loại bỏ những xung đột đó.

R7C6=2 là sai. R7C6 hiện chỉ còn lại R7C6=4 nên chắc chắn là đúng.

R7C6 là ô hai giá trị tiếp theo R7C6=2, R7C6=4. Với chữ số ứng viên khác sai, R7C6=4 buộc phải đúng theo giả định hiện tại. Trên các ô, nó loại trừ lẫn nhau với R7C5=4, vì vậy hãy loại bỏ những xung đột đó.

Tại ô giá trị kép điểm cuối R7C5 (R7C5=3, R7C5=4), R7C5=4 là sai, do đó R7C5=3 buộc phải đúng theo giả định hiện tại. Điểm cuối này loại trừ các mục tiêu R1C5=3, R8C4=3.

Hãy rút lại giả định này và các hậu quả của nó. Quay lại ảnh chụp nhanh chữ số ứng viên không thay đổi trước khi kiểm tra khả năng tiếp theo.

Giả sử điểm cuối đầu tiên R1C4=3 là đúng trong ô hai giá trị R1C4 (R1C4=3, R1C4=8). Trong ô, nó loại trừ chữ số ứng viên khác; giữa các ô, nó loại trừ các chữ số ứng viên xung đột có thể nhìn thấy R1C4=8, R1C5=3, R8C4=3.

Hai trường hợp điểm cuối đã sử dụng hết mọi khả năng và cả hai đều loại bỏ R1C5=3, R8C4=3. Rút lại các trạng thái chân lý logic tạm thời, sau đó loại bỏ chúng.

Mỗi ô trong chuỗi có đúng hai ứng viên: R1C3={1, 9}, R1C4={7, 9}, R2C4={7, 9}, R2C8={5, 9}, R2C5={5, 6}, R2C6={1, 6}, R2C9={1, 7}, R3C9={1, 7}. Trong mỗi ô, chúng có quan hệ mạnh: nếu một ứng viên sai thì ứng viên kia bắt buộc đúng. Giữa các ô khác nhau, các ứng viên cùng chữ số được nối với nhau loại trừ lẫn nhau. Hai đầu mút R1C3=1, R3C9=1 có chung ứng viên 1.

Nhánh 1: giả sử R1C3=1 là sai.

R1C3=1 là sai. R1C3 hiện chỉ còn lại R1C3=9 nên chắc chắn là đúng.

Trường hợp 1: R1C3 là ô hai giá trị R1C3=1, R1C3=9. Với chữ số ứng viên khác sai, R1C3=9 buộc phải đúng theo giả định hiện tại. Trên các ô, nó loại trừ lẫn nhau với R1C4=9, vì vậy hãy loại bỏ những xung đột đó.

R1C4=9 là sai. R1C4 hiện chỉ còn lại R1C4=7 nên chắc chắn là đúng.

R1C4 là ô hai giá trị tiếp theo R1C4=7, R1C4=9. Với chữ số ứng viên khác sai, R1C4=7 buộc phải đúng theo giả định hiện tại. Trên các ô, nó loại trừ lẫn nhau với R2C4=7, vì vậy hãy loại bỏ những xung đột đó.

R2C4=7 là sai. R2C4 hiện chỉ còn lại R2C4=9 nên chắc chắn là đúng.

R2C4 là ô hai giá trị tiếp theo R2C4=7, R2C4=9. Với chữ số ứng viên khác sai, R2C4=9 buộc phải đúng theo giả định hiện tại. Trên các ô, nó loại trừ lẫn nhau với R2C8=9, vì vậy hãy loại bỏ những xung đột đó.

R2C8=9 là sai. R2C8 hiện chỉ còn lại R2C8=5 nên chắc chắn là đúng.

R2C8 là ô hai giá trị tiếp theo R2C8=5, R2C8=9. Với chữ số ứng viên khác sai, R2C8=5 buộc phải đúng theo giả định hiện tại. Trên các ô, nó loại trừ lẫn nhau với R2C5=5, vì vậy hãy loại bỏ những xung đột đó.

R2C5=5 là sai. R2C5 hiện chỉ còn lại R2C5=6 nên chắc chắn là đúng.

R2C5 là ô hai giá trị tiếp theo R2C5=5, R2C5=6. Với chữ số ứng viên khác sai, R2C5=6 buộc phải đúng theo giả định hiện tại. Trên các ô, nó loại trừ lẫn nhau với R2C6=6, vì vậy hãy loại bỏ những xung đột đó.

R2C6=6 là sai. R2C6 hiện chỉ còn lại R2C6=1 nên chắc chắn là đúng.

R2C6 là ô hai giá trị tiếp theo R2C6=1, R2C6=6. Với chữ số ứng viên khác sai, R2C6=1 buộc phải đúng theo giả định hiện tại. Trên các ô, nó loại trừ lẫn nhau với R2C9=1, vì vậy hãy loại bỏ những xung đột đó.

R2C9=1 là sai. R2C9 hiện chỉ còn lại R2C9=7 nên chắc chắn là đúng.

R2C9 là ô hai giá trị tiếp theo R2C9=1, R2C9=7. Với chữ số ứng viên khác sai, R2C9=7 buộc phải đúng theo giả định hiện tại. Trên các ô, nó loại trừ lẫn nhau với R3C9=7, vì vậy hãy loại bỏ những xung đột đó.

Tại ô giá trị kép điểm cuối R3C9 (R3C9=1, R3C9=7), R3C9=7 là sai, do đó R3C9=1 buộc phải đúng theo giả định hiện tại. Điểm cuối này loại trừ các mục tiêu R3C1=1, R3C2=1, R3C3=1.

Hãy rút lại giả định này và các hậu quả của nó. Quay lại ảnh chụp nhanh chữ số ứng viên không thay đổi trước khi kiểm tra khả năng tiếp theo.

Giả sử điểm cuối đầu tiên R1C3=1 là đúng trong ô hai giá trị R1C3 (R1C3=1, R1C3=9). Trong ô, nó loại trừ chữ số ứng viên khác; giữa các ô, nó loại trừ các chữ số ứng viên xung đột có thể nhìn thấy R1C3=9, R3C1=1, R3C2=1, R3C3=1.

Hai trường hợp điểm cuối đã sử dụng hết mọi khả năng và cả hai đều loại bỏ R3C1=1, R3C2=1, R3C3=1. Rút lại các trạng thái chân lý logic tạm thời, sau đó loại bỏ chúng.