การบังคับ

ใช่การเดาหรือไม่? ข้อถกเถียงเกี่ยวกับ โซ่บังคับ

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

ช่อง โซ่การบังคับ

เริ่มจากช่องที่มีค่าสองค่า ช่อง {A, B} วิเคราะห์ผลลัพธ์จากแต่ละทางเลือก แล้วเปรียบเทียบผลลัพธ์ ขัดแย้ง: ทางเลือกหนึ่งไม่ถูกต้อง ดังนั้น ช่อง ต้องเป็นค่าอีกค่าหนึ่ง การรวมกันที่ตำแหน่ง: ทั้งสองทางเลือกบังคับให้ใส่ตัวเลขเดียวกันลงในช่อง ช่อง ที่อยู่ไกลกัน การรวมกันที่การตัดออก: ทั้งสองทางเลือกตัดค่าเดียวกันออกจากรูปแบบ ช่อง ที่เหมือนกัน

โซ่การบังคับภูมิภาค (โซ่การบังคับตัวเลข)

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

การเชื่อมต่อแรงดัน: การขยายจำนวนกิ่ง

ช่อง การเชื่อมต่อการบังคับ: ช่องที่มีตัวเลือก 3-6 ตัว ช่องการบังคับตามภูมิภาค: ช่องที่มีตำแหน่ง 4-6 ตำแหน่งสำหรับตัวเลขหนึ่งตัว จำนวนกิ่งก้านมากขึ้น ใช้พลังงานมากขึ้น แต่สามารถค้นหาข้อสรุปที่ โซ่บังคับ ไม่สามารถทำได้ ตรรกะเหมือนกัน เพียงแค่จำนวนกิ่งก้านที่แตกต่างกัน

เครื่องยนต์การแพร่กระจาย

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

สามประเภทของการอนุมาน

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

ใช้เทคนิคบังคับเมื่อใด

ทางเลือกสุดท้ายทางตรรกะ ใช้หลังจากเทคนิคทั้งหมดล้มเหลว โซ่บังคับ (2-3 ทางเลือก) จะถูกลองก่อน สำหรับการใช้ Net บังคับ (3-6 ทางเลือก) จะใช้เมื่อโซ่ล้มเหลว ทั้งสองอย่างอยู่ในระดับ 12 (ขั้นสูงสุด) สำหรับโปรแกรมแก้ปัญหาคอมพิวเตอร์ การบังคับให้เกิดผลลัพธ์ช่วยให้มั่นใจได้ว่า ตรรกะเพียงอย่างเดียวสามารถแก้ปัญหาที่ถูกต้องได้ทุกข้อ

ข้อสังเกตทางปรัชญาเกี่ยวกับความงดงามและความสมบูรณ์

เทคนิคที่อิงจากรูปแบบช่วยเปิดเผยความสัมพันธ์ทางโครงสร้าง และมีความสวยงามมากกว่า แต่ก็มีปริศนาที่ถูกต้องซึ่งต้องใช้ตรรกะระดับการบังคับ เทคนิคการบังคับเป็นเครื่องมือป้องกันที่จับทุกปัญหาที่เทคนิคแบบรูปแบบไม่สามารถจัดการได้ แนวทางที่ให้ความพึงพอใจที่สุด: ลองใช้เทคนิคแบบรูปแบบทั้งหมดก่อน แล้วจึงใช้การบังคับก็ต่อเมื่อปัญหาต้องการจริงๆ

สรุป

โซ่บังคับ และ forcing net เป็นเทคนิคตรรกะที่ทรงพลังที่สุด อยู่ที่ระดับ 12 (ขั้นสูงสุด) พวกเขาจะสำรวจทุกความเป็นไปได้จากจุดเริ่มต้น ขยายผลตามผลลัพธ์ และเปรียบเทียบผลลัพธ์ ข้อสรุปเกิดจากการขัดแย้ง การรวมตัวกันของตำแหน่ง หรือการรวมตัวกันของการตัดออก พวกเขาเป็นทางเลือกสุดท้ายก่อนการกลับไปยังการค้นหาแบบดิบ ซึ่งให้ความสมบูรณ์สำหรับปริศนา ซูโดกุ ที่ถูกต้องทุกประการ