ForcingNet

ระดับ12 · เข็มขัดดำ

กลยุทธ์:

การบังคับ

ภาพรวม

ForcingNetขยายโซ่บังคับโดยการติดตามผลที่ตามมาทั้งหมดจากแต่ละตัวเลือกพร้อมกันไม่ใช่แค่เชนเดียวสิ่งนี้สร้างเครือข่ายผลที่ตามมาแบบแตกแขนงซึ่งสามารถค้นหาความขัดแย้งที่ลึกกว่าและผลลัพธ์ร่วมได้

วิธีการทำงาน

  1. ค้นหาช่องที่มีผู้สมัครหลายตัว2.สมมติผู้สมัครแต่ละตัวตามลำดับและติดตามผลที่ตามมาทั้งหมด(ไม่ใช่แค่สายเดียว)3.หากการสมมติใดนำไปสู่ความขัดแย้ง(สถานะที่เป็นไปไม่ได้)ให้ตัดผู้สมัครนั้นออก4.หากการสมมติทั้งหมดบังคับให้ได้ข้อสรุปเดียวกันข้อสรุปนั้นถือว่าใช้ได้

ตัวอย่าง

ตำแหน่งเริ่มต้น

มองหาForcingNet

1

แยกสาขาที่ตัวเลือกทุกตัวของr1c1

ช่องr1c1มี3ตัวเลือก:{1, 3, 9}

2

สมมติว่าr1c1คือ1

สมมติว่าr1c1=1แล้วติดตามผลลัพธ์ทั้งหมดผ่านเครือข่าย

3

สาขานี้นำไปสู่ความขัดแย้ง

สมมติฐานนี้นำไปสู่ความขัดแย้งสาขานั้นจึงเป็นไปไม่ได้

4

ตัด1ออกจากr1c1

ดังนั้น1ทำให้เกิดความขัดแย้งและสามารถตัดออกจากr1c1ได้

5

ผลลัพธ์

ผลลัพธ์หลังใช้เทคนิค

เคล็ดลับและรูปแบบ

  • ForcingNetทรงพลังกว่าโซ่บังคับเพราะติดตามผลที่ตามมาทุกอย่างไม่ใช่แค่เส้นทางเดียวมันใช้การคำนวณสูงและมักเป็นทางเลือกสุดท้ายก่อนการไล่เดาแบบbruteforceลักษณะการแตกแขนงทำให้ติดตามด้วยมือได้ยาก