AIC แบบกลุ่มสำหรับเลขเดียว (Single-Digit Grouped AIC) · ตัวอย่างทีละขั้นตอน

ใน บล็อก 6, 2 สามารถไปได้เฉพาะใน R4C7, R4C8, R5C8 เท่านั้น ตัวเลขจะต้องปรากฏหนึ่งครั้งในภูมิภาคนี้

1: หรือกลุ่ม A: ตัวเลือกอย่างน้อยหนึ่งรายการเป็นจริง

ใน คอลัมน์ 5, 2 สามารถไปได้เฉพาะใน R1C5, R4C5 เท่านั้น ตัวเลขจะต้องปรากฏหนึ่งครั้งในภูมิภาคนี้

1: หรือกลุ่ม A: ตัวเลือกอย่างน้อยหนึ่งรายการเป็นจริง

ใน คอลัมน์ 9, 2 สามารถไปได้เฉพาะใน R1C9, R8C9 เท่านั้น ตัวเลขจะต้องปรากฏหนึ่งครั้งในภูมิภาคนี้

1: หรือกลุ่ม A: ตัวเลือกอย่างน้อยหนึ่งรายการเป็นจริง

วงเล็บปีกกาที่มีหมายเลขและคำอธิบายกำหนดกลุ่มเหล่านี้: หรือกลุ่มตัวเลขที่เป็นไปได้ A = R4C8=2, R5C8=2 แต่ละกลุ่มแทนสถานะทางตรรกะแบบ OR คือมีตัวเลือกอย่างน้อยหนึ่งตัวเป็นจริง แต่ไม่ได้หมายความว่าสมาชิกทุกตัวเป็นจริง

1: หรือกลุ่ม A: ตัวเลือกอย่างน้อยหนึ่งรายการเป็นจริง

1: สมมติว่า หรือกลุ่มตัวเลขที่เป็นไปได้ A เป็นเท็จ

1: หรือกลุ่ม A: ตัวเลือกอย่างน้อยหนึ่งรายการเป็นจริง

กรณีที่ 1: หรือกลุ่มตัวเลขที่เป็นไปได้ A เป็นเท็จ ดังนั้นลิงก์ที่รัดกุมของกลุ่มจึงบังคับ R4C7=2 หากนี่คือกลุ่ม OR ตัวเลขที่เป็นไปได้อย่างน้อยหนึ่งรายจะต้องเป็นจริง

1: หรือกลุ่ม A: ตัวเลือกอย่างน้อยหนึ่งรายการเป็นจริง

R4C7=2 เป็นจริงในฐานะสถานะลูกโซ่ ดังนั้นด้าน R4C5=2 ที่เป็นเอกสิทธิ์ร่วมกันจึงเป็นเท็จ

1: หรือกลุ่ม A: ตัวเลือกอย่างน้อยหนึ่งรายการเป็นจริง

R4C5=2 เป็นเท็จ ดังนั้นกลุ่มลิงก์ที่รัดกุมจึงบังคับใช้ R1C5=2

1: หรือกลุ่ม A: ตัวเลือกอย่างน้อยหนึ่งรายการเป็นจริง

R1C5=2 เป็นจริงในฐานะสถานะลูกโซ่ ดังนั้นด้าน R1C9=2 ที่เป็นเอกสิทธิ์ร่วมกันจึงเป็นเท็จ

1: หรือกลุ่ม A: ตัวเลือกอย่างน้อยหนึ่งรายการเป็นจริง

R8C9=2 เป็นจริงในฐานะสถานะจุดปลาย ดังนั้นจึงแยกเป้าหมายออก

1: หรือกลุ่ม A: ตัวเลือกอย่างน้อยหนึ่งรายการเป็นจริง

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

1: หรือกลุ่ม A: ตัวเลือกอย่างน้อยหนึ่งรายการเป็นจริง

จุดสิ้นสุดแรก หรือกลุ่มตัวเลขที่เป็นไปได้ A เป็นจริงในฐานะสถานะ OR ดังนั้นจึงไม่รวมเป้าหมาย

1: หรือกลุ่ม A: ตัวเลือกอย่างน้อยหนึ่งรายการเป็นจริง

กรณีจุดสิ้นสุดทั้งสองกรณีใช้ทางเลือกอื่น และทั้งสองกรณีไม่รวม R7C8=2, R8C8=2 ลบออกหลังจากถอนสถานะชั่วคราว

1: หรือกลุ่ม A: ตัวเลือกอย่างน้อยหนึ่งรายการเป็นจริง

ใน บล็อก 1, 8 สามารถไปได้เฉพาะใน R2C2, R3C1 เท่านั้น ตัวเลขจะต้องปรากฏหนึ่งครั้งในภูมิภาคนี้

1: หรือกลุ่ม A: ตัวเลือกอย่างน้อยหนึ่งรายการเป็นจริง · 2: หรือกลุ่ม B: ตัวเลือกอย่างน้อยหนึ่งรายการเป็นจริง

ใน บล็อก 2, 8 สามารถไปได้เฉพาะใน R1C6, R2C4, R2C5 เท่านั้น ตัวเลขจะต้องปรากฏหนึ่งครั้งในภูมิภาคนี้

1: หรือกลุ่ม A: ตัวเลือกอย่างน้อยหนึ่งรายการเป็นจริง · 2: หรือกลุ่ม B: ตัวเลือกอย่างน้อยหนึ่งรายการเป็นจริง

ใน แถว 8, 8 สามารถไปได้เฉพาะใน R8C1, R8C2, R8C3, R8C6 เท่านั้น ตัวเลขจะต้องปรากฏหนึ่งครั้งในภูมิภาคนี้

1: หรือกลุ่ม A: ตัวเลือกอย่างน้อยหนึ่งรายการเป็นจริง · 2: หรือกลุ่ม B: ตัวเลือกอย่างน้อยหนึ่งรายการเป็นจริง

วงเล็บปีกกาที่มีหมายเลขและคำอธิบายกำหนดกลุ่มเหล่านี้: หรือกลุ่มตัวเลขที่เป็นไปได้ A = R2C4=8, R2C5=8, หรือกลุ่มตัวเลขที่เป็นไปได้ B = R8C1=8, R8C2=8, R8C3=8 แต่ละกลุ่มแทนสถานะทางตรรกะแบบ OR คือมีตัวเลือกอย่างน้อยหนึ่งตัวเป็นจริง แต่ไม่ได้หมายความว่าสมาชิกทุกตัวเป็นจริง

1: หรือกลุ่ม A: ตัวเลือกอย่างน้อยหนึ่งรายการเป็นจริง · 2: หรือกลุ่ม B: ตัวเลือกอย่างน้อยหนึ่งรายการเป็นจริง

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

1: หรือกลุ่ม A: ตัวเลือกอย่างน้อยหนึ่งรายการเป็นจริง · 2: หรือกลุ่ม B: ตัวเลือกอย่างน้อยหนึ่งรายการเป็นจริง

กรณีที่ 1: R3C1=8 เป็นเท็จ ดังนั้นลิงก์ที่รัดกุมของกลุ่มจึงบังคับ R2C2=8 หากนี่คือกลุ่ม OR ตัวเลขที่เป็นไปได้อย่างน้อยหนึ่งรายจะต้องเป็นจริง

1: หรือกลุ่ม A: ตัวเลือกอย่างน้อยหนึ่งรายการเป็นจริง · 2: หรือกลุ่ม B: ตัวเลือกอย่างน้อยหนึ่งรายการเป็นจริง

R2C2=8 เป็นจริงในฐานะสถานะลูกโซ่ ดังนั้นด้าน R2C4=8, R2C5=8 ที่เป็นเอกสิทธิ์ร่วมกันจึงเป็นเท็จ

1: หรือกลุ่ม A: ตัวเลือกอย่างน้อยหนึ่งรายการเป็นจริง · 2: หรือกลุ่ม B: ตัวเลือกอย่างน้อยหนึ่งรายการเป็นจริง

หรือกลุ่มตัวเลขที่เป็นไปได้ A เป็นเท็จ ดังนั้นกลุ่มลิงก์ที่รัดกุมจึงบังคับใช้ R1C6=8

1: หรือกลุ่ม A: ตัวเลือกอย่างน้อยหนึ่งรายการเป็นจริง · 2: หรือกลุ่ม B: ตัวเลือกอย่างน้อยหนึ่งรายการเป็นจริง

R1C6=8 เป็นจริงในฐานะสถานะลูกโซ่ ดังนั้นด้าน R8C6=8 ที่เป็นเอกสิทธิ์ร่วมกันจึงเป็นเท็จ

1: หรือกลุ่ม A: ตัวเลือกอย่างน้อยหนึ่งรายการเป็นจริง · 2: หรือกลุ่ม B: ตัวเลือกอย่างน้อยหนึ่งรายการเป็นจริง

หรือกลุ่มตัวเลขที่เป็นไปได้ B เป็นจริงในฐานะสถานะจุดปลาย ดังนั้นจึงแยกเป้าหมายออก

1: หรือกลุ่ม A: ตัวเลือกอย่างน้อยหนึ่งรายการเป็นจริง · 2: หรือกลุ่ม B: ตัวเลือกอย่างน้อยหนึ่งรายการเป็นจริง

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

1: หรือกลุ่ม A: ตัวเลือกอย่างน้อยหนึ่งรายการเป็นจริง · 2: หรือกลุ่ม B: ตัวเลือกอย่างน้อยหนึ่งรายการเป็นจริง

จุดสิ้นสุดแรก R3C1=8 เป็นจริงในฐานะสถานะ OR ดังนั้นจึงไม่รวมเป้าหมาย

1: หรือกลุ่ม A: ตัวเลือกอย่างน้อยหนึ่งรายการเป็นจริง · 2: หรือกลุ่ม B: ตัวเลือกอย่างน้อยหนึ่งรายการเป็นจริง

กรณีจุดสิ้นสุดทั้งสองกรณีใช้ทางเลือกอื่น และทั้งสองกรณีไม่รวม R9C1=8 ลบออกหลังจากถอนสถานะชั่วคราว

1: หรือกลุ่ม A: ตัวเลือกอย่างน้อยหนึ่งรายการเป็นจริง · 2: หรือกลุ่ม B: ตัวเลือกอย่างน้อยหนึ่งรายการเป็นจริง