Platon Sudoku · Học Sudoku

Mâu thuẫn giữa các thành phần tô màu (Multi-Component Coloring Contradiction) · Ví dụ từng bước

suy luận mạnh mẽ liên kết tô màu một chữ số thành các trạng thái logic đúng đối diện trong mỗi thành phần; mối quan hệ giữa các thành phần hạn chế trạng thái chân lý logic nào có thể cùng tồn tại. Xóa một chữ số ứng viên bị loại trừ bởi tất cả các phép gán màu nhất quán.

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

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

Tô màu riêng từng thành phần được kết nối, sau đó kiểm tra xung đột giữa các thành phần và mục tiêu để xem mọi lựa chọn thay thế còn sót lại.

Những gì nó cho phép

Xóa một chữ số ứng viên bị loại trừ bởi tất cả các phép gán màu nhất quán.

Tránh sự trộn lẫn

Không nối các thành phần riêng biệt bằng liên kết suy luận mạnh chưa được xác minh hoặc cho rằng một màu đã được đặt.

Ví dụ từng bước · Màu phức tạp

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 · Xác nhận nhóm trạng thái chân lý logic giống nhau bắt đầu

“Mâu thuẫn giữa các thành phần tô màu (Multi-Component Coloring Contradiction)” — Đây là tên mô tả của ứng dụng cho một phép chứng minh riêng giữa nhiều thành phần, không phải kỹ thuật HoDoKu độc lập cùng tên. Các ứng viên của chữ số 2 tạo thành 4 thành phần tô màu độc lập. Tô màu luân phiên theo liên kết mạnh đặt R3C1=2, R8C2=2 về phía A của thành phần 2; chúng cùng đúng hoặc cùng sai và chính là các ứng viên mục tiêu R3C1=2, R8C2=2. A và B đối lập trong mỗi thành phần; các xung đột nối trạng thái giữa các thành phần.

Bước chân 2 · Giả sử trạng thái chân lý logic mục tiêu là đúng

Hãy coi toàn bộ nhóm trạng thái chân lý logic tương tự R3C1=2, R8C2=2 là một trạng thái chân lý logic và tạm thời cho rằng nó đúng. Theo dõi xung đột giữa các thành phần.

Bước chân 3 · Theo dõi mọi chuyển đổi thành phần

1. R3C1=2 là đúng, do đó R1C2=2 ngang hàng hiển thị là sai. Do đó, trạng thái chân lý logic A/B ngược lại R1C9=2 trong nhóm đó là đúng. 2. R1C9=2 là đúng, do đó R5C9=2 ngang hàng hiển thị là sai. Do đó, trạng thái chân lý logic A/B ngược lại R4C7=2, R5C6=2 trong nhóm đó là đúng. 3. R4C7=2 là đúng, do đó R4C4=2 ngang hàng hiển thị là sai. Do đó, trạng thái chân lý logic A/B ngược lại R3C4=2 trong nhóm đó là đúng. 4. R3C4=2 là đúng, do đó R3C1=2 ngang hàng hiển thị là sai. Do đó, trạng thái chân lý logic A/B ngược lại R8C1=2 trong nhóm đó là đúng.

Bước chân 4 · Giả định buộc điều ngược lại của nó

Giả định R3C1=2, R8C2=2 cuối cùng buộc R8C1=2, trạng thái chân lý logic A/B ngược lại trong cùng một nhóm. Cả hai trạng thái chân lý logic đều không thể đúng, vì vậy giả định là sai.