Platon Sudoku · Học Sudoku

AIC nhóm cho một chữ số (Single-Digit Grouped AIC) · Ví dụ từng bước

Nút được nhóm có nghĩa là ít nhất một trong số nhiều chữ số ứng viên là đúng; nó có thể tham gia vào một chuỗi suy luận xen kẽ. Loại bỏ mục tiêu mà các điểm cuối bắt buộc của chuỗi nhìn thấy.

Bài học này được biên soạn từ ứng dụng Platon Sudoku. Đọc ví dụ đầy đủ tại đây, rồi tiếp tục học và luyện tập trong ứng dụng.

Xem trên Google Play

Nhận biết mẫu

Nút được nhóm có nghĩa là ít nhất một trong số nhiều chữ số ứng viên là đúng; nó có thể tham gia vào một chuỗi suy luận xen kẽ.

Làm thế nào để tìm thấy nó

Kiểm tra xem các ô được nhóm có chia sẻ vùng được yêu cầu hay không, sau đó theo dõi các liên kết suy luận mạnh và yếu thông qua một hoặc nhiều nút nhóm.

Những gì nó cho phép

Loại bỏ mục tiêu mà các điểm cuối bắt buộc của chuỗi nhìn thấy.

Tránh sự trộn lẫn

Một nhóm đúng nghĩa không có nghĩa là mọi thành viên đều chân chính. Giữ nguyên ý nghĩa OR của nhóm khi đi theo chuỗi.

Ví dụ từng bước · Một nhóm

Ví dụ bắt đầu từ trạng thái trung gian đã lưu. Các ứng viên đã phản ánh những loại trừ logic trước đó, không phải ghi chú tự động vừa tạo.

Xanh lam: căn cứ. Xanh lục: kết luận. Số gạch bỏ: ứng viên bị loại. R1C1 là hàng 1, cột 1.

Bước chân 1 · Nơi để tìm

Trong khối 6, 2 chỉ có thể truy cập R4C7, R4C8, R5C8. Chữ số phải xuất hiện một lần trong vùng này.

1: Nhóm OR A: ít nhất một chữ số ứng viên là đúng

Bước chân 2 · Suy luận

Trong cột 5, 2 chỉ có thể truy cập R1C5, R4C5. Chữ số phải xuất hiện một lần trong vùng này.

1: Nhóm OR A: ít nhất một chữ số ứng viên là đúng

Bước chân 3 · Suy luận

Trong cột 9, 2 chỉ có thể truy cập R1C9, R8C9. Chữ số phải xuất hiện một lần trong vùng này.

1: Nhóm OR A: ít nhất một chữ số ứng viên là đúng

Bước chân 4 · Đặt tên cho các nhóm chữ số ứng viên OR

Các dấu ngoặc nhọn và chú giải được đánh số xác định các nhóm được đặt tên này: Nhóm chữ số ứng viên OR A = R4C8=2, R5C8=2. Mỗi nhóm là một trạng thái chân lý logic OR: ít nhất một chữ số ứng viên trong đó là đúng, nhưng chuỗi không khẳng định rằng mọi thành viên đều đúng.

1: Nhóm OR A: ít nhất một chữ số ứng viên là đúng

Bước chân 5 · Suy luận

Nhánh 1: giả sử Nhóm chữ số ứng viên OR A là sai.

1: Nhóm OR A: ít nhất một chữ số ứng viên là đúng

Bước chân 6 · Nhóm liên kết suy luận mạnh mẽ: ép buộc phía bên kia

Trường hợp 1: Nhóm chữ số ứng viên OR A sai nên nhóm suy diễn mạnh liên kết R4C7=2. Nếu đây là nhóm OR thì ít nhất một trong các chữ số ứng viên của nó là đúng.

1: Nhóm OR A: ít nhất một chữ số ứng viên là đúng

Bước chân 7 · Nhóm liên kết suy luận yếu: loại trừ mặt xung đột

R4C7=2 đúng như một trạng thái logic chân lý của chuỗi, vì vậy mặt R4C5=2 loại trừ lẫn nhau là sai.

1: Nhóm OR A: ít nhất một chữ số ứng viên là đúng

Bước chân 8 · Nhóm liên kết suy luận mạnh mẽ: một bên phải giữ nguyên

R4C5=2 là sai nên liên kết suy luận mạnh của nhóm buộc R1C5=2.

1: Nhóm OR A: ít nhất một chữ số ứng viên là đúng

Bước chân 9 · Nhóm liên kết suy luận yếu: loại trừ mặt xung đột

R1C5=2 đúng như một trạng thái logic chân lý của chuỗi, vì vậy mặt R1C9=2 loại trừ lẫn nhau là sai.

1: Nhóm OR A: ít nhất một chữ số ứng viên là đúng

Bước chân 10 · Điểm cuối gián tiếp loại trừ các mục tiêu

R8C9=2 đúng như trạng thái chân lý logic của điểm cuối, do đó nó loại trừ các mục tiêu.

1: Nhóm OR A: ít nhất một chữ số ứng viên là đúng

Bước chân 11 · Rút lại phần tô hình chữ nhật trước đó

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.

1: Nhóm OR A: ít nhất một chữ số ứng viên là đúng

Bước chân 12 · Trường hợp 2: điểm cuối đầu tiên là đúng

Điểm cuối đầu tiên Nhóm chữ số ứng viên OR A đúng ở trạng thái đúng logic OR, do đó, nó loại trừ các mục tiêu.

1: Nhóm OR A: ít nhất một chữ số ứng viên là đúng

Bước chân 13 · Cả hai trường hợp điểm cuối đều đồng ý

Hai trường hợp điểm cuối đã cạn kiệt các lựa chọn thay thế và cả hai đều loại trừ R7C8=2, R8C8=2. Loại bỏ chúng sau khi rút các trạng thái chân lý logic tạm thời.

1: Nhóm OR A: ít nhất một chữ số ứng viên là đúng

Những gì nó cho phép

AIC nhóm cho một chữ số (Single-Digit Grouped AIC) · Loại bỏ mục tiêu mà các điểm cuối bắt buộc của chuỗi nhìn thấy.

Ví dụ từng bước · Một số nhóm

Ví dụ bắt đầu từ trạng thái trung gian đã lưu. Các ứng viên đã phản ánh những loại trừ logic trước đó, không phải ghi chú tự động vừa tạo.

Xanh lam: căn cứ. Xanh lục: kết luận. Số gạch bỏ: ứng viên bị loại. R1C1 là hàng 1, cột 1.

Bước chân 1 · Nơi để tìm

Trong khối 1, 8 chỉ có thể truy cập R2C2, R3C1. Chữ số phải xuất hiện một lần trong vùng này.