Ostatnio natknąłem się na artykuł Coudrona i Yuena na temat ekspansji losowości za pomocą urządzeń kwantowych. Głównym rezultatem pracy jest to, że możliwe jest wygenerowanie „nieskończonej” losowości ze stałej liczby źródeł (to znaczy liczba wygenerowanych bitów losowych zależy tylko od liczby...
W dwukrotnej, przeciwnej do odczytu formule CNF, każda zmienna pojawia się dwukrotnie, raz dodatnia, a raz ujemna. Jestem zainteresowany w problem, który polega na obliczaniu parytetu liczby spełniających zadania o przeciwnej wzoru CNF odczytu dwukrotnie.⊕
Niech być skierowany acykliczny wykres i pozwolić λ być funkcją znakowania mapowanie każdego wierzchołka v ∈ V do naklejania Î ( v ) w pewnym skończonym alfabetu L . Zapisywanie n : = | V | , A topologiczna sortowania z G jest bijection σ z { 1 , ... , N } do V (tj zamawianiaG=(V,E)G=(V,E)G = (V,...
Niech będzie ogólną wyrocznią w sensie kategorii Cohen / Baire. Niech będzie losową wyrocznią.GGGRRR Czy istnieją klasy złożoności A i B z lub na odwrót, AG=BGandAR≠BRAG=BGandAR≠BR\mathrm{A}^G=\mathrm{B}^G\quad\text{and}\quad\mathrm{A}^R\ne
Zasadniczo podejmowanie decyzji, czy równanie diofantyczne ma jakieś rozwiązania liczb całkowitych, jest równoznaczne z problemem zatrzymania. Uważam, że podjęcie decyzji, czy kwadratowe równanie diofantyczne ma jakieś rozwiązanie, jest NP-kompletne. Czy istnieje dodatkowe ograniczenie...
Pytanie ogólne Czy twierdzenie o hierarchii przestrzeni generalizuje się do obliczeń niejednorodnych? Oto kilka bardziej szczegółowych pytań: L/poly⊊PSPACE/polyL/poly⊊PSPACE/polyL/poly \subsetneq PSPACE/poly Czy dla wszystkich funkcji f (n) możliwych do zbudowania w przestrzeni...
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:...
Z twierdzenia o hierarchii przestrzeni wiadomo, że jeśli faff można konstruować w przestrzeni, to DSPACE ( 2 f( n )2f(n)2f(n) ) nie jest równe DSPACE ( fa( n ) )f(n))f(n)) . Tutaj przez DSPACE ( fa( n ) )f(n))f(n)) mam na myśli klasę wszystkich problemów, które można rozwiązać w przestrzeni fa( n...
Co dowody na to, że ?c o R P≠ N.P.coRP≠NPcoRP \neq NP jest klasą języków, dla których istnieje probabilistyczna maszyna Turinga, która działa w czasie wielomianowym i zawsze odpowiada Tak na dane wejściowe należące do języka i odpowiada Nie z prawdopodobieństwem co najmniej połowy na dane...
Czy jest możliwe (ukośnik, czy możesz podać przykład) zmniejszenie złożoności obliczeniowej problemu za pomocą algorytmu równoległego, który nie wymaga wielu procesorów w stosunku do wielkości
Przez BPP / linear mam na myśli maszyny BPP z liniową radą, która spełnia obietnicę, gdy otrzyma „prawidłową” radę, a derandomizacja powinna dać nam, powiedzmy, algorytm P / liniowy lub (SUBEXP / liniowy). Jeśli zastosujemy niejednolite założenia, uważam, że klasyczne wyniki powinny zadziałać,...
Pokaż funkcję którą można konstruować w przestrzeni, ale nie można jej konstruować w czasie.f(n)fa(n)f(n) Czy ten problem jest związany z możliwym rozdzieleniem klas złożoności DTIME (f (n)) i SPACJA (f
Układ gwiazda rodziny n podzbiorów n-elementów przedstawionych . System położony jest graficznym, jeżeli jest jakiś wykres tak, że jest rodzina sąsiedztwie wierzchołków w . To jest kompletne, aby zdecydować, czy dany układ gwiezdny jest graficzny.S G ( V , E ) F G N
Przykłady ograniczone -Complete wariantów nierozstrzygalnych zestawach:N.P.NPNP Ograniczony problem zatrzymania = { | Maszyna NTM M zatrzymuje się i przyjmuje x w ciągu t kroków}( M, x , 1t)(M,x,1t)(M, x, 1^t)M.MMxxxttt Ograniczone płytki = { | jest płytki kwadratu o powierzchni t 2 za pomocą...
Interesują mnie „twarde” pojedyncze przypadki problemów z NP. Ryan Williams omówił problem SAT0 na blogu Richarda Liptona . SAT0 pyta, czy instancja SAT ma konkretne rozwiązanie składające się ze wszystkich zer. To skłoniło mnie do myślenia o konstruowaniu instancji SAT, które prawdopodobnie będą...
Czy mamy klasy złożoności w odniesieniu do, powiedzmy, złożoności średnich przypadków? Na przykład, czy istnieje (nazwana) klasa złożoności dla problemów, których podjęcie wymaga wielomianu? Kolejne pytanie dotyczy złożoności najlepszych przypadków , których przykłady przedstawiono poniżej: Czy...
Załóżmy, żeP.≠ N.P.P≠NPP \neq NP Do tetracji użyj następującego zapisu (tj. ).jazaia{}^iajaa = aza⋅⋅⋅zaja razyia=aa⋅⋅⋅a⏟i times{}^ia = \underbrace{a^{a^{\cdot^{\cdot^{\cdot^{a}}}}}}_{i \mbox{ times}} | x | jest wielkością instancji x. Niech L będzie językiem,L |fa( i ) ≤ | x | < g( i...
Niewrażliwe generatory są zdefiniowane następująco: Niech będzie relacją NP, a M będzie maszyną, która akceptuje L ( R ) . Nieformalnie program jest niewrażliwym generatorem, jeśli na wejściu 1 n wytwarza pary instancji-świadka ( x , w ) ∈ R , z | x | = n , zgodnie z rozkładem, zgodnie z którym...
Czy znana jest jakaś klasa złożoności zawierająca internetowe odpowiedniki problemów związanych z optymalizacją? Jeśli nie, to jak można zdefiniować taką klasę? Wiemy, że wiele problemów ma swoją wersję online: np. Wersja online problemu pakowania bin. Problemy online są trudniejsze, ponieważ...
Zastanawiam wiedzieć pogoda jest rzadki język (nawet skonstruowany przez opóźnionego diagolanization) w NPI przy założeniu, że .P.≠ N.P.P≠NPP \neq