การระบายสีอย่างง่าย ระบายกราฟลิงก์แข็งของ ตัวเลขเดียว ด้วยสองสี — เช่น น้ำเงินและเขียว
บนลิงก์แข็ง ปลายทั้งสองมีสีตรงข้ามกัน: มีหนึ่งข้างที่เป็นจริงพอดี นี่คือประตูสู่การคิดแบบ Medusa และ AIC
ทำไมถึงได้ผล
ถ้าสองช่องที่มี สีเดียวกัน มองเห็นกัน สีนั้นเป็นจริงไม่ได้ (ตัวเลขเดียวกันที่เป็นจริงสองตัวจะมองเห็นกัน) ดังนั้นทั้งสีนั้นเป็นเท็จ — สีตรงข้ามเป็นจริง
ถ้าช่องหนึ่งมองเห็นทั้งสองสี มันจะเห็นตัวเลือกที่เป็นจริงไม่ว่าทางไหน — จึงเป็นตัวเลขนั้นไม่ได้
การระบายสีเปลี่ยนใยลิงก์แบบ “มีหนึ่งตัวในนี้พอดี” ให้เป็นกฎการระบายง่าย ๆ
วิธีสังเกต
สร้างกราฟลิงก์แข็งจากตัวเลขที่อยู่ได้สองตำแหน่งก่อน ข้อขัดแย้งสีเดียวกันหรือการมองเห็นทั้งสองสีคือกับดักที่ต้องจับตา
การสาธิต
สำหรับตัวเลขหนึ่งตัว เชื่อมทุกลิงก์แข็ง (ตัวเลือกสองตัวพอดีในหน่วยหนึ่ง) เป็นโซ่หรือเครือข่าย
ระบายเครือข่ายด้วยสองสี สีตรงข้ามหมายถึง “มีหนึ่งข้างที่เป็นจริงพอดี” ช่องสีเขียวแสดงการระบายสีที่มีประโยชน์บน 7
ระวังข้อขัดแย้งสีเดียวกัน หรือช่องที่มองเห็นทั้งสองสี — นั่นคือกับดัก
ตัด 7 ในที่ที่การระบายสีห้ามไว้ (สีแดง)
ตัวอย่างที่ 1
ระบายสีเครือข่ายลิงก์แข็งของตัวเลขหนึ่งตัว
การระบายสีบน 1 เจอข้อขัดแย้งหรือกับดัก
ลบ 1 ในที่ที่กฎการระบายบอกว่าไม่ได้ (สีแดง) ข้อขัดแย้งสีเดียวกันหรือการมองเห็นทั้งสองสีหมายถึงการตัด
ตัวอย่างที่ 2
ระบายสีเครือข่ายลิงก์แข็งของตัวเลขหนึ่งตัว
การระบายสีบน 2 เจอข้อขัดแย้งหรือกับดัก
ลบ 2 ในที่ที่กฎการระบายบอกว่าไม่ได้ (สีแดง) ข้อขัดแย้งสีเดียวกันหรือการมองเห็นทั้งสองสีหมายถึงการตัด