ความแข็งของปัญหาระบบดาว จำกัด ?


10

ระบบดาวเป็นครอบครัวย่อย n n-องค์ประกอบตั้งSระบบดาวกราฟิกถ้ามีบางกราฟเช่นว่าเป็นครอบครัวของละแวกใกล้เคียงจุดสุดยอดในGมันเป็นสมบูรณ์ในการตัดสินใจว่าระบบดาวที่ให้นั้นเป็นกราฟิกหรือไม่FG ( V , E ) F G N PSG(V,E)FGยังไม่มีข้อความP

การเกิดขั้นต่ำของแต่ละองค์ประกอบคืออะไรซึ่งปัญหายังคงเป็นสมบูรณ์แบบอยู่?ยังไม่มีข้อความP

แก้ไข 12-12-2010 : ฉันเพิ่มคำถามอื่น:

กราฟที่มีข้อ จำกัด มากที่สุดคืออะไรซึ่งปัญหายังคงเป็นไม่สมบูรณ์NP

ยกตัวอย่างเช่นปัญหาคือระบบดาวสมบูรณ์ถ้ากราฟเป้าหมายคือลูกบาศก์? ถ้าไม่เป็นเช่นนั้นขั้นต่ำที่เป็นปัญหายังคงเป็นปัญหาสมบูรณ์สำหรับกราฟเป้าหมายk -regulark N PNPkNPk

F.Lalonde, มีปัญหาในการเขียนกราฟเป็น NP-complete, คณิตศาสตร์ไม่ต่อเนื่อง 33 (3), 1981, 271-280


คุณสามารถให้การอ้างอิงสำหรับความไม่สมบูรณ์ของปัญหานี้หรือ (ดียิ่งขึ้น) อาร์กิวเมนต์สั้น ๆ สำหรับมันได้หรือไม่ ยังไม่มีข้อความP
Ryan Williams

@ Williams จะเทียบเท่ากับปัญหาในการตัดสินใจว่ากราฟสองฝ่ายมีออโตมอร์ฟิซึมของลำดับ 2 หรือไม่สลับกับคลาสสีทั้งสอง
Mohammad Al-Turkistany

ตามหมายเหตุด้านข้าง: หากคุณต้องการกราฟพยานเพื่อยกเว้นเส้นทาง / รอบบนจุดสูงสุดสี่จุดดังนั้นปัญหาคือเวลาพหุนาม - springerlink.com/content/05g8151w58700g66G
Neeldhara

ลิงก์ที่ถูกต้องสำหรับกระดาษของ Lalonde คือdx.doi.org/10.1016/0012-365X(81)90271-5
Anthony Labarre

คำตอบ:


3

คุณอาจจะดูที่ปัญหาของระบบดาวฟื้นขึ้นมา เหนือสิ่งอื่นใดผู้เขียนพิสูจน์ว่า:

ถ้ากราฟจะต้องC kฟรีคือไม่ได้รับอนุญาตให้มีการเหนี่ยวนำให้เกิดวงจรของความยาวkแล้วปัญหาคือแก้ปัญหาได้ในเวลาพหุนามสำหรับแต่ละk 4และเป็น NP-ที่สมบูรณ์แบบสำหรับแต่ละk > 5Gkkk4k>5

นอกจากนี้คุณอาจพบว่าเอกสารในรายการนี้มีประโยชน์


ขอบคุณ Sadeq ฉันทราบการอ้างอิงเหล่านั้นและฉันไม่พบคำตอบสำหรับคำถามของฉัน
Mohammad Al-Turkistany
โดยการใช้ไซต์ของเรา หมายความว่าคุณได้อ่านและทำความเข้าใจนโยบายคุกกี้และนโยบายความเป็นส่วนตัวของเราแล้ว
Licensed under cc by-sa 3.0 with attribution required.