ข้อขัดแย้งระหว่างส่วนการระบายสี (Multi-Component Coloring Contradiction) · ตัวอย่างทีละขั้นตอน

“ข้อขัดแย้งระหว่างส่วนการระบายสี (Multi-Component Coloring Contradiction)” — ชื่อนี้เป็นคำอธิบายของแอปสำหรับการพิสูจน์เฉพาะที่เชื่อมหลายองค์ประกอบ ไม่ใช่เทคนิค HoDoKu แยกต่างหากที่มีชื่อเดียวกัน ตัวเลือกเลข 2 สร้างองค์ประกอบการระบายสีอิสระ 4 ชุด เมื่อสลับสีตามลิงก์แบบเข้ม R3C1=2, R8C2=2 จะอยู่ฝั่ง A ขององค์ประกอบ 2 จึงมีค่าความจริงเดียวกันและเป็นตัวเลือกเป้าหมาย R3C1=2, R8C2=2 พอดี ภายในแต่ละองค์ประกอบ A และ B เป็นสถานะตรงข้ามกัน ส่วนความขัดแย้งเชื่อมสถานะระหว่างองค์ประกอบ

ถือว่ากลุ่มที่มีสถานะเดียวกันทั้งหมด R3C1=2, R8C2=2 เป็นสถานะเดียว และถือว่าเป็นจริงชั่วคราว ติดตามความขัดแย้งระหว่างส่วนประกอบ

1. R3C1=2 เป็นจริง ดังนั้นเพียร์ R1C2=2 ที่มองเห็นได้จึงเป็นเท็จ ดังนั้นสถานะ A/B ที่ตรงกันข้าม R1C9=2 ในกลุ่มนั้นจึงเป็นจริง 2. R1C9=2 เป็นจริง ดังนั้นเพียร์ R5C9=2 ที่มองเห็นได้จึงเป็นเท็จ ดังนั้นสถานะ A/B ที่ตรงกันข้าม R4C7=2, R5C6=2 ในกลุ่มนั้นจึงเป็นจริง 3. R4C7=2 เป็นจริง ดังนั้นเพียร์ R4C4=2 ที่มองเห็นได้จึงเป็นเท็จ ดังนั้นสถานะ A/B ที่ตรงกันข้าม R3C4=2 ในกลุ่มนั้นจึงเป็นจริง 4. R3C4=2 เป็นจริง ดังนั้นเพียร์ R3C1=2 ที่มองเห็นได้จึงเป็นเท็จ ดังนั้นสถานะ A/B ที่ตรงกันข้าม R8C1=2 ในกลุ่มนั้นจึงเป็นจริง

สมมติฐาน R3C1=2, R8C2=2 ในที่สุดจะบังคับ R8C1=2 ซึ่งเป็นสถานะ A/B ที่อยู่ตรงข้ามในกลุ่มเดียวกัน ทั้งสองสถานะไม่สามารถเป็นจริงได้ ดังนั้นสมมติฐานจึงเป็นเท็จ

สถานะเริ่มต้นไม่สามารถเป็นจริงได้ ลบตัวเลขที่เป็นไปได้: R3C1=2, R8C2=2