เครือข่ายบังคับ (Forcing Net) · ตัวอย่างทีละขั้นตอน

R1C3=7 เป็นจริงหรือเท็จ กราฟทดสอบ R1C3=7 เป็นจริง; ความขัดแย้งจะตัดสถานะนั้นและบังคับให้ R1C3=7 เป็นเท็จ ดังนั้นสถานะที่เป็นไปได้ทั้งสองจึงได้รับการพิจารณาครบถ้วน นี่คือ Forcing Net ไม่ใช่ Forcing Chain เพราะ กราฟการพึ่งพาที่ตรวจสอบแล้วกระจายออกหรือรวมเข้าด้วยกันแทนที่จะเหลือเส้นทางความหมายเชิงเส้นเส้นเดียว สาขาที่สำรวจมีโหนดที่ได้รับการตรวจสอบ 49

1: สมมติว่า R1C3=7 เป็นจริง

R1C3=7 เป็นจริง ลบ {R1C3=2, R1C3=9, R1C8=7, R2C1=7, R3C1=7, R8C3=7}

หลังจากการยกเว้นก่อนหน้านี้ R8C3=3 เป็นเพียงตัวเลือกเดียวที่เหลืออยู่ใน R8C3 มันถูกบังคับภายใต้สมมติฐานนี้

R8C3=3 เป็นจริง ลบ R7C3=3

หลังจากการยกเว้นก่อนหน้านี้ R7C4=3 เป็นเพียงตัวเลือกเดียวที่เหลืออยู่ใน แถว 7 มันถูกบังคับภายใต้สมมติฐานนี้

หลังจากการยกเว้นก่อนหน้านี้ R8C2=7 เป็นเพียงตัวเลือกเดียวที่เหลืออยู่ใน แถว 8 มันถูกบังคับภายใต้สมมติฐานนี้

R8C2=7 เป็นจริง ลบ R8C2=8

หลังจากการยกเว้นก่อนหน้านี้ R8C8=8 เป็นเพียงตัวเลือกเดียวที่เหลืออยู่ใน แถว 8 มันถูกบังคับภายใต้สมมติฐานนี้

R8C8=8 เป็นจริง ลบ R8C8=4

หลังจากการยกเว้นก่อนหน้านี้ R6C1=7 เป็นเพียงตัวเลือกเดียวที่เหลืออยู่ใน คอลัมน์ 1 มันถูกบังคับภายใต้สมมติฐานนี้

R6C1=7 เป็นจริง ลบ R6C1=5

หลังจากการยกเว้นก่อนหน้านี้ R3C8=4 เป็นเพียงตัวเลือกเดียวที่เหลืออยู่ใน คอลัมน์ 8 มันถูกบังคับภายใต้สมมติฐานนี้

R3C8=4 เป็นจริง ลบ {R3C8=1, R3C8=6}

หลังจากการยกเว้นก่อนหน้านี้ R3C1=2 เป็นเพียงตัวเลือกเดียวที่เหลืออยู่ใน บล็อก 1 มันถูกบังคับภายใต้สมมติฐานนี้

R3C1=2 เป็นจริง ลบ R3C1=5

หลังจากการยกเว้นก่อนหน้านี้ R9C7=4 เป็นเพียงตัวเลือกเดียวที่เหลืออยู่ใน บล็อก 9 มันถูกบังคับภายใต้สมมติฐานนี้

R9C7=4 เป็นจริง ลบ R9C7=9

หลังจากการยกเว้นก่อนหน้านี้ R7C9=9 เป็นเพียงตัวเลือกเดียวที่เหลืออยู่ใน บล็อก 9 มันถูกบังคับภายใต้สมมติฐานนี้

R3C8=4 เป็นจริง ลบ R2C7=4

R6C1=7 เป็นจริง ลบ R6C7=7

หลังจากการยกเว้นก่อนหน้านี้ R6C7=6 เป็นเพียงตัวเลือกเดียวที่เหลืออยู่ใน R6C7 มันถูกบังคับภายใต้สมมติฐานนี้

R6C7=6 เป็นจริง ลบ R3C7=6

R7C4=3 เป็นจริง ลบ R2C4=3

R7C9=9 เป็นจริง ลบ {R1C9=9, R7C3=9}

R8C8=8 เป็นจริง ลบ R1C8=8

หลังจากการยกเว้นก่อนหน้านี้ R3C9=6 เป็นเพียงตัวเลือกเดียวที่เหลืออยู่ใน แถว 3 มันถูกบังคับภายใต้สมมติฐานนี้

R3C9=6 เป็นจริง ลบ R3C9=1

หลังจากการยกเว้นก่อนหน้านี้ R9C1=9 เป็นเพียงตัวเลือกเดียวที่เหลืออยู่ใน แถว 9 มันถูกบังคับภายใต้สมมติฐานนี้

R9C1=9 เป็นจริง ลบ R9C1=5

หลังจากการยกเว้นก่อนหน้านี้ R2C1=5 เป็นเพียงตัวเลือกเดียวที่เหลืออยู่ใน คอลัมน์ 1 มันถูกบังคับภายใต้สมมติฐานนี้

หลังจากการยกเว้นก่อนหน้านี้ R2C3=9 เป็นเพียงตัวเลือกเดียวที่เหลืออยู่ใน คอลัมน์ 3 มันถูกบังคับภายใต้สมมติฐานนี้

หลังจากการยกเว้นก่อนหน้านี้ R2C9=1 เป็นเพียงตัวเลือกเดียวที่เหลืออยู่ใน บล็อก 3 มันถูกบังคับภายใต้สมมติฐานนี้

หลังจากการยกเว้นก่อนหน้านี้ R1C8=5 เป็นเพียงตัวเลือกเดียวที่เหลืออยู่ใน R1C8 มันถูกบังคับภายใต้สมมติฐานนี้

R1C8=5 เป็นจริง ลบ R1C9=5

หลังจากการยกเว้นก่อนหน้านี้ R1C9=8 เป็นเพียงตัวเลือกเดียวที่เหลืออยู่ใน R1C9 มันถูกบังคับภายใต้สมมติฐานนี้

R1C9=8 เป็นจริง ลบ R2C7=8

R2C1=5 เป็นจริง ลบ R2C4=5

R2C3=9 เป็นจริง ลบ R2C7=9

หลังจากการยกเว้นก่อนหน้านี้ R2C7=7 เป็นเพียงตัวเลือกเดียวที่เหลืออยู่ใน R2C7 มันถูกบังคับภายใต้สมมติฐานนี้

R2C7=7 เป็นจริง ลบ R2C4=7

R2C9=1 เป็นจริง ลบ R2C4=1

สมมติฐานนี้ทำให้ไม่มีค่าหรือตำแหน่งที่เป็นไปได้ใน R2C4: {R2C4=1, R2C4=3, R2C4=5, R2C4=7} ช่องซูโดกุและแต่ละหลักที่หายไปในภูมิภาคจะต้องมีตัวเลือก สมมติฐานนั้นเป็นไปไม่ได้

ถอนสมมติฐานนี้และผลที่ตามมา กลับไปที่สแนปชอตของตัวเลขที่เป็นไปได้ที่ไม่เปลี่ยนแปลงก่อนที่จะตรวจสอบความเป็นไปได้ครั้งต่อไป

R1C3=7 สามารถลบออกได้เนื่องจากไม่สามารถเป็นจริงได้ในรูปแบบนี้

ชุดรูท R7C5=2, R7C5=4, R7C5=9 มีการเริ่มต้นที่เป็นไปได้ทั้งหมดใน R7C5 ดังนั้นสาขารูทจึงครบถ้วนสมบูรณ์ นี่คือ Forcing Net ไม่ใช่ Forcing Chain เพราะ กราฟการพึ่งพาที่ตรวจสอบแล้วกระจายออกหรือรวมเข้าด้วยกันแทนที่จะเหลือเส้นทางความหมายเชิงเส้นเส้นเดียว กราฟการขึ้นต่อกันประกอบด้วยโหนดที่ได้รับการตรวจสอบ 58 ทั่วทั้งสาขารากของ 3 ผลลัพธ์ทั่วไปในการตรวจสอบคือ R3C6=2 เป็นจริง

1: สมมติว่า R7C5=2 เป็นจริง

R7C5=2 เป็นจริง ลบ R3C5=2

หลังจากการยกเว้นก่อนหน้านี้ R3C6=2 เป็นเพียงตัวเลือกเดียวที่เหลืออยู่ใน แถว 3 มันถูกบังคับภายใต้สมมติฐานนี้

ถอนสมมติฐานนี้และผลที่ตามมา กลับไปที่สแนปชอตของตัวเลขที่เป็นไปได้ที่ไม่เปลี่ยนแปลงก่อนที่จะตรวจสอบความเป็นไปได้ครั้งต่อไป

2: สมมติว่า R7C5=4 เป็นจริง

R7C5=4 เป็นจริง ลบ R8C5=4

หลังจากการยกเว้นก่อนหน้านี้ R8C5=2 เป็นเพียงตัวเลือกเดียวที่เหลืออยู่ใน R8C5 มันถูกบังคับภายใต้สมมติฐานนี้

R8C5=2 เป็นจริง ลบ R3C5=2

หลังจากการยกเว้นก่อนหน้านี้ R3C6=2 เป็นเพียงตัวเลือกเดียวที่เหลืออยู่ใน แถว 3 มันถูกบังคับภายใต้สมมติฐานนี้

ถอนสมมติฐานนี้และผลที่ตามมา กลับไปที่สแนปชอตของตัวเลขที่เป็นไปได้ที่ไม่เปลี่ยนแปลงก่อนที่จะตรวจสอบความเป็นไปได้ครั้งต่อไป

3: สมมติว่า R7C5=9 เป็นจริง

R7C5=9 เป็นจริง ลบ {R7C7=9, R7C8=9, R7C9=9}

หลังจากการยกเว้นก่อนหน้านี้ R7C8=7 เป็นเพียงตัวเลือกเดียวที่เหลืออยู่ใน R7C8 มันถูกบังคับภายใต้สมมติฐานนี้

R7C8=7 เป็นจริง ลบ {R7C9=7, R9C7=7, R9C8=7}

หลังจากการยกเว้นก่อนหน้านี้ R7C9=8 เป็นเพียงตัวเลือกเดียวที่เหลืออยู่ใน R7C9 มันถูกบังคับภายใต้สมมติฐานนี้

R7C9=8 เป็นจริง ลบ {R7C7=8, R8C7=8, R9C7=8}

หลังจากการยกเว้นก่อนหน้านี้ R9C1=7 เป็นเพียงตัวเลือกเดียวที่เหลืออยู่ใน แถว 9 มันถูกบังคับภายใต้สมมติฐานนี้

หลังจากการยกเว้นก่อนหน้านี้ R4C7=8 เป็นเพียงตัวเลือกเดียวที่เหลืออยู่ใน คอลัมน์ 7 มันถูกบังคับภายใต้สมมติฐานนี้

R4C7=8 เป็นจริง ลบ R4C7=5

หลังจากการยกเว้นก่อนหน้านี้ R4C9=7 เป็นเพียงตัวเลือกเดียวที่เหลืออยู่ใน คอลัมน์ 9 มันถูกบังคับภายใต้สมมติฐานนี้

R4C9=7 เป็นจริง ลบ R4C9=9

หลังจากการยกเว้นก่อนหน้านี้ R6C9=9 เป็นเพียงตัวเลือกเดียวที่เหลืออยู่ใน คอลัมน์ 9 มันถูกบังคับภายใต้สมมติฐานนี้

R6C9=9 เป็นจริง ลบ R6C9=1

หลังจากการยกเว้นก่อนหน้านี้ R5C7=1 เป็นเพียงตัวเลือกเดียวที่เหลืออยู่ใน บล็อก 6 มันถูกบังคับภายใต้สมมติฐานนี้

R5C7=1 เป็นจริง ลบ {R5C7=5, R5C7=7}

หลังจากการยกเว้นก่อนหน้านี้ R4C8=5 เป็นเพียงตัวเลือกเดียวที่เหลืออยู่ใน บล็อก 6 มันถูกบังคับภายใต้สมมติฐานนี้

R4C8=5 เป็นจริง ลบ {R4C5=5, R8C8=5}

R5C7=1 เป็นจริง ลบ {R2C7=1, R5C1=1}

R9C1=7 เป็นจริง ลบ R5C1=7

หลังจากการยกเว้นก่อนหน้านี้ R5C2=7 เป็นเพียงตัวเลือกเดียวที่เหลืออยู่ใน แถว 5 มันถูกบังคับภายใต้สมมติฐานนี้

R5C2=7 เป็นจริง ลบ R5C2=3

หลังจากการยกเว้นก่อนหน้านี้ R8C7=5 เป็นเพียงตัวเลือกเดียวที่เหลืออยู่ใน แถว 8 มันถูกบังคับภายใต้สมมติฐานนี้

R8C7=5 เป็นจริง ลบ {R8C7=2, R8C7=6}

หลังจากการยกเว้นก่อนหน้านี้ R1C1=1 เป็นเพียงตัวเลือกเดียวที่เหลืออยู่ใน คอลัมน์ 1 มันถูกบังคับภายใต้สมมติฐานนี้

หลังจากการยกเว้นก่อนหน้านี้ R7C7=6 เป็นเพียงตัวเลือกเดียวที่เหลืออยู่ใน คอลัมน์ 7 มันถูกบังคับภายใต้สมมติฐานนี้

R7C7=6 เป็นจริง ลบ R7C7=2

หลังจากการยกเว้นก่อนหน้านี้ R9C7=2 เป็นเพียงตัวเลือกเดียวที่เหลืออยู่ใน บล็อก 9 มันถูกบังคับภายใต้สมมติฐานนี้

R9C7=2 เป็นจริง ลบ R9C7=9

หลังจากการยกเว้นก่อนหน้านี้ R9C8=9 เป็นเพียงตัวเลือกเดียวที่เหลืออยู่ใน บล็อก 9 มันถูกบังคับภายใต้สมมติฐานนี้

R9C8=9 เป็นจริง ลบ R9C8=3

R1C1=1 เป็นจริง ลบ R2C3=1

หลังจากการยกเว้นก่อนหน้านี้ R2C5=1 เป็นเพียงตัวเลือกเดียวที่เหลืออยู่ใน แถว 2 มันถูกบังคับภายใต้สมมติฐานนี้

R2C5=1 เป็นจริง ลบ R2C5=5

หลังจากการยกเว้นก่อนหน้านี้ R9C3=3 เป็นเพียงตัวเลือกเดียวที่เหลืออยู่ใน แถว 9 มันถูกบังคับภายใต้สมมติฐานนี้

หลังจากการยกเว้นก่อนหน้านี้ R5C5=5 เป็นเพียงตัวเลือกเดียวที่เหลืออยู่ใน คอลัมน์ 5 มันถูกบังคับภายใต้สมมติฐานนี้

R5C5=5 เป็นจริง ลบ R5C5=3

R9C3=3 เป็นจริง ลบ R5C3=3

หลังจากการยกเว้นก่อนหน้านี้ R5C6=3 เป็นเพียงตัวเลือกเดียวที่เหลืออยู่ใน แถว 5 มันถูกบังคับภายใต้สมมติฐานนี้

R5C6=3 เป็นจริง ลบ R3C6=3

หลังจากการยกเว้นก่อนหน้านี้ R3C6=2 เป็นเพียงตัวเลือกเดียวที่เหลืออยู่ใน R3C6 มันถูกบังคับภายใต้สมมติฐานนี้

ทุกสาขาที่เป็นไปได้มีข้อเท็จจริงเดียวกัน: R3C6=2 เป็นจริง หลังจากถอนสมมติฐานทั้งหมดแล้ว ข้อเท็จจริงข้อนี้ก็ยังคงแน่นอน

R3C6=2 ถูกบังคับโดยรูปแบบนี้