มีลักษณะของกราฟที่ขอบชุดสลายตัวเป็นสหภาพที่ลงตัวสำหรับการจับคู่ที่สมบูรณ์แบบหรือไม่?
หนึ่งชั้นเล็กน้อยของกราฟดังกล่าวคือกราฟสม่ำเสมอทวิภาคี ชุดขอบของพวกเขาจะสลายลงในจ้อที่สมบูรณ์แบบเคลื่อน
มีลักษณะของกราฟที่ขอบชุดสลายตัวเป็นสหภาพที่ลงตัวสำหรับการจับคู่ที่สมบูรณ์แบบหรือไม่?
หนึ่งชั้นเล็กน้อยของกราฟดังกล่าวคือกราฟสม่ำเสมอทวิภาคี ชุดขอบของพวกเขาจะสลายลงในจ้อที่สมบูรณ์แบบเคลื่อน
คำตอบ:
ใช่: เราเรียกกราฟดังกล่าวว่า 1-factorable (1 ปัจจัยนั้นรู้จักกันว่าเป็นการจับคู่ที่สมบูรณ์แบบ) กราฟทั้งหมดดังกล่าวเป็นปกติ แต่การสนทนาไม่เป็นความจริง ในความเป็นจริงกราฟปกติ เป็น 1- แยกตัวประกอบถ้าหากมันเป็นของชั้นหนึ่งนั่นคือ ที่ไหน เป็นดัชนีสีของ .
การตัดสินใจว่า กราฟที่ผิดปกติคือ class 1 คือ NP-complete (ดูเช่น [1]) ดังนั้นคุณอาจไม่สามารถทดสอบได้อย่างมีประสิทธิภาพ