Chcę ustalić, że jest to część mojej pracy domowej na kursie, który obecnie biorę. Szukam pomocy w postępowaniu, NIE ODPOWIEDZI.
Oto pytanie:
Gwiazda pięcioramienna na niekierowanym wykresie jest pięcioklasową. Pokaż, że 5-POINTED-STAR , gdzie 5-POINTED-STAR = zawiera gwiazdę 5-punktową jako podgraf .
Gdzie klika to CLIQUE = jest niekierowanym wykresem z kliką .
Teraz moim problemem jest to, że wydaje się, że rozwiązuje to problem CLIQUE, określając, czy wykres zawiera klikę z dodatkowym ograniczeniem konieczności ustalenia, że CLIQUE tworzy gwiazdę 5-punktową. Wydaje się, że wiąże się to z pewnymi geometrycznymi obliczeniami opartymi na wiedzy o gwiazdach pięcioramiennych . Jednak w teorii obliczeń Michaela Sipsera , str. 268, istnieje dowód na to, że CLIQUE jest w a na stronie 270 zauważa, że:
Przedstawiliśmy przykłady języków, takich jak HAMPATH i kliki, które są członkami NP ale które nie są znane być w . [podkreślenie dodane]
Jeśli CLIQUE nie jest w , dlaczego pięcioramienna gwiazda ma być w ? Czy jest coś, czego nie widzę? Pamiętaj, że jest to PROBLEM Z PRACĄ DOMOWĄ, A BEZPOŚREDNIA ODPOWIEDŹ NIE BĘDZIE WYRAŻONA. Dzięki!
źródło