Moje pytanie brzmi: dlaczego dolne granice dla głębokości 3 Obwody logiczne z bramkami „i” i „xor” dla wyznacznika nie oznaczają takich samych dolnych granic dla obwodów arytmetycznych w ?ZZ\mathbb{Z} Co jest nie tak z następującym argumentem: Niech będzie wyznacznikiem obliczającym obwód...
Szukam referencji na temat złożoności problemu równoważenia formuł logicznych . W szczególności, Czy było wiadomo, że formuły logiczne można wyważyć w AC0AC0\mathsf{AC^0} ? Czy istnieje prosty dowód na to, że równoważenie boolowskiej formuły jest w AC0AC0\mathsf{AC^0} ? Przez „proste” mam na...
Niech klasa BPNC (kombinacja i ) będzie algorytmami równoległymi głębokości dziennika z ograniczonym prawdopodobieństwem błędu i dostępem do losowego źródła (nie jestem pewien, czy to ma inną nazwę). Podobnie zdefiniuj klasę DBPNC, z tym wyjątkiem, że wszystkie procesy mają losowy dostęp do...
W przemówieniu Razborowa opublikowano dziwne oświadczenie. Jeśli FACTORING jest trudny, to małe twierdzenie Fermata nie jest możliwe do udowodnienia w S12S21S_{2}^{1} . Co to jest S12S21S_{2}^{1} i dlaczego aktualnych dowodów nie ma w S12S21S_{2}^{1} ?
BPPBPP\mathsf{BPP} iZ P PZPP\mathsf{ZPP} to dwie podstawowe probabilistyczne klasy złożoności. B P PBPP\mathsf{BPP} jest klasą języków ustaloną przez probabilistyczne algorytmy Turinga w czasie wielomianowym, w których prawdopodobieństwo zwrotu nieprawidłowej odpowiedzi przez algorytm jest...
W złożoności komunikacyjnej domniemanie log-rank stwierdza, że c c ( M) = ( logr k ( M) )O ( 1 )cc(M)=(logrk(M))O(1)cc(M) = (\log rk(M))^{O(1)} Gdzie jest złożoność komunikacji M ( x , y ) , a r k ( M ) jest rangę M (jako matrycy) w liczb rzeczywistych.c c ( M)cc(M)cc(M)M.( x , y)M(x,y)M(x,y)r k...
Klasa złożoności jest zdefiniowana następująco (z Wikipedii ):SP2S.2)P.\textrm{S}_2^\textrm{P} Język znajduje się w S P 2, jeśli istnieje predykat P wielomianowy taki, żeLL.LSP2S.2)P.S_2^PPP.P Jeśli , to istnieje y takie, że dla wszystkich z , P ( x , y , z ) = 1x ∈ L.x∈L.x \in LyyyzzzP.( x...
Czy izomorfizm grafów (problem decyzyjny) znajduje się w ? Tutaj to klasa problemów decyzyjnych akceptowanych przez jednoznaczną maszynę Turinga (patrz zoo złożoności ).UP∩coUPUP∩coUP\mathsf{UP}\cap
Próbowałem zrozumieć te zajęcia, ale zawsze byłem zdezorientowany ... pytania są następujące: Jaki jest związek między a # P , w szczególności czy jest to pytanie otwarte?faN.P.faN.P.FNP# P#P.\#P Jaki jest stosunek i N P ? czy to pytanie jest otwarte?⊕ P.⊕P.\oplus PN.P.N.P.NP A co z relacją...
Drzewo opinające wykresu nazywane jest drzewem kompletności, jeśli zbiór jego liści indukuje całkowity podrozdział na grafie gospodarza. Biorąc pod uwagę wykres i liczbę całkowitą , jaka jest złożoność decyzji, czy zawiera drzewo kompletności z co najwyżej liści?GsolGkkkGGGkkk Powodem zadawania...
Biorąc pod uwagę zbiór punktów w d wymiarowej przestrzeni euklidesowej, problemem jest ustalenie, czy wypukłe kadłuba zawiera piłka jednostki skupione na pochodzenie.nnnrered Czy to problem w NP? Jest w ko-NP, ponieważ można dać punkt w kuli poza wypukłym kadłubem jako świadek i zweryfikować...
Mam następujący problem: Dane wejściowe: dwa zestawy przedziałów i (wszystkie punkty końcowe są liczbami całkowitymi). Pytanie: czy istnieje biotonia monotoniczna ?T f : S → TS.S.ST.T.Tfa: S→ T.fa:S.→T.f:S \to T Bijection jest monotoniczne WRT kolejnością włączenie do i . T ∀ X ⊆ Y ∈ S , f ( X )...
Jeśli możemy udowodnić, że , czy oznacza to, że ?L=PL=P\mathsf{L}=\mathsf{P}NL=NPNL=NP\mathsf{NL}=\mathsf{NP} Myślałem, że tak jest, ale nie mogę tego udowodnić (również w przypadku
Biorąc pod uwagę ukierunkowany wykres, chcemy zdecydować, czy zawiera on ukierunkowany cykl o równej długości. W tym artykule YUSTER i ZWICK z 1997 r. Stwierdzono, że nie wiadomo, że problem występuje w ani że nie ma w nim zakończenia.P.P.PN.P.N.P.NP Czy jest jakiś wynik, który rozwiązuje...
Natknąłem się na otwarty problem postawiony przez Davida Eppsteina i jestem zainteresowany jego złożonością. Doszedł do wniosku, że jest kompletny NP. Dane wejściowe: przez macierzy zer i jedynek, sekwencja zer i jedyneknnnnnnn2n2n^2 Pytanie: Czy istnieje ścieżka przez sąsiednie wpisy macierzy,...
Nazwijmy język NP słabo certyfikowany, jeśli i tylko jeśli:L ∈L∈L \in Istnieje wielomian taki, że dla każdego wejścia x ∈ Σ ∗ o rozmiarze n , jeśli x ∈ L, to zestaw U x certyfikatów u, który weryfikuje, że x ∈ L ma wielkość wielomianową, tj. | U x | ≤ p ( n ) .p:N→Np:N→Np : \mathbb{N} \rightarrow...
Jaka jest standardowa definicja Planar 3-SAT? Widziałem wiele różnych definicji. Jaki był oryginalny dokument, który go zdefiniował i udowodnił, że jest
W Zaawansowanych tematach w typach i językach programowania w rozdziale o podstrukturalnych systemach typów wspomniano, że „starannie spreparowany” rachunek afiniczny lambda z kombinatorem rekurencyjnym dla list może wpisywać tylko terminy, które mają wielomianowy czas działania (nie przedstawić...
Czy są jakieś problemy, które można rozwiązać w czasie wielomianowym tylko wtedy, gdy P! = NP, a w innym przypadku rozwiązać (powiedzmy) ?O ( 2n)O(2)n)O(2^n) Prostym przykładem byłoby: Jeśli P! = NP, oblicz test pierwszeństwa dla losowej liczby n-bitowej, w przeciwnym razie oceń losową pozycję...
Korzystając z modelu rzeczywistej pamięci RAM / BSS, mamy klasę NP R (gdzie BSS to model Blum-Shub-Smale komputera z operacjami nad rzeczywistością). Mamy kompletne problemy z NP R. Pytanie zatem, czy istnieje analogia do hipotezy Bermana Hartmanisa dla klasy NP R ? Oczywiście postawione tutaj...