Forcing Nets ข่ายบังคับ

Forcing Nets เป็นเทคนิคสุดท้ายที่ยังเป็นตรรกะบริสุทธิ์ คุณเอาตัวเลือกทุกตัวของช่องเดียวมาทีละตัว ตามผลที่ตามมาให้ไกลที่สุด แล้วมองหาสิ่งที่ทุกกิ่งเห็นตรงกัน สิ่งที่ทุกกิ่งตรงกันเป็นจริง เพราะตัวเลือกตัวใดตัวหนึ่งคือค่าจริง ไม่มีการเดา คุณแค่ตรวจทุกกรณีแทนที่จะตรวจกรณีเดียว

รูปแบบนี้คืออะไร

ห่วงโซ่ตามสายนัยเดียว ข่ายตามสายแบบนั้นหนึ่งสายต่อทุกตัวเลือกของช่องหรือหน่วยเริ่มต้น และในกรณีทั่วไปสายหนึ่งแตกต่อได้อีก ข้อสรุปหนึ่งอาจต้องใช้ข้อสรุปก่อนหน้า 2 ข้อพร้อมกัน เช่น “ช่องนี้เป็น 4 และช่องนั้นเป็น 9 ดังนั้นบล็อกเหลือที่วาง 7 ได้ที่เดียว” การตรวจทุกตัวเลือกคือสิ่งที่ทำให้ข่ายแรงกว่าห่วงโซ่ และตรวจช้ากว่า

เริ่มได้ 2 แบบ และจบได้ 2 แบบ

ถ้าทุกกิ่งให้การวางเลขเดียวกัน การวางนั้นเป็นจริง ถ้าทุกกิ่งลบตัวเลือกเดียวกัน ตัวเลือกนั้นตาย และถ้ากิ่งเดียวชนข้อขัดแย้ง (เลขซ้ำสองตัวในหน่วยเดียว หรือช่องที่ไม่เหลืออะไร) ตัวเลือกนั้นเป็นเท็จได้ด้วยตัวเอง โดยไม่ต้องรอกิ่งอื่น

เมื่อไหร่ควรมองหา

เมื่ออะไรที่ถูกกว่าล้มเหลวหมดแล้วเท่านั้น คือ singles เซตล็อก fish wing ห่วงโซ่ และ Almost Locked Sets ข่ายตามรอยแพงและผิดง่าย จึงเป็นก้าวตรรกะสุดท้ายที่ตั้งใจใช้ ไม่ใช่นิสัย เลือกช่องเริ่มที่มีตัวเลือก 2 ตัวและมีช่องสองตัวเลือกข้างเคียงมากๆ กิ่งจะสั้นและตรวจได้ทั้งหมด

วิธีใช้ทีละขั้น

1. ทำโน้ตทั้งหมดให้เป็นปัจจุบัน ข่ายที่สร้างบนตัวเลือกที่ล้าสมัยพิสูจน์อะไรไม่ได้
2. เลือกช่องที่มีตัวเลือก 2 ตัว หรือเลขที่มี 2 ตำแหน่งในหน่วย
3. สมมุติตัวเลือกแรก แล้วเขียนเฉพาะการวางเลขที่ถูกบังคับจริง
4. ย้อนกลับทั้งหมด แล้วทำเหมือนกันกับตัวเลือกที่สอง
5. เทียบกิ่ง เก็บการวางเลขหรือการตัดใดๆ ที่ทั้งสองกิ่งมีร่วม
6. ถ้ากิ่งใดขัดแย้งกับตัวเอง ทิ้งตัวเลือกนั้นทันที

ตัวอย่างที่ทำจริง

เริ่มจากช่อง

H1 มี และเป้าหมายคือ 7 ใน C1 ตามแต่ละค่าของ H1 ทีละค่า

• H1 = 7: C1 อยู่คอลัมน์ 1 ร่วมกับ H1 จึงไม่ใช่ 7
• H1 = 1: A1 เป็น 1 ไม่ได้ A1 จึงเป็น 7 และ C1 ไม่ใช่ 7 ด้วยเหตุผลคอลัมน์เดียวกัน
• H1 = 5: E1 เสีย 5 ดังนั้น F3 เป็น 5 ตัวเดียวในบล็อก 4 จากนั้น F8 เป็น 8 ตัวเดียวในแถว F, C8 เป็น 8 ไม่ได้ และ C1 เป็น 8 ตัวเดียวที่เหลือในแถว C C1 = 8 ดังนั้น C1 ไม่ใช่ 7

ทั้ง 3 กิ่งจบด้วย C1 ไม่ใช่ 7 ดังนั้น C1 เสีย 7 คุณไม่เคยรู้ว่า H1 คืออะไร กิ่งทำหน้าที่เสร็จแล้วก็ถูกทิ้ง

เริ่มจากเลขในหน่วย

บล็อก 7 ต้องมี 7 และวางได้เพียง G2, H2 หรือ J3 เป้าหมายคือ 7 ใน A2

• 7 ใน G2 หรือ H2: A2 อยู่คอลัมน์ 2 ร่วมกับทั้งสองช่อง จึงไม่ใช่ 7
• 7 ใน J3: J3 จึงไม่ใช่ 5 ดังนั้น A3 เป็น 5 ตัวเดียวในคอลัมน์ 3 เมื่อ A3 = 5, A2 เป็น 1 ตัวเดียวในแถว A ดังนั้น A2 = 1 และไม่ใช่ 7

บล็อก 7 วาง 7 ไว้ที่ไหน A2 ก็ไม่มี 7 ดังนั้น A2 เสียเลขนั้น

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

ข้อผิดพลาดที่พบบ่อย

• ทิ้งเครื่องหมายจากกิ่งหนึ่งไว้ในตารางตอนเริ่มกิ่งถัดไป ทุกกิ่งต้องเริ่มจากตำแหน่งเดียวกันที่ยังไม่ถูกแตะ
• ตาม “น่าจะ” แทนการวางเลขที่ถูกบังคับ เขียนได้เฉพาะ singles และการตัดแบบล็อก
• พลาดตัวเลือกของช่องเริ่มต้น ข้ามไปกิ่งเดียว ความตรงกันก็ไร้ค่า
• อ่านข้อขัดแย้งในกิ่งหนึ่งว่าเป็นหลักฐานของข้อสรุปของกิ่งอื่น

จะพบได้ที่ไหน

Forcing Nets คือสิ่งที่ตารางยากที่สุดของเราสร้างมาให้ต้องใช้ คาดว่าจะเจอในปริศนาระดับตำนาน และหลังจากลองเทคนิคห่วงโซ่อย่าง 3D Medusa แล้วเท่านั้น อะไรก็ตามที่ข่ายแก้ได้ เทคนิคที่สั้นกว่าก็แก้ได้ในหลักการ ข่ายคือสิ่งที่คุณใช้เมื่อหาเทคนิคที่สั้นกว่านั้นไม่เจอ