การหาดาว 5 แฉกในเวลาพหุนาม


14

ฉันต้องการพิสูจน์ว่านี่เป็นส่วนหนึ่งของการบ้านสำหรับหลักสูตรที่ฉันเรียนอยู่ ฉันกำลังมองหาความช่วยเหลือในการดำเนินการต่อไม่ใช่คำตอบ

นี่คือคำถามที่สงสัย:

ดาว 5 แฉกในกราฟที่ไม่ได้บอกทิศทางเป็น 5 กลุ่ม แสดงให้เห็นว่า 5 แฉก-STAR Pที่ 5 แฉก-STAR = {<G> :Gมี 5 แฉกดาวเป็น subgraph }}

ในกรณีที่เป็นก๊กก๊ก = {(G,k):Gเป็นกราฟไม่มีทิศทางGกับk -clique }}

ตอนนี้ปัญหาของฉันคือสิ่งนี้ดูเหมือนจะเป็นการแก้ปัญหา CLIQUE การพิจารณาว่ากราฟมีกลุ่มที่มีข้อ จำกัด เพิ่มเติมที่ต้องพิจารณาว่า CLIQUE ก่อตัวเป็นดาว 5 แฉกหรือไม่ นี้น่าจะเกี่ยวข้องกับการคำนวณทางเรขาคณิตบางบนพื้นฐานความรู้ของดาว 5 แฉก อย่างไรก็ตามในทฤษฎีการคำนวณของ Michael Sipser's , pg 268 มีหลักฐานแสดงว่า CLIQUE อยู่ในNPและในหน้า 270 บันทึกว่า

เราได้นำเสนอตัวอย่างของภาษาเช่น HAMPATH และก๊ก, ที่เป็นสมาชิกของ NP แต่ที่ไม่เป็นที่รู้จักที่จะอยู่ในPP[เน้นเพิ่ม]

หากก๊กไม่ได้อยู่ในPทำไมห้าแฉกดาวจะอยู่ในP ? มีบางอย่างที่ฉันไม่เห็นใช่ไหม โปรดจำไว้ว่านี่เป็นปัญหาการบ้านและคำตอบโดยตรงจะไม่ได้รับการชื่นชม ขอบคุณ!

คำตอบ:


11

หากเป็นกราฟจะมีชุดย่อยVขนาด5 จำนวนเท่าใดG=(V,E)V5

หากมี 5 กลุ่มย่อยหนึ่งในเซตย่อยนี้คือกลุ่ม

สปอยเลอร์ด้านล่าง:

มีชุดย่อยที่เป็นไปได้ในการตรวจสอบนั่นคือมากที่สุด| V| 5ตัวเลือกซึ่งเป็นพหุนามในอินพุต นี่ไม่ใช่กรณีสำหรับkโดยพลการตั้งแต่| V| kอาจเป็นเลขชี้กำลังในอินพุตและนี่คือสาเหตุที่CLIQUEP(ยกเว้น P = NP, agghh.)(|V|5)|V|5k|V|kCLIQUEP


นั่นคือสิ่งที่ทำให้ฉันสะดุด ฉันรู้สึกว่าปัญหา CLIQUE ได้รับการกล่าวถ้อยคำอย่างง่าย ๆ ซึ่งหมายความว่ามันสามารถนำไปใช้กับกลุ่มขนาดใดก็ได้และขนาดนั้นได้รับเป็นส่วนหนึ่งของปัญหา ในขณะที่ปัญหานั้นปรากฏว่าขนาด CLIQUE ไม่เป็นที่รู้จัก (แต่ใน hw ขนาดเท่ากับ 5) ทีนี้ถ้าฉันจะสร้างเครื่องทัวริงเทปเดี่ยวที่กำหนดขึ้นซึ่งตัดสินใจคำตอบสำหรับปัญหานี้ในเวลาพหุนามนั่นจะเป็นการตอบคำถาม
BrotherJack

1
P

มันอาจจะน่าสนใจที่จะเกี่ยวข้องกับผลกระทบนี้มีความซับซ้อน parameterised
Raphael

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