Logarytmiczna jednolita NC jest zawarta w deterministycznej przestrzeni polilogu (czasami zapisywanej jako PolyL). Czy RNC o jednolitej przestrzeni logów również należy do tej klasy? Standardowa losowa wersja PolyL powinna być w PolyL, ale nie widzę, aby (jednolity) RNC był w randomizowanym-PolyL....
Parzystość-L jest zestawem języków rozpoznawanych przez niedeterministyczną maszynę Turinga, która może jedynie rozróżniać między liczbą parzystą lub nieparzystą liczbą ścieżek „akceptacji” (zamiast zerowej lub niezerowej liczby ścieżek akceptacji), i która jest dodatkowo ograniczone do pracy w...
Czytając artykuł „Czy nadszedł czas, aby zadeklarować zwycięstwo w liczeniu złożoności?” na blogu „Godel's Lost Letter and P = NP” wspominali o dychotomii CSP. Po kilku linkach, googlowaniu i wikipedii natknąłem się na twierdzenie Ladnera : Twierdzenie Ladnera: jeśli , wówczas występują problemy...
Shiva Kintali właśnie ogłosił (zimne!) Co powoduje, że izomorfizm wykres dla ograniczonych wykresach treewidth szerokości IS -hard≥4≥4\geq 4⊕L⊕L\oplus L . Nieformalnie moje pytanie brzmi: „Jak trudne to jest?” Wiemy, że nierównomiernie , patrz odpowiedzi na to pytanie . Wiemy również, że jest mało...
Jakie byłyby konsekwencje #P = FP? Interesują mnie zarówno praktyczne, jak i teoretyczne konsekwencje. Z praktycznego punktu widzenia szczególnie interesują mnie konsekwencje dla sztucznej inteligencji. Wskaźniki do dokumentów lub książek są mile widziane. Nie mów, że #P = FP oznacza P = NP,...
Badanie KRÓTKI reprezentacją wykresów został zainicjowany przez Galperin i Wigderson w artykule z 1983 r, gdzie wykazać, że przez wiele problemów, takich jak proste znalezienie trójkąta na wykresie odpowiadający zwięzły wersji w -Complete. Papadimitriou i Yanakkakis ponadto ta linia badania i...
Czy występują jakieś naturalne problemy w , które nie są (wiadomo, że są / sądzi się, że są) w U P ∩ c o U P ?N.P.∩ c o NP.NP∩coNPNP \cap coNPUP.∩ c o UP.UP∩coUPUP \cap coUP Oczywiście wielki każdy wie o w jest wersja decyzja faktoringu (czy n mają współczynnik wielkości co najwyżej k), ale to...
Niedawno Ryan Willams udowodnił, że konstruktywność w naturalnym dowodzie jest nieunikniona, aby uzyskać separację klas złożoności: i . T C 0NEXPNEXP\mathsf{NEXP}TC0TC0\mathsf{TC}^{0} Konstruktywność w naturalnym dowodzie jest warunkiem, że wszystkie dowody kombinatoryczne w złożoności obwodu są...
Cześć chłopaki, rozumiem, że sztuczka dopełniania pozwala nam tłumaczyć klasy złożoności w górę - na przykład . Wypełnianie polega na „nadmuchiwaniu” danych wejściowych, uruchamianiu konwersji (powiedzmy od powiedzmy na ), co daje „magiczny” algorytm, który można uruchomić na wypełnionym wejściu....
Jest to związane z pytaniem Czy rozmiar członkostwa świadka dla każdego języka NP jest już znany? Niektóre naturalne problemy (-kompletne) mają świadków o długości liniowej: zadowalające przypisanie dla , ciąg wierzchołków dla itp.NPNP\mathsf{NP}SATSATSATHAMPATHHAMPATHHAMPATH Rozważ klasę...
Istnieje bogata literatura i co najmniej jedna bardzo dobra książka określająca znaną twardość wyników przybliżenia dla problemów trudnych dla NP w kontekście błędu multiplikatywnego (np. 2-przybliżenie dla pokrywy wierzchołków jest optymalne przy założeniu UGC). Obejmuje to również dobrze...
Jakie są ważne powody, by wierzyć L≠PL≠PL\neq P ? L jest klasą algorytmów przestrzeni logów ze wskaźnikami do danych wejściowych. Załóżmy, że L = P na chwilę. Jak wyglądałby algorytm przestrzeni logów dla problemu P-complete w jego ogólnych
Teoria złożoności, poprzez takie koncepcje jak kompletność NP, rozróżnia problemy obliczeniowe, które mają względnie skuteczne rozwiązania, i te, które są trudne do rozwiązania. Złożoność „drobnoziarnista” ma na celu dopracowanie tego jakościowego rozróżnienia w ilościowy przewodnik co do...
Rozważ problemy z optymalizacją w poniższym formularzu. Niech f(x)f(x)f(x) będzie funkcją obliczalną w czasie wielomianowym, która odwzorowuje ciąg xxx na liczbę wymierną. Problem optymalizacji jest następujący: jaka jest maksymalna wartość f(x)f(x)f(x) ponad nnn bitowych ciągów xxx...
Czytając odpowiedź Petera Shora i wcześniejsze pytanie Adama Crume'a, zdałem sobie sprawę, że mam pewne nieporozumienia na temat tego, co to znaczy być PP\mathsf{P} twardym. Problemem jest PP\mathsf{P} -hard jeśli jakiś problem w PP\mathsf{P} sprowadza się do niego z LL\mathsf{L} (lub jeśli wolisz...
W tym wątku próba próby Norbet Bluma jest zwięźle obalona przez odnotowanie, że funkcja Tardos jest przeciwne do Twierdzenia 6.P.≠ N.P.P≠NPP \neq NP Twierdzenie 6 : Niech będzie dowolną monotoniczną funkcją boolowską. Załóżmy, że istnieje aproksymator A CNF-DNF, którego można użyć do udowodnienia...
Zastanawiam się, czy jest jakieś uzasadnienie, by wierzyć, że czy wierzyć, że N L ≠ L ?NL=LNL=LNL=LNL≠LNL≠LNL\neq L Wiadomo, że . W literaturze derandomization z R L jest dość przekonanie, że R, L = L . Czy ktoś wie o niektórych artykułach lub pomysłach przekonujących, że N L ≠ L ?NL⊂L2NL⊂L2NL...
To jest pytanie otwarte, za co z góry przepraszam. Czy istnieją przykłady zdań, które (pozornie) nie mają nic wspólnego ze złożonością lub maszynami Turinga, ale odpowiedź na które sugerowałaby ?P≠NPP≠NP\mathbf{P}\neq
Czy BQP jest równe BPP z dostępem do ukrytej podgrupy
Zainspirowany tym pytaniem jest faktoring znany jako P-hard , zastanawiam się, jaki jest obecny podobny stan wiedzy na temat twardości izomorfizmu grafów. Jestem pewien, że obecnie nie wiadomo, czy GI jest w P, ale: jaka jest obecnie największa klasa, w której GI jest trudniejsza? (nie było...