Mạng suy luận bắt buộc (Forcing Net) · Ví dụ từng bước

R1C3=7 hoặc đúng hoặc sai. Đồ thị kiểm tra R1C3=7 là đúng; mâu thuẫn loại bỏ trạng thái đó và buộc R1C3=7 là sai, nên cả hai trạng thái đều được bao quát. Đây là Forcing Net, không phải Forcing Chain, vì biểu đồ phụ thuộc đã được xác minh tách ra hoặc hợp nhất thay vì giữ lại một đường dẫn hàm ý tuyến tính duy nhất. Nhánh được khảo sát gồm 49 nút đã kiểm chứng.

Nhánh 1: giả sử R1C3=7 là đúng.

R1C3=7 là đúng. Xóa {R1C3=2, R1C3=9, R1C8=7, R2C1=7, R3C1=7, R8C3=7}.

Sau các loại trừ trước đó, R8C3=3 là lựa chọn duy nhất còn lại trong R8C3. Nó bị ép buộc theo giả định này.

R8C3=3 là đúng. Xóa R7C3=3.

Sau các loại trừ trước đó, R7C4=3 là lựa chọn duy nhất còn lại trong hàng 7. Nó bị ép buộc theo giả định này.

Sau các loại trừ trước đó, R8C2=7 là lựa chọn duy nhất còn lại trong hàng 8. Nó bị ép buộc theo giả định này.

R8C2=7 là đúng. Xóa R8C2=8.

Sau các loại trừ trước đó, R8C8=8 là lựa chọn duy nhất còn lại trong hàng 8. Nó bị ép buộc theo giả định này.

R8C8=8 là đúng. Xóa R8C8=4.

Sau các loại trừ trước đó, R6C1=7 là lựa chọn duy nhất còn lại trong cột 1. Nó bị ép buộc theo giả định này.

R6C1=7 là đúng. Xóa R6C1=5.

Sau các loại trừ trước đó, R3C8=4 là lựa chọn duy nhất còn lại trong cột 8. Nó bị ép buộc theo giả định này.

R3C8=4 là đúng. Xóa {R3C8=1, R3C8=6}.

Sau các loại trừ trước đó, R3C1=2 là lựa chọn duy nhất còn lại trong khối 1. Nó bị ép buộc theo giả định này.

R3C1=2 là đúng. Xóa R3C1=5.

Sau các loại trừ trước đó, R9C7=4 là lựa chọn duy nhất còn lại trong khối 9. Nó bị ép buộc theo giả định này.

R9C7=4 là đúng. Xóa R9C7=9.

Sau các loại trừ trước đó, R7C9=9 là lựa chọn duy nhất còn lại trong khối 9. Nó bị ép buộc theo giả định này.

R3C8=4 là đúng. Xóa R2C7=4.

R6C1=7 là đúng. Xóa R6C7=7.

Sau các loại trừ trước đó, R6C7=6 là lựa chọn duy nhất còn lại trong R6C7. Nó bị ép buộc theo giả định này.

R6C7=6 là đúng. Xóa R3C7=6.

R7C4=3 là đúng. Xóa R2C4=3.

R7C9=9 là đúng. Xóa {R1C9=9, R7C3=9}.

R8C8=8 là đúng. Xóa R1C8=8.

Sau các loại trừ trước đó, R3C9=6 là lựa chọn duy nhất còn lại trong hàng 3. Nó bị ép buộc theo giả định này.

R3C9=6 là đúng. Xóa R3C9=1.

Sau các loại trừ trước đó, R9C1=9 là lựa chọn duy nhất còn lại trong hàng 9. Nó bị ép buộc theo giả định này.

R9C1=9 là đúng. Xóa R9C1=5.

Sau các loại trừ trước đó, R2C1=5 là lựa chọn duy nhất còn lại trong cột 1. Nó bị ép buộc theo giả định này.

Sau các loại trừ trước đó, R2C3=9 là lựa chọn duy nhất còn lại trong cột 3. Nó bị ép buộc theo giả định này.

Sau các loại trừ trước đó, R2C9=1 là lựa chọn duy nhất còn lại trong khối 3. Nó bị ép buộc theo giả định này.

Sau các loại trừ trước đó, R1C8=5 là lựa chọn duy nhất còn lại trong R1C8. Nó bị ép buộc theo giả định này.

R1C8=5 là đúng. Xóa R1C9=5.

Sau các loại trừ trước đó, R1C9=8 là lựa chọn duy nhất còn lại trong R1C9. Nó bị ép buộc theo giả định này.

R1C9=8 là đúng. Xóa R2C7=8.

R2C1=5 là đúng. Xóa R2C4=5.

R2C3=9 là đúng. Xóa R2C7=9.

Sau các loại trừ trước đó, R2C7=7 là lựa chọn duy nhất còn lại trong R2C7. Nó bị ép buộc theo giả định này.

R2C7=7 là đúng. Xóa R2C4=7.

R2C9=1 là đúng. Xóa R2C4=1.

Giả định này không để lại giá trị hoặc vị trí nào có thể có trong R2C4: {R2C4=1, R2C4=3, R2C4=5, R2C4=7}. Một ô Sudoku và mỗi chữ số bị thiếu trong một vùng phải có tùy chọn. Giả định là không thể.

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.

R1C3=7 có thể bị xóa vì nó không thể đúng trong mẫu này.

Bộ gốc R7C5=2, R7C5=4, R7C5=9 chứa mọi phần khởi đầu có thể có trong R7C5, do đó các nhánh gốc là đầy đủ. Đây là Forcing Net, không phải Forcing Chain, vì biểu đồ phụ thuộc đã được xác minh tách ra hoặc hợp nhất thay vì giữ lại một đường dẫn hàm ý tuyến tính duy nhất. Đồ thị phụ thuộc gồm 58 nút đã kiểm chứng thuộc 3 nhánh gốc. Kết quả chung cần kiểm tra là R3C6=2 là đúng.

Nhánh 1: giả sử R7C5=2 là đúng.

R7C5=2 là đúng. Xóa R3C5=2.

Sau các loại trừ trước đó, R3C6=2 là lựa chọn duy nhất còn lại trong hàng 3. Nó bị ép buộc theo giả định này.

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.

Nhánh 2: giả sử R7C5=4 là đúng.

R7C5=4 là đúng. Xóa R8C5=4.

Sau các loại trừ trước đó, R8C5=2 là lựa chọn duy nhất còn lại trong R8C5. Nó bị ép buộc theo giả định này.

R8C5=2 là đúng. Xóa R3C5=2.

Sau các loại trừ trước đó, R3C6=2 là lựa chọn duy nhất còn lại trong hàng 3. Nó bị ép buộc theo giả định này.

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.

Nhánh 3: giả sử R7C5=9 là đúng.

R7C5=9 là đúng. Xóa {R7C7=9, R7C8=9, R7C9=9}.

Sau các loại trừ trước đó, R7C8=7 là lựa chọn duy nhất còn lại trong R7C8. Nó bị ép buộc theo giả định này.

R7C8=7 là đúng. Xóa {R7C9=7, R9C7=7, R9C8=7}.

Sau các loại trừ trước đó, R7C9=8 là lựa chọn duy nhất còn lại trong R7C9. Nó bị ép buộc theo giả định này.

R7C9=8 là đúng. Xóa {R7C7=8, R8C7=8, R9C7=8}.

Sau các loại trừ trước đó, R9C1=7 là lựa chọn duy nhất còn lại trong hàng 9. Nó bị ép buộc theo giả định này.

Sau các loại trừ trước đó, R4C7=8 là lựa chọn duy nhất còn lại trong cột 7. Nó bị ép buộc theo giả định này.

R4C7=8 là đúng. Xóa R4C7=5.

Sau các loại trừ trước đó, R4C9=7 là lựa chọn duy nhất còn lại trong cột 9. Nó bị ép buộc theo giả định này.

R4C9=7 là đúng. Xóa R4C9=9.

Sau các loại trừ trước đó, R6C9=9 là lựa chọn duy nhất còn lại trong cột 9. Nó bị ép buộc theo giả định này.

R6C9=9 là đúng. Xóa R6C9=1.

Sau các loại trừ trước đó, R5C7=1 là lựa chọn duy nhất còn lại trong khối 6. Nó bị ép buộc theo giả định này.

R5C7=1 là đúng. Xóa {R5C7=5, R5C7=7}.

Sau các loại trừ trước đó, R4C8=5 là lựa chọn duy nhất còn lại trong khối 6. Nó bị ép buộc theo giả định này.

R4C8=5 là đúng. Xóa {R4C5=5, R8C8=5}.

R5C7=1 là đúng. Xóa {R2C7=1, R5C1=1}.

R9C1=7 là đúng. Xóa R5C1=7.

Sau các loại trừ trước đó, R5C2=7 là lựa chọn duy nhất còn lại trong hàng 5. Nó bị ép buộc theo giả định này.

R5C2=7 là đúng. Xóa R5C2=3.

Sau các loại trừ trước đó, R8C7=5 là lựa chọn duy nhất còn lại trong hàng 8. Nó bị ép buộc theo giả định này.

R8C7=5 là đúng. Xóa {R8C7=2, R8C7=6}.

Sau các loại trừ trước đó, R1C1=1 là lựa chọn duy nhất còn lại trong cột 1. Nó bị ép buộc theo giả định này.

Sau các loại trừ trước đó, R7C7=6 là lựa chọn duy nhất còn lại trong cột 7. Nó bị ép buộc theo giả định này.

R7C7=6 là đúng. Xóa R7C7=2.

Sau các loại trừ trước đó, R9C7=2 là lựa chọn duy nhất còn lại trong khối 9. Nó bị ép buộc theo giả định này.

R9C7=2 là đúng. Xóa R9C7=9.

Sau các loại trừ trước đó, R9C8=9 là lựa chọn duy nhất còn lại trong khối 9. Nó bị ép buộc theo giả định này.

R9C8=9 là đúng. Xóa R9C8=3.

R1C1=1 là đúng. Xóa R2C3=1.

Sau các loại trừ trước đó, R2C5=1 là lựa chọn duy nhất còn lại trong hàng 2. Nó bị ép buộc theo giả định này.

R2C5=1 là đúng. Xóa R2C5=5.

Sau các loại trừ trước đó, R9C3=3 là lựa chọn duy nhất còn lại trong hàng 9. Nó bị ép buộc theo giả định này.

Sau các loại trừ trước đó, R5C5=5 là lựa chọn duy nhất còn lại trong cột 5. Nó bị ép buộc theo giả định này.

R5C5=5 là đúng. Xóa R5C5=3.

R9C3=3 là đúng. Xóa R5C3=3.

Sau các loại trừ trước đó, R5C6=3 là lựa chọn duy nhất còn lại trong hàng 5. Nó bị ép buộc theo giả định này.

R5C6=3 là đúng. Xóa R3C6=3.

Sau các loại trừ trước đó, R3C6=2 là lựa chọn duy nhất còn lại trong R3C6. Nó bị ép buộc theo giả định này.

Mọi nhánh có thể đều đạt được cùng một thực tế: R3C6=2 là đúng. Sau khi rút lại mọi giả định, thực tế này vẫn chắc chắn.

R3C6=2 bị ép buộc bởi mẫu này.