Czy znasz problemy, które są twarde W [1], nawet w przypadku wykresów o ograniczonym stopniu? Wymiar metryczny jest trudny na wykresach ze stopniem co najwyżej 3, ale ma twardość W [2]. Czerwono-niebieski Nonblocker był twardy W [1] na wykresach ze stopniem ograniczonym, ale wystąpił błąd w...
W sparametryzowanej złożoności ludzie używają redukcji stałych parametrów (FPT), aby udowodnić twardość W [t]. Teoretycznie redukcja FPT nie jest redukcją czasu wielomianowego, ponieważ może działać wykładniczo w parametrze k. Ale w praktyce wszystkie redukcje FPT, które widziałem, są redukcjami...
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...
Problem parametryzowany przez k-FLIP SAT definiuje się jako: Dane wejściowe: formuła 3-CNF z zmiennymi i przypisaniem prawdy \ sigma: [n] \ to \ {0,1 \} Parametr: k Pytanie: czy możemy przekształcić przypisanie \ sigma w zadowalające przypisanie \ sigma ' dla \ varphi przerzucając wartość prawdy...
Załóżmy, że jest sparametryzowanym językiem w odniesieniu do jakiegoś alfabetu . -slice z jest , zestaw przypadkach w , które mają parametru . Klasa złożoności zawiera sparametryzowane języki takie jak dla każdego , prawdopodobnie z innym algorytmem i wielomianowym czasem działania związanym z...
Jestem naukowcem, który pracuje w teorii algorytmów i złożoności, do pewnego stopnia używam sparametryzowanej złożoności. Wydaje mi się, że badacze o sparametryzowanej złożoności są bardzo aktywni (nie mam na myśli, że inni nie) pod względem liczby prac badawczych. Widziałem, że badacze ze...
Pozwolić faFF być rodziną redd-elementowe podzbiory skończonego wszechświata UUUprzedmiotów. RodzinaH.HH z kkkpodzbiory elementów UUU, z 1 ≤ k < d1≤k<d1 \le k < d, jest ( k , d)(k,d)(k,d)- trafienie ustawione odfaFF jeśli dla każdego V.∈ F.V∈FV \in F istnieje co najmniej jeden zestaw W∈HW∈HW...
W poprzednim pytaniu Sparametryzowany algorytm znajdowania biklików zapytałem, czy istnieją szybkie sparametryzowane algorytmy do znalezieniak×kk×kk\times k-biclique in an nnn wykres wierzchołków i dowiedziałem się, że był otwarty, jeśli jest FPT wrt kkk. To samo odnosi się do liczeniak×kk×kk\times...