Czy znana jest złożoność tego problemu?

9

Niech będzie wykresem. Zestaw wierzchołek nazywa krytyczna jeśli i nie wierzchołek w przylega dokładnie jeden wierzchołek w . Problemem jest znalezienie zbiór wierzchołków z co najmniej taką wielkość, że każdego niezbędny zestaw .G=(V,E)XVXVXXSVSXX

Problem ma następującą interpretację rozpowszechniającą pogłoski: Vertex przekazuje pogłoskę swojemu sąsiadowiij wtedy i tylko wtedy, gdy wszyscy inni sąsiedzi isą już poinformowani. Pytanie brzmi zatem, ile wierzchołków muszę początkowo poinformować, aby upewnić się, że wszyscy zostali poinformowani na końcu.

Thomas Kalinowski
źródło
To dość proste rozwiązanie, więc być może problem ma więcej warunków niż podano; ignorując specjalny przypadekX=V i jeśli G jest połączony, każdy wierzchołek v ze stopniem naukowym >1 ma zestaw krytyczny V{v} związane z tym, więc mogą przebywać tylko sąsiedzi o wierzchołkach wyłącznie deg 1 S. Jeśli taki wierzchołek istnieje, toG jest wykresem gwiazd, a jego środek (jako singleton) jest unikalnym minimum S. GdybyGnie jest podłączony, następnie spójrz na każdy podłączony komponent.
Joe Bebel,
1
Dla gwiazdy K1,n z n2 liście, każdy zestaw dwóch liści jest krytyczny, dlatego też należy podjąć optymalne rozwiązanie n1pozostawia.
Thomas Kalinowski
Och, widzę moją błędną interpretację
Joe Bebel
Bardzo interesujące pytanie, jedna drobna sprzeczka: prawdopodobnie chcesz, aby twoje zestawy krytyczne były niepuste (inaczej nie będzie S).
Klaus Draeger
1
@JoeBebel: Problem decyzyjny „Czy istnieje zestaw rozwiązań S co najwyżej wielkości K? ”w NP. Możesz sprawdzić, czy zestaw Sjest rozwiązaniem według następującego algorytmu. Podczas gdy istnieje wierzchołekvS który ma dokładnie na sąsiada w na zewnątrz S, Dodaj w do S.. GdybyS. zawiera ostatecznie wszystkie wierzchołki, wtedy początkowy zestaw był rozwiązaniem, w przeciwnym razie utkniesz, a dopełnienie zestawu końcowego jest zestawem krytycznym, więc początkowy S.nie było rozwiązaniem.
Thomas Kalinowski

Odpowiedzi:

5

Problem ten znany jest jako problem propagacji . Aazami udowodnił w swojej rozprawie doktorskiej, że ważona wersja jest NP-kompletna, nawet jeśli wykres jest płaski, a masy węzłów są w{0,1}. Złożoność wersji nieważonej wydaje się być otwartym problemem.

Thomas Kalinowski
źródło