Szerokość i szerokość ścieżki są popularnymi parametrami, mierzącymi odpowiednio bliskość wykresu do drzewa lub ścieżki. Rzeczywiście wydaje się, że szerokość jest tak popularna, że pojawia się w wielu artykułach, książkach i notatkach z wykładów, które dają (nawet bardzo delikatne) wprowadzenie do algorytmicznych aspektów szerokości (patrz np. Książka Downey & Fellows). …
Wagaciągu binarnego to liczba jedynek w ciągu. Co się stanie, jeśli będziemy zainteresowani obliczeniem funkcji monotonicznej na wejściach z kilkoma?x ∈ { 0 , 1 } n| x ||x||x|x ∈ { 0 , 1 }nx∈{0,1}nx\in\{0,1\}^n Wiemy, że podjęcie decyzji, czy wykres ma klasę jest trudne dla obwodów monotonicznych (patrz między …
Niech będzie formułą 2CNF, a k nieujemną liczbą całkowitą. Jest udowodnione w tym artykule , że problem z podjęciem decyzji, czy można usunąć co najwyżej k klauzul aby φ satisfable określony jest parametr tractable, gdzie k jest parametrem. Moje pytanie brzmi: czy są jakieś prace, które uogólniają ten wynik na …
Niech i przez zestaw wszystkich wykresów, które mogą być osadzone na powierzchni rodzaju tak, aby wszystkie wierzchołki znajdowały się na zewnętrznej powierzchni . Na przykład jest zbiorem zewnętrznych wykresów płaskich. Czy szerokość wykresów w być ograniczona przez jakąś funkcję ?G k k G 0 G k kk∈Nk∈Nk\in\mathbb{N}GkGkG_kkkkG0G0G_0GkGkG_kkkk Drugi kierunek oczywiście …
Interesuje mnie klasyczny problem REGULARNE WŁĄCZENIE JĘZYKA. Biorąc pod uwagę wyrażenie regularne , oznaczamy przez L ( E ) powiązany z nim język regularny. (Wyrażenia regularne są na stałej alfabetu Ď z unii operacji, Kleene-gwiazdkowe i konkatenacji).miEEL ( E)L(E)L(E)ΣΣ\Sigma Dane wejściowe: dwa wyrażenia regularne i E 2 Pytanie: Czy to …
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 dowodzie (książka Downey Fellows …
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 czasu p, co oznacza, że dowody twardości W [t] prawie zawsze …
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 każdym . Każdy język traktowany o stałych …
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?NPNPNPW[1]W[1]W[1] Które problemy z twardym grafem są trudne …
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 co najwyżej k zmiennych?φφ\varphinnnσ:[n]→{0,1}σ:[n]→{0,1}\sigma …
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 złożoności komunikacyjnej, złożoności arytmetycznej itp. Również w większym …
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 \in H takie, że W⊂VW⊂VW …
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 k-bikiety, czy wiadomo, że to #W\[1\]W\[1\]W\[1\]-hard wrt kkk (lub jakieś inne pojęcie …
Używamy plików cookie i innych technologii śledzenia w celu poprawy komfortu przeglądania naszej witryny, aby wyświetlać spersonalizowane treści i ukierunkowane reklamy, analizować ruch w naszej witrynie, i zrozumieć, skąd pochodzą nasi goście.
Kontynuując, wyrażasz zgodę na korzystanie z plików cookie i innych technologii śledzenia oraz potwierdzasz, że masz co najmniej 16 lat lub zgodę rodzica lub opiekuna.