Platon Sudoku · Học Sudoku
Chuỗi suy luận bắt buộc (Forcing Chain) · Ví dụ từng bước
Một tập hợp đầy đủ các lựa chọn thay thế chữ số ứng viên được theo sau thông qua các chuỗi hàm ý tuyến tính riêng biệt. Chỉ giữ lại một vị trí hoặc sự loại bỏ được chia sẻ bởi mọi chi nhánh khả thi.
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 PlayNhận biết mẫu
Một tập hợp đầy đủ các lựa chọn thay thế chữ số ứng viên được theo sau thông qua các chuỗi hàm ý tuyến tính riêng biệt.
Làm thế nào để tìm thấy nó
Chọn cách phân chia đúng/sai hoặc tất cả vị trí của một chữ số trong một vùng; theo dõi từng nhánh để đạt được kết quả đã được xác minh của nó.
Những gì nó cho phép
Chỉ giữ lại một vị trí hoặc sự loại bỏ được chia sẻ bởi mọi chi nhánh khả thi.
Tránh sự trộn lẫn
Một nhánh đạt được kết quả là không đủ; các lựa chọn thay thế ban đầu phải bao gồm tất cả các khả năng.
Ví dụ từng bước · Hai nhánh
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
Kết quả chung cần chứng minh là R1C2=7; công tắc nhánh là R1C2=5. Bất kỳ chữ số ứng viên nào cũng có thể đúng hoặc sai, vì vậy hai nhánh này bao hàm mọi khả năng. Nếu cả hai cùng đạt được kết quả chung thì kết quả đó là bắt buộc.
Bước chân 2 · Suy luận
Nhánh 1: giả sử R1C2=5 là đúng.
Bước chân 3 · Suy luận
R1C2=5 là đúng. Xóa R1C2=7.
Bước chân 4 · 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.
Bước chân 5 · Suy luận
Nhánh 2: giả sử R1C2=5 là sai.
Bước chân 6 · Suy luận
R1C2=5 là sai. Hai mặt này cùng nhau chứa mọi tùy chọn còn lại trong hàng 1. Do đó R1C5=5 phải đúng.
Bước chân 7 · Suy luận
R1C5=5 là đúng. Xóa R2C5=5 khỏi cột 5.
Bước chân 8 · Suy luận
R2C5=5 là sai. Hai mặt này cùng nhau chứa mọi tùy chọn còn lại trong hàng 2. Do đó R2C8=5 phải đúng.
Bước chân 9 · Suy luận
R2C8=5 là đúng. Xóa R2C8=9.
Bước chân 10 · Suy luận
R2C8=9 là sai. Hai mặt này cùng nhau chứa mọi tùy chọn còn lại trong hàng 2. Do đó R2C4=9 phải đúng.
Bước chân 11 · Suy luận
R2C4=9 là đúng. Xóa R1C4=9 khỏi cột 4.
Bước chân 12 · Suy luận
R1C4=9 là sai. R1C4 hiện chỉ còn lại R1C4=7 nên chắc chắn là đúng.
Bước chân 13 · Suy luận
R1C4=7 là đúng. Xóa R1C2=7 khỏi hàng 1.
Bước chân 14 · Suy luận
Mọi nhánh có thể đều đạt được cùng một thực tế: R1C2=7 là sai. Sau khi rút lại mọi giả định, thực tế này vẫn chắc chắn.
Bước chân 15 · Kết luận
Kết quả được xác minh là R1C2=7 là sai. Tất cả các giả định tạm thời đã được rút lại.
Những gì nó cho phép
Kết quả được xác minh là R1C2=7 là sai. Tất cả các giả định tạm thời đã được rút lại.
Ví dụ từng bước · Một số chi nhánh
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
Các gốc R2C4=2, R2C4=3, R2C4=6, R2C4=7 là toàn bộ ứng viên có thể có trong R2C4. Theo từng gốc như một chuỗi suy luận tuyến tính riêng; nếu mọi gốc đều dẫn đến R2C6=3, kết quả đó là bắt buộc. Chỉ có nhiều gốc chưa đủ để tạo thành Forcing Net.
Bước chân 2 · Suy luận
Nhánh 1: giả sử R2C4=2 là đúng.
Bước chân 3 · Suy luận
R2C4=2 là đúng. Xóa R2C4=3.
Bước chân 4 · Suy luận
R2C4=3 là sai. Hai mặt này cùng nhau chứa mọi tùy chọn còn lại trong hàng 2. Do đó R2C6=3 phải đúng.
Bước chân 5 · 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.
Bước chân 6 · Suy luận
Nhánh 2: giả sử R2C4=3 là đúng.
Bước chân 7 · Suy luận
R2C4=3 là đúng. Xóa R2C4=6.
Bước chân 8 · Suy luận
R2C4=6 là sai. Hai mặt này cùng nhau chứa mọi tùy chọn còn lại trong khối 2. Do đó R1C5=6 phải đúng.
Bước chân 9 · Suy luận
R1C5=6 là đúng. Xóa R4C5=6 khỏi cột 5.
Bước chân 10 · Suy luận
R4C5=6 là sai. R4C5 hiện chỉ còn lại R4C5=3 nên chắc chắn là đúng.
Bước chân 11 · Suy luận
R4C5=3 là đúng. Xóa R6C6=3 khỏi khối 5.
Bước chân 12 · Suy luận
R6C6=3 là sai. Hai mặt này cùng nhau chứa mọi tùy chọn còn lại trong cột 6. Do đó R2C6=3 phải đúng.
Bước chân 13 · 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.
Bước chân 14 · Suy luận
Nhánh 3: giả sử R2C4=6 là đúng.
Bước chân 15 · Suy luận
R2C4=6 là đúng. Xóa R2C4=3.
Bước chân 16 · Suy luận
R2C4=3 là sai. Hai mặt này cùng nhau chứa mọi tùy chọn còn lại trong hàng 2. Do đó R2C6=3 phải đúng.
Bước chân 17 · 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.
Bước chân 18 · Suy luận
Nhánh 4: giả sử R2C4=7 là đúng.
Bước chân 19 · Suy luận
R2C4=7 là đúng. Xóa R2C4=3.
Bước chân 20 · Suy luận
R2C4=3 là sai. Hai mặt này cùng nhau chứa mọi tùy chọn còn lại trong hàng 2. Do đó R2C6=3 phải đúng.
Bước chân 21 · Suy luận
Mọi nhánh có thể đều đạt được cùng một thực tế: R2C6=3 là đúng. Sau khi rút lại mọi giả định, thực tế này vẫn chắc chắn.
Bước chân 22 · Kết luận
Kết quả được xác minh là R2C6=3 là đúng. Tất cả các giả định tạm thời đã được rút lại.
Những gì nó cho phép
Kết quả được xác minh là R2C6=3 là đúng. Tất cả các giả định tạm thời đã được rút lại.
Luyện tập
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