Bắt buộc mạng

Cấp độ 12 · Thắt lưng đen

Chiến lược:

Thực hiện ép buộc

Yêu cầu:

Chuỗi ép buộc

Tổng quan

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.

Cách hoạt động

  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ệ.

Ví dụ

Tìm kiếm Bắt buộc mạng.

1

Bắt buộc mạng

Cell r1c1 has 3 candidates: {5, 6, 9}.

2

Bắt buộc mạng

Assume r1c1 = 6 and follow all implications through the net.

3

Bắt buộc mạng

This assumption leads to a CONTRADICTION (impossible state).

4

Bắt buộc mạng

So 6 causes a contradiction and can be eliminated from r1c1.

5

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

Mẹo và mẫu

  • 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.