การลงสี
การลงสี
เทคนิคที่เกี่ยวข้อง
ลิงก์แบบเข้มคืออะไร?
ลิงก์แบบเข้ม(คู่คอนจูเกต)เกิดขึ้นเมื่อตัวเลขปรากฏเป็นผู้สมัครในสองเซลล์พอดีภายในหนึ่งบ้านตัวหนึ่งต้องมีตัวเลขนั้นอีกตัวหนึ่งมีไม่ได้ความสัมพันธ์แบบทวิภาคนี้เป็นรากฐานของการลงสีทั้งหมด
การระบายสีแบบง่าย:การลงสีตัวเลขเดียว
ทำงานกับตัวเลขทีละตัวกำหนดสีสลับกันผ่านคู่คอนจูเกตโดยใช้BFSกลุ่มสีหนึ่งเป็นจริงทั้งหมดอีกกลุ่มเป็นเท็จทั้งหมดระดับ5(ท้าทาย)
กับดักสีและการพันสี
กับดักสี:ช่องที่ยังไม่ลงสีซึ่งเห็นทั้งสองสีจะไม่สามารถมีตัวเลขนั้นได้การพันสี:เซลล์สองเซลล์ที่มีสีเดียวกันและอยู่ในบ้านเดียวกันถือเป็นความขัดแย้งสีนั้นทั้งสีเป็นเท็จส่วนสีอื่นยืนยันว่าเป็นจริง
3Dการระบายสีเมดูซ่า:การลงสีหลายตัวเลข
ขยายการลงสีไปยังตัวเลขหลายตัวโดยใช้ลิงก์ช่องแบบสองค่าผู้สมัครสองตัวของช่องแบบสองค่าจะได้สีตรงข้ามกันสิ่งนี้สร้างโครงข่ายสามมิติของการอนุมานระดับ12(สุดขีด)
กฎการตัดออกของเมดูซา
กฎ1:การพันสี(เหมือนกับการระบายสีแบบง่ายแต่ขอบเขตหลายตัวเลข)กฎ2:กับดักสี(เหมือนกับการระบายสีแบบง่ายขอบเขตหลายตัวเลข)กฎ3:ช่องเดียวกันสีเดียวกัน--ตัวเลขสองตัวที่มีสีตรงกันในช่องหนึ่งอันหมายความว่าสีนั้นเป็นเท็จทุกที่กฎ4:สองสีในช่อง--ช่องที่มีทั้งสองสีจะตัดผู้สมัครที่ยังไม่ลงสีทั้งหมดออก
การระบายสีแบบง่ายกับการระบายสีเมดูซ่า
การระบายสีแบบง่าย:ตัวเลขเดียวเร็วกว่าระดับ5เมดูซา:หลายตัวเลขทรงพลังกว่าระดับ12เมดูซาครอบคลุมการระบายสีแบบง่ายแต่ยากกว่ามากในการใช้ด้วยมือเรียนการระบายสีแบบง่ายก่อน
การลงสีเข้ากับลำดับชั้นของเทคนิคอย่างไร
การลงสีแนะนำแนวคิดการสร้างข้อโต้แย้งเชิงตรรกะทั่วทั้งตารางการระบายสีแบบง่ายเกี่ยวข้องกับX-Chainsการระบายสีเมดูซ่าเกี่ยวข้องกับAICการเรียนการลงสีเตรียมคุณสำหรับการให้เหตุผลแบบสายโซ่ทั้งหมด
สรุป
การระบายสีแบบง่าย(ระดับ5)ใช้คู่คอนจูเกตสำหรับตัวเลขเดียวด้วยกฎกับดักสีและการพันสีเมดูซ่า3D(ระดับ12)ขยายไปยังตัวเลขหลายตัวผ่านเซลล์สองค่าเพิ่มกฎช่องเดียวกันสีเดียวกันและสองสีในช่อง
เทคนิคที่เกี่ยวข้อง