Mạng ép buộc

Cấp độ 12 · Đai đen

Chiến lược:

Ép buộc

Tổng quan

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

Cách hoạt động

  1. Tìm một ô có nhiều ứng viên.
  2. Lần lượt giả định từng ứng viên và theo dõi TẤT CẢ hệ quả (không chỉ một chuỗi).
  3. Nếu một giả định dẫn đến mâu thuẫn (trạng thái bất khả thi), hãy loại bỏ ứng viên đó.
  4. Nếu mọi giả định đều dẫn đến cùng một kết luận, kết luận đó là đúng.

Ví dụ

Vị trí ban đầu

Tìm Mạng ép buộc.

1

Phân nhánh theo từng ứng viên của r1c1

ô r1c1 có 3 ứng viên: {1, 3, 9}.

2

Giả sử r1c1 là 1

Giả sử r1c1 = 1 và theo dõi mọi hệ quả qua mạng lưới.

3

Nhánh này dẫn đến mâu thuẫn

Giả định này dẫn đến mâu thuẫn, nên nhánh đó là bất khả thi.

4

Loại bỏ 1 khỏi r1c1

Vậy 1 gây ra mâu thuẫn và có thể bị loại khỏi r1c1.

5

Kết quả

Kết quả sau khi áp dụng kỹ thuật.

Mẹo & Quy luật

  • Forcing Nets mạnh hơn Chuỗi ép buộc vì chúng theo dõi mọi hệ quả, không chỉ một đường.
  • Chúng tốn nhiều tính toán và thường là phương án cuối trước khi thử vét cạn.
  • Tính phân nhánh khiến chúng khó theo dõi thủ công.