Zadałem to pytanie 10 dni temu na cs.stackexchange tutaj, ale nie miałem żadnej odpowiedzi. W bardzo słynnego papieru (w środowisku sieciowym), Wang i Crowcroft przedstawić kilka -completeness wyniki obliczeń ścieżki pod kilkoma dodatkami / multyplikatywnych ograniczeń. Pierwszy problem jest...
Jak wszyscy wiedzą, słynna książka Garey i Johnsona (i wiele innych) stanowi doskonałe odniesienie do techniki redukcji w scenerii klasycznej. Czy są jakieś ankiety lub książki na temat techniki redukcji w sparametryzowanym algorytmie, powiedzmy redukcja
Czy istnieje sposób na zakodowanie wystąpienia Sumy Podzbioru lub Problemu Podziału Liczby, aby (małe) rozwiązanie relacji liczb całkowitych dało odpowiedź? Jeśli nie zdecydowanie, to w pewnym sensie probabilistycznym? Wiem, że LLL (i być może PSLQ) zostały zastosowane z umiarkowanym sukcesem w...
Jak każdy wie, SAT jest kompletna dla wrt wielomian czasie wiele-jeden redukcje. Nadal jest kompletny z redukcjami wielokrotności A C 0 .NPNP\mathsf{NP}AC0AC0\mathsf{AC^0} Moje pytania brzmi: jaka jest minimalna wymagana głębokość redukcji? Bardziej formalnie, Co najmniej takie, że SAT jest...
Problem: Biorąc pod uwagę reprezentowane przez obwód logiczny, wygeneruj równomiernie losowy x ∈ { 0 , 1 } n taki, że ϕ ( x ) = 1 (lub wyjście ⊥, jeśli nie ma takiego x istnieje). ϕ : { 0 , 1 }n→ { 0 , 1 }ϕ:{0,1}n→{0,1}\phi : \{0,1\}^n \to \{0,1\}x ∈ { 0 , 1 }nx∈{0,1}nx \in \{0,1\}^nϕ ( x ) =...
Wydaje mi się, że większość teoretyków złożoności ogólnie uważa następującą zasadę filozoficzną: Jeśli nie możemy wymyślić skuteczny algorytm dla problemu i możemy zmniejszyć problemu A do problemu B , wtedy prawdopodobnie nie jest skuteczny algorytm dla problemu B ,...
Klasa złożoności PPAD została wynaleziona przez Christosa Papadimitriou w jego przełomowym artykule z 1994 roku . Klasa ma na celu uchwycenie złożoności problemów wyszukiwania, w których istnienie rozwiązania jest gwarantowane przez „Argument parzystości w grafach ukierunkowanych”: jeśli w grafie...
W ubiegłym tygodniu ponownie przeczytałem transkrypt Leslie Lamport z 1982 r. Z konferencji, którą wygłosił na temat Rozwiązanych problemów, Nierozwiązanych problemów i nieproblemów w współbieżności . Artykuł jest czytelny, ale jedną z rzeczy, które skłoniły mnie do myślenia, jest następujące...
Lance Fortnow stwierdził ostatnio, że udowodnienie L! = NP powinno być łatwiejsze niż udowodnienie P! = NP : Oddziel NP od przestrzeni logarytmicznej. Podałem cztery podejścia w ankiecie przeprowadzonej przed blogiem w 2001 r. Na temat diagonalizacji (sekcja 3), chociaż żadna z nich się nie...
Jakiś czas temu wysłałem prośbę o referencję dotyczącą problemów z grafem, w której chcemy znaleźć 2-partycję krawędzi, w której oba zestawy spełniają właściwość niezwiązaną z ich licznością. Próbowałem udowodnić, że następujący problem jest NP-trudny: Biorąc pod uwagę turniej , czy istnieje...
Czy następujące elementy mogą być przechowywane jednocześnie? jest zawarte w L s + 1 dla wszystkich dodatnich liczb całkowitych s .L.sLsL_sL.s + 1Ls+1L_{s+1}sss jest język wszystkich ograniczonych słów nad { 0 , 1 } .L = ⋃sL.sL=⋃sLsL = \bigcup_s L_s{ 0 , 1 }{0,1}\{0,1\} Istnieje pewna klasa...
Gdy chcemy udowodnić, że jest N P -Complete, to standardowe podejście jest wykazują czasie wielomianowym obliczalny wiele-jeden redukcji znanego N P -Complete problemu do L . W tym kontekście nie potrzebujemy ścisłego ograniczenia czasu działania redukcji. Wystarczy mieć dowolne wiązanie...
'Biorąc pod uwagę , czy jest , ' jest -kompletny. x , y ∈ N a x 2 + b y = c N Pa,b,c∈Na,b,c∈Na,b,c\in\Bbb Nx,y∈Nx,y∈Nx,y\in\Bbb Nax2+by=cax2+by=cax^2+by=cNPNP\mathsf{NP} Do której klasy złożoności należy „Biorąc pod uwagę , czy istnieje , '? x , y ∈ N a x 2 + b y 2 = ca,b,c∈Na,b,c∈Na,b,c\in\Bbb...
Ten dokument stanowi dowód, że w grze z drzwiami i płytkami dociskowymi trudno jest ustalić, czy awatar (gracza) może dotrzeć do danego miejsca. Dowodzi tego redukcja z TQBF , a długość powstałych rozwiązań zależy wykładniczo od liczby uniwersalnych kwantyfikatorów we wzorze. Czy istnieje redukcja...
Unikalny SAT jest dobrze znanym problemem: biorąc pod uwagę wzór CNF , czy to prawda, że F ma dokładnie jeden model?FFFFFF Interesuje mnie problem «Dokładnie SAT»: biorąc pod uwagę wzór F CNF i liczbę całkowitą m > 1 , czy to prawda, że F ma dokładnie m modeli?mmmFFFm>1m>1m>1FFFmmm Oba...
Gęstość języka jest funkcją zdefiniowano jako Załóżmy, i są to języki na pewną skończoną alfabetu wielu jeden logspace redukuje się do , a jest w . Funkcje są wielomianowo powiązane, jeśli istnieją wielomiany i takie, że dla wszystkich , id X : N → N d X ( n ) = | { x ∈ X ∣ | x | ≤ n } | . A B A B...
To pytanie może nie mieć charakteru technicznego. Jako nie-native speaker i TA dla klasy algorytmów zawsze zastanawiałem się, co oznacza gadżet w „gadżet klauzulowy” lub „gadżet zmienny”. Słownik mówi, że gadżet jest maszyną lub urządzeniem, ale nie jestem pewien, co to kolokwialne znaczenie ma w...
Zastanawiam się, czy klasy NPC zdefiniowane przez redukcje wielokrotne i redukcje Turinga są równe. Edycja: Kolejne pytanie, czy redukcje Turinga powodują tylko załamanie klas C i co-C dla niektórych C lub czy istnieje klasa taka jak istnieje problem, który nie występuje w przy redukcji Karp i...
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...
Czy istnieje o następujących właściwościach:L ∈ N PL∈NPL\in {\bf NP} Wiadomo, że oznacza P = N P .L ∈ PL∈PL\in {\bf P}P = N PP=NP{\bf P}={\bf NP} Nie (znany) wielomian czas redukcji Turinga z (lub inne N P -Complete problemu) do l .S.A T.SATSATN P.NP{\bf NP}L.LL Innymi słowy, jeśli wielomianem...