Bắt buộc mạng

Net ép buộc mở rộng Chuỗi ép buộc bằng cách theo dõi tất cả hệ quả từ mỗi ứng cử viên cùng lúc, chứ không chỉ các chuỗi đơn lẻ. Điều này tạo ra một mạng lưới hệ quả nhánh, có thể phát hiện những mâu thuẫn sâu hơn và các kết quả chung.

Kỹ thuật

1. Tìm một Ô có nhiều ứng cử viên.
2. Giả sử từng ứng cử viên một và theo dõi tất cả hệ quả phát sinh (không chỉ một nhánh).
3. Nếu một giả sử dẫn đến mâu thuẫn (trạng thái không thể xảy ra), loại bỏ ứng cử viên đó.
4. Nếu tất cả các giả sử đều buộc phải đi đến cùng một kết luận, thì kết luận đó là hợp lệ.

Tips

• Các mạng ép buộc mạnh hơn các chuỗi ép buộc vì chúng theo dõi mọi hệ quả, không chỉ một nhánh duy nhất.
• Chúng tốn kém về mặt tính toán và thường được dùng như phương án cuối cùng trước khi dùng phương pháp vét cạn.
• Tính chất nhánh phức tạp khiến chúng khó theo dõi bằng tay.