Platon Sudoku · Học Sudoku
Tô màu đơn giản (Simple Coloring) · Ví dụ từng bước
Một mạng được kết nối gồm các liên kết suy luận mạnh cho một chữ số có hai trạng thái chân lý logic trái ngược nhau là A và B. A là đúng hoặc B là đúng. Xóa một chữ số ứng viên được nhìn thấy bởi cả hai trạng thái chân lý logic (bẫy màu) hoặc xóa mọi chữ số ứng viên ở trạng thái chân lý logic có hai thành viên nhìn thấy nhau (xung đột màu sắc).
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 mạng được kết nối gồm các liên kết suy luận mạnh cho một chữ số có hai trạng thái chân lý logic trái ngược nhau là A và B. A là đúng hoặc B là đúng.
Làm thế nào để tìm thấy nó
Bắt đầu với một vùng chứa chính xác hai chữ số ứng viên cho một chữ số, sau đó luân phiên A và B trên mọi liên kết suy luận mạnh được kết nối.
Những gì nó cho phép
Xóa một chữ số ứng viên được nhìn thấy bởi cả hai trạng thái chân lý logic (bẫy màu) hoặc xóa mọi chữ số ứng viên ở trạng thái chân lý logic có hai thành viên nhìn thấy nhau (xung đột màu sắc).
Tránh sự trộn lẫn
Chỉ tô màu các chữ số ứng viên được nối bằng các liên kết suy luận mạnh đã được xác minh. Màu được chia sẻ là trạng thái chân lý logic giả định, không phải là câu trả lời được đặt trước.
Ví dụ từng bước · Bẫy màu
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 · Tìm liên kết suy luận mạnh đầu tiên
Trong khối 1, 4 chỉ có thể truy cập R1C3 hoặc R3C2. Các chữ số ứng viên này thuộc cùng một thành phần tô màu và được đánh dấu là A được đánh dấu bằng hình tròn và B được đánh dấu bằng hình vuông; A và B là các trạng thái logic trái ngược nhau.
● 1A: R1C3=4
■ 1B: R3C2=4
Bước chân 2 · Theo các liên kết suy luận mạnh mẽ
Tiếp tục thông qua mọi liên kết suy luận mạnh được kết nối cho 4. Trong thành phần này, mỗi liên kết tham gia A được đánh dấu hình tròn và B được đánh dấu hình vuông, hai trạng thái chân lý logic đối lập nhau.
● 1A: R1C3=4, R3C5=4
■ 1B: R3C2=4, R8C3=4
Bước chân 3 · Hoàn thành mạng màu
Các chữ số ứng viên 4 này tạo thành một mạng được kết nối. Mỗi đường liền nét là một liên kết suy luận mạnh mẽ cho 4.
● 1A: R1C3=4, R3C5=4
■ 1B: R3C2=4, R8C3=4
Bước chân 4 · Hiểu hai trạng thái chân lý logic
Hoặc tất cả A đúng và tất cả B sai, hoặc tất cả B đúng và tất cả A sai. Không cần biết trước trạng thái nào đúng.
● 1A: R1C3=4, R3C5=4
■ 1B: R3C2=4, R8C3=4
Bước chân 5 · Tìm mục tiêu nhìn thấy A và B
R8C5=4 nhìn thấy A tại R3C5=4 và B tại R8C3=4. Cho dù trạng thái chân lý logic nào là đúng thì một trong hai chữ số ứng viên đó sẽ loại trừ mục tiêu.
● 1A: R1C3=4, R3C5=4
■ 1B: R3C2=4, R8C3=4
Bước chân 6 · Xóa chữ số ứng viên bị mắc kẹt
Vì mọi mục tiêu đều nhìn thấy cả hai trạng thái logic có thể xảy ra nên hãy xóa R8C5=4.
● 1A: R1C3=4, R3C5=4
■ 1B: R3C2=4, R8C3=4
Những gì nó cho phép
Vì mọi mục tiêu đều nhìn thấy cả hai trạng thái logic có thể xảy ra nên hãy xóa R8C5=4.
Ví dụ từng bước · Xung đột cùng màu
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 · Tìm liên kết suy luận mạnh đầu tiên
Trong hàng 1, 1 chỉ có thể truy cập R1C3 hoặc R1C4. Các chữ số ứng viên này thuộc cùng một thành phần tô màu và được đánh dấu là A được đánh dấu bằng hình tròn và B được đánh dấu bằng hình vuông; A và B là các trạng thái logic trái ngược nhau.
● 1A: R1C3=1
■ 1B: R1C4=1
Bước chân 2 · Theo các liên kết suy luận mạnh mẽ
Tiếp tục thông qua mọi liên kết suy luận mạnh được kết nối cho 1. Trong thành phần này, mỗi liên kết tham gia A được đánh dấu hình tròn và B được đánh dấu hình vuông, hai trạng thái chân lý logic đối lập nhau.
● 1A: R1C3=1, R4C2=1
■ 1B: R1C4=1, R4C4=1, R6C3=1
Bước chân 3 · Hoàn thành mạng màu
Các chữ số ứng viên 5 này tạo thành một mạng được kết nối. Mọi liên kết suy luận mạnh đều nối A với B, vì vậy tất cả các chữ số ứng viên A đều có chung một trạng thái chân lý logic và tất cả các chữ số ứng viên B đều có chung trạng thái kia.
● 1A: R1C3=1, R4C2=1
■ 1B: R1C4=1, R4C4=1, R6C3=1
Bước chân 4 · Tìm xung đột trạng thái chân lý logic tương tự
R1C4=1 và R4C4=1 đều thuộc trạng thái B và nhìn thấy nhau. Chúng không thể cùng là 1, nên trạng thái B là không thể.
● 1A: R1C3=1, R4C2=1
■ 1B: R1C4=1, R4C4=1, R6C3=1
Bước chân 5 · trạng thái chân lý logic B là không thể
Xung đột loại trừ toàn bộ trạng thái chân lý logic của B. Gạch bỏ mọi chữ số ứng viên trạng thái chân lý logic-B cùng nhau: R1C4=1, R4C4=1, R6C3=1.
● 1A: R1C3=1, R4C2=1
■ 1B: R1C4=1, R4C4=1, R6C3=1
Bước chân 6 · Loại bỏ trạng thái chân lý logic xung đột
Xóa trạng thái chân lý logic không hợp lệ-các chữ số ứng viên B: R1C4=1, R4C4=1, R6C3=1.
● 1A: R1C3=1, R4C2=1
■ 1B: R1C4=1, R4C4=1, R6C3=1
Những gì nó cho phép
Xóa trạng thái chân lý logic không hợp lệ-các chữ số ứng viên B: R1C4=1, R4C4=1, R6C3=1.
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