Menemukan Bintang Berujung 5 dalam waktu polinomial

14

Saya ingin memastikan bahwa ini adalah bagian dari pekerjaan rumah saya untuk kursus yang sedang saya ikuti. Saya mencari bantuan dalam melanjutkan, BUKAN JAWABAN.

Ini pertanyaannya:

5-menunjuk-bintang dalam grafik tidak terarah adalah 5-klik. Tunjukkan bahwa 5-POINTED-STAR , di mana 5-POINTED-STAR = berisi bintang berujung 5 sebagai subgraph .P{<G> :G}

Di mana sebuah klik adalah CLIQUE = adalah grafik tanpa arah dengan -clique .{(G,k):GGk}

Sekarang masalah saya adalah bahwa ini tampaknya menyelesaikan masalah CLIQUE, menentukan apakah grafik berisi klik dengan batasan tambahan karena harus menentukan bahwa CLIQUE membentuk bintang berujung 5. Ini tampaknya melibatkan beberapa perhitungan geometris berdasarkan pengetahuan bintang berujung lima . Namun, dalam Teori Komputasi Michael Sipser , hal 268, ada bukti yang menunjukkan bahwa CLIQUE ada dalam dan pada halaman 270 mencatat bahwa,NP

Kami telah menyajikan contoh-contoh bahasa, seperti HAMPATH dan CLIQUE, yang merupakan anggota dari NP tetapi yang tidak diketahui berada di . P[penekanan ditambahkan]

Jika CLIQUE tidak di , mengapa bintang berujung lima berada di ? Apakah ada sesuatu yang tidak saya lihat? Ingat, ini adalah MASALAH RUMAH TANGGA dan JAWABAN LANGSUNG TIDAK AKAN DIHARGAI. Terima kasih!PP

BrotherJack
sumber

Jawaban:

11

Jika adalah graf, berapa banyak himpunan bagian dari dari ukuran yang ada?G=(V,E)V5

Jika ada 5-klik, salah satu himpunan bagian ini adalah klik.

Spoiler di bawah ini:

Ada subset yang mungkin untuk memeriksa, yaitu, paling banyak opsi, yang jumlahnya banyak dalam input. Ini BUKAN kasus untuk arbitrary , karena mungkin eksponensial dalam input, dan inilah sebabnya (kecuali P = NP, agghh.).(|V|5)|V|5k|V|kKLIKP

Ran G.
sumber
Itulah yang membuat saya tersandung. Saya mendapat kesan bahwa masalah CLIQUE diucapkan seperti itu hanya untuk berarti bahwa itu bisa berlaku untuk klik ukuran apa pun, dan ukuran itu diberikan sebagai bagian dari masalah. Sedangkan dalam masalah itu tampak bahwa ukuran CLIQUE tidak diketahui (namun di hw itu adalah 5). Sekarang jika saya membangun mesin Turing tape tunggal deterministik yang memutuskan jawaban untuk masalah ini dalam waktu polinomial, itu akan merupakan jawaban (mengingat buktinya solid tentu saja), ya?
BrotherJack
1
@BrotherJack Misalnya ya, jika seseorang dapat memberikan algoritma polinomial-waktu untuk masalah, itu jelas menunjukkan bahwa masalahnya adalah di . Perhatikan bahwa seseorang bahkan tidak perlu pergi sebagai "tingkat rendah" sebagai mesin Turing, algoritma tingkat yang lebih tinggi akan melakukan hal yang sama baiknya. P
Juho
Mungkin menarik untuk menghubungkan efek ini dengan kompleksitas parameterised .
Raphael
1
Saya tidak tahu Anda bisa melakukan efek spoiler. Petunjuk yang bagus.
Joe