Một chuỗi suy luận xen kẽ kết nối các trạng thái chân lý logic của chữ số ứng viên với các liên kết suy luận mạnh và yếu đã được xác minh. Chuỗi mở và chuỗi đóng có kết luận riêng biệt. Sử dụng kết quả đã được xác minh: xóa một chữ số ứng viên hoặc đặt một chữ số khi trạng thái logic ngược lại của nó là không thể.
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.
Một chuỗi suy luận xen kẽ kết nối các trạng thái chân lý logic của chữ số ứng viên với các liên kết suy luận mạnh và yếu đã được xác minh. Chuỗi mở và chuỗi đóng có kết luận riêng biệt.
Làm thế nào để tìm thấy nó
Theo dõi từng hàm ý từ một đầu, ghi lại các chuyển đổi mạnh và yếu và liệu chuỗi có đóng lại hay mâu thuẫn với điểm cuối hay không.
Những gì nó cho phép
Sử dụng kết quả đã được xác minh: xóa một chữ số ứng viên hoặc đặt một chữ số khi trạng thái logic ngược lại của nó là không thể.
Tránh sự trộn lẫn
Liên kết mạnh có nghĩa là nếu một đầu sai thì đầu kia đúng. Liên kết yếu có nghĩa là nếu một đầu đúng thì đầu kia sai. Không đảo chiều các suy luận này; hãy kiểm tra quan hệ giữa hai đầu trước khi kết luận.
Ví dụ từng bước · Không liên tục · loại bỏ
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 · Đọc AIC trước khi theo dõi nó
Bài học Nice Loop / AIC này sử dụng họ nút chữ số ứng viên thông thường của HoDoKu: loại bỏ và sắp xếp không liên tục, chuỗi Loại 1 và Loại 2 mở cũng như các vòng lặp liên tục. Bắt đầu tại R1C6=1 là đúng và kiểm tra R1C6=1. Trong cột 6, hàng 2, cột 9, hàng 7, khối 5, hàng 5, cột 1, hàng 9, cột 8, liên kết liền nét có nghĩa là ít nhất một đầu là đúng; một liên kết đứt nét có nghĩa là hai điểm cuối không thể đúng cùng một lúc. Thực hiện theo một mối quan hệ được đánh dấu tại một thời điểm.
Bài học Nice Loop / AIC này sử dụng họ nút chữ số ứng viên thông thường của HoDoKu: loại bỏ và sắp xếp không liên tục, chuỗi Loại 1 và Loại 2 mở cũng như các vòng lặp liên tục. Bắt đầu tại R1C6=1 là đúng và kiểm tra R1C6=1. Trong cột 6, hàng 2, cột 9, hàng 7, khối 5, hàng 5, cột 1, hàng 9, cột 8, liên kết liền nét có nghĩa là ít nhất một đầu là đúng; một liên kết đứt nét có nghĩa là hai điểm cuối không thể đúng cùng một lúc. Thực hiện theo một mối quan hệ được đánh dấu tại một thời điểm.
Bước chân 2 · Giả định: bắt đầu chuỗi xen kẽ
Nhánh 1: giả sử R1C6=1 là đúng.
Nhánh 1: giả sử R1C6=1 là đúng.
Bước chân 3 · Mối quan hệ yếu: xung đột chữ số ứng viên được liên kết
R1C6=1 là đúng. Xóa R1C6=8.
R1C6=1 là đúng. Xóa R1C6=8.
Bước chân 4 · Mối quan hệ chặt chẽ: điểm cuối khác bị ép buộc
R1C6=8 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=8 phải đúng.
R1C6=8 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=8 phải đúng.
Bước chân 5 · Mối quan hệ yếu: xung đột chữ số ứng viên được liên kết
R2C6=8 là đúng. Xóa R2C6=6.
R2C6=8 là đúng. Xóa R2C6=6.
Bước chân 6 · Mối quan hệ chặt chẽ: điểm cuối khác bị ép buộc
R2C6=6 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 đó R2C9=6 phải đúng.
R2C6=6 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 đó R2C9=6 phải đúng.
Bước chân 7 · Mối quan hệ yếu: xung đột chữ số ứng viên được liên kết
R2C9=6 là đúng. Xóa R2C9=3.
R2C9=6 là đúng. Xóa R2C9=3.
Bước chân 8 · Mối quan hệ chặt chẽ: điểm cuối khác bị ép buộc
R2C9=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 9. Do đó R7C9=3 phải đúng.
R2C9=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 9. Do đó R7C9=3 phải đúng.
Bước chân 9 · Mối quan hệ yếu: xung đột chữ số ứng viên được liên kết
R7C9=3 là đúng. Xóa R7C6=3.
R7C9=3 là đúng. Xóa R7C6=3.
Bước chân 10 · Mối quan hệ chặt chẽ: điểm cuối khác bị ép buộc
R7C6=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 đó R6C6=3 phải đúng.
R7C6=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 đó R6C6=3 phải đúng.
Bước chân 11 · Mối quan hệ yếu: xung đột chữ số ứng viên được liên kết
R6C6=3 là đúng. Xóa R5C4=3.
R6C6=3 là đúng. Xóa R5C4=3.
Bước chân 12 · Mối quan hệ chặt chẽ: điểm cuối khác bị ép buộc
R5C4=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 5. Do đó R5C1=3 phải đúng.
R5C4=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 5. Do đó R5C1=3 phải đúng.
Bước chân 13 · Mối quan hệ yếu: xung đột chữ số ứng viên được liên kết
R5C1=3 là đúng. Xóa R9C1=3.
R5C1=3 là đúng. Xóa R9C1=3.
Bước chân 14 · Mối quan hệ chặt chẽ: điểm cuối khác bị ép buộc
R9C1=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 9. Do đó R9C8=3 phải đúng.
R9C1=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 9. Do đó R9C8=3 phải đúng.
Bước chân 15 · Mối quan hệ yếu: xung đột chữ số ứng viên được liên kết
R9C8=3 là đúng. Xóa R2C8=3.
R9C8=3 là đúng. Xóa R2C8=3.
Bước chân 16 · Cùng một ô: buộc chữ số ứng viên khác
R2C8=3 là sai. Trong cùng một ô R2C8, chữ số ứng viên khác R2C8=8 buộc phải đúng theo giả định hiện tại.
R2C8=3 là sai. Trong cùng một ô R2C8, chữ số ứng viên khác R2C8=8 buộc phải đúng theo giả định hiện tại.
Bước chân 17 · Mối quan hệ yếu: xung đột chữ số ứng viên được liên kết
R2C8=8 là đúng. Xóa R2C6=8.
R2C8=8 là đúng. Xóa R2C6=8.
Bước chân 18 · Mối quan hệ chặt chẽ: điểm cuối khác bị ép buộc
R2C6=8 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 đó R1C6=8 phải đúng.
R2C6=8 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 đó R1C6=8 phải đúng.
Bước chân 19 · Chuỗi đạt đến một mâu thuẫn
Việc khấu trừ mâu thuẫn với “R1C6=1 là đúng”, do đó R1C6=1 là sai.
Việc khấu trừ mâu thuẫn với “R1C6=1 là đúng”, do đó R1C6=1 là sai.
Bước chân 20 · 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.
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 21 · Tóm tắt AIC
Chuỗi xen kẽ bắt đầu từ “R1C6=1 là đúng” và tuân theo các mối quan hệ mạnh và yếu được gắn nhãn, bao gồm cả các công tắc cùng ô khi cần thiết, dẫn đến mâu thuẫn. Vì vậy R1C6=1 là sai. Tất cả các trạng thái chân lý logic tạm thời đều bị rút lại.
Chuỗi xen kẽ bắt đầu từ “R1C6=1 là đúng” và tuân theo các mối quan hệ mạnh và yếu được gắn nhãn, bao gồm cả các công tắc cùng ô khi cần thiết, dẫn đến mâu thuẫn. Vì vậy R1C6=1 là sai. Tất cả các trạng thái chân lý logic tạm thời đều bị rút lại.
Những gì nó cho phép
Chuỗi xen kẽ bắt đầu từ “R1C6=1 là đúng” và tuân theo các mối quan hệ mạnh và yếu được gắn nhãn, bao gồm cả các công tắc cùng ô khi cần thiết, dẫn đến mâu thuẫn. Vì vậy R1C6=1 là sai. Tất cả các trạng thái chân lý logic tạm thời đều bị rút lại.
Nice Loop / AIC · Sử dụng kết quả đã được xác minh: xóa một chữ số ứng viên hoặc đặt một chữ số khi trạng thái logic ngược lại của nó là không thể.
Ví dụ từng bước · Không liên tục · địa điể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 · Đọc AIC trước khi theo dõi nó
Bài học Nice Loop / AIC này sử dụng họ nút chữ số ứng viên thông thường của HoDoKu: loại bỏ và sắp xếp không liên tục, chuỗi Loại 1 và Loại 2 mở cũng như các vòng lặp liên tục. Bắt đầu tại R1C1=4 là sai và kiểm tra R1C1=4. Trong hàng 1, cột 2, khối 4, cột 3, liên kết liền nét có nghĩa là ít nhất một đầu là đúng; một liên kết đứt nét có nghĩa là hai điểm cuối không thể đúng cùng một lúc. Thực hiện theo một mối quan hệ được đánh dấu tại một thời điểm.
Bài học Nice Loop / AIC này sử dụng họ nút chữ số ứng viên thông thường của HoDoKu: loại bỏ và sắp xếp không liên tục, chuỗi Loại 1 và Loại 2 mở cũng như các vòng lặp liên tục. Bắt đầu tại R1C1=4 là sai và kiểm tra R1C1=4. Trong hàng 1, cột 2, khối 4, cột 3, liên kết liền nét có nghĩa là ít nhất một đầu là đúng; một liên kết đứt nét có nghĩa là hai điểm cuối không thể đúng cùng một lúc. Thực hiện theo một mối quan hệ được đánh dấu tại một thời điểm.
Bước chân 2 · Giả định: bắt đầu chuỗi xen kẽ
Nhánh 1: giả sử R1C1=4 là sai.
Nhánh 1: giả sử R1C1=4 là sai.
Bước chân 3 · Mối quan hệ chặt chẽ: điểm cuối khác bị ép buộc
R1C1=4 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 đó R1C3=4 phải đúng.
R1C1=4 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 đó R1C3=4 phải đúng.
Bước chân 4 · Mối quan hệ yếu: xung đột chữ số ứng viên được liên kết
R1C3=4 là đúng. Xóa R1C3=5.
R1C3=4 là đúng. Xóa R1C3=5.
Bước chân 5 · Mối quan hệ chặt chẽ: điểm cuối khác bị ép buộc
R1C3=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 đó R1C2=5 phải đúng.
R1C3=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 đó R1C2=5 phải đúng.
Bước chân 6 · Mối quan hệ yếu: xung đột chữ số ứng viên được liên kết
R1C2=5 là đúng. Xóa R1C2=9.
R1C2=5 là đúng. Xóa R1C2=9.
Bước chân 7 · Mối quan hệ chặt chẽ: điểm cuối khác bị ép buộc
R1C2=9 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 2. Do đó R5C2=9 phải đúng.
R1C2=9 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 2. Do đó R5C2=9 phải đúng.
Bước chân 8 · Mối quan hệ yếu: xung đột chữ số ứng viên được liên kết
R5C2=9 là đúng. Xóa R4C3=9.
R5C2=9 là đúng. Xóa R4C3=9.
Bước chân 9 · Cùng một ô: buộc chữ số ứng viên khác
R4C3=9 là sai. Trong cùng một ô R4C3, chữ số ứng viên khác R4C3=4 buộc phải đúng theo giả định hiện tại.
R4C3=9 là sai. Trong cùng một ô R4C3, chữ số ứng viên khác R4C3=4 buộc phải đúng theo giả định hiện tại.
Bước chân 10 · Mối quan hệ yếu: xung đột chữ số ứng viên được liên kết
R4C3=4 là đúng. Xóa R1C3=4.
R4C3=4 là đúng. Xóa R1C3=4.
Bước chân 11 · Chuỗi đạt đến một mâu thuẫn
Việc khấu trừ mâu thuẫn với “R1C1=4 là sai”, do đó R1C1=4 là đúng.
Việc khấu trừ mâu thuẫn với “R1C1=4 là sai”, do đó R1C1=4 là đúng.
Bước chân 12 · 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.
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 13 · Tóm tắt AIC
Chuỗi xen kẽ bắt đầu từ “R1C1=4 là sai” và tuân theo các mối quan hệ mạnh và yếu được gắn nhãn, bao gồm cả các công tắc cùng ô khi cần thiết, dẫn đến mâu thuẫn. Vì vậy R1C1=4 là đúng. Tất cả các trạng thái chân lý logic tạm thời đều bị rút lại.
Chuỗi xen kẽ bắt đầu từ “R1C1=4 là sai” và tuân theo các mối quan hệ mạnh và yếu được gắn nhãn, bao gồm cả các công tắc cùng ô khi cần thiết, dẫn đến mâu thuẫn. Vì vậy R1C1=4 là đúng. Tất cả các trạng thái chân lý logic tạm thời đều bị rút lại.
Những gì nó cho phép
Chuỗi xen kẽ bắt đầu từ “R1C1=4 là sai” và tuân theo các mối quan hệ mạnh và yếu được gắn nhãn, bao gồm cả các công tắc cùng ô khi cần thiết, dẫn đến mâu thuẫn. Vì vậy R1C1=4 là đúng. Tất cả các trạng thái chân lý logic tạm thời đều bị rút lại.
Nice Loop / AIC · Sử dụng kết quả đã được xác minh: xóa một chữ số ứng viên hoặc đặt một chữ số khi trạng thái logic ngược lại của nó là không thể.
Ví dụ từng bước · Loại 1
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 · Đọc AIC trước khi theo dõi nó
Bài học Nice Loop / AIC này sử dụng họ nút chữ số ứng viên thông thường của HoDoKu: loại bỏ và sắp xếp không liên tục, chuỗi Loại 1 và Loại 2 mở cũng như các vòng lặp liên tục. Bắt đầu tại R1C6=2 là sai và kiểm tra R1C8=2, R1C9=2, R2C4=2. Trong cột 6, hàng 2, liên kết liền nét có nghĩa là ít nhất một đầu là đúng; một liên kết đứt nét có nghĩa là hai điểm cuối không thể đúng cùng một lúc. Thực hiện theo một mối quan hệ được đánh dấu tại một thời điểm.
Bài học Nice Loop / AIC này sử dụng họ nút chữ số ứng viên thông thường của HoDoKu: loại bỏ và sắp xếp không liên tục, chuỗi Loại 1 và Loại 2 mở cũng như các vòng lặp liên tục. Bắt đầu tại R1C6=2 là sai và kiểm tra R1C8=2, R1C9=2, R2C4=2. Trong cột 6, hàng 2, liên kết liền nét có nghĩa là ít nhất một đầu là đúng; một liên kết đứt nét có nghĩa là hai điểm cuối không thể đúng cùng một lúc. Thực hiện theo một mối quan hệ được đánh dấu tại một thời điểm.
Bước chân 2 · Giả định: bắt đầu chuỗi xen kẽ
Nhánh 1: giả sử R1C6=2 là sai.
Nhánh 1: giả sử R1C6=2 là sai.
Bước chân 3 · Cùng một ô: buộc chữ số ứng viên khác
R1C6=2 là sai. Trong cùng một ô R1C6, chữ số ứng viên khác R1C6=1 buộc phải đúng theo giả định hiện tại.
R1C6=2 là sai. Trong cùng một ô R1C6, chữ số ứng viên khác R1C6=1 buộc phải đúng theo giả định hiện tại.
Bước chân 4 · Mối quan hệ yếu: xung đột chữ số ứng viên được liên kết
R1C6=1 là đúng. Xóa R6C6=1.
R1C6=1 là đúng. Xóa R6C6=1.
Bước chân 5 · Cùng một ô: buộc chữ số ứng viên khác
R6C6=1 là sai. Trong cùng một ô R6C6, chữ số ứng viên khác R6C6=6 buộc phải đúng theo giả định hiện tại.
R6C6=1 là sai. Trong cùng một ô R6C6, chữ số ứng viên khác R6C6=6 buộc phải đúng theo giả định hiện tại.
Bước chân 6 · Mối quan hệ yếu: xung đột chữ số ứng viên được liên kết
R6C6=6 là đúng. Xóa R2C6=6.
R6C6=6 là đúng. Xóa R2C6=6.
Bước chân 7 · Cùng một ô: buộc chữ số ứng viên khác
R2C6=6 là sai. Trong cùng một ô R2C6, chữ số ứng viên khác R2C6=7 buộc phải đúng theo giả định hiện tại.
R2C6=6 là sai. Trong cùng một ô R2C6, chữ số ứng viên khác R2C6=7 buộc phải đúng theo giả định hiện tại.
Bước chân 8 · Mối quan hệ yếu: xung đột chữ số ứng viên được liên kết
R2C6=7 là đúng. Xóa R2C8=7.
R2C6=7 là đúng. Xóa R2C8=7.
Bước chân 9 · Cùng một ô: buộc chữ số ứng viên khác
R2C8=7 là sai. Trong cùng một ô R2C8, chữ số ứng viên khác R2C8=2 buộc phải đúng theo giả định hiện tại.
R2C8=7 là sai. Trong cùng một ô R2C8, chữ số ứng viên khác R2C8=2 buộc phải đúng theo giả định hiện tại.
Bước chân 10 · Tóm tắt AIC
Trong hai điểm cuối R1C6=2 và R2C8=2 mang cùng chữ số, ít nhất một điểm phải đúng. Mọi mục tiêu R1C8=2, R1C9=2, R2C4=2 đều nhìn thấy cả hai điểm cuối nên không thể đúng.
Trong hai điểm cuối R1C6=2 và R2C8=2 mang cùng chữ số, ít nhất một điểm phải đúng. Mọi mục tiêu R1C8=2, R1C9=2, R2C4=2 đều nhìn thấy cả hai điểm cuối nên không thể đú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.
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 12 · Tóm tắt AIC
Rút lại trường hợp điểm cuối tạm thời. AIC Loại 1 loại bỏ vĩnh viễn R1C8=2, R1C9=2, R2C4=2, vì mỗi mục tiêu nhìn thấy cả R1C6=2 và R2C8=2.
Rút lại trường hợp điểm cuối tạm thời. AIC Loại 1 loại bỏ vĩnh viễn R1C8=2, R1C9=2, R2C4=2, vì mỗi mục tiêu nhìn thấy cả R1C6=2 và R2C8=2.
Những gì nó cho phép
Rút lại trường hợp điểm cuối tạm thời. AIC Loại 1 loại bỏ vĩnh viễn R1C8=2, R1C9=2, R2C4=2, vì mỗi mục tiêu nhìn thấy cả R1C6=2 và R2C8=2.
Nice Loop / AIC · Sử dụng kết quả đã được xác minh: xóa một chữ số ứng viên hoặc đặt một chữ số khi trạng thái logic ngược lại của nó là không thể.
Ví dụ từng bước · Loại 2
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 · Đọc AIC trước khi theo dõi nó
Bài học Nice Loop / AIC này sử dụng họ nút chữ số ứng viên thông thường của HoDoKu: loại bỏ và sắp xếp không liên tục, chuỗi Loại 1 và Loại 2 mở cũng như các vòng lặp liên tục. Bắt đầu tại R1C8=9 là sai và kiểm tra R4C8=9. Trong hàng 1, cột 7, khối 6, cột 8, hàng 3, cột 6, hàng 5, cột 4, hàng 6, cột 9, hàng 4, liên kết liền nét có nghĩa là ít nhất một đầu là đúng; một liên kết đứt nét có nghĩa là hai điểm cuối không thể đúng cùng một lúc. Thực hiện theo một mối quan hệ được đánh dấu tại một thời điểm.
Bài học Nice Loop / AIC này sử dụng họ nút chữ số ứng viên thông thường của HoDoKu: loại bỏ và sắp xếp không liên tục, chuỗi Loại 1 và Loại 2 mở cũng như các vòng lặp liên tục. Bắt đầu tại R1C8=9 là sai và kiểm tra R4C8=9. Trong hàng 1, cột 7, khối 6, cột 8, hàng 3, cột 6, hàng 5, cột 4, hàng 6, cột 9, hàng 4, liên kết liền nét có nghĩa là ít nhất một đầu là đúng; một liên kết đứt nét có nghĩa là hai điểm cuối không thể đúng cùng một lúc. Thực hiện theo một mối quan hệ được đánh dấu tại một thời điểm.
Bước chân 2 · Giả định: bắt đầu chuỗi xen kẽ
Nhánh 1: giả sử R1C8=9 là sai.
Nhánh 1: giả sử R1C8=9 là sai.
Bước chân 3 · Mối quan hệ chặt chẽ: điểm cuối khác bị ép buộc
R1C8=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 1. Do đó R1C7=9 phải đúng.
R1C8=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 1. Do đó R1C7=9 phải đúng.
Bước chân 4 · Mối quan hệ yếu: xung đột chữ số ứng viên được liên kết
R1C7=9 là đúng. Xóa R5C7=9.
R1C7=9 là đúng. Xóa R5C7=9.
Bước chân 5 · Cùng một ô: buộc chữ số ứng viên khác
R5C7=9 là sai. Trong cùng một ô R5C7, chữ số ứng viên khác R5C7=2 buộc phải đúng theo giả định hiện tại.
R5C7=9 là sai. Trong cùng một ô R5C7, chữ số ứng viên khác R5C7=2 buộc phải đúng theo giả định hiện tại.
Bước chân 6 · Mối quan hệ yếu: xung đột chữ số ứng viên được liên kết
R5C7=2 là đúng. Xóa R6C8=2.
R5C7=2 là đúng. Xóa R6C8=2.
Bước chân 7 · Cùng một ô: buộc chữ số ứng viên khác
R6C8=2 là sai. Trong cùng một ô R6C8, chữ số ứng viên khác R6C8=1 buộc phải đúng theo giả định hiện tại.
R6C8=2 là sai. Trong cùng một ô R6C8, chữ số ứng viên khác R6C8=1 buộc phải đúng theo giả định hiện tại.
Bước chân 8 · Mối quan hệ yếu: xung đột chữ số ứng viên được liên kết
R6C8=1 là đúng. Xóa R3C8=1.
R6C8=1 là đúng. Xóa R3C8=1.
Bước chân 9 · Cùng một ô: buộc chữ số ứng viên khác
R3C8=1 là sai. Trong cùng một ô R3C8, chữ số ứng viên khác R3C8=6 buộc phải đúng theo giả định hiện tại.
R3C8=1 là sai. Trong cùng một ô R3C8, chữ số ứng viên khác R3C8=6 buộc phải đúng theo giả định hiện tại.
Bước chân 10 · Mối quan hệ yếu: xung đột chữ số ứng viên được liên kết
R3C8=6 là đúng. Xóa R3C6=6.
R3C8=6 là đúng. Xóa R3C6=6.
Bước chân 11 · Cùng một ô: buộc chữ số ứng viên khác
R3C6=6 là sai. Trong cùng một ô R3C6, chữ số ứng viên khác R3C6=4 buộc phải đúng theo giả định hiện tại.
R3C6=6 là sai. Trong cùng một ô R3C6, chữ số ứng viên khác R3C6=4 buộc phải đúng theo giả định hiện tại.
Bước chân 12 · Mối quan hệ yếu: xung đột chữ số ứng viên được liên kết
R3C6=4 là đúng. Xóa R5C6=4.
R3C6=4 là đúng. Xóa R5C6=4.
Bước chân 13 · Mối quan hệ chặt chẽ: điểm cuối khác bị ép buộc
R5C6=4 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 5. Do đó R5C4=4 phải đúng.
R5C6=4 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 5. Do đó R5C4=4 phải đúng.
Bước chân 14 · Mối quan hệ yếu: xung đột chữ số ứng viên được liên kết
R5C4=4 là đúng. Xóa R5C4=3.
R5C4=4 là đúng. Xóa R5C4=3.
Bước chân 15 · Mối quan hệ chặt chẽ: điểm cuối khác bị ép buộc
R5C4=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 4. Do đó R6C4=3 phải đúng.
R5C4=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 4. Do đó R6C4=3 phải đúng.
Bước chân 16 · Mối quan hệ yếu: xung đột chữ số ứng viên được liên kết
R6C4=3 là đúng. Xóa R6C9=3.
R6C4=3 là đúng. Xóa R6C9=3.
Bước chân 17 · Mối quan hệ chặt chẽ: điểm cuối khác bị ép buộc
R6C9=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 9. Do đó R4C9=3 phải đúng.
R6C9=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 9. Do đó R4C9=3 phải đúng.
Bước chân 18 · Mối quan hệ yếu: xung đột chữ số ứng viên được liên kết
R4C9=3 là đúng. Xóa R4C9=7.
R4C9=3 là đúng. Xóa R4C9=7.
Bước chân 19 · Mối quan hệ chặt chẽ: điểm cuối khác bị ép buộc
R4C9=7 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 4. Do đó R4C8=7 phải đúng.
R4C9=7 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 4. Do đó R4C8=7 phải đúng.
Bước chân 20 · Tóm tắt AIC
Điểm cuối ngang hàng R1C8=9 và R4C8=7 mang các chữ số khác nhau. Mỗi chữ số ứng viên chéo được đánh dấu R4C8=9 sẽ làm cho cả hai điểm cuối đều sai, vì vậy hãy xóa nó.
Điểm cuối ngang hàng R1C8=9 và R4C8=7 mang các chữ số khác nhau. Mỗi chữ số ứng viên chéo được đánh dấu R4C8=9 sẽ làm cho cả hai điểm cuối đều sai, vì vậy hãy xóa nó.
Bước chân 21 · 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.
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 22 · Tóm tắt AIC
Rút lại trường hợp điểm cuối tạm thời. AIC Loại 2 loại bỏ vĩnh viễn các chữ số ứng viên chéo R4C8=9 giữa R1C8=9 và R4C8=7.
Rút lại trường hợp điểm cuối tạm thời. AIC Loại 2 loại bỏ vĩnh viễn các chữ số ứng viên chéo R4C8=9 giữa R1C8=9 và R4C8=7.
Những gì nó cho phép
Rút lại trường hợp điểm cuối tạm thời. AIC Loại 2 loại bỏ vĩnh viễn các chữ số ứng viên chéo R4C8=9 giữa R1C8=9 và R4C8=7.
Nice Loop / AIC · Sử dụng kết quả đã được xác minh: xóa một chữ số ứng viên hoặc đặt một chữ số khi trạng thái logic ngược lại của nó là không thể.
Ví dụ từng bước · Vòng lặp liên tục
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 · Đọc AIC trước khi theo dõi nó
Bài học Nice Loop / AIC này sử dụng họ nút chữ số ứng viên thông thường của HoDoKu: loại bỏ và sắp xếp không liên tục, chuỗi Loại 1 và Loại 2 mở cũng như các vòng lặp liên tục. Bắt đầu tại R9C3=6 là sai và kiểm tra R9C3=5. Trong cột 3, hàng 5, cột 8, hàng 9, liên kết liền nét có nghĩa là ít nhất một đầu là đúng; một liên kết đứt nét có nghĩa là hai điểm cuối không thể đúng cùng một lúc. Thực hiện theo một mối quan hệ được đánh dấu tại một thời điểm.
Bài học Nice Loop / AIC này sử dụng họ nút chữ số ứng viên thông thường của HoDoKu: loại bỏ và sắp xếp không liên tục, chuỗi Loại 1 và Loại 2 mở cũng như các vòng lặp liên tục. Bắt đầu tại R9C3=6 là sai và kiểm tra R9C3=5. Trong cột 3, hàng 5, cột 8, hàng 9, liên kết liền nét có nghĩa là ít nhất một đầu là đúng; một liên kết đứt nét có nghĩa là hai điểm cuối không thể đúng cùng một lúc. Thực hiện theo một mối quan hệ được đánh dấu tại một thời điểm.
Bước chân 2 · Giả định: bắt đầu chuỗi xen kẽ
Chỉ chọn R9C3=6 làm điểm bắt đầu đọc của vòng lặp khép kín này. Đây không phải là một giả định thử nghiệm; vòng lặp xen kẽ sẽ trở lại đây.
Chỉ chọn R9C3=6 làm điểm bắt đầu đọc của vòng lặp khép kín này. Đây không phải là một giả định thử nghiệm; vòng lặp xen kẽ sẽ trở lại đây.
Bước chân 3 · Mối quan hệ chặt chẽ: điểm cuối khác bị ép buộc
R9C3=6 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 3. Do đó R5C3=6 phải đúng.
R9C3=6 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 3. Do đó R5C3=6 phải đúng.
Bước chân 4 · Mối quan hệ yếu: xung đột chữ số ứng viên được liên kết
R5C3=6 là đúng. Xóa R5C8=6.
R5C3=6 là đúng. Xóa R5C8=6.
Bước chân 5 · Cùng một ô: buộc chữ số ứng viên khác
R5C8=6 là sai. Trong cùng một ô R5C8, chữ số ứng viên khác R5C8=8 buộc phải đúng theo giả định hiện tại.
R5C8=6 là sai. Trong cùng một ô R5C8, chữ số ứng viên khác R5C8=8 buộc phải đúng theo giả định hiện tại.
Bước chân 6 · Mối quan hệ yếu: xung đột chữ số ứng viên được liên kết
R5C8=8 là đúng. Xóa R9C8=8.
R5C8=8 là đúng. Xóa R9C8=8.
Bước chân 7 · Mối quan hệ chặt chẽ: điểm cuối khác bị ép buộc
R9C8=8 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 9. Do đó R9C3=8 phải đúng.
R9C8=8 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 9. Do đó R9C3=8 phải đúng.
Bước chân 8 · Mối quan hệ yếu: xung đột chữ số ứng viên được liên kết
R9C3=8 là đúng. Xóa R9C3=6.
R9C3=8 là đúng. Xóa R9C3=6.
Bước chân 9 · Tóm tắt AIC
Chuỗi khép lại như một vòng lặp xen kẽ liên tục. Do đó, mọi mối quan hệ yếu trên vòng lặp đều mạnh, điều này sẽ loại bỏ R9C3=5 khỏi ô hoặc đơn vị Sudoku bị ảnh hưởng.
Chuỗi khép lại như một vòng lặp xen kẽ liên tục. Do đó, mọi mối quan hệ yếu trên vòng lặp đều mạnh, điều này sẽ loại bỏ R9C3=5 khỏi ô hoặc đơn vị Sudoku bị ảnh hưởng.
Bước chân 10 · 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.
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 11 · Tóm tắt AIC
Quá trình duyệt vòng lặp đã hoàn tất; rút lại trạng thái chân lý logic tạm thời của nó và xóa vĩnh viễn R9C3=5.
Quá trình duyệt vòng lặp đã hoàn tất; rút lại trạng thái chân lý logic tạm thời của nó và xóa vĩnh viễn R9C3=5.
Những gì nó cho phép
Quá trình duyệt vòng lặp đã hoàn tất; rút lại trạng thái chân lý logic tạm thời của nó và xóa vĩnh viễn R9C3=5.
Nice Loop / AIC · Sử dụng kết quả đã được xác minh: xóa một chữ số ứng viên hoặc đặt một chữ số khi trạng thái logic ngược lại của nó là không thể.