Twardość problemu z ograniczonym układem gwiezdnym?

10

Układ gwiazda rodziny n podzbiorów n-elementów przedstawionych . System położony jest graficznym, jeżeli jest jakiś wykres tak, że jest rodzina sąsiedztwie wierzchołków w . To jest kompletne, aby zdecydować, czy dany układ gwiezdny jest graficzny.S G ( V , E ) F G N PFSG(V,E)FGNP

Jaka jest minimalna wystąpienie każdego elementu tak, że problem pozostaje -Complete?NP

EDYCJA 12-12-2010 : Dodałem kolejne pytanie:

Co jest najbardziej ograniczony klasa grafów, dla których problemem pozostaje -Complete?NP

Na przykład, czy problem z układem gwiezdnym kompletny, jeśli wykres docelowy jest sześcienny? Jeśli nie, jaka jest minimalna k takie, że problem pozostaje N P pełnoporcjowych dla k -regular wykresów docelowych?NPkNPk

F.Lalonde, Le probleme d'etoiles pour graphes est NP-complete, Discrete Math. 33 (3), 1981, 271–280.

Mohammad Al-Turkistany
źródło
można dać punkt odniesienia dla -completeness tego problemu, lub (nawet lepiej) krótki argument za tym? N.P.
Ryan Williams,
@Williams, jest to równoważne z problemem decydowania, czy graf dwustronny ma automorfizm rzędu 2, zamieniając dwie klasy kolorów.
Mohammad Al-Turkistany
Na marginesie: jeśli potrzebujesz, aby wykres świadka wykluczał ścieżkę / cykl na co najwyżej czterech wierzchołkach, wówczas problemem jest czas wielomianowy - springerlink.com/content/05g8151w58700g66sol
Neeldhara
Prawidłowy link do artykułu Lalonde to dx.doi.org/10.1016/0012-365X(81)90271-5
Anthony Labarre

Odpowiedzi:

3

Możesz rzucić okiem na problem z Gwiezdnym Systemem . Autorzy udowadniają między innymi, że:

Jeżeli wykres wymagane jest, ażeby C k -bezpłatne, to nie może mieć indukowanej cykl długość k , to problem jest rozpuszczalny w wielomian czasie dla każdego k 4 i jest NP-zupełny dla każdego k > 5 .soldokkk4k>5

Ponadto przydatne mogą okazać się artykuły z tej listy .

MS Dousti
źródło
Dzięki Sadeq, znam te referencje i nie znalazłem odpowiedzi na moje pytanie.
Mohammad Al-Turkistany,