Po równoważnych pytaniach dotyczących kompletności NP (patrz pytanie wagi i pytanie kierowane ) zastanawiałem się, w jaki sposób atrybuty te wpływają na sparametryzowane problemy.
- Które problemy z twardym grafem są trudne dla na grafach ukierunkowanych, ale stały parametr można traktować na grafach bezkierunkowych?
- Które problemy z twardym grafem są trudne dla na wykresach ważonych, ale stały parametr można traktować na wykresach nieważonych?
OK, więc mamy problemy, które stają się trudniejsze w wersji kierowanej. Co z ciężarami? Czy mogą utrudnić sparametryzowany problem?
Odpowiedzi:
Problem ścieżek rozłącznych: przy danych parach i węzłów istnieją ścieżki rozłączne węzłów łączące podane pary. Sparametryzowane przez , w FPT, gdy ma bezpośredniego związku z przełomowym dziełem Robertsona i Seymour. NP-Hard dla gdy jest skierowany - z pracy Fortune, Hopcroft i Wylie (1980).k k G k = 2 G.G k k G k=2 G
źródło
Obliczanie szerokości drzewa i rozkładu drzewa na niekierowanych grafach jest parametrem FPT wrt width. Wiele miar szerokości wykroju (lub odpowiadającej im gry) jest równoważnych szerokości drzewa na niekierowanych wykresach. Dokładna klasa złożoności wielu z nich nie jest znana, ale ostatnio wykazano, że szerokość DAG jest kompletna z PSPACE .
źródło