Polinom zamanında 5 köşeli bir yıldız bulmak


14

Bunun şu anda almakta olduğum bir ders için ödevimin bir parçası olduğunu belirlemek istiyorum. Devam etmek için yardım istiyorum, CEVAP DEĞİL.

Söz konusu soru şu:

Yönlendirilmemiş bir grafikte 5 köşeli bir yıldız 5 kliptir. Göster ki 5-POINTED-STAR , 5-POINTED-STAR = , alt çizgi olarak 5 köşeli bir yıldız içerir .P{<G> :G}

Klibin CLIQUE olduğu yerde = , -clique içeren yönlendirilmemiş bir grafiğidir .{(G,k):GGk}

Şimdi benim sorunum bu CLIQUE sorunu çözüyor gibi görünüyor, bir grafik CLIQUE 5-sivri uçlu bir yıldız oluşturduğunu belirlemek zorunda ek kısıtlama ile bir klibi içerip içermediğini belirlemek. Bu, 5 köşeli bir yıldızın bilgisine dayanan bazı geometrik hesaplamaları içeriyor gibi görünüyor . Fakat Michael Sipser en içinde Hesaplama Teorisi , pg 268, bu klik gösteren bir kanıt var olduğunu ve sayfa 270 notları bu konuda,NP

NP üyesi olan ancakP dilinde bilinmeyen, HAMPATH ve CLIQUE gibi dillerin örneklerini sunduk . [vurgu eklendi]

CLIQUE değerinde değilse , neden beş sivri uçlu yıldız ? Görmediğim bir şey var mı? Unutmayın, bu bir ÖDEV SORUNU ve DOĞRUDAN BİR CEVAP ONAYLANMAYACAKTIR. Teşekkürler!PP

Yanıtlar:


11

Eğer bir grafik, bir kaç alt-gruplar olan boyutu mevcuttur?G=(V,E)V5

5 klik varsa, bu alt kümelerden biri bir kliktir.

Aşağıdaki spoiler:

Orada olası alt kümeleri, yani girişte polinom olan en fazla seçeneklerini denetleyin . Girişte üstel olabileceğinden , rastgele bir için bu geçerli DEĞİLDİR ve bu nedenle (P = NP, agghh).(|V|5)|V|5k|V|kCLIQUEP


Beni harekete geçiren şey bence. CLIQUE sorununun herhangi bir boyuttaki klik için geçerli olabileceği anlamına geldiği ve bu boyutun sorunun bir parçası olarak verildiği izlenimindeydim. Bu problemde CLIQUE boyutunun bilinmediği anlaşılıyor (yine de hw'de 5). Şimdi, polinom zamanında bu soruna bir cevap vermeye karar veren deterministik bir tek bant Turing makinesi kuracak olsaydım, bu bir kanıt oluşturacaktı (kanıtın elbette sağlam olduğu göz önüne alındığında), değil mi?
BrotherJack

1
@BrotherJack Örneğin evet, eğer bir problem için polinom-zaman algoritması verebilirse, sorunun olduğunu açıkça gösterir . Bir Turing makinesi olarak "düşük seviyeli" gitmeye bile gerek olmadığını, daha yüksek seviyeli bir algoritmanın da yapacağını unutmayın. P
Juho

Bu etkiyi parametreli karmaşıklıkla ilişkilendirmek ilginç olabilir .
Raphael

1
Spoiler efektini yapabileceğini bilmiyordum. Güzel ipucu.
Joe
Sitemizi kullandığınızda şunları okuyup anladığınızı kabul etmiş olursunuz: Çerez Politikası ve Gizlilik Politikası.
Licensed under cc by-sa 3.0 with attribution required.