Nice Loop / AIC · ตัวอย่างทีละขั้นตอน

บทเรียน Nice Loop / AIC นี้ใช้ตระกูลโหนดตัวเลขที่เป็นไปได้ทั่วไปของ HoDoKu: การตัดออกและการวางตำแหน่งที่ไม่ต่อเนื่อง เชนประเภท 1 และประเภท 2 แบบเปิด และการวนซ้ำอย่างต่อเนื่อง เริ่มต้นที่ R1C6=1 เป็นจริง และตรวจสอบ R1C6=1 ใน คอลัมน์ 6, แถว 2, คอลัมน์ 9, แถว 7, บล็อก 5, แถว 5, คอลัมน์ 1, แถว 9, คอลัมน์ 8 ลิงก์ทึบหมายถึงปลายอย่างน้อยด้านหนึ่งเป็นจริง ลิงก์ประหมายความว่าปลายทั้งสองข้างไม่สามารถเป็นจริงพร้อมกันได้ ติดตามความสัมพันธ์ที่เน้นไว้ทีละรายการ

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

R1C6=1 เป็นจริง ลบ R1C6=8

​​R1C6=8 เป็นเท็จ ทั้งสองด้านนี้รวมทุกตัวเลือกที่เหลืออยู่ใน คอลัมน์ 6 ดังนั้น R2C6=8 จะต้องเป็นจริง

R2C6=8 เป็นจริง ลบ R2C6=6

​​R2C6=6 เป็นเท็จ ทั้งสองด้านนี้รวมทุกตัวเลือกที่เหลืออยู่ใน แถว 2 ดังนั้น R2C9=6 จะต้องเป็นจริง

R2C9=6 เป็นจริง ลบ R2C9=3

​​R2C9=3 เป็นเท็จ ทั้งสองด้านนี้รวมทุกตัวเลือกที่เหลืออยู่ใน คอลัมน์ 9 ดังนั้น R7C9=3 จะต้องเป็นจริง

R7C9=3 เป็นจริง ลบ R7C6=3

​​R7C6=3 เป็นเท็จ ทั้งสองด้านนี้รวมทุกตัวเลือกที่เหลืออยู่ใน คอลัมน์ 6 ดังนั้น R6C6=3 จะต้องเป็นจริง

R6C6=3 เป็นจริง ลบ R5C4=3

​​R5C4=3 เป็นเท็จ ทั้งสองด้านนี้รวมทุกตัวเลือกที่เหลืออยู่ใน แถว 5 ดังนั้น R5C1=3 จะต้องเป็นจริง

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

​​R9C1=3 เป็นเท็จ ทั้งสองด้านนี้รวมทุกตัวเลือกที่เหลืออยู่ใน แถว 9 ดังนั้น R9C8=3 จะต้องเป็นจริง

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

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

R2C8=8 เป็นจริง ลบ R2C6=8

​​R2C6=8 เป็นเท็จ ทั้งสองด้านนี้รวมทุกตัวเลือกที่เหลืออยู่ใน คอลัมน์ 6 ดังนั้น R1C6=8 จะต้องเป็นจริง

ผลการอนุมานขัดแย้งกับ “R1C6=1 เป็นจริง” ดังนั้น R1C6=1 เป็นเท็จ

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

วงจรสลับเริ่มต้นจาก "R1C6=1 เป็นจริง" และปฏิบัติตามความสัมพันธ์ที่เข้มแข็งและอ่อนแอที่มีป้ายกำกับ รวมถึงสวิตช์ช่องเดียวกันในกรณีที่จำเป็น จนเกิดความขัดแย้ง ดังนั้น R1C6=1 เป็นเท็จ. สถานะชั่วคราวทั้งหมดจะถูกถอนออก

บทเรียน Nice Loop / AIC นี้ใช้ตระกูลโหนดตัวเลขที่เป็นไปได้ทั่วไปของ HoDoKu: การตัดออกและการวางตำแหน่งที่ไม่ต่อเนื่อง เชนประเภท 1 และประเภท 2 แบบเปิด และการวนซ้ำอย่างต่อเนื่อง เริ่มต้นที่ R1C1=4 เป็นเท็จ และตรวจสอบ R1C1=4 ใน แถว 1, คอลัมน์ 2, บล็อก 4, คอลัมน์ 3 ลิงก์ทึบหมายถึงปลายอย่างน้อยด้านหนึ่งเป็นจริง ลิงก์ประหมายความว่าปลายทั้งสองข้างไม่สามารถเป็นจริงพร้อมกันได้ ติดตามความสัมพันธ์ที่เน้นไว้ทีละรายการ

1: สมมติว่า R1C1=4 เป็นเท็จ

​​R1C1=4 เป็นเท็จ ทั้งสองด้านนี้รวมทุกตัวเลือกที่เหลืออยู่ใน แถว 1 ดังนั้น R1C3=4 จะต้องเป็นจริง

R1C3=4 เป็นจริง ลบ R1C3=5

​​R1C3=5 เป็นเท็จ ทั้งสองด้านนี้รวมทุกตัวเลือกที่เหลืออยู่ใน แถว 1 ดังนั้น R1C2=5 จะต้องเป็นจริง

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

​​R1C2=9 เป็นเท็จ ทั้งสองด้านนี้รวมทุกตัวเลือกที่เหลืออยู่ใน คอลัมน์ 2 ดังนั้น R5C2=9 จะต้องเป็นจริง

R5C2=9 เป็นจริง ลบ R4C3=9

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

R4C3=4 เป็นจริง ลบ R1C3=4

ผลการอนุมานขัดแย้งกับ “R1C1=4 เป็นเท็จ” ดังนั้น R1C1=4 เป็นจริง

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

วงจรสลับเริ่มต้นจาก "R1C1=4 เป็นเท็จ" และปฏิบัติตามความสัมพันธ์ที่เข้มแข็งและอ่อนแอที่มีป้ายกำกับ รวมถึงสวิตช์ช่องเดียวกันในกรณีที่จำเป็น จนเกิดความขัดแย้ง ดังนั้น R1C1=4 เป็นจริง. สถานะชั่วคราวทั้งหมดจะถูกถอนออก

บทเรียน Nice Loop / AIC นี้ใช้ตระกูลโหนดตัวเลขที่เป็นไปได้ทั่วไปของ HoDoKu: การตัดออกและการวางตำแหน่งที่ไม่ต่อเนื่อง เชนประเภท 1 และประเภท 2 แบบเปิด และการวนซ้ำอย่างต่อเนื่อง เริ่มต้นที่ R1C6=2 เป็นเท็จ และตรวจสอบ R1C8=2, R1C9=2, R2C4=2 ใน คอลัมน์ 6, แถว 2 ลิงก์ทึบหมายถึงปลายอย่างน้อยด้านหนึ่งเป็นจริง ลิงก์ประหมายความว่าปลายทั้งสองข้างไม่สามารถเป็นจริงพร้อมกันได้ ติดตามความสัมพันธ์ที่เน้นไว้ทีละรายการ

1: สมมติว่า R1C6=2 เป็นเท็จ

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

R1C6=1 เป็นจริง ลบ R6C6=1

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

R6C6=6 เป็นจริง ลบ R2C6=6

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

R2C6=7 เป็นจริง ลบ R2C8=7

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

ในสองปลาย R1C6=2 และ R2C8=2 ที่เป็นตัวเลขเดียวกัน อย่างน้อยหนึ่งปลายต้องเป็นจริง ทุกเป้าหมาย R1C8=2, R1C9=2, R2C4=2 มองเห็นทั้งสองปลาย จึงไม่มีเป้าหมายใดเป็นจริงได้

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

ถอนกรณีจุดสิ้นสุดชั่วคราว Type 1 AIC จะลบ R1C8=2, R1C9=2, R2C4=2 ออกอย่างถาวร เนื่องจากแต่ละเป้าหมายมองเห็นทั้ง R1C6=2 และ R2C8=2

บทเรียน Nice Loop / AIC นี้ใช้ตระกูลโหนดตัวเลขที่เป็นไปได้ทั่วไปของ HoDoKu: การตัดออกและการวางตำแหน่งที่ไม่ต่อเนื่อง เชนประเภท 1 และประเภท 2 แบบเปิด และการวนซ้ำอย่างต่อเนื่อง เริ่มต้นที่ R1C8=9 เป็นเท็จ และตรวจสอบ R4C8=9 ใน แถว 1, คอลัมน์ 7, บล็อก 6, คอลัมน์ 8, แถว 3, คอลัมน์ 6, แถว 5, คอลัมน์ 4, แถว 6, คอลัมน์ 9, แถว 4 ลิงก์ทึบหมายถึงปลายอย่างน้อยด้านหนึ่งเป็นจริง ลิงก์ประหมายความว่าปลายทั้งสองข้างไม่สามารถเป็นจริงพร้อมกันได้ ติดตามความสัมพันธ์ที่เน้นไว้ทีละรายการ

1: สมมติว่า R1C8=9 เป็นเท็จ

​​R1C8=9 เป็นเท็จ ทั้งสองด้านนี้รวมทุกตัวเลือกที่เหลืออยู่ใน แถว 1 ดังนั้น R1C7=9 จะต้องเป็นจริง

R1C7=9 เป็นจริง ลบ R5C7=9

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

R5C7=2 เป็นจริง ลบ R6C8=2

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

R6C8=1 เป็นจริง ลบ R3C8=1

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

R3C8=6 เป็นจริง ลบ R3C6=6

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

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

​​R5C6=4 เป็นเท็จ ทั้งสองด้านนี้รวมทุกตัวเลือกที่เหลืออยู่ใน แถว 5 ดังนั้น R5C4=4 จะต้องเป็นจริง

R5C4=4 เป็นจริง ลบ R5C4=3

​​R5C4=3 เป็นเท็จ ทั้งสองด้านนี้รวมทุกตัวเลือกที่เหลืออยู่ใน คอลัมน์ 4 ดังนั้น R6C4=3 จะต้องเป็นจริง

R6C4=3 เป็นจริง ลบ R6C9=3

​​R6C9=3 เป็นเท็จ ทั้งสองด้านนี้รวมทุกตัวเลือกที่เหลืออยู่ใน คอลัมน์ 9 ดังนั้น R4C9=3 จะต้องเป็นจริง

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

​​R4C9=7 เป็นเท็จ ทั้งสองด้านนี้รวมทุกตัวเลือกที่เหลืออยู่ใน แถว 4 ดังนั้น R4C8=7 จะต้องเป็นจริง

จุดสิ้นสุดเพียร์ R1C8=9 และ R4C8=7 มีตัวเลขต่างกัน R4C8=9 ข้ามตัวเลขที่เป็นไปได้ที่ทำเครื่องหมายไว้แต่ละตัวจะทำให้จุดปลายทั้งสองเป็นเท็จ ดังนั้นให้ลบออก

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

ถอนกรณีจุดสิ้นสุดชั่วคราว Type 2 AIC จะลบ cross-candidates R4C8=9 ระหว่าง R1C8=9 และ R4C8=7 อย่างถาวร

บทเรียน Nice Loop / AIC นี้ใช้ตระกูลโหนดตัวเลขที่เป็นไปได้ทั่วไปของ HoDoKu: การตัดออกและการวางตำแหน่งที่ไม่ต่อเนื่อง เชนประเภท 1 และประเภท 2 แบบเปิด และการวนซ้ำอย่างต่อเนื่อง เริ่มต้นที่ R9C3=6 เป็นเท็จ และตรวจสอบ R9C3=5 ใน คอลัมน์ 3, แถว 5, คอลัมน์ 8, แถว 9 ลิงก์ทึบหมายถึงปลายอย่างน้อยด้านหนึ่งเป็นจริง ลิงก์ประหมายความว่าปลายทั้งสองข้างไม่สามารถเป็นจริงพร้อมกันได้ ติดตามความสัมพันธ์ที่เน้นไว้ทีละรายการ

เลือก R9C3=6 เป็นจุดเริ่มต้นการอ่านของวงปิดนี้เท่านั้น นี่ไม่ใช่สมมติฐานในการทดลอง วงสลับจะกลับมาที่นี่

​​R9C3=6 เป็นเท็จ ทั้งสองด้านนี้รวมทุกตัวเลือกที่เหลืออยู่ใน คอลัมน์ 3 ดังนั้น R5C3=6 จะต้องเป็นจริง

R5C3=6 เป็นจริง ลบ R5C8=6

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

R5C8=8 เป็นจริง ลบ R9C8=8

​​R9C8=8 เป็นเท็จ ทั้งสองด้านนี้รวมทุกตัวเลือกที่เหลืออยู่ใน แถว 9 ดังนั้น R9C3=8 จะต้องเป็นจริง

R9C3=8 เป็นจริง ลบ R9C3=6

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

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

การเคลื่อนที่แบบวนซ้ำเสร็จสมบูรณ์ ถอนสถานะชั่วคราวและลบ R9C3=5 อย่างถาวร